# normal closure

Let $K$ be an extension field of $F$. A normal closure of $K/F$ is a field $L\supseteq K$ that is a normal extension of $F$ and is minimal in that respect, i.e. no proper subfield of $L$ containing $K$ is normal over $F$. If $K$ is an algebraic extension of $F$, then a normal closure for $K/F$ exists and is unique up to isomorphism.

Title normal closure NormalClosure 2013-03-22 13:09:36 2013-03-22 13:09:36 scanez (1021) scanez (1021) 5 scanez (1021) Definition msc 12F10