algebraically closed
A field is algebraically closed if every non-constant polynomial
in has a root in .
An extension field of is an algebraic closure of if is algebraically closed and every element of is algebraic over . Using the axiom of choice
, one can show that any field has an algebraic closure. Moreover, any two algebraic closures of a field are isomorphic as fields, but not necessarily canonically isomorphic.