Algebraically Closed Field¶
Definition¶
A field is algebraically closed if every nonconstant polynomial in (that is, with coefficients in ) has a root in .
Interpretation¶
A field is algebraically closed when polynomial equations never force us to leave it: every equation with a nonconstant polynomial with coefficients in already has a solution in .
The definition asks for one root, but this gives all of them. If , then polynomial long division by leaves remainder , so with . If is nonconstant, it has a root as well, and repeating the step splits completely. So over an algebraically closed field, a polynomial of degree is a constant times a product of linear factors , where some may coincide.
The word closed does not refer to the field operations; every field is closed under addition and multiplication. It refers to solving equations: in the equation has no solution, and in the equation has none either. Enlarging by is enough to repair this for every polynomial at once, which is the content of the fundamental theorem of algebra: the complex numbers form an algebraically closed field.
This is one reason why complex numbers appear in linear algebra. Later, the eigenvalues of a square matrix turn out to be roots of a polynomial, so over they always exist, even when the matrix has only real entries.
Key Results¶
- The complex numbers are algebraically closed (see the fundamental theorem of algebra).
- The real numbers are not algebraically closed.
Examples¶
- has no root in , but has roots and in .
- is not algebraically closed: has no rational root.
Prerequisites¶
Related Concepts¶
Sources¶
- Math II: Linear Algebra · Week 1
Aliases: algebraically closed Symbols: complex numbers, lambda, rational numbers, real numbers
Last updated: 20 October 2026 03:02
Algebraically Closed FieldFieldPolynomialComplex NumberFundamental Theorem of AlgebraRoot of a PolynomialJordan Normal Form