A Purely Algebraic Proof of the Fundamental Theorem of Algebra

Błaszczyk, Piotr 

Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia, Tome 8 (2016) no. 1, pp. 7-23

Résumé

Proofs of the fundamental theorem of algebra can be divided upinto three groups according to the techniques involved: proofs that rely onreal or complex analysis, algebraic proofs, and topological proofs. Algebraicproofs make use of the fact that odd-degree real polynomials have real roots.This assumption, however, requires analytic methods, namely, the intermediatevalue theorem for real continuous functions. In this paper, we developthe idea of algebraic proof further towards a purely algebraic proof of theintermediate value theorem for real polynomials. In our proof, we neither usethe notion of continuous function nor refer to any theorem of real and complexanalysis. Instead, we apply techniques of modern algebra: we extend thefield of real numbers to the non-Archimedean field of hyperreals via an ultraproductconstruction and explore some relationships between the subringof limited hyperreals, its maximal ideal of infinitesimals, and real numbers.

Détail

Keywords: fundamental theorem of algebra, continuity, real closed field, intermediate, value theorem, ultrapower