Moufang-Ebene

Beziehung zwischen Typen projektiver Ebenen: moufangsch: der kleine Satz von Desargues wird vorausgesetzt,
desarguessch: der große Satz von Desargues,
pappussch: der Satz von Pappus
Der kleine affine Satz von Desargues besagt: Sind A_{1}A_{2}A_{3} und B_{1}B_{2}B_{3} Dreiecke, bei denen die „Zuordnungsgeraden“ parallel sind: A_{1}B_{1}\parallel A_{2}B_{2}\parallel A_{3}B_{3} dann folgt aus der Parallelität von zwei Paaren von Dreiecksseiten (z.B. A_{1}A_{2}\parallel B_{1}B_{2} und A_{2}A_{3}\parallel B_{2}B_{3}), dass auch das dritte Seitenpaar parallel ist (im Beispiel A_{3}A_{1}\parallel B_{3}B_{1}).

Moufang-Ebenen sind projektive Ebenen, in denen der kleine projektive Satz von Desargues allgemeingültig ist. Sie sind nach der deutschen Mathematikerin Ruth Moufang benannt, die diese Ebenen in den 1930er Jahren untersuchte. Sie konnte zeigen, dass jede Moufang-Ebene isomorph zu einer projektiven Ebene über einem Alternativkörper ist. Da ein endlicher Alternativkörper schon ein Körper ist (s.u.), gilt: Alle endlichen Moufang-Ebenen sind pappussche Ebenen. (Man beachte: In einer desargueschen projektiven Ebene gilt der große Satz von Desargues. Eine solche Ebene ist über einem Schiefkörper koordinatisierbar und jeder Schiefkörper ist ein Alternativkörper, aber nicht umgekehrt.)

Moufang-Ebenen bilden die Klasse VII in der Klassifikation der projektiven Ebenen nach Hanfried Lenz.

Ist A ein Alternativkörper, dann kann A^{3} zu einer projektiven Ebene gemacht werden, indem man wie bei einem projektiven Raum über einem Körper die von einem Element (a_{0},a_{1},a_{2})\in A^{3}\setminus \lbrace (0,0,0)\rbrace erzeugten eindimensionalen Unterräume als Punkte und die zweidimensionalen Unterräume als Geraden verwendet. Man spricht dann auch von der projektiven Ebene über A und notiert sie als {\mathbb  P}^{2}(A). Diese projektiven Koordinatenebenen sind stets Moufang-Ebenen. Genau dann, wenn die Multiplikation im Alternativkörper A das Assoziativgesetz erfüllt, ist A ein Schiefkörper und die Ebene {\mathbb  P}^{2}(A) eine desarguessche projektive Ebene. Man beachte aber, dass zu einem Alternativkörper A, der kein Schiefkörper ist, keiner der formal darstellbaren Koordinatenräume {\mathbb  P}^{n}(A)=A^{{n+1}}\; für n>2 eine projektive Geometrie bildet, vergleiche dazu Axiom von Veblen-Young!

Jede Moufang-Ebene ist isomorph zu einer projektiven Koordinatenebene {\mathbb  P}^{2}(A) über einem Alternativkörper A, der durch die Ebene bis auf Isomorphie eindeutig bestimmt ist.

Mit einem Satz von Artin und Zorn, der besagt, dass jeder endliche Alternativkörper ein Körper ist, folgt daraus, dass jede endliche Moufang-Ebene tatsächlich eine projektive Ebene {\mathbb  P}^{2}({\mathbb  F}_{q}) über einem endlichen Körper ist.

Äquivalente Beschreibungen für den Begriff „Moufang-Ebene“: Eine projektive Ebene ist genau dann eine Moufang-Ebene, wenn

Bei einer Moufang-Ebene sind die genannten affinen Translationsebenen alle zueinander isomorph (als Inzidenzstrukturen), ihre Koordinatenternärkörper sind stets Quasikörper und sogar Alternativkörper, die ebenfalls zueinander isomorph sind.

Die reellen Oktonionen \mathbb O sind ein Beispiel für einen Alternativkörper, der kein Schiefkörper ist, die projektive Ebene {\mathbb  P}^{2}({\mathbb  O}) das wichtigste Beispiel für eine nichtdesarguesche Moufang-Ebene.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 27.10. 2019