Sous-corps exotique de R
En mathématiques, un sous-corps exotique de ℝ est un sous-corps indénombrable strict de ℝ construit à l'aide du lemme de Zorn (et donc de l'axiome du choix).
Exemple[modifier | modifier le code]
Soit l'ensemble des sous-corps de qui ne contiennent pas √2. L'ensemble est non vide (ℚ est l'un de ses éléments) et partiellement ordonné par l'inclusion. On vérifie alors aisément que c'est un ensemble inductif. D'après le lemme de Zorn, il possède donc un élément maximal .
La maximalité de permet de montrer que l'extension est algébrique, ce qui entraîne que est indénombrable.
![{\displaystyle \mathbb {R} /K[{\sqrt {2}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/306dc0d8afba9d8f78a59e68702624bc67ba251f)
![{\displaystyle K[{\sqrt {2}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b0d6d7cbf2b83b418d02a77f9435365b969ede1)
Enfin, est strictement inclus dans : dans le cas contraire, l'automorphisme de corps de fixant les éléments de et envoyant sur serait un automorphisme de corps de autre que l'identité, ce qui contredirait un théorème de Darboux.
Référence[modifier | modifier le code]
(en) Ralph S. Butcher, Wallace L. Hamilton et John G. Milcetich, « Uncountable fields having proper uncountable subfields », Mathematics Magazine, vol. 58, no 3, , p. 171-172 (lire en ligne)
Voir aussi[modifier | modifier le code]
Article connexe[modifier | modifier le code]
Automorphisme de corps non continu de ℂ
Bibliographie[modifier | modifier le code]
À propos de ce théorème de Darboux :
- Gaston Darboux, « Sur le théorème fondamental de la géométrie projective », Mathematische Annalen, vol. 17, , p. 55-61 (lire en ligne)
- (en) János Aczél (en) et Jean Dhombres, Functional Equations in Several Variables, Cambridge University Press, (lire en ligne), p. 57
