A Purely Algebraic Proof of the Fundamental Theorem of Algebra

Piotr Błaszczyk

Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia (2016)

  • Volume: 8, page 7-23
  • ISSN: 2080-9751

Abstract

top
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.

How to cite

top

Piotr Błaszczyk. "A Purely Algebraic Proof of the Fundamental Theorem of Algebra." Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia 8 (2016): 7-23. <http://eudml.org/doc/296264>.

@article{PiotrBłaszczyk2016,
abstract = {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.},
author = {Piotr Błaszczyk},
journal = {Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia},
keywords = {fundamental theorem of algebra; continuity; real closed field; intermediate value theorem; ultrapower},
language = {pol},
pages = {7-23},
title = {A Purely Algebraic Proof of the Fundamental Theorem of Algebra},
url = {http://eudml.org/doc/296264},
volume = {8},
year = {2016},
}

TY - JOUR
AU - Piotr Błaszczyk
TI - A Purely Algebraic Proof of the Fundamental Theorem of Algebra
JO - Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia
PY - 2016
VL - 8
SP - 7
EP - 23
AB - 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.
LA - pol
KW - fundamental theorem of algebra; continuity; real closed field; intermediate value theorem; ultrapower
UR - http://eudml.org/doc/296264
ER -

References

top
  1. Artin, E., Schreier, O.: 2007, Algebraische Konstruktion reeller Körper, Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 5 (1926), 85–99; The algebraic construction of real fields, in: M. Rosen (ed.), Exposition by Emil Artin, AMS-LMS, 107–118. 
  2.  
  3. Bair, J., et al.: 2013, Is mathematical history written by the victors?, Notices of The American Mathematical Society 7, 886–904. 
  4.  
  5. Błaszczyk, P.: 2007, Analiza filozoficzna rozprawy Richarda Dedekinda Stetigkeit und irrationale Zahlen, Wydawnictwo Naukowe AP w Krakowie, Kraków. 
  6.  
  7. Birkhoff, G., Mac Lane, S.: 1977, A Survey of Modern Algebra, Macmillan Publishing, New York. 
  8.  
  9. Bolzano, B.: 2004, Purely analytic proof of the theorem that between any two values which give results of opposite signs, there lies at least one real root of the equation, in: S. Russ (ed.), The Mathematical Works of Bernard Bolzano, Oxford University Press, Oxford, 251–263. 
  10.  
  11. Cantor, G.: 1895, Beiträge zur Begründung der transfiniten Mengenlehre, Mathematische Annalen 46, 481–512. 
  12.  
  13. Cohen, L. W., Ehrlich, G.: 1963, The Structure of the Real Number System, Van Nostrand Co., Princeton, New Jersey. 
  14.  
  15. Cohen, P. M.: 1991, Algebra, Vol. III, John Wiley & Sons, Chichester. 
  16.  
  17. Dedekind, R.: 1872, Stetigkeit und irrationale Zahlen, Friedr. Vieweg & Sohn, Braunschweig. 
  18.  
  19. Derksen, H.: 2003, The fundamental theorem of algebra and linear algebra, The American Mathematical Monthly 11, 620–623. 
  20.  
  21. Fine, B., Rosenberger, B.: 1997, The Fundamental Theorem of Algebra, Springer, New York. 
  22.  
  23. Goldblatt, R.: 1998, Lectures on the Hyperreals, Springer, New York. 
  24.  
  25. Hall, J. F.: 2011, Completeness of ordered fields, http://arxiv.org/abs/1101.5652v1. 
  26.  
  27. Jacobson, N.: 1975, Lectures in Abstract Algebra, Vol. III, Van Nostrand Co., Princeton, New Jersey. 
  28.  
  29. Kuratowski, K., Mostowski, A.: 1966, Set Theory, North-Holland, PWN, Amsterdam, Warsaw. 
  30.  
  31. Libman, G.: 2006, A Nonstandard Proof of the Fundamental Theorem of Algebra, The American Mathematical Monthly 4, 347–348. 
  32.  
  33. Maor, E.: 2007, The Pythagorean Theorem: A 4,000-Year History, Princeton University Press, Princeton, New Jersey. 
  34.  
  35. Marker, D.: 2002, Model Theory. An introduction, Springer, New York. 
  36.  
  37. Łoś, J.: 1955, Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres, in: T. Skolem et al. (ed.), Mathematical interpretation of formal systems, North-Holland, Amsterdam, 98–113. 
  38.  
  39. Remmert, R.: 1995, The Fundamental Theorem of Algebra, in: H. D. Ebbinghaus et al. (ed.), Numbers, Springer, New York, 97–122. 
  40.  
  41. Riemenschneider, O.: 2001, 37 elementare axiomatische Charakterisierungen des reellen Zahlkörpers, Mittelungen der Mathematischen Gesellschaft in Hamburg 20, 71–95. 
  42.  
  43. Teismann, H.: 2013, Toward a More Complete List of Completeness Axioms, The American Mathematical Monthly 2, 99–114. 
  44.  
  45. The Bibliography for the Fundamental Theorem of Algebra.: http://mathfaculty.fullerton.edu/mathews/c2003/FunTheoremAlgebraBib/ Links/FunTheoremAlgebraBib_lnk_3.html. 
  46.  
  47. Zassenhaus, H.: 1967, On the Fundamental Theorem of Algebra, The American Mathematical Monthly 74, 485–497. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.