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
.