Using Zorn's Lemma, it can be shown that every field has an algebraic closure, and that the algebraic closure is unique in the following sense: if L and M are algebraic closures of a field K, then there is an isomorphism f : L > M such that f(x) = x for each x in K. Because of this essential uniqueness, we often speak of the algebraic closure of K, rather than an algebraic closure of K.
The algebraic closure of a field K can be thought of as the largest algebraic extension of K. To see this, note that if L is any algebraic extension of K, then the algebraic closure of L is also an algebraic closure of K, and so L is contained within the algebraic closure of K. The algebraic closure of K is also the smallest algebraically closed field containing K, because if M is any algebraically closed field containing K, then the elements of M which are algebraic over K form an algebraic closure of K.
The algebraic closure of a field K has the same cardinality as K if K is infinite, and is countably infinite if K is finite.
Examples:
Search Encyclopedia

Featured Article
