# algebraically closed

A field $K$ is algebraically closed if every non-constant polynomial in $K[X]$ has a root in $K$.

An extension field $L$ of $K$ is an algebraic closure of $K$ if $L$ is algebraically closed and every element of $L$ is algebraic over $K$. 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.

Title algebraically closed AlgebraicallyClosed 2013-03-22 12:12:06 2013-03-22 12:12:06 djao (24) djao (24) 10 djao (24) Definition msc 12F05 algebraic closure