Definition: Finite Field Extension

A field extension \(K\subseteq L\) is called finite, if \(L\) a finitely dimensional vector space over \(K\).


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