Algebraic closure

In mathematics, particularly abstract algebra, an algebraic closure of a field K is a special kind of extension that helps solve polynomial equations.

Using tools like Zorn's lemma or the ultrafilter lemma, mathematicians have shown that every field has an algebraic closure. This closure can be matched to any other algebraic closure of the same field through a special kind of mapping called an isomorphism that keeps the original elements of the field unchanged, or fixes them.

The algebraic closure of a field can be viewed as the largest possible algebraic extension of that field. It is also the smallest algebraically closed field that contains the original field. The size of an algebraic closure matches the size of the original field if that field is infinite, and it is countably infinite when the original field is finite.

Examples

The fundamental theorem of algebra tells us that the algebraic closure of the real numbers is the field of complex numbers.

The algebraic closure of the rational numbers is the field of algebraic numbers.

For a finite field of prime power order, the algebraic closure is a countably infinite field that includes copies of fields of different sizes.

Existence of an algebraic closure and splitting fields

In algebra, we study fields. These are sets with special rules for adding, subtracting, multiplying, and dividing numbers. An important idea is the algebraic closure of a field. This is a bigger field that includes all the solutions to polynomial equations made from the original field.

For any field, mathematicians can build its algebraic closure by adding new numbers. They add just enough to make sure every possible polynomial equation has a solution. This makes the largest possible algebraic extension of the original field. Importantly, this closure is unique. Any two algebraic closures of the same field are essentially the same, differing only by a re-labeling of elements.

Separable closure

An algebraic closure of a field has a special part called the separable closure. This part includes all the separable extensions of the original field. A separable extension means the new elements added behave well.

The separable closure is the same as the full algebraic closure only if the original field is perfect. The absolute Galois group of a field is linked to its separable closure.