Théorème d'Artin-Lang
En mathématiques, le théorème d'Artin-Lang est un théorème d'algèbre commutative sur les corps ordonnés. Il est essentiel dans la preuve du XVIIe problème de Hilbert, publiée par Emil Artin en 1927[1].
Énoncé modifier
Soit un corps réel clos, une corps réel clos contenant et une -algèbre de présentation finie. S'il existe un morphisme de -algèbres , alors il existe un morphisme de -algèbres
Références modifier
- Emil Artin, « Über die Zerlegung definiter Funktionen in Quadrate », Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 5, no 1, , p. 100–115 (DOI 10.1007/BF02952513)
Bibliographie modifier
(en) Jacek Bochnak, Michel Coste et Marie-Françoise Roy, Real Algebraic Geometry, Springer, (ISBN 978-3-540-64663-1, lire en ligne), « Real Algebra », pp. 83-95
