Algebraically closed field

Last updated November 21, 2024

In mathematics, a field $F$ is algebraically closed if every non-constant polynomial in $F [x]$ (the univariate polynomial ring with coefficients in $F$ ) has a root in $F$ . In other words, a field is algebraically closed if the fundamental theorem of algebra holds for it.

Examples
Equivalent properties
The only irreducible polynomials are those of degree one
Every polynomial is a product of first degree polynomials
Polynomials of prime degree have roots
The field has no proper algebraic extension
The field has no proper finite extension
Every endomorphism of Fn has some eigenvector
Decomposition of rational expressions
Relatively prime polynomials and roots
Other properties
Notes
References

Every field $K$ is contained in an algebraically closed field $C,$ and the roots in $C$ of the polynomials with coefficients in $K$ form an algebraically closed field called an algebraic closure of $K.$ Given two algebraic closures of $K$ there are isomorphisms between them that fix the elements of $K.$

Examples

As an example, the field of real numbers is not algebraically closed, because the polynomial equation $x^{2}+1=0$ has no solution in real numbers, even though all its coefficients (1 and 0) are real. The same argument proves that no subfield of the real field is algebraically closed; in particular, the field of rational numbers is not algebraically closed. By contrast, the fundamental theorem of algebra states that the field of complex numbers is algebraically closed. Another example of an algebraically closed field is the field of (complex) algebraic numbers.

No finite field F is algebraically closed, because if a₁, a₂, ..., a_n are the elements of F, then the polynomial (x − a₁)(x − a₂) ⋯ (x − a_n) + 1 has no zero in F. However, the union of all finite fields of a fixed characteristic p is an algebraically closed field, which is, in fact, the algebraic closure of the field $\mathbb {F} _{p}$ with p elements.

The field $\mathbb {C} (x)$ of rational functions with complex coefficients is not closed; for example, the polynomial $y^{2}-x$ has roots $\pm {\sqrt {x}}$ , which are not elements of $\mathbb {C} (x)$ .

Equivalent properties

Given a field F, the assertion "F is algebraically closed" is equivalent to other assertions:

The only irreducible polynomials are those of degree one

The field F is algebraically closed if and only if the only irreducible polynomials in the polynomial ring F[x] are those of degree one.

The assertion "the polynomials of degree one are irreducible" is trivially true for any field. If F is algebraically closed and p(x) is an irreducible polynomial of F[x], then it has some root a and therefore p(x) is a multiple of $x - a$ . Since p(x) is irreducible, this means that $p (x) = k (x - a)$ , for some $k ∈ F \ {0}$ . On the other hand, if F is not algebraically closed, then there is some non-constant polynomial p(x) in F[x] without roots in F. Let q(x) be some irreducible factor of p(x). Since p(x) has no roots in F, q(x) also has no roots in F. Therefore, q(x) has degree greater than one, since every first degree polynomial has one root in F.

Every polynomial is a product of first degree polynomials

The field F is algebraically closed if and only if every polynomial p(x) of degree n ≥ 1, with coefficients in F, splits into linear factors. In other words, there are elements k, x₁, x₂, ..., x_n of the field F such that p(x) = k(x − x₁)(x − x₂) ⋯ (x − x_n).

If F has this property, then clearly every non-constant polynomial in F[x] has some root in F; in other words, F is algebraically closed. On the other hand, that the property stated here holds for F if F is algebraically closed follows from the previous property together with the fact that, for any field K, any polynomial in K[x] can be written as a product of irreducible polynomials.

Polynomials of prime degree have roots

If every polynomial over F of prime degree has a root in F, then every non-constant polynomial has a root in F.^[1] It follows that a field is algebraically closed if and only if every polynomial over F of prime degree has a root in F.

The field has no proper algebraic extension

The field F is algebraically closed if and only if it has no proper algebraic extension.

If F has no proper algebraic extension, let p(x) be some irreducible polynomial in F[x]. Then the quotient of F[x] modulo the ideal generated by p(x) is an algebraic extension of F whose degree is equal to the degree of p(x). Since it is not a proper extension, its degree is 1 and therefore the degree of p(x) is 1.

On the other hand, if F has some proper algebraic extension K, then the minimal polynomial of an element in K \ F is irreducible and its degree is greater than 1.

The field has no proper finite extension

The field F is algebraically closed if and only if it has no proper finite extension because if, within the previous proof, the term "algebraic extension" is replaced by the term "finite extension", then the proof is still valid. (Finite extensions are necessarily algebraic.)

Every endomorphism of Fⁿ has some eigenvector

The field F is algebraically closed if and only if, for each natural number n, every linear map from Fⁿ into itself has some eigenvector.

An endomorphism of Fⁿ has an eigenvector if and only if its characteristic polynomial has some root. Therefore, when F is algebraically closed, every endomorphism of Fⁿ has some eigenvector. On the other hand, if every endomorphism of Fⁿ has an eigenvector, let p(x) be an element of F[x]. Dividing by its leading coefficient, we get another polynomial q(x) which has roots if and only if p(x) has roots. But if $q (x) = x n + a n - 1 x n - 1 + \dots + a 0$ , then q(x) is the characteristic polynomial of the n×n companion matrix

{\begin{pmatrix}0&0&\cdots &0&-a_{0}\\1&0&\cdots &0&-a_{1}\\0&1&\cdots &0&-a_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &1&-a_{n-1}\end{pmatrix}}.

Decomposition of rational expressions

The field F is algebraically closed if and only if every rational function in one variable x, with coefficients in F, can be written as the sum of a polynomial function with rational functions of the form a/(x − b)ⁿ, where n is a natural number, and a and b are elements of F.

If F is algebraically closed then, since the irreducible polynomials in F[x] are all of degree 1, the property stated above holds by the theorem on partial fraction decomposition.

On the other hand, suppose that the property stated above holds for the field F. Let p(x) be an irreducible element in F[x]. Then the rational function 1/p can be written as the sum of a polynomial function q with rational functions of the form a/(x – b)ⁿ. Therefore, the rational expression

{\frac {1}{p(x)}}-q(x)={\frac {1-p(x)q(x)}{p(x)}}

can be written as a quotient of two polynomials in which the denominator is a product of first degree polynomials. Since p(x) is irreducible, it must divide this product and, therefore, it must also be a first degree polynomial.

Relatively prime polynomials and roots

For any field F, if two polynomials $p (x), q (x) \in F [x]$ are relatively prime then they do not have a common root, for if $a \in F$ was a common root, then p(x) and q(x) would both be multiples of $x - a$ and therefore they would not be relatively prime. The fields for which the reverse implication holds (that is, the fields such that whenever two polynomials have no common root then they are relatively prime) are precisely the algebraically closed fields.

If the field F is algebraically closed, let p(x) and q(x) be two polynomials which are not relatively prime and let r(x) be their greatest common divisor. Then, since r(x) is not constant, it will have some root a, which will be then a common root of p(x) and q(x).

If F is not algebraically closed, let p(x) be a polynomial whose degree is at least 1 without roots. Then p(x) and p(x) are not relatively prime, but they have no common roots (since none of them has roots).

Other properties

If F is an algebraically closed field and n is a natural number, then F contains all nth roots of unity, because these are (by definition) the n (not necessarily distinct) zeroes of the polynomial xⁿ − 1. A field extension that is contained in an extension generated by the roots of unity is a cyclotomic extension, and the extension of a field generated by all roots of unity is sometimes called its cyclotomic closure. Thus algebraically closed fields are cyclotomically closed. The converse is not true. Even assuming that every polynomial of the form xⁿ − a splits into linear factors is not enough to assure that the field is algebraically closed.

If a proposition which can be expressed in the language of first-order logic is true for an algebraically closed field, then it is true for every algebraically closed field with the same characteristic. Furthermore, if such a proposition is valid for an algebraically closed field with characteristic 0, then not only is it valid for all other algebraically closed fields with characteristic 0, but there is some natural number N such that the proposition is valid for every algebraically closed field with characteristic p when p > N.^[2]

Every field F has some extension which is algebraically closed. Such an extension is called an algebraically closed extension. Among all such extensions there is one and only one (up to isomorphism, but not unique isomorphism) which is an algebraic extension of F;^[3] it is called the algebraic closure of F.

The theory of algebraically closed fields has quantifier elimination.

Notes

↑ Shipman, J. Improving the Fundamental Theorem of Algebra The Mathematical Intelligencer, Volume 29 (2007), Number 4. pp. 9–14
↑ See subsections Rings and fields and Properties of mathematical theories in §2 of J. Barwise's "An introduction to first-order logic".
↑ See Lang's Algebra, §VII.2 or van der Waerden's Algebra I, §10.1.

Related Research Articles

An algebraic number is a number that is a root of a non-zero polynomial in one variable with integer coefficients. For example, the golden ratio, $, is an algebraic number, because it is a root of the polynomial x 2 - x - 1 . That is, it is a value for x for which the polynomial evaluates to zero. As another example, the complex number is algebraic because it is a root of x 4 + 4 .$

In mathematics, a finite field or Galois field is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are the integers mod $p$ when $p$ is a prime number.

In mathematics, particularly in algebra, a field extension is a pair of fields $, such that the operations of K are those of L restricted to K . In this case, L is an extension field of K and K is a subfield of L . For example, under the usual notions of addition and multiplication, the complex numbers are an extension field of the real numbers; the real numbers are a subfield of the complex numbers.$

The fundamental theorem of algebra, also called d'Alembert's theorem or the d'Alembert–Gauss theorem, states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero.

In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the original polynomial. The discriminant is widely used in polynomial factoring, number theory, and algebraic geometry.

In algebraic number theory, an algebraic integer is a complex number that is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial whose coefficients are integers. The set of all algebraic integers $A$ is closed under addition, subtraction and multiplication and therefore is a commutative subring of the complex numbers.

<span class="mw-page-title-main">Root of unity</span> Number that has an integer power equal to 1

In mathematics, a root of unity, occasionally called a de Moivre number, is any complex number that yields 1 when raised to some positive integer power $n$ . Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory of group characters, and the discrete Fourier transform.

In mathematics, an irreducible polynomial is, roughly speaking, a polynomial that cannot be factored into the product of two non-constant polynomials. The property of irreducibility depends on the nature of the coefficients that are accepted for the possible factors, that is, the ring to which the coefficients of the polynomial and its possible factors are supposed to belong. For example, the polynomial $x 2 - 2$ is a polynomial with integer coefficients, but, as every integer is also a real number, it is also a polynomial with real coefficients. It is irreducible if it is considered as a polynomial with integer coefficients, but it factors as $if it is considered as a polynomial with real coefficients. One says that the polynomial x 2 - 2 is irreducible over the integers but not over the reals.$

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation $h (x, y, t) = 0$ can be restricted to the affine algebraic plane curve of equation $h (x, y, 1) = 0$ . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.

In algebra, a monic polynomial is a non-zero univariate polynomial in which the leading coefficient is equal to 1. That is to say, a monic polynomial is one that can be written as

In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field $k$ of some family of polynomials in the polynomial ring $An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.$

In mathematics, a polynomial P(X) over a given field K is separable if its roots are distinct in an algebraic closure of K, that is, the number of distinct roots is equal to the degree of the polynomial.

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In mathematics, the resultant of two polynomials is a polynomial expression of their coefficients that is equal to zero if and only if the polynomials have a common root, or, equivalently, a common factor. In some older texts, the resultant is also called the eliminant.

In mathematics and computer algebra, factorization of polynomials or polynomial factorization expresses a polynomial with coefficients in a given field or in the integers as the product of irreducible factors with coefficients in the same domain. Polynomial factorization is one of the fundamental components of computer algebra systems.

In mathematics, a polynomial transformation consists of computing the polynomial whose roots are a given function of the roots of a polynomial. Polynomial transformations such as Tschirnhaus transformations are often used to simplify the solution of algebraic equations.

In field theory, a branch of mathematics, the minimal polynomial of an element $α$ of an extension field of a field is, roughly speaking, the polynomial of lowest degree having coefficients in the smaller field, such that $α$ is a root of the polynomial. If the minimal polynomial of $α$ exists, it is unique. The coefficient of the highest-degree term in the polynomial is required to be 1.

In algebra, the greatest common divisor of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common divisor of two integers.

A system of polynomial equations is a set of simultaneous equations $f 1 = 0, ..., f h = 0$ where the $f i$ are polynomials in several variables, say $x 1, ..., x n$ , over some field $k$ .

In Galois theory, a discipline within the field of abstract algebra, a resolvent for a permutation group G is a polynomial whose coefficients depend polynomially on the coefficients of a given polynomial p and has, roughly speaking, a rational root if and only if the Galois group of p is included in G. More exactly, if the Galois group is included in G, then the resolvent has a rational root, and the converse is true if the rational root is a simple root. Resolvents were introduced by Joseph Louis Lagrange and systematically used by Évariste Galois. Nowadays they are still a fundamental tool to compute Galois groups. The simplest examples of resolvents are

References

Barwise, Jon (1978). "An introduction to first-order logic". In Barwise, Jon (ed.). Handbook of Mathematical Logic . Studies in Logic and the Foundations of Mathematics. North Holland. ISBN 0-7204-2285-X.
Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. Vol. 211 (revised third ed.). New York, NY: Springer-Verlag. ISBN 978-0-387-95385-4. MR 1878556.
Shipman, Joseph (2007). "Improving the fundamental theorem of algebra". Mathematical Intelligencer . 29 (4): 9–14. doi:10.1007/BF02986170. ISSN 0343-6993. S2CID 123089882.
van der Waerden, Bartel Leendert (2003). Algebra. Vol. I (7th ed.). Springer-Verlag. ISBN 0-387-40624-7.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Shipman, J. Improving the Fundamental Theorem of Algebra The Mathematical Intelligencer, Volume 29 (2007), Number 4. pp. 9–14

[2] See subsections Rings and fields and Properties of mathematical theories in §2 of J. Barwise's "An introduction to first-order logic".

[3] See Lang's Algebra, §VII.2 or van der Waerden's Algebra I, §10.1.

[1]

[2]

[3]