Théorème d'Artin-Lang
# 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.

## Énoncé

   Soit $R$ un corps réel clos, $R_{1}$ une corps réel clos contenant $R$ et $A$ une $R$-algèbre de présentation finie. S'il existe un morphisme de $R$-algèbres $\varphi :A\to R_{1}$, alors il existe un morphisme de $R$-algèbres $\psi :A\to R$
