Klassifikation projektiver Ebenen

Die übliche Klassifikation projektiver Ebenen erfolgt in der synthetischen Geometrie anhand der Operation der jeweiligen Gruppe ihrer Kollineationen. Die Lenz-Barlotti-Klassifikation klassifiziert die Ebenen durch Eigenschaften der Operation bestimmter Untergruppen ihrer Kollineationsgruppe, sie verfeinert dabei die Lenz-Klassifikation. Dazu wird bei beiden Klassifikationen als Merkmal die Reichhaltigkeit der Untergruppen der Kollineationsgruppe betrachtet, die aus zentral-axialen Kollineationen (ebenen, projektiven Perspektivitäten) mit je einer festen Achse und einem festen Zentrum bestehen.

Dabei zeigt sich, dass die gröbere Klasseneinteilung nach Lenz in der Regel jeder Klasse von Ebenen eine für sie charakteristische Klasse von Ternärkörpern zuordnet: Der Koordinatenbereich einer „höheren“ Lenz-Klasse erfüllt – bei geeigneter Wahl der projektiven Punktbasis für die Koordinatisierung – stärkere algebraische Axiome als der einer niedrigeren.

Die Lenz-Barlotti-Klassifikation ist keine Klassifikation „bis auf Isomorphie“: Isomorphe projektive Ebenen gehören stets zur gleichen Klasse, aber Ebenen einer Klasse brauchen nicht zueinander isomorph zu sein. Die einzigen Ausnahmen sind die Lenz-Barlotti-Klassen IVa.3 und IVb.3: In diesen Klassen sind alle Vertreter jeweils zueinander isomorphe Ebenen der Ordnung 9.

Geschichte

Hanfried Lenz entwickelte in den 1940er Jahren eine Klassifikation für projektive Ebenen, die Lenz-Klassifikation.[1] Dabei definierte er als charakteristisches Merkmal die später ebenfalls nach ihm benannte Lenz-Figur einer projektiven Ebene, eine Menge von Paaren, die jeweils von einer Achse (Fixpunktgerade) und einem Punkt (dem Zentrum) auf dieser Achse gebildet werden.[2] Adriano Barlotti erweiterte und verfeinerte diese Klassifikation in den 1950er Jahren dadurch, dass er für die charakteristische Figur auch Zentren außerhalb der Achse zuließ.[3] Damit wird aus der Lenz-Figur die Lenz-Barlotti-Figur.

Günter Pickert entwickelte in den 1960er Jahren eine formale Definition des klassischen Begriffes Schließungssatz mit dem sich auch „Spezialisierungen“ eines Schließungssatzes und affine Formen (Spezialisierungen mit einer ausgezeichneten, konstanten Geraden, der Ferngeraden) fassen und vergleichen lassen.[4] Der für die Klassifikation projektiver Ebenen wichtige Schließungssatz ist der Satz von Desargues, alle „Transitivitätseigenschaften“, die eine Lenz- oder Lenz-Barlotti-Klasse charakterisieren, sind der Gültigkeit einer Spezialisierung des desarguesschen Satzes zusammen mit der Nichtgültigkeit einer anderen seiner Spezialisierungen gleichwertig. Pickert konnte auch zeigen, dass die Gültigkeit jedes Schließungssatzes äquivalent zur Gültigkeit bestimmter algebraischer Axiome in einem geeignet gewählten Koordinatenternärkörper ist. Die Lenz-Barlotti-Klassifikation liefert insofern zugleich eine Klassifikation der Koordinatenternärkörper. Während aber die Klassen der algebraischen Axiome und der Schließungssätze prinzipiell unbeschränkt sind, liefert die Lenz-Barlotti-Klassifikation anhand der Automorphismengruppe der Ebene eine endliche Anzahl von Klassen.

Definitionen

Im Folgenden sei eine projektive Ebene und zugleich die Menge der auf der Ebene liegenden projektiven Punkte und die Menge der Geraden der Ebene, die Gruppe der Kollineationen der Ebene. Eine Kollineation heißt -Kollineation, wenn sie die Achse und das Zentrum hat, das heißt, wenn gilt:

  1. Für jeden Punkt ist und
  2. Für jede Gerade , die durch geht, ist .

Mit wird die Untergruppe der -Kollineationen der Ebene bezeichnet. Die projektive Ebene heißt -transitiv, wenn die Gruppe für jede Gerade mit transitiv auf operiert.

Figuren

Die Menge

heißt Lenz-Figur von .

Die Menge

heißt Lenz-Barlotti-Figur von .

Invarianz der Figuren

Sowohl die Lenz-Figur, als auch die Lenz-Barlotti-Figur sind invariant unter jeder Kollineation, das heißt konkret:

Ist eine projektive Ebene und eine beliebige Kollineation dieser Ebene, dann gilt[2]

und
.

Koordinatisierung der projektiven Ebene

Einführung von Koordinaten in einer beliebigen projektiven Ebene durch eine projektive Punktbasis (vollständiges Viereck) (rot). Die Verbindungsgerade (hellblau) wird zur Ferngerade der Ebene.

Für Ebenen der Lenz-Klassen I bis IV ist die algebraische Struktur der Koordinatenternärkörper von der Wahl des projektiven Koordinatensystems abhängig und von der darauf beruhenden Definition der Ternärkonstruktion. Die im nächsten Abschnitt beschriebenen Lenz-Barlotti-Figuren werden mit Hilfe des hier beschriebenen Koordinatenbezugssystems angegeben. Dazu wird eine Koordinatendarstellung der Punkte mit abgekürzten Koordinaten auf der Ferngeraden eingeführt, vergleiche dazu die Abbildung rechts, die Koordinatisierung und die Bezeichnungen richten sich nach Prieß-Crampe,[5] sie gehen auf Marshall Hall[6] zurück:

  1. Ein projektives Koordinatensystem wird durch geeignete Wahl eines vollständigen Vierecks auf der Lenz-Barlotti-Figur bestimmt.
  2. Der Punkt O wird zum Ursprung des affinen Koordinatensystems, ist die Ferngerade, die affinen Punkte auf , also die Punkte in bilden den Ternärkörper.
  3. Der Punkt O wird zum neutralen Element der Addition und als Element von K mit 0 bezeichnet.
  4. Der Punkt E wird zum neutralen Element der Multiplikation und als Element von K mit 1 bezeichnet.
  5. Alle Elemente der affinen Gerade K haben als affine Koordinaten
  6. Der Punkt mit den Koordinaten ist bestimmt als Schnittpunkt der Geraden und . Umgekehrt erhält man die Koordinaten eines affinen Punktes als Schnittpunkte und .
Spezialfälle:
  1. Die affinen Punkte B auf der Geraden , also alle Punkte dieser Geraden außer V, haben die Koordinaten , wobei das Ternärkörperelement (Koordinate) als Schnittpunkt bestimmt ist. Dieser Spezialfall der Koordinatenkonstruktion ist in der Abbildung schwarz dargestellt.
  2. Die affinen Punkte Y auf der Geraden , also alle Punkte dieser Geraden außer V, haben die Koordinaten , wobei die Koordinate als Schnittpunkt bestimmt ist. Dieser Spezialfall der Koordinatenkonstruktion ist in der Abbildung grün dargestellt.
  3. Ein Punkt auf der Ferngeraden erhält die Koordinatendarstellung wobei dadurch bestimmt ist, dass der Schnittpunkt die affinen Koordinaten hat. Der Punkt V, dem auf diese Art keine Koordinate zugewiesen werden kann, erhält die Koordinatendarstellung .

Ternärverknüpfung und Geradendarstellung

Ternärkonstruktion in einer beliebigen projektiven Ebene für die Ternärkörperelemente, das sind die affinen Punkte der Geraden . Die Verbindungsgerade (hellblau) ist die Ferngerade der Ebene.

Die Ternärverknüpfung wird nun für so definiert, vergleiche die zweite Abbildung rechts:

  1. Zu wird der Fernpunkt konstruiert.
  2. Zu wird der Punkt konstruiert.
  3. Das Ergebnis ist bestimmt als die y-Koordinate des Schnitts , der in der Abbildung grün dargestellt ist.

Diese Ternärverknüpfung ist der im Artikel Ternärkörper beschriebenen affinen Definition äquivalent. Anders als dort beschrieben, werden hier die Geraden durch in der zweiten Koordinate y explizite Gleichungen (und zwei Sonderformen) dargestellt:

  1. Die Geraden haben die explizite Geradengleichung für die affinen Punkte und den Fernpunkt , als Beispiel in der Abbildung die grau dargestellte Verbindungsgerade . Dies sind alle Geraden der projektiven Ebene, außer denen durch . Ein Spezialfall sind die Verbindungsgeraden mit der affinen Gleichung und dem Fernpunkt .
  2. Die Geraden durch V, die in einem affinen Punkt schneiden, haben die Gleichung für die affinen Punkte und den Fernpunkt . Ein Beispiel ist die Gerade in der Abbildung.
  3. Die Ferngerade enthält genau die Punkte mit den Koordinaten .

Im affinen Ausschnitt der Ebene sind Geraden genau dann parallel, wenn ihre projektive Fortsetzungen durch denselben Fernpunkt gehen, daher gilt für die Parallelenscharen:

  1. Zwei Geraden sind genau dann parallel, wenn ist. Diese Zahl ist die gemeinsame Steigung der zugehörigen Parallelenschar.
  2. Alle Geraden vom zweiten Typ sind zueinander, aber zu keiner Geraden des ersten Typs parallel.

Konstruktion der zweistelligen Verknüpfungen

Auf jeder projektiven Ebene werden durch die Wahl eines Koordinatenbezugssystems auch zwei zweistellige Verknüpfungen, eine Addition und eine Multiplikation auf der affinen Punktmenge festgelegt. Die oben beschriebene Ternärverknüpfung ist auf allen Ebenen außer denen der Lenz-Barlotti-Klasse I.1, also auf allen Ebenen über einem linearen Ternärkörper durch diese zweistelligen Verknüpfungen als darstellbar.

In den Abbildungen unten sind diese Spezialfälle der Ternärverknüpfung dargestellt.

Addition Construction Projective.svg
Multiplication Construction Projective.svg
Addition in einer projektiven Ebene.Multiplikation in einer projektiven Ebene.

Die Klassen und ihre Eigenschaften

Lenz-Klassen

Lenz ordnet jeder Lenz-Figur eine Ordnungszahl in Form einer römischen Zahl zwischen I und VII zu. Eine Klasse mit einer höheren Klassenzahl erfüllt alle Eigenschaften der Klassen mit niedrigeren Zahlen, aber ihre Lenz-Figur ist eine echte Obermenge von Lenzfiguren der niedrigeren Klassen. Die Klassenzahl VI entfällt, da gezeigt wurde, dass keine projektive Ebene mit der entsprechenden Lenz-Figur existiert. Stattdessen hat bereits Lenz die Klasse IV in zwei Unterklassen IVa und IVb aufgeteilt, die dual zueinander sind.

Eine projektive Ebene hat genau eine der im Folgenden genannten Lenz-Figuren:[7]

Lenz-TypLenz-FigurKoordinatenbereich
ITernärkörper
IIEs gibt eine Achse und ein Zentrum mit kartesische Gruppe
IIIEs gibt eine Gerade und einen Punkt , so dass

gilt.

spezielle kartesische Gruppe (stets unendlich!)
IVaEs gibt eine Achse , so dass gilt.Linksquasikörper
IVbEs gibt ein Zentrum , so dass gilt.Rechtsquasikörper[8]
VEs gibt eine Achse und ein Zentrum , so dass

gilt.

Halbkörper
VIIAlternativkörper

Ebenen, die mindestens den Lenz-Typ IVa haben, also zu einer der Klassen IVa, V oder VII gehören, werden auch als projektive Translationsebenen bezeichnet. Schlitzt man eine solche Ebene längs einer Achse, die zur Lenzfigur gehört, dann entsteht eine affine Translationsebene. Bei Ebenen der Lenz-Klassen IVb, V oder VII ist die duale Ebene eine projektive Translationsebene in diesem Sinn. Nur bei Ebenen der Lenz-Klasse VII ist die algebraische Struktur des Koordinatenbereichs unabhängig von der Wahl des projektiven Koordinatensystems, hier sind alle Koordinatenbereiche zueinander isomorphe Alternativkörper, siehe dazu Moufangebene. Für eine Ebene der Klasse V sind die Koordinatenbereiche zueinander isotope Halbkörper. Bei den Klassen I bis IV sind die Koordinatenkörper zueinander isotope Ternärkörper und nur bei geeigneter Wahl des Koordinatensystems haben sie die in der Tabelle genannte „stärkst-mögliche“ algebraische Struktur.

Lenz-Barlotti-Klassen

Die Lenz-Barlotti-Klassifikation[5][9] verfeinert die Lenz-Klassifikation, indem bei der Lenz-Barlotti-Figur auch zugelassen wird, dass das Zentrum nicht auf der Achse liegt. Die römischen Zahlen nach Lenz werden beibehalten, ihnen werden, durch einen Punkt getrennt, arabische Ziffern angefügt. Jede Lenz-Barlotti-Klasse ist eine Unterklasse der oben beschriebenen Lenz-Klassifikation. Damit zerfiel zum Beispiel die Klasse I von Lenz bei Barlotti ursprünglich in 8 Unterklassen (I.1 bis I.8), wobei sich später zeigte, dass keine Vertreter der Klassen I.5, I.7 und I.8 existieren. Die Lenz-Klasse V zerfällt als Einzige in der Lenz-Barlotti-Klassifikation nicht weiter, hier gilt . Ansonsten stimmt die Lenz-Barlotti-Figur für die jeweils erste Lenz-Barlotti-Klasse mit der Lenz-Figur der entsprechenden übergeordneten Lenz-Klasse überein.

Eine projektive Ebene hat genau eine der im Folgenden genannten Lenz-Barlotti-Figuren:

Lenz-Barlotti-TypLenz-Barlotti-FigurTernärkörper K bezüglich
I.1keine zusätzlichen Eigenschaften
I.2K ist linear, Multiplikation ist assoziativ
I.3K ist linear, Multiplikation ist assoziativ,
I.4K ist linear, Multiplikation ist assoziativ, beide Distributivgesetze
I.6, wobei eine bijektive Abbildung der Punkte von auf die Menge der Geraden durch V außer UV ist, in Koordinaten zum Beispiel .K ist linear, Multiplikation ist assoziativ, beide Distributivgesetze, weitere spezielle Eigenschaften
II.1Kartesische Gruppe
II.2Kartesische Gruppe, assoziative Multiplikation
III.1Kartesische Gruppe mit speziellen Eigenschaften
III.2Kartesische Gruppe mit speziellen Eigenschaften, assoziative Multiplikation
IVa.1, TranslationsebeneLinksquasikörper:
IVa.2(Links-)Fastkörper
IVa.3, wobei eine involutorische, bijektive, fixpunktfreie Abbildung der Geraden UV auf sich isteindeutig bestimmter Linksfastkörper mit 9 Elementen.
IVb.1Die Lenz-Barlotti-Figur ist dual zu der von Klasse IVa.1.Dual zu IVa.1.
IVb.2Die Lenz-Barlotti-Figur ist dual zu der von Klasse IVa.2.Dual zu IVa.2.
IVb.3Die Lenz-Barlotti-Figur ist dual zu der von Klasse IVa.3.Dual zu IVa.3.
VHalbkörper
VII.1Alternativkörper
VII.2Schiefkörper

Modelle

In diesem Abschnitt findet sich eine Übersicht über heute bekannte Beispiele (Stand: 2011) für Ebenen, die Vertreter bestimmter Lenz-Barlotti-Klassen sind. Insbesondere über unendliche Ebenen, die in die Lenz-Klasse I fallen, ist recht wenig bekannt, endliche Modelle für diese „schwächsten“ Lenz-Barlotti-Klassen werden heute mit massivem Computereinsatz gesucht oder es wird auf diesem Wege versucht, deren Existenz zu widerlegen. Die folgende tabellarische Liste erhebt keinen Anspruch auf Vollständigkeit!

Lenz-KlasseLenz-Barlotti-Klasseendliche Modelleunendliche Modelle
II.1„Hughes planes“:[10] Zu ungeraden Primzahlen wird aus einem „echten“ Fastkörper der (geeigneten) Ordnung ein Ternärkörper gemacht. Auch eine der projektiven Ebenen der Ordnung 9, die keine Translationsebene ist, ist vom Hughes-Typ.Hilbertsche und Beltramische Liniensysteme[5][11]
I.2unbekannt.[12]Ein archimedisch angeordneter, linearer Ternärkörper mit der gewöhnlichen Multiplikation und einer abgewandelten Addition, der eine ebene I.2-Ebene koordinatisiert, wurde 1960 von Spencer[13] angegeben.[5]
I.3Auf einem angeordneten, echten Fastkörper wird analog zur Konstruktion einer reellen Moultonebene mit einer Knickkonstante aus dem Zentrum des Fastkörpers eine Moulton-Ebenenmultiplikation eingeführt. Dann koordinatisiert der entstehende Ternärkörper eine ebene I.3-Ebene.[5]
I.4Ein archimedisch angeordneter, linearer Ternärkörper mit der gewöhnlichen Multiplikation und einer abgewandelten Addition, der eine ebene I.4-Ebene koordinatisiert, wurde 1957 von Salzmann[14] angegeben.[5]
I.6Existieren nicht![15]unbekannt[12][16]
IIII.1Walker-Planes, dies sind Ebenen der Ordnung , wobei q eine geeignete, ungerade Primzahlpotenz ist.[17]Für beide Lenz-Barlotti-Klassen II.1 und II.2 existieren unendliche Modelle, die sogar eine Anordnung zulassen. Siehe dazu die Beispiele im Artikel Kartesische Gruppe.
II.2Einige Beispiele der Ordnung finden sich in dem Artikel von Coulter und Mathews.[18]
IIIIII.1Existieren nicht![15]Analog zu III.2, aber die Moulton-Ebenen-Multiplikation wird auf einem angeordneten, nicht kommutativen (damit zwangsläufig unendlichen) Schiefkörper mit einer positiven Knickkonstanten definiert, die nicht im Zentrum liegt.[19] Siehe dazu auch die Beispiele im Artikel Kartesische Gruppe.
III.2Existieren nicht![15][20]Moulton-Ebenen vom reellen Typ aus einem (unendlichen) angeordneten Körper.[19]
IVaIVa.1Ebenen über endlichen Quasikörpern, die weder Fast- noch Halbkörper sind. Solche Quasikörper sind zum Beispiel die in Quasikörper#Quasikörper endlicher Moulton-Ebenen beschriebenen, aus endlichen Körpern ungerader Primzahlpotenzordnung konstruierten, sofern der die Multiplikation definierende Körperautomorphismus nicht involutorisch ist.Unendliche Andrésche Quasikörper.[21] Es existiert kein Modell, das eine archimedische Anordnung zulässt.[5]
IVa.2Ebenen über endlichen Fastkörpern, die keine Halbkörper sind. Solche Fastkörper sind zum Beispiel die in Quasikörper#Quasikörper endlicher Moulton-Ebenen beschriebenen, aus endlichen Körpern ungerader Primzahlpotenzordnung konstruierten, sofern der die Multiplikation definierende Körperautomorphismus involutorisch ist.Unendliche Andrésche Fastkörper.[21] Es existiert kein Modell, das eine archimedische Anordnung zulässt.[5]
IVa.3Es existiert bis auf Isomorphie genau ein Modell: Die projektive, nichtdesarguesche Translationsebene der Ordnung 9[9]Existieren nicht![5][9]
IVbIVb.1Dual zu IVa.1Dual zu IVa.1
VIb.2Dual zu IVa.2Dual zu IVa.2
IVb.3Es existiert bis auf Isomorphie genau ein Modell: Die duale Ebene zu der Ebene vom Typ IVa.3[9]Existieren nicht![5][9]
VVUnendlich viele Modelle: Für jede Primzahlpotenz existiert ein „echter“ endlicher Halbkörper, siehe Halbkörpermodelle. Die projektive Ebene über einem solchen Körper gehört stets zur Klasse V.Unendlich viele Modelle über „echten“ unendlichen Halbkörpern. Beispiele für solche Halbkörper, die sogar eine Anordnung zulassen, lassen sich aus verallgemeinerten formalen Potenzreihen gewinnen. Keine Klasse-V Ebene lässt eine archimedische Anordnung zu.[5]
VIIVII.1Existieren nicht! (→ Siehe Moufangebene!) über den reellen Oktonionen und Ebenen über entsprechend aus formal reellen Körpern konstruierten Alternativkörpern. Es existiert kein Modell, das eine Anordnung zulässt.[5]
VII.2Zu jeder Primzahlpotenzordnung (außer ) existiert bis auf Isomorphie genau ein Modell: Die pappussche Ebene über dem endlichen Körper Zu jedem unendlichen Schiefkörper existiert bis auf Isomorphie genau ein Modell: Die unendliche desarguessche Ebene über

Literatur

Zur Geschichte des Begriffes und Übersichtsartikel

  • Hanfried Lenz: Kleiner desarguesscher Satz und Dualität in projektiven Ebenen. In: Jahresbericht der Deutschen Mathematiker Vereinigung. Band 57. Teubner, 1955, S. 20–31 (Permalink zum digitalisierten Volltext [abgerufen am 10. Juni 2011]).
  • Marshall Hall: Projective Planes. In: Transactions of the American Mathematical Society. Nr. 54, 1943, S. 229–277 (englisch).
  • Charles Weibel: Survey of Non-Desarguesian Planes. In: Notices of the American Mathematical Society. Band 54. American Mathematical Society, November 2007, S. 1294–1303 (englisch, Volltext [PDF; 702 kB; abgerufen am 25. Dezember 2011]).
  • A. Heyting: Axiomatic Projective Geometry. 2. Auflage. North Holland Publishing Company, Amsterdam 1980 (englisch, Erstausgabe: 1963).
  • Adriano Barlotti: Le possibili configurazioni del sistema delle coppie punto-retta (A ,a) per cui un piano grafico risulta (A ,a)-transitivo. In: Bolletino Unione Matematica Italiana. Band 12, 1957, S. 212–226 (italienisch).
  • Walter Benz: Ein Jahrhundert Mathematik, 1890-1990. Festschrift zum Jubiläum der DMV. Vieweg, Braunschweig 1990, ISBN 3-528-06326-2.

Originalartikel, in denen Modelle oder deren Nichtexistenz erwiesen werden

  • Jill C. D. Spencer: On the Lenz-Barlotti Classification of Projective Planes. In: The Quarterly Journal of Mathematics. Band 11, Nr. 1. Oxford Journals, Oxford 1960, S. 241–257, doi:10.1093/qmath/11.1.241 (englisch).
  • Helmut Salzmann: Topologische projektive Ebenen. In: Mathematische Zeitschrift. Band 71, Nr. 1. Springer, 1959, S. 408–413, doi:10.1007/BF01181412.
  • H. Mohrmann: Hilbertsche und Beltramische Liniensysteme. In: Mathematische Annalen. Band 85, 1922, S. 177–183.
  • D. R. Hughes: A class of non-Desarguesian projective planes. In: Canadian Journal of Mathematics. Volume 9. American Mathematical Society, 1957, ISSN 0008-414X, S. 378–388, doi:10.4153/CJM-1957-045-0 (englisch, Volltext [PDF; 1000 kB; abgerufen am 9. April 2012]).
  • Johannes André: Über projektive Ebenen vom Lenz-Barlotti-Typ III 2. In: Mathematische Zeitschrift. Volume 84, Nr. 3, 1964, S. 316–328, doi:10.1007/BF01112588.
  • J. C. D. S. Yaqub: The non-existence of finite projective planes of Lenz-Barlotti class III.2. In: Archiv der Mathematik. Band 18, Nr. 3. American Mathematical Society, 1967, S. 308–312, doi:10.1007/BF01900639 (englisch).
  • N.L. Johnson, F.C. Piper: On planes of Lenz-Barlotti class II-1. In: Bull. London Math. Soc. Band 6, 1974, S. 152–154 (englisch, oxfordjournals.org [abgerufen am 30. Dezember 2012]).
  • Christoph H. Hering, William M. Kantor: On the Lenz-Barlotti classification of projective planes. In: Archiv der Mathematik. Band 22, Nr. 1, 1971, S. 221–224, doi:10.1007/BF01222566 (englisch).
  • Johannes André: Über nicht-Desarguessche Ebenen mit transitiver Translationsgruppe. In: Mathematische Zeitschrift. Volume 60, 1954, S. 156–186.
  • Robert S. Coulter, Rex W. Mathews: Planar functions and planes of Lenz-Barlotti-Class 2. In: Designs, Codes and Cryptography. Band 10, Nr. 2, Februar 1997, S. 167–184, doi:10.1023/A:1008292303803 (englisch).

Lehrbücher

  • Sibylla Prieß-Crampe: Angeordnete Strukturen. Gruppen, Körper, projektive Ebenen (= Ergebnisse der Mathematik und ihrer Grenzgebiete. Band 98). Springer, Berlin / Heidelberg / New York 1983, ISBN 3-540-11646-X.
  • Günter Pickert: Projektive Ebenen. 2. Auflage. Springer, Berlin / Heidelberg / New York 1975, ISBN 3-540-07280-2.
  • Peter Dembowski: Finite geometries (= Classics in mathematics). Springer, Berlin / Heidelberg / New York 1997, ISBN 3-540-61786-8 (englisch, Erstausgabe: 1968).

Einzelnachweise und Anmerkungen

  1. Benz 1990
  2. a b Lenz (1954)
  3. Barlotti (1957)
  4. Pickert (1975)
  5. a b c d e f g h i j k l Prieß-Crampe V.5: Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen
  6. Hall (1943), Heyting (1963)(1980)
  7. Hauke Klein: Lenz types. Geometry. Universität Kiel, abgerufen am 17. Januar 2011 (englisch, Tabellarische Übersicht über die Lenz-Klassen).
  8. Wenn man bei einer Ebene der Lenz-Klasse IVb von der dualen Ebene ausgeht, also bei der Konstruktion des Koordinatenbereichs anstelle der Punktmenge zunächst die Geradenmenge und ein geeignetes vollständiges Vierseit zugrunde legt, dann kann man dieses Vierseit so wählen, dass der Koordinatenbereich der erneut dualisierten Ebene ein Rechtsquasikörper ist.
  9. a b c d e Hauke Klein: Lenz Barlotti. Geometry. Universität Kiel, abgerufen am 25. Dezember 2011 (englisch, Tabellarische Übersicht über die Lenz-Barlotti-Klassen).
  10. Hughes (1957)
  11. Mohrmann (1922)
  12. a b Bis zum Jahr 1975 waren keine Modelle bekannt. Pickert (1975), Anhang, 6: Die Lenz-Barlotti-Klassifizierung
  13. Spencer (1960), S. 256
  14. Salzmann (1957)
  15. a b c Hering und Kantor (1971), S. 221
  16. Als André am 23. Januar 1964 seinen Artikel schrieb, war die Existenz dieser Klasse ungeklärt! Siehe dort S. 316
  17. Johnson & Piper (1974)
  18. Coulter & Mathews (1997)
  19. a b André (1964)
  20. Yaqub (1967)
  21. a b André (1954)

Auf dieser Seite verwendete Medien

Multiplication Construction Projective.svg
Autor/Urheber: KlioKlein, Lizenz: CC BY-SA 3.0
Construction of the result a*x=T(a,x,0) of the "multiplication" in the ternary ring K=OE(affine).
Projective Plane Coordinates.svg
Autor/Urheber: KlioKlein, Lizenz: CC BY-SA 3.0
Construction of coordinates in a not necessarily desarguesian projective plane. Each affine point (not on UV) has a pair (x,y) of coordinates, each out of the ternary ring represented by the affine points on OE. The line at infinity UV is denoted by [infty], its point by a single coordinate (y)
Addition Construction Projective.svg
Autor/Urheber: KlioKlein, Lizenz: CC BY-SA 3.0
Construction of the result x+b=T(1,x,b) of the "addition" in the ternary ring K=OE(affine).
Ternary Construction Projective.svg
Autor/Urheber: KlioKlein, Lizenz: CC BY-SA 3.0
Construction of the result T(a,x,b) of the ternary operation in the ternary ring K=OE(affine).