The Fundamental Theorem of Algebra states that every polynomial with complex number coefficients has at least one complex root. Most classical proofs rely on tools from calculus or complex analysis, such as continuity and limits. This paper takes a different route, using purely algebraic methods to arrive at the same conclusion, centering the argument on a special class of fields called real closed fields.
A field is a number system where you can add, subtract, multiply, and divide. A real closed field is one that shares the essential algebraic properties of the real numbers, such as every positive element having a square root and every odd-degree polynomial having a root, without necessarily being the real numbers themselves. The paper also brings in the theory of quadratic forms, which studies expressions built from squared terms, as a tool for understanding the structure of these fields.
The core argument uses Galois theory, a branch of algebra that connects the structure of fields to the structure of symmetry groups. The paper shows that if you take any real closed field and extend it by adding the square root of negative one (just as the complex numbers extend the reals), the resulting field is algebraically closed, meaning every polynomial equation has a solution within it. Since the real numbers can be shown to be real closed, this gives a clean algebraic explanation for why the complex numbers are algebraically closed, which is exactly what the Fundamental Theorem of Algebra says.