Plan de Moufang
En géométrie, un plan de Moufang, du nom de la mathématicienne allemande Ruth Moufang, est une classe de plans projectifs, plus précisément un type particulier de plan de translation (en). Un plan de translation est un plan projectif qui admet une droite de translation, c'est-à -dire une droite telle que le groupe des automorphismes qui fixent chaque point de la droite agit transitivement sur les points du plan hors de la droite[1]. Un plan de translation est dit de Moufang si toute droite du plan est une droite de translation[2].
Caractérisations
Un plan de Moufang peut aussi être décrit comme un plan projectif dans lequel le petit théorème de Desargues est vrai[3]. Ce théorème exprime qu'une forme restreinte du théorème de Desargues est valable pour chaque droite du plan[4]. Par exemple, tout plan arguésien est un plan de Moufang[5].
En termes algébriques, un plan projectif sur un anneau à division alternatif est un plan de Moufang[6], et cette correspondance induit une bijection entre les classes d'isomorphisme des anneaux de division alternatifs et des plans de Moufang.
Comme conséquence du théorème algébrique d'Artin-Zorn, d'après lequel tout anneau à division alternatif fini est un corps (commutatif), tout plan de Moufang fini est arguésien mais certains plans de Moufang infinis sont plans non arguésiens. C'est le cas du plan de Cayley, un plan projectif de Moufang infini sur les octonions car faute d'associativité les octonions ne forment pas un anneau à division[7].
Propriétés
Étant donné un plan projectif P, les conditions suivantes sont équivalentes[8] :
- P est un plan de Moufang ;
- le groupe d'automorphismes qui fixent tous les points d'une droite donnée agit transitivement sur les points qui sont hors de la droite ;
- un certain anneau ternaire du plan est un anneau Ă division alternatif ;
- P est isomorphe au plan projectif sur un anneau Ă division alternatif.
De plus, dans un plan de Moufang :
Voir aussi
Articles connexes
- Boucle de Moufang
- Polygone de Moufang (en)
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Moufang plane » (voir la liste des auteurs).
- Autrement dit, le groupe agit transitivement sur le plan affine obtenu en supprimant cette droite et tous ses points du plan projectif.
- Hughes et Piper 1973, p. 101.
- Pickert 1975, p. 186.
- Dans cette version restreinte du théorème de Desargues, si deux triangles sont en perspective depuis un point situé sur une droite donnée et si deux paires de côtés correspondants se coupent également sur cette droite, alors la troisième paire de côtés correspondants se coupent également sur la droite.
- Hughes et Piper 1973, p. 153.
- Hughes et Piper 1973, p. 139.
- Charles Weibel, « Survey of Non-Desarguesian Planes », Notices of the American Mathematical Society, vol. 54, no 10,‎ , p. 1294-1303 (lire en ligne).
- Hauke Klein, « Moufang planes », sur math.uni-kiel.de, (consulté le ).
- Stevenson 1972, p. 392. Stevenson appelle les plans de Moufang « plans alternatifs »
- Si on remplace « transitif » par « fortement transitif », le plan est pappusien.
Bibliographie
Lectures complémentaires
- Jacques Tits et Richard M. Weiss, Moufang polygons, Berlin, New York, Springer-Verlag, coll. « Springer Monographs in Mathematics », (ISBN 978-3-540-43714-7, MR 1938841)