théorème d'Artin-Schreier

Imaginez un système de nombres dans lequel deux valeurs peuvent toujours être comparées. Certaines solutions d'équations peuvent encore lui manquer. Le théorème affirme que l'on peut lui adjoindre des solutions algébriques tout en conservant ses comparaisons, jusqu'à atteindre un système qu'aucun nouvel agrandissement algébrique ordonné ne peut dépasser.

Ce système maximal pour l'ordre s'appelle une clôture réelle. Sa présentation peut varier, mais sa structure ordonnée est déterminée de manière unique.

Un corps totalement ordonné est un corps muni d'un ordre total compatible avec l'addition et la multiplication par un élément positif. Soit K un tel corps, avec son ordre fixé. Une extension de K est dite algébrique lorsque chacun de ses éléments satisfait une équation polynomiale à coefficients dans K. Le théorème d'Artin-Schreier garantit l'existence d'une extension algébrique ordonnée K̄ dans laquelle les comparaisons entre éléments de K restent inchangées.

Le corps K̄ est réel clos : aucune extension algébrique propre de K̄ ne peut encore porter un ordre qui prolonge le sien. Il constitue la clôture réelle du corps ordonné K. Si deux corps possèdent ces propriétés pour le même K et le même ordre, ils sont isomorphes comme corps ordonnés au-dessus de K. L'unicité porte donc sur la structure, pas sur une écriture particulière. Le schéma rassemble les trois garanties à lire ensemble : extension algébrique, conservation de l'ordre et clôture réelle.

Si K est un corps muni d'un ordre total compatible avec ses opérations, alors il existe une extension K̄ qui est algébrique sur K, dont l'ordre prolonge celui de K et qui est réelle close. Toute autre extension possédant ces mêmes propriétés est isomorphe à K̄ par un isomorphisme qui préserve l'ordre et les éléments de K.

Le point de départ doit être un corps, et non un ensemble seulement muni d'une addition ou d'une multiplication. Il faut aussi avoir choisi sur ce corps un ordre total compatible avec les opérations. Enfin, l'agrandissement recherché est algébrique : ses nouveaux éléments doivent satisfaire des équations polynomiales à coefficients dans le corps initial.

Si aucun ordre compatible n'est donné, l'hypothèse de départ manque : cette version du théorème ne fournit pas de clôture réelle. De même, demander seulement une extension algébrique maximale sans exiger la conservation d'un ordre pose une autre question et ne caractérise pas l'objet obtenu ici.

Prenons le corps des nombres rationnels ℚ muni de son ordre usuel. Ce cas permet de vérifier les hypothèses, de suivre une conséquence concrète du théorème et de contrôler le sens de l'unicité.

Données.
ℚ est un corps.
Son ordre usuel est total et compatible avec les opérations.
Il lui manque pourtant des solutions algébriques réelles : aucun rationnel positif n'a pour carré 2.

Étape 1. Les hypothèses sont réunies : les rationnels forment un corps et leur ordre usuel est fixé. Le théorème d'Artin-Schreier s'applique donc à ℚ.

Étape 2. Le théorème fournit une clôture réelle de ℚ. On peut la représenter par le corps des nombres réels algébriques. Elle contient notamment l'élément positif α tel que α² = 2, tandis que les comparaisons entre rationnels, par exemple le fait que 1 est inférieur à 2, restent inchangées.

Étape 3. Le corps obtenu est réel clos : aucune de ses extensions algébriques propres ne peut encore prolonger son ordre. L'exemple ne demande pas d'énumérer tous ses éléments pour utiliser cette garantie.

Contrôle. Si une autre construction produit un corps L algébrique et réel clos au-dessus de ℚ, avec le même ordre sur ℚ, l'unicité impose un isomorphisme ordonné entre L et le corps des nombres réels algébriques qui fixe ℚ. Les deux corps peuvent avoir des présentations différentes : ils représentent la même clôture réelle à isomorphisme d'ordre près.

Lorsqu'un raisonnement commence dans un corps ordonné mais nécessite des solutions algébriques supplémentaires, la clôture réelle indique le cadre où les adjoindre sans perdre les comparaisons déjà établies.

Pour comparer deux constructions candidates, il n'est pas nécessaire d'exiger qu'elles aient exactement les mêmes éléments. On vérifie plutôt qu'elles sont algébriques, réelles closes, qu'elles prolongent le même ordre et qu'un isomorphisme ordonné fixe le corps initial.

Si l'ordre n'a aucun rôle dans le problème, la clôture réelle n'est pas automatiquement l'objet pertinent. Le bon réflexe consiste d'abord à regarder si la conservation d'un ordre fait partie de la question.

Clôture réelle et extension algébrique quelconque. Une extension peut être algébrique sans être réelle close ni conserver un ordre donné. Le cas tranche dès que l'une de ces deux propriétés manque.

Corps ordonné et corps réel clos. Un corps ordonné fournit seulement le point de départ. Il est réel clos lorsque aucune extension algébrique propre ne peut encore prolonger son ordre ; sinon, le théorème garantit une clôture réelle plus grande.

L'unicité ne signifie pas identité littérale. Deux clôtures réelles peuvent être présentées avec des éléments nommés différemment. Le symptôme du piège est d'exiger leur égalité comme ensembles ; il faut rechercher l'isomorphisme qui fixe K et préserve l'ordre.

L'ordre fait partie des données. L'énoncé part d'un corps totalement ordonné, donc d'un ordre déjà choisi. Oublier cette donnée rend l'expression « prolonger l'ordre » indéterminée ; il faut toujours préciser l'ordre initial auquel la clôture se rapporte.

Réel clos ne signifie pas sans extension algébrique propre. La restriction décisive est qu'une telle extension ne peut pas conserver l'ordre. Supprimer ces derniers mots transforme la propriété en une affirmation plus forte que la définition donnée.

Une piste naturelle consiste à étudier séparément les trois structures que le théorème fait coexister : les équations polynomiales qui définissent l'algébricité, l'ordre compatible avec les opérations, puis l'isomorphisme qui exprime l'unicité. Cette décomposition montre pourquoi la clôture réelle dépend du corps ordonné de départ, tout en restant unique indépendamment de sa construction.