# Algebraic closure

From Conservapedia

This is an old revision of this page, as edited by Foxtrot (Talk | contribs) at 10:03, 12 January 2008. It may differ significantly from current revision.

A field F is **algebraically closed** if there is a solution to every polynomial over F in one variable. Every field is contained in an algebraically closed field and there is a minimal one, called the algebraic closure of F.

The definition of algebraically closed has several other equivalent forms:

- For every and every polynomial f(x), there is a such that .
- The only irreducible polynomials in F[x] have degree 1.
- F has no finite extensions other than itself.
- F is a maximal field of its transcendence degree.
- F is the union of all its finitely-generated localized subrings.
- Every algebraic variety defined over F has a point.
- F is not finite and the automorphism group of F has cardinality strictly greater than the cardinality of F.

The complex numbers are algebraically closed by the Fundamental Theorem of Algebra, however the rational numbers are not since x^{2}+1 does not have a root. This same polynomial shows the real numbers are also not algebraically closed, yielding as a corollary (by the equivalence) that has cardinality the continuum.