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