Field extension

Normal extension

A field extension is normal iff every has a root iff it splits into linear factors in . #m/def/field Equivalently,¹

• Every embedding induces an automorphism of ;

• is the Splitting field of a family of polynomials in .

#state/develop | #lang/en | #SemBr