corps de Conway

Imaginez une réserve de nombres dans laquelle vous pouvez choisir un nombre a, calculer 1 + a², puis chercher sa racine carrée. Si cette nouvelle racine appartient déjà à la réserve, celle-ci n’a pas besoin de s’agrandir pour ce test.

Un corps de Conway est une réserve qui réussit ce test pour chaque choix de a. Avec les nombres rationnels, le choix a = 1 donne √2, qui n’est pas rationnel : les rationnels doivent donc être agrandis.

Un corps de Conway est un corps F qui contient déjà, pour chaque élément a de F, une racine carrée de 1 + a² : autrement dit, l’extension engendrée par ces racines pour tous les a de F coïncide avec F. Ici, F désigne un ensemble de nombres muni de l’addition, de la soustraction, de la multiplication et de la division par tout élément non nul, avec les règles usuelles de calcul.

Pour chaque élément a de F, on forme le nombre 1 + a², puis on adjoint à F une racine carrée de ce nombre. L’extension obtenue doit coïncider avec F lui-même : aucune nouvelle racine ne doit être nécessaire. Cette exigence porte sur tous les a, et non sur un seul exemple.

Une extension pythagoricienne itérée part de F₀ = F et, à chaque étape, adjoint les racines carrées de 1 + a² pour tous les éléments a du corps courant Fₙ ; la clôture pythagoricienne est l’union des corps ainsi obtenus. La notion se place dans l’étude des corps ordonnés et de leurs clôtures, en relation avec les formes quadratiques et avec les jeux combinatoires formalisés par John Horton Conway.

La structure se décrit avec quatre éléments liés. Le corps F fournit les nombres de départ et les opérations de calcul. L’élément a est choisi dans F. Le carré a² sert à former 1 + a², puis une racine carrée de ce résultat est adjointe au corps.

Ces éléments dépendent les uns des autres : le choix de a détermine 1 + a², et cette valeur détermine la racine à examiner. La condition de stabilité compare ensuite le corps initial F avec l’extension obtenue. Elle ne dépend ni d’un dessin ni d’une échelle : elle porte sur l’appartenance des racines et sur les opérations du corps.

Dans le cas conducteur F = ℚ et a = 1, le carré vaut 1, donc 1 + a² = 2, et la racine examinée est √2. La structure suffit à conclure que l’extension est nouvelle si √2 n’appartient pas à ℚ.

Prenons comme corps de départ les nombres rationnels, notés ℚ, et choisissons a = 1. Le test d’extension pythagoricienne utilise alors les données suivantes : le corps F = ℚ, l’élément a = 1 et le nombre 1 ajouté à a².

Le carré de l’élément choisi est 1² = 1.
La quantité à compléter vaut 1 + 1 = 2.
La racine carrée recherchée est √2.
Or √2 n’est pas un nombre rationnel, car aucun quotient d’entiers ne possède exactement le carré 2.

L’extension qui contient ℚ et √2 est donc strictement plus grande que ℚ. Le corps ℚ ne coïncide pas avec cette extension : il échoue au test dès le choix a = 1. Un corps de Conway devrait réussir le test pour chaque élément a, pas seulement pour quelques valeurs.

Pour étudier un corps candidat, on commence par choisir un élément a et à calculer 1 + a². On vérifie ensuite si une racine carrée de cette quantité appartient déjà au corps.

Il faut distinguer deux démarches : pour réfuter qu’un corps candidat vérifie le critère, un seul élément a dont la racine requise manque suffit ; pour établir qu’il le vérifie, il faut contrôler la condition pour chaque élément a.

Cette démarche sert à situer la notion dans l’algèbre des corps, les corps ordonnés et l’étude des clôtures. Les formes quadratiques et les jeux combinatoires de Conway constituent les domaines de liaison indiqués par la définition.

Un corps de Conway ne désigne pas une simple extension obtenue pour un choix particulier de a. Le critère est universel : l’extension doit coïncider avec F pour tout élément a de F. Un corps peut donc réussir un test isolé sans être un corps de Conway.

Il ne faut pas non plus confondre le nom de Conway avec une définition fondée uniquement sur les jeux combinatoires. La définition donnée porte d’abord sur la stabilité d’un corps par les extensions pythagoriciennes ; les jeux combinatoires sont un lien de contexte.

Le piège principal consiste à tester une seule valeur de a. Pour F = ℚ, certains choix peuvent produire une racine déjà rationnelle, mais a = 1 donne √2 et suffit à montrer que le corps n’est pas stable. Il faut donc examiner la condition pour tout a, ou exhiber un contre-exemple exact.

L’expression « adjoindre une racine carrée » ne signifie pas que la racine est toujours déjà définie dans le corps de départ. Lorsque 1 + a² n’y possède pas de racine carrée, l’extension ajoute un élément nouveau. La conclusion de stabilité ne peut être affirmée qu’après avoir vérifié l’appartenance de toutes les racines requises.

Enfin, la définition source relie la notion aux corps ordonnés, à leurs clôtures, aux formes quadratiques et aux jeux combinatoires formalisés par John Horton Conway. Elle ne précise pas ici une construction de clôture ni une propriété supplémentaire d’un corps particulier.

Pour prolonger l’étude, on peut suivre le lien entre la stabilité par extensions pythagoriciennes et les clôtures de corps. Cette perspective aide à comprendre comment une famille de racines carrées peut agrandir un corps, puis pourquoi la notion intervient aussi dans l’étude des formes quadratiques et des jeux combinatoires de Conway.