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 . 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. Un plan de translation est dit de Moufang si toute droite du plan est une droite de translation.
Un plan de Moufang peut aussi être décrit comme un plan projectif dans lequel le petit théorème de Desargues est vrai. Ce théorème exprime qu'une forme restreinte du théorème de Desargues est valable pour chaque droite du plan. Par exemple, tout plan arguésien est un plan de Moufang.
En termes algébriques, un plan projectif sur un anneau à division alternatif est un plan de Moufang, 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.
Étant donné un plan projectif P, les conditions suivantes sont équivalentes :
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 :
le groupe des automorphismes agit transitivement sur les quadrangles ;
deux anneaux ternaires du plan sont isomorphes.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En mathématiques, le plan de Cayley (ou plan projectif octonionique) P2(O) est un plan projectif sur les octonions. Le plan de Cayley a été découvert en 1933 par la mathématicienne allemande Ruth Moufang et porte le nom d'Arthur Cayley pour son article de 1845 décrivant les octonions. Dans le plan de Cayley, les droites et les points peuvent être définis de manière naturelle de sorte à former un espace projectif de dimension deux, c'est-à-dire un plan projectif. C'est un plan non arguésien, c'est-à-dire que le théorème de Desargues n'est pas vérifié.