Finite extension

A field extension is finite iff it has finite degree, #m/def/field i.e. is a finite-dimensional vector space over . In particular such an extension is algebraic.

#state/tidy | #lang/en | #SemBr