Field extension

Finite extension

A field extension 𝐿 :𝐾 is finite iff it has finite degree, field i.e. 𝐿 is a finite-dimensional vector space over 𝐾. In particular such an extension is algebraic.

---

tidy | en | SemBr