théorème d’Artin-Schreier

ANALYSE

Emil Artin et Otto Schreier (1901-1929) ont démontré (1927) que pour tout corps totalement ordonné K, il existe un corps réel clos algébrique sur K et dont l’ordre prolonge celui de K. Cette extension, unique à isomorphisme près, est appelée la clôture réelle de K.