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 $κ \in Γ$ heißt $(a, Z)$ -Kollineation, wenn sie die Achse $a$ und das Zentrum $Z$ hat, das heißt, wenn gilt:

Für jeden Punkt $P \in a$ ist $κ (P) = P$ und
Für jede Gerade $g$ , die durch $Z$ geht, ist $κ (g) = g$ .

Mit $Γ_{(a, z)} < Γ$ wird die Untergruppe der $(a, Z)$ -Kollineationen der Ebene bezeichnet. Die projektive Ebene heißt $(a, Z)$ -transitiv, wenn die Gruppe $Γ_{(a, Z)}$ für jede Gerade $h \in 𝒢 ∖ {a}$ mit $Z \in h$ transitiv auf $h ∖ ({Z} \cup (a \cap h))$ operiert.

Figuren

Die Menge

L (𝒫) = {(a, Z) \in 𝒢 \times 𝒫 : Z \in a \land 𝒫 ist (a, Z) -transitiv}

heißt Lenz-Figur von $𝒫$ .

Die Menge

B (𝒫) = {(a, Z) \in 𝒢 \times 𝒫 : 𝒫 ist (a, Z) -transitiv}

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]

(a, Z) \in L (𝒫) \Rightarrow (κ (a), κ (Z)) \in L (𝒫)

und

(a, Z) \in B (𝒫) \Rightarrow (κ (a), κ (Z)) \in B (𝒫)

.

Koordinatisierung der projektiven 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:

Ein projektives Koordinatensystem wird durch geeignete Wahl eines vollständigen Vierecks $(O, U, V, E)$ auf der Lenz-Barlotti-Figur bestimmt.
Der Punkt O wird zum Ursprung des affinen Koordinatensystems, $U V$ ist die Ferngerade, die affinen Punkte auf $O E$ , also die Punkte in $K : = O E ∖ U V$ bilden den Ternärkörper.
Der Punkt O wird zum neutralen Element der Addition und als Element von K mit 0 bezeichnet.
Der Punkt E wird zum neutralen Element der Multiplikation und als Element von K mit 1 bezeichnet.
Alle Elemente der affinen Gerade K haben als affine Koordinaten $(x, x), x \in K$
Der Punkt mit den Koordinaten $(x, y) \in K^{2}$ ist bestimmt als Schnittpunkt der Geraden $V x$ und $U y$ . Umgekehrt erhält man die Koordinaten eines affinen Punktes $P \in̸ U V$ als Schnittpunkte $x_{P} \in P V \cap O E$ und $y_{P} \in P U \cap O E$ .

Spezialfälle:

Die affinen Punkte B auf der Geraden $O V$ , also alle Punkte dieser Geraden außer V, haben die Koordinaten $(0, b)$ , wobei das Ternärkörperelement (Koordinate) $b \in K$ als Schnittpunkt $b \in B V \cap O E$ bestimmt ist. Dieser Spezialfall der Koordinatenkonstruktion ist in der Abbildung schwarz dargestellt.
Die affinen Punkte Y auf der Geraden $E V$ , also alle Punkte dieser Geraden außer V, haben die Koordinaten $(1, b)$ , wobei die Koordinate $y \in K$ als Schnittpunkt $y \in Y V \cap O E$ bestimmt ist. Dieser Spezialfall der Koordinatenkonstruktion ist in der Abbildung grün dargestellt.
Ein Punkt $Y \neq V$ auf der Ferngeraden erhält die Koordinatendarstellung $(y)$ wobei $y \in K$ dadurch bestimmt ist, dass der Schnittpunkt $O Y \cap E V$ die affinen Koordinaten $(1, y)$ hat. Der Punkt V, dem auf diese Art keine Koordinate zugewiesen werden kann, erhält die Koordinatendarstellung $(\infty)$ .

Ternärverknüpfung und Geradendarstellung

Die Ternärverknüpfung $(a, x, b) \mapsto T (a, x, b)$ wird nun für $(a, x, b) \in K$ so definiert, vergleiche die zweite Abbildung rechts:

Zu $a \in K$ wird der Fernpunkt $A = (a) \in U V ∖ {V}$ konstruiert.
Zu $b \in K$ wird der Punkt $B = (0, b) \in O V ∖ {V}$ konstruiert.
Das Ergebnis $T = T (a, x, b)$ ist bestimmt als die y-Koordinate des Schnitts $x V \cap B A$ , 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:

Die Geraden $[a, b]$ haben die explizite Geradengleichung $y = T (a, x, b)$ für die affinen Punkte und den Fernpunkt $(a)$ , als Beispiel in der Abbildung die grau dargestellte Verbindungsgerade $[a, b] = (0, b) (b)$ . Dies sind alle Geraden der projektiven Ebene, außer denen durch $V = (\infty)$ . Ein Spezialfall sind die Verbindungsgeraden $(0, b) U$ mit der affinen Gleichung $y = T (0, x, b) = b$ und dem Fernpunkt $U = (0)$ .
Die Geraden $[c]$ durch V, die $O E$ in einem affinen Punkt $c = (c, c)$ schneiden, haben die Gleichung $x = c$ für die affinen Punkte und den Fernpunkt $V = (\infty)$ . Ein Beispiel ist die Gerade $[x]$ in der Abbildung.
Die Ferngerade $U V = [\infty]$ enthält genau die Punkte mit den Koordinaten $(a), a \in K \cup {\infty}$ .

Im affinen Ausschnitt der Ebene sind Geraden genau dann parallel, wenn ihre projektive Fortsetzungen durch denselben Fernpunkt $(a), a \in K \cup {\infty}$ gehen, daher gilt für die Parallelenscharen:

Zwei Geraden $[a_{1}, b_{1}], [a_{2}, b_{2}]$ sind genau dann parallel, wenn $a_{1} = a_{2}$ ist. Diese Zahl ist die gemeinsame Steigung der zugehörigen Parallelenschar.
Alle Geraden vom zweiten Typ $[c]$ 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 $(O, U, V, E)$ auch zwei zweistellige Verknüpfungen, eine Addition $x + b : = T (1, x, b)$ und eine Multiplikation $a \cdot x = T (a, x, 0)$ auf der affinen Punktmenge $K = O E ∖ U V$ 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 $T (a, x, b) = a \cdot x + b$ darstellbar.

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


Addition $x + b = T (1, x, b)$ in einer projektiven Ebene.	Multiplikation $a \cdot x = T (a, x, 0)$ 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-Typ	Lenz-Figur	Koordinatenbereich
I	$L (𝒫) = \emptyset$	Ternärkörper
II	Es gibt eine Achse $a \in 𝒢$ und ein Zentrum $Z \in a$ mit $L (𝒫) = {(a, Z)}$	kartesische Gruppe
III	Es gibt eine Gerade $g \in 𝒢$ und einen Punkt $U \in 𝒫 ∖ g$ , so dass $L (𝒫) = {(U Z, Z) : Z \in g}$ gilt.	spezielle kartesische Gruppe (stets unendlich!)
IVa	Es gibt eine Achse $a \in 𝒢$ , so dass $L (𝒫) = {a} \times a$ gilt.	Linksquasikörper
IVb	Es gibt ein Zentrum $Z \in 𝒫$ , so dass $L (𝒫) = {g \in 𝒢 : Z \in g} \times {Z}$ gilt.	Rechtsquasikörper^[8]
V	Es gibt eine Achse $a \in 𝒢$ und ein Zentrum $Z \in 𝒫$ , so dass $L (𝒫) = ({a} \times a) \cup ({g \in 𝒢 : Z \in g} \times {Z})$ gilt.	Halbkörper
VII	$L (𝒫) = {(a, Z) \in 𝒢 \times 𝒫 : Z \in a}$	Alternativkö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 $L (𝒫) = B (𝒫)$ . 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-Typ	Lenz-Barlotti-Figur	Ternärkörper K bezüglich $O, U, V, E$
I.1	$B (𝒫) = L (𝒫) = \emptyset$	keine zusätzlichen Eigenschaften
I.2	$B (𝒫) = {(U, O V)}$	K ist linear, Multiplikation ist assoziativ
I.3	$B (𝒫) = {(U, O V), (V, O U)}$	K ist linear, Multiplikation ist assoziativ, $a \cdot (b + c) = a \cdot b + a \cdot c$
I.4	$B (𝒫) = {(U, O V), (V, O U), (O, U V)}$	K ist linear, Multiplikation ist assoziativ, beide Distributivgesetze
I.6	$B (𝒫) = {(X, θ (X)) : X \in U V, X \neq V}$ , wobei $θ$ eine bijektive Abbildung der Punkte von $U V ∖ {V}$ auf die Menge der Geraden durch V außer UV ist, in Koordinaten zum Beispiel $θ ((a)) = [a]$ .	K ist linear, Multiplikation ist assoziativ, beide Distributivgesetze, weitere spezielle Eigenschaften
II.1	$B (𝒫) = L (𝒫) = {(V, U V)}$	Kartesische Gruppe
II.2	$B (𝒫) = {(V, U V), (U, O V)}$	Kartesische Gruppe, assoziative Multiplikation
III.1	$B (𝒫) = {(X, X U) : X \in O V}$	Kartesische Gruppe mit speziellen Eigenschaften
III.2	$B (𝒫) = {(X, X U) : X \in O V} \cup {(U, O V}$	Kartesische Gruppe mit speziellen Eigenschaften, assoziative Multiplikation
IVa.1	$B (𝒫) = L (𝒫) = {(X, U V) : X \in U V}$ , Translationsebene	Linksquasikörper: $a \cdot (b + c) = a \cdot b + a \cdot c$
IVa.2	$B (𝒫) = {(U, g) : g ∋ V} \cup {(V, h) : h ∋ U} {(X, U V) : X \in U V}$	(Links-)Fastkörper
IVa.3	$B (𝒫) = {(X, x) : X \in U V, θ (X) \in x}$ , wobei $θ$ eine involutorische, bijektive, fixpunktfreie Abbildung der Geraden UV auf sich ist	eindeutig bestimmter Linksfastkörper mit 9 Elementen.
IVb.1	Die Lenz-Barlotti-Figur ist dual zu der von Klasse IVa.1.	Dual zu IVa.1.
IVb.2	Die Lenz-Barlotti-Figur ist dual zu der von Klasse IVa.2.	Dual zu IVa.2.
IVb.3	Die Lenz-Barlotti-Figur ist dual zu der von Klasse IVa.3.	Dual zu IVa.3.
V	$B (𝒫) = L (𝒫) = {(X, U V) : X \in U V} \cup {(V, x) : x ∋ V}$	Halbkörper
VII.1	$B (𝒫) = L (𝒫) = {(a, Z) \in 𝒢 \times 𝒫 : Z \in a}$	Alternativkörper
VII.2	$B (𝒫) = 𝒢 \times 𝒫$	Schiefkö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-Klasse	Lenz-Barlotti-Klasse	endliche Modelle	unendliche Modelle
I	I.1	„Hughes planes“:^[10] Zu ungeraden Primzahlen $p$ wird aus einem „echten“ Fastkörper der (geeigneten) Ordnung $p^{2 n}; n \geq 1$ 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.2	unbekannt.^[12]	Ein archimedisch angeordneter, linearer Ternärkörper $(ℝ, \oplus, \cdot, 0, 1)$ mit der gewöhnlichen Multiplikation und einer abgewandelten Addition, der eine ebene I.2-Ebene koordinatisiert, wurde 1960 von Spencer^[13] angegeben.^[5]
	I.3		Auf 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.4		Ein archimedisch angeordneter, linearer Ternärkörper $(ℝ, \oplus, \cdot, 0, 1)$ mit der gewöhnlichen Multiplikation und einer abgewandelten Addition, der eine ebene I.4-Ebene koordinatisiert, wurde 1957 von Salzmann^[14] angegeben.^[5]
	I.6	Existieren nicht!^[15]	unbekannt^[12]^[16]
II	II.1	Walker-Planes, dies sind Ebenen der Ordnung $q^{2}$ , 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	II.2	Einige Beispiele der Ordnung $3^{r}, r \geq 4$ finden sich in dem Artikel von Coulter und Mathews.^[18]
III	III.1	Existieren nicht!^[15]	Analog zu III.2, aber die Moulton-Ebenen-Multiplikation wird auf einem angeordneten, nicht kommutativen (damit zwangsläufig unendlichen) Schiefkörper $K$ mit einer positiven Knickkonstanten definiert, die nicht im Zentrum $Z (K)$ liegt.^[19] Siehe dazu auch die Beispiele im Artikel Kartesische Gruppe.
III	III.2	Existieren nicht!^[15]^[20]	Moulton-Ebenen vom reellen Typ aus einem (unendlichen) angeordneten Körper.^[19]
IVa	IVa.1	Ebenen ü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 $p^{r}, r \geq 3$ 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.2	Ebenen ü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 $p^{r} > 9, r \geq 2$ 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.3	Es existiert bis auf Isomorphie genau ein Modell: Die projektive, nichtdesarguesche Translationsebene der Ordnung 9^[9]	Existieren nicht!^[5]^[9]
IVb	IVb.1	Dual zu IVa.1	Dual zu IVa.1
	VIb.2	Dual zu IVa.2	Dual zu IVa.2
	IVb.3	Es existiert bis auf Isomorphie genau ein Modell: Die duale Ebene zu der Ebene vom Typ IVa.3^[9]	Existieren nicht!^[5]^[9]
V	V	Unendlich viele Modelle: Für jede Primzahlpotenz $p^{r} \geq 16, r \geq 3$ 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]
VII	VII.1	Existieren nicht! (→ Siehe Moufangebene!)	$ℙ^{2} (𝕆)$ ü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	VII.2	Zu jeder Primzahlpotenzordnung (außer $p^{0} = 1$ ) existiert bis auf Isomorphie genau ein Modell: Die pappussche Ebene $ℙ^{2} (𝔽_{p^{r}}); r \geq 1$ über dem endlichen Körper $𝔽_{p^{r}}$	Zu jedem unendlichen Schiefkörper $K$ existiert bis auf Isomorphie genau ein Modell: Die unendliche desarguessche Ebene $ℙ^{2} (K)$ über $K$

Literatur

Zur Geschichte des Begriffes und Übersichtsartikel

Originalartikel, in denen Modelle oder deren Nichtexistenz erwiesen werden

Lehrbücher

Einzelnachweise und Anmerkungen

↑ Benz 1990
↑ ^2,0 ^2,1 Lenz (1954)
↑ Barlotti (1957)
↑ Pickert (1975)
↑ ^5,00 ^5,01 ^5,02 ^5,03 ^5,04 ^5,05 ^5,06 ^5,07 ^5,08 ^5,09 ^5,10 ^5,11 Prieß-Crampe V.5: Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen
↑ Hall (1943), Heyting (1963)(1980)
↑ Vorlage:Internetquelle
↑ 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,0 ^9,1 ^9,2 ^9,3 ^9,4 Vorlage:Internetquelle
↑ Hughes (1957)
↑ Mohrmann (1922)
↑ ^12,0 ^12,1 Bis zum Jahr 1975 waren keine Modelle bekannt. Pickert (1975), Anhang, 6: Die Lenz-Barlotti-Klassifizierung
↑ Spencer (1960), S. 256
↑ Salzmann (1957)
↑ ^15,0 ^15,1 ^15,2 Hering und Kantor (1971), S. 221
↑ Als André am 23. Januar 1964 seinen Artikel schrieb, war die Existenz dieser Klasse ungeklärt! Siehe dort S. 316
↑ Johnson & Piper (1974)
↑ Coulter & Mathews (1997)
↑ ^19,0 ^19,1 André (1964)
↑ Yaqub (1967)
↑ ^21,0 ^21,1 André (1954)

[1] Benz 1990

[Lenz_1954-2] 2,0 ^2,1 Lenz (1954)

[3] Barlotti (1957)

[4] Pickert (1975)

[PC-5] 5,00 ^5,01 ^5,02 ^5,03 ^5,04 ^5,05 ^5,06 ^5,07 ^5,08 ^5,09 ^5,10 ^5,11 Prieß-Crampe V.5: Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen

[6] Hall (1943), Heyting (1963)(1980)

[7] Vorlage:Internetquelle

[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.

[KleinBarlotti-9] 9,0 ^9,1 ^9,2 ^9,3 ^9,4 Vorlage:Internetquelle

[10] Hughes (1957)

[11] Mohrmann (1922)

[PickertAnhang-12] 12,0 ^12,1 Bis zum Jahr 1975 waren keine Modelle bekannt. Pickert (1975), Anhang, 6: Die Lenz-Barlotti-Klassifizierung

[13] Spencer (1960), S. 256

[14] Salzmann (1957)

[Hering_221-15] 15,0 ^15,1 ^15,2 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)

[Andre-19] 19,0 ^19,1 André (1964)

[Yaqub-20] Yaqub (1967)

[André_1954-21] 21,0 ^21,1 André (1954)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

Klassifikation projektiver Ebenen

Inhaltsverzeichnis

Geschichte