The statement that every nonconstant single-variable polynomial with complex coefficients has at least one complex root; equivalently, a degree-n polynomial over the complex numbers factors into n linear factors when multiplicities are counted.

Principle

The complex numbers form an algebraically closed field: every polynomial equation of positive degree has a solution in C, which implies full linear factorization over C.

Demonstration

Example: p(z) = z^2 + 1 is nonconstant and has complex roots z = i and z = -i; more generally a degree-n polynomial has exactly n complex roots counting multiplicity.

Misapplication

Assuming the same conclusion over fields that are not algebraically closed (for instance the real numbers); over R a nonconstant polynomial need not have a real root and may only factor into linear and irreducible quadratic factors.

Consequence

Enables factorization of complex-coefficient polynomials into linear factors, supports spectral results in linear algebra over C, and underlies many analytic and algebraic constructions relying on root existence.

Reversal

Reversal contrasts working over a non-algebraically-closed field: instead of guaranteed linear factors, polynomials may remain irreducible or factor only partially, motivating extension of the coefficient field to obtain roots.

Boundary

Requires single-variable polynomials with coefficients in C (or any algebraically closed field) and nonzero degree; multivariate polynomials or polynomials over nonclosed fields fall outside the direct statement and require different notions of solution sets.

Semantic Tension

Tension arises between algebraic closure as an existence property and constructive approaches to finding roots; proofs use diverse methods (analytic, topological, algebraic) that emphasize different facets of the same fact.

Synthesis

The Fundamental Theorem of Algebra asserts that the complex numbers are algebraically complete for single-variable polynomials: every nonconstant polynomial has a complex root, hence factors completely into linear terms over C, linking algebraic structure with analytic and topological reasoning.