Definition: Field Extension

Let \(L\) be a field and \(F\subseteq L\) a subfield of \(L\). Then we call \(L\) an extension field of \(F\) and the inclusion \(F\subseteq L\) is called a field extension.

We also denote a field extension \(F\subseteq L\) by \(L/F\) (read "L over F").

  1. Definition: Finite Field Extension

Definitions: 1 2


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Brenner


References

Adapted from CC BY-SA 3.0 Sources:

  1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück