Quelltext der Seite Affine Translationsebene

Als '''affine Translationsebene''' oder kurz '''Translationsebene''' wird in der [[Synthetische Geometrie|synthetischen Geometrie]] eine [[affine Ebene]] dann bezeichnet, wenn ihre Translationsgruppe [[Gruppenoperation#Transitive Gruppenoperation|scharf einfach transitiv]] auf ihr [[Gruppenoperation|operiert]] und sie daher weitgehend durch diese [[Gruppe (Mathematik)|Gruppe]] ihrer '''Translationen''' ([[Parallelverschiebung]]en) beschrieben werden kann, indem jedem Punkt der Ebene eine Translation zugeordnet wird.
Der Endomorphismenring der Translationsgruppe, die bei einer Translationsebene stets [[Kommutativität|kommutativ]] ist, enthält einen [[Schiefkörper]], den '''Schiefkörper der spurtreuen Endomorphismen'''. Die Gruppe der Translationen ist ein [[Modul (Mathematik)|Modul]] über diesem Schiefkörper.<ref name="Degen">Degen (1976)</ref>

Rein geometrisch ist eine affine Ebene genau dann eine Translationsebene, wenn in ihr der ''kleine'' affine [[Satz von Desargues]] (vergleiche die Abbildung am Ende der Einleitung) allgemeingültig ist, also ein Schließungssatz, der in der synthetischen Geometrie als Axiom verwendet wird.<ref name="Degen" />

Daneben wird in der synthetischen Geometrie seltener der Begriff '''projektive Translationsebene'''<ref name="Weibel">Weibel (2007)</ref> verwendet. Diese speziellen [[Projektive Ebene|projektiven Ebenen]] hängen eng mit den affinen Translationsebenen zusammen. Dieser Zusammenhang wird im vorliegenden Artikel im Abschnitt [[#Projektive Translationsebene|Projektive Translationsebene]] erläutert. Die Begriffe ''affine Translationsebene'' bzw.&nbsp;''projektive Translationsebene'' sind Verallgemeinerungen der Begriffe ''desarguessche affine'' bzw.&nbsp;''desarguessche projektive Ebene''.

Die Untersuchung der Translationen und ihrer spurtreuen Endomorphismen ist neben der Beschreibung durch einen Koordinaten''ternär''körper eine gängige Methode, nichtdesarguesche Ebenen zu algebraisieren. Für desarguesche und erst recht für pappussche Ebenen fällt der Schiefkörper der spurtreuen Endomorphismen mit dem Koordinatenschiefkörper zusammen, bei Translationsebenen ist er im Koordinatenquasikörper als '''Kern''' enthalten.

Die Algebraisierung einer affinen Ebene mithilfe von Koordinaten auf einer Geraden der Ebene, algebraische Verknüpfungen dieser Koordinaten sowie die Begriffe [[Ternärkörper]] und [[Quasikörper]], die im vorliegenden Artikel verwendet werden, sind in den entsprechenden Hauptartikeln ausführlicher dargestellt.

[[Datei:Desargues on Parallels.svg|mini|hochkant=2|Der kleine affine Satz von Desargues besagt: Sind <math>A_1A_2A_3</math> und <math>B_1B_2B_3</math> Dreiecke, bei denen die „Zuordnungsgeraden“ parallel sind: <math>A_1B_1 \parallel A_2B_2 \parallel A_3B_3</math> dann folgt aus der Parallelität von ''zwei'' Paaren von Dreiecksseiten (z.&nbsp;B. <math>A_1A_2 \parallel B_1B_2</math> und <math>A_2A_3 \parallel B_2B_3 </math>), dass auch das dritte Seitenpaar parallel ist (im Beispiel <math>A_3A_1 \parallel B_3B_1 </math>).]]

== Definitionen und Eigenschaften ==
=== Translationen in affinen Inzidenzebenen ===
Eine bijektive Selbstabbildung <math>\tau:\mathcal A\rightarrow \mathcal A</math> einer affinen Ebene <math>\mathcal A</math> heißt '''Translation''', wenn gilt
* das Bild jeder Geraden ist eine Gerade, d.&nbsp;h. <math>\tau</math> ist eine [[Kollineation]]
* für jede Gerade <math>g</math> der Ebene ist <math>\tau(g)\parallel g</math>,
* <math>\tau</math> ist fixpunktfrei oder die [[identische Abbildung]] der Ebene <math>\mathcal A</math>, <math>\;\operatorname{Id}_{\mathcal A}</math>.

Jede Translation <math>\tau</math> ist durch ein Punkt-Bildpunkt-Paar <math>(P,\tau(P))\in \mathcal{A}^2</math> eindeutig bestimmt.

Für nichtidentische Translationen ist die [[Verbindungsgerade]] von <math>P</math> und <math>\tau(P)</math> eine '''Spurgerade'''. Genau die Parallelen dieser Geraden bilden die Menge aller '''Spuren''' von <math>\tau</math>. Die Parallelenschar der Spuren <math>R</math> heißt '''Richtung''' der Translation <math>\tau</math> und man nennt <math>\tau</math> dann auch eine ''Verschiebung in Richtung'' <math>R</math>.

=== Translationsgruppe und spurtreue Endomorphismen ===
Die Menge der Translationen einer affinen Inzidenzebene bildet bezüglich der [[Komposition (Mathematik)|Komposition]] eine Gruppe <math>(\mathcal{T},\circ)</math>. Diese Gruppe ist kommutativ, falls es (nichtidentische) Translationen der Ebene in (mindestens) zwei unterschiedliche Richtungen gibt.
Ein Gruppen[[endomorphismus]] <math>\alpha:\mathcal{T}\rightarrow\mathcal{T} </math> heißt '''spurtreu''',<ref name="Degen" /> wenn für jede nichtidentische Translation <math>\tau\in\mathcal{T}\setminus\lbrace \operatorname{Id}_{\mathcal A} \rbrace</math> die Spuren von <math>\tau</math> mit den Spuren von <math>\alpha(\tau)</math> übereinstimmen oder <math>\alpha</math> der 0-Endomorphismus <math>0_S:\tau\mapsto \operatorname{Id}_{\mathcal A}</math> ist. Gleichwertig: <math>\alpha</math> ändert bei keiner Translation deren Richtung.

Ist die Translationsgruppe kommutativ und nichttrivial,<ref>Die Translationsgruppe ist genau dann trivial, also die einelementige Gruppe, wenn es außer der identischen Abbildung keine Translation gibt. In diesem Fall ist die Translationsgruppe kommutativ, aber ihr einziger Endomorphismus ist die Identität, der hier definierte Ring der spurtreuen Endomorphismen wäre also ein [[Nullring]].</ref> dann wird die Menge <math>S</math> der spurtreuen Endomorphismen durch die Verknüpfungen
:<math>\alpha+\beta: \tau \mapsto \alpha(\tau)\circ\beta(\tau)\quad</math> und
:<math>\alpha\cdot\beta: \tau \mapsto \alpha(\beta(\tau))\quad</math>
zu einem [[Ring (Algebra)|Ring]] mit Nullement <math>0_S:\tau\mapsto \operatorname{Id}_{\mathcal A}</math> und Einselement <math>1_S=\operatorname{Id}_{\mathcal{T}}</math>, einem Unterring des Endomorhismenringes. Die Reihenfolge, in der die Homomorphismen in der Definition der Multiplikation auf Translationen angewendet werden, bestimmt, ob die Translationsgruppe zu einem Links- oder Rechtsmodul über <math>S</math> wird. Bei der hier gewählten Definition <math>\alpha\cdot\beta=\alpha\circ\beta</math> und <math>\alpha\cdot\tau=\alpha(\tau)</math> für die „Skalarmultiplikation“ ist sie ein <math>S</math>-Linksmodul.

=== Affine Translationsebene ===
Eine affine Inzidenzebene heißt affine Translationsebene, wenn eine der folgenden äquivalenten Bedingungen zutrifft:
# Der ''kleine'' affine Satz von Desargues gilt in <math>\mathcal A</math>.
# Der Koordinatenternärkörper, der <math>\mathcal A</math> durch Wahl eines beliebigen Koordinatensystems zugeordnet werden kann, ist ein [[Quasikörper]].
# Zu zwei Punkten <math>P,Q\in A</math> gibt es stets eine Translation <math>\tau\in\mathcal{T}</math> mit <math>\tau(P)=Q</math>.
# Die Translationsgruppe operiert scharf einfach transitiv auf <math>\mathcal A</math>.

* Damit gibt es in einer affinen Translationsebene <math>\mathcal A</math>, wenn man einen Punkt <math>O\in \mathcal A</math> als Ursprung fest wählt, eine natürliche Bijektion <math>\mathcal A \ni P\leftrightarrow \tau_P\in\mathcal{T}:\tau_P(O)=P</math> zwischen den Punkten der Ebene und der Translationsgruppe. Eine Translationsebene kann so mit ihrer Translationsgruppe identifiziert werden.

* Andererseits kann jede Translation mit einer [[Äquivalenzklasse]] von verschiebungsgleichen geordneten Punktepaaren („Pfeilen“) identifiziert werden, dabei sind zwei Pfeile <math>(P_1,Q_1),(P_2,Q_2)\in \mathcal A^2</math> äquivalent, wenn <math>\tau(P_1)=Q_1</math> und <math>\tau(P_2)=Q_2</math> mit derselben Translation <math>\tau\in\mathcal{T}</math> gilt. Man nennt diese Äquivalenzklassen von Pfeilen auch „Vektoren“.

Für die eindeutig bestimmte Translation, die einen Punkt <math>P</math> auf einen Punkt <math>Q</math> abbildet, wird abkürzend <math>\overrightarrow{PQ}</math> geschrieben. Diese Schreibweise bezeichnet zugleich die Äquivalenzklasse der zu <math>(P,Q)</math> verschiebungsgleichen „Pfeile“.

Da bei einer Translationsebene jeder spurtreue Endomorphismus <math>\alpha\in S\setminus\lbrace 0\rbrace</math> sogar ein Gruppen''auto''morphismus ist, ist der Ring <math>(S,+,\cdot)</math> hier sogar ein Schiefkörper. Die Gruppe der Translationen („Vektoren“ im oben beschriebenen Sinn) bilden einen <math>S</math>-Linksmodul. Lässt man als Skalarkörper eines [[Vektorraum]]s auch einen Schiefkörper zu, wie das gelegentlich in der Literatur geschieht, so bildet die Gruppe der Translationen also tatsächlich einen <math>S</math>-Linksvektorraum.

Als Folge davon ist die [[Ordnung eines Gruppenelementes|Ordnung]] jeder nichtidentischen Translation <math>\tau\in\mathcal{T}</math> durch die [[Charakteristik (Algebra)|Charakteristik]] von <math>S</math> bestimmt: Ist diese Charakteristik eine [[Primzahl]] <math>p</math>, dann haben alle nichtidentischen Translationen diese Ordnung <math>p</math>, ist sie 0, dann haben alle nichtidentischen Translationen unendliche Ordnung. Genau dann, wenn die Charakteristik von 2 verschieden ist, erfüllt die Translationsebene das (affine) [[Fano-Axiom]].

== Koordinatenquasikörper und spurtreue Endomorphismen ==
=== Kern des Koordinatenquasikörpers ===
Ein (Links-)Quasikörper unterscheidet sich von einem Schiefkörper dadurch, dass kein [[Distributivgesetz|Rechtsdistributivgesetz]] und kein [[Assoziativgesetz]] der Multiplikation gefordert wird. Definiert man für einen Quasikörper <math>K</math>
:<math>\operatorname{Kern}(K)=\lbrace x\in K :\;\forall a,b\in K \left((a+b)x=ax+bx \land (ab)x=a(bx)\right)\rbrace</math>
als seinen '''[[Quasikörper#Kern eines Quasikörpers|Kern]]''', dann bildet dieser Kern einen Schiefkörper und dieser ist isomorph zum Schiefkörper <math>S</math> der spurtreuen Endomorphismen von <math>\mathcal{T}(\mathcal A)</math> zur Translationsebene <math>\mathcal A=K^2</math> über <math>K</math>. Über diesen Isomorphismus wird auch der Koordinatenquasikörper zu einem <math>S</math>-Linksmodul, der zu dem Untermodul der Translationen in Richtung der ersten Koordinatenachse in der Translationsgruppe <math>\mathcal{T}(\mathcal A)</math> isomorph ist.

Hat man die Multiplikation in <math>S</math> als <math>\alpha\cdot\beta=\beta\circ\alpha</math> definiert und die „Skalarmultiplikation“ von rechts als <math>\tau\cdot\alpha=\alpha(\tau),</math> dann muss für den Isomorphismus <math>S\cong \operatorname{Kern}(K)</math> die Multiplikation nicht umgekehrt werden, da die Elemente des Kerns nach Konstruktion auch von rechts distributiv und assoziativ operieren und <math>K</math> wird dann zu einem <math>S</math>-Rechtsmodul. Es ist aber in der Literatur üblich, nur ''Rechtsquasikörper'' – bei denen die Definition des Kerns entsprechend angepasst werden muss – mit einer solchen Rechtsmodulstruktur zu versehen, da sich bei „gleichseitiger“ Struktur zwangloser eine geometrische Deutung von <math>S^*</math> als Gruppe von geometrischen Abbildungen ergibt.

=== Kommensurable Punkte, Streckungsfaktor, Teilverhältnis ===
Drei kollineare Punkte <math>A,B,C</math> der Translationsebene <math>\mathcal A</math> nennt man '''kommensurabel''',<ref name="Degen" /> wenn ein spurtreuer Endomorphismus <math>\alpha\in S</math> existiert, der die Translation, die <math>A</math> auf <math>B</math> verschiebt, in die Translation verwandelt, die <math>A</math> auf <math>C</math> verschiebt. Vektoriell geschrieben: <math>\alpha(\overrightarrow{AB})=\overrightarrow{AC}</math>. In diesem Fall nennt man <math>\alpha\in S</math> den '''Streckungsfaktor''' <math>\alpha=\operatorname{SF}(A,B,C)</math> zu dem Punktetripel <math>(A,B,C)</math>.
Aus dem Streckungsfaktor kann (für drei verschiedene kollineare und kommensurable Punkte) umkehrbar eindeutig ein [[Teilverhältnis]] <math>\lambda=\operatorname{TV}(ABC)\in S</math> gewonnen werden:
::<math>\alpha=\frac{\lambda}{1+\lambda},\quad\lambda= \frac{\alpha}{1-\alpha}.</math>
Die [[Bruchrechnung|Bruchschreibweise]] ist hier unproblematisch, da alle auftretenden Elemente von <math>S</math> untereinander kommutieren.

=== Strahlensatz und Streckungen ===
[[Datei:Intercept theorem transplane.svg|mini|Zum Strahlensatz für Translationsebenen.]]
Sind <math>O,A_1,A_2,B_1,B_2</math> fünf Punkte einer affinen Translationsebene mit den Eigenschaften (vgl. die Abbildung rechts):<ref name="Degen" />
* <math>O,A_1,B_1</math> sind nicht kollinear,
* <math>O,A_1,A_2</math> sind kollinear und kommensurabel,
* <math>O,B_1,B_2</math> sind kollinear,
dann gilt:
<math> A_1B_1 \parallel  A_2B_2 \;\Leftrightarrow\;
  \begin{cases} (O,B_1,B_2) \quad\mbox{sind kommensurabel und}\\
                \operatorname{SF}(O,A_1,A_2) = \operatorname{SF}(O,B_1,B_2)
  \end{cases}
</math>

Dieser ''erste Strahlensatz für Translationsebenen'' rechtfertigt es, die spurtreuen Endomorphismen als „Zentrische Streckungen“ der Translationsebene zu bezeichnen und motiviert die Bezeichnung „Streckungsfaktor“: Wählt man einen Ursprung <math>O\in \mathcal A</math> und ordnet wie oben ausgeführt jedem Punkt <math>P</math> die Translation <math>\overrightarrow{OP}</math> zu, dann operiert jeder „Streckungsfaktor“ <math>\alpha\in S\setminus\lbrace 0,1\rbrace</math> auf den Punkten der Ebene als [[Kollineation]] und sogar als [[Dilatation (Geometrie)|Dilatation]]. Bei dieser Dilatation ist der Ursprung Fixpunkt und alle Geraden durch den Ursprung sind Fixgeraden. Umgekehrt operiert jede Dilatation, die genau den Ursprung als Fixpunkt hat, durch [[Konjugation (Gruppentheorie)|Konjugation]] auf den Translationen und diese Operation ist ein spurtreuer Endomorphismus der Translationsgruppe. Daher sind bei einer Translationsebene die Untergruppe <math>\Delta_O(\mathcal{A})</math> der verallgemeinerten Streckungen mit Zentrum <math>O</math> und die Untergruppe der hier beschriebenen Streckungen um <math>O</math> mit einem Streckungsfaktor aus <math>S^\ast</math> identische Untergruppen der Affinitätengruppe.

Es folgt weiter: Sind in der oben dargestellten Konfiguration <math>OA_1B_1</math> und <math>OA_2B_2</math> Dreiecke, <math>O,A_1,A_2</math> und <math>O,B_1,B_2</math> jeweils kollinear und gilt <math>A_1A_2 \parallel B_1B_2</math>, dann sind von den kollinearen Tripeln <math>(O,A_1,A_2)</math> <math>(O,B_1,B_2)</math> entweder beide kommensurabel oder beide inkommensurabel. Sind sie inkommensurabel, dann existiert keine Dilatation, die <math>O</math> als Fixpunkt hat und <math>A_1</math> auf <math>A_2</math>, <math>B_1</math> auf <math>B_2</math> abbildet. Damit kann auch keine Affinität mit dieser Eigenschaft existieren!

Da der Streckungsfaktor als Abbildung auf die Parallelverschiebungen wirkt, ergibt sich unter den Voraussetzungen des ''ersten'' Strahlensatzes und der zusätzlichen Voraussetzung <math> A_1B_1 \parallel  A_2B_2 </math> eine dem ''zweiten'' Strahlensatz entsprechende Aussage:
<math>\operatorname{SF}(O,A_1,A_2)\cdot\overrightarrow{A_1B_1}=\overrightarrow{A_2B_2}</math>
- diese Formel bleibt auch im Trivialfall <math>\operatorname{SF}(O,A_1,A_2)=1</math> richtig.
Die ersten beiden [[Strahlensatz|Strahlensätze]] gelten also sinngemäß in jeder ''desargueschen'' Ebene, wobei dann die Bedingung der Kommensurabilität entfallen kann, ganz allgemein, während der dritte Strahlensatz, der in der synthetischen Geometrie auch '''Dreistrahlsatz''' genannt wird, nur für pappussche Ebenen allgemein bewiesen werden kann.

(Vergleiche die Hauptartikel [[Zentrische Streckung]] und [[Strahlensatz]])

== Desarguesche Ebenen ==
Eine Translationsebene <math>\mathcal A</math> mit zugehörigem Schiefkörper der spurtreuen Endomorphismen <math>S</math> von <math>\mathcal{T}(\mathcal A)</math> ist genau dann eine desarguesche Ebene, wenn eine der folgenden äquivalenten Bedingungen zutrifft:<ref name="Degen" />
# Der ''große'' affine Satz von Desargues gilt in <math>\mathcal A</math>.
# Ein Koordinatenquasikörper von <math>\mathcal A</math> stimmt mit seinem Kern überein.
# Ein Koordinatenquasikörper von <math>\mathcal A</math> ist ein Schiefkörper.
# Ein Koordinatenquasikörper von <math>\mathcal A</math> ist isomorph zu <math>S</math>.
# Liegen drei Punkte der Ebene auf einer Geraden, so sind sie stets kommensurabel.
# Die Translationen bilden einen '''zwei'''dimensionalen Linksvektorraum über <math>S</math>.
Da die Koordinatenbereiche durch die affine Ebene bis auf Isomorphie eindeutig bestimmt sind, können die Aussagen über diese Bereiche „Ein Koordinatenquasikörper...“ hier gleichwertig auch mit „Jeder Koordinatenquasikörper...“ formuliert werden.

Andererseits enthält jede „echte“, also nichtdesarguesche Translationsebene eine desarguesche Ebene als echte Teilmenge: Wählt man ein Koordinatensystem <math>(O,E_1,E_2)</math> und betrachtet nur Punkte mit Koordinaten <math>x_1,x_2\in OE_1=K</math>, die zu <math>0=O</math> und <math>1=E_1</math> kommensurabel sind, und nur solche Geraden, deren Koeffizienten diese Eigenschaft haben, dann erhält man eine zur desargueschen Ebene <math>\operatorname{Kern}(K)^2</math> isomorphe affine [[Inzidenzstruktur]].

== Pappussche Ebenen ==
Wenn sich in einer Translationsebene eine [[Orthogonalität]]srelation definieren lässt und die [[Charakteristik (Algebra)|Charakteristik]] des Schiefkörpers <math>S</math> nicht 2 ist, das heißt, das (affine) [[Fano-Axiom]] gilt, dann ist die Allgemeingültigkeit des ''Höhenschnittpunktsatzes'' und des ''Mittellotensatzes'' äquivalent und – falls diese allgemeingültig sind – ist in der Ebene der [[Satz von Pappos]] allgemeingültig und der Koordinatenquasikörper sogar ein [[Körper (Algebra)|Körper]]. (Siehe [[Präeuklidische Ebene]]).

Allgemein erfüllt eine Translationsebene den Satz von Pappos genau dann,
* wenn sie desarguessch ist und die Multiplikation im Schiefkörper <math>S</math> der spurtreuen Endomorphismen der Translationsgruppe kommutativ ist, also <math>S</math> ein [[Körper (Algebra)|Körper]] ist oder gleichwertig
* wenn ihr Koordinatenquasikörper ein Körper ist.

Ist die Ordnung der Translationsebene endlich, dann ist der Schiefkörper <math>S</math> stets ein Körper. Dann ist die Translationsebene genau dann pappussch, wenn sie desarguessch ist.

== Endliche Ebenen ==
Eine affine oder projektive Ebene heißt ''endlich'', wenn es ihre ''Ordnung'' und damit auch die Anzahl der Punkte der Ebene ist. Die Ordnung <math>n</math> ist bei einer affinen Ebene die Anzahl der Punkte auf einer Geraden, bei einer projektiven Ebene die Ordnung der affinen Ebene, die durch Schlitzen der projektiven Ebene entsteht. Aus der Tatsache, dass der Koordinatenquasikörper einer affinen Translationsebene ein Linksvektorraum über dem Schiefkörper <math>S</math> der spurtreuen Endomorphismen ist, ergeben sich zusammen mit dem [[Satz von Wedderburn]], der besagt, dass ein endlicher Schiefkörper stets kommutativ, also ein endlicher ''Körper'' ist, Folgerungen für die endlichen Translations- und [[Moufangebene]]n:
* Der Schiefkörper <math>S</math> einer endlichen Translationsebene ist ein [[endlicher Körper]] <math>\mathbb F_q</math>, hat also <math>q=p^m</math> Elemente mit einer [[Primzahl]] <math>p</math> und <math>m\in \N, m\geq 1</math>.
* Der Koordinatenquasikörper ist ein endlichdimensionarer Vektorraum über <math>S=\mathbb F_q</math> und hat demnach <math>q^r=p^{mr}\!\,\,(r\in \N, r\geq 1) </math> Elemente. Also ist die Ordnung der Translationsebene diese Primzahlpotenz, ist dabei <math>r=1</math>, dann ist die Translationsebene die pappussche Ebene <math>S^2</math> über dem Körper <math>S=\mathbb F_q</math>.
* Es existieren zahlreiche endliche affine Translationsebenen, die nicht desarguesch sind, zum Beispiel 4 verschiedene (nicht isomorphe) der Ordnung 9. (Siehe die Beispiele im Artikel [[Ternärkörper]].)
* Das formale Analogon zu affinen Translationsebenen unter den projektiven Ebenen sind die ''Moufangebenen'', in denen der kleine ''projektive'' Satz von Desargues allgemeingültig ist. [[Ruth Moufang]] hat gezeigt, dass ''echte'', das heißt nichtdesarguesche Moufangebenen stets unendlich sind. Daraus folgt, dass bei einer ''endlichen'' affinen Translationsebene die projektive Erweiterung genau dann eine Moufangebene ist, wenn beide Ebenen desarguesch und also gleichwertig dazu Ebenen über einem endlichen Körper sind.
Allgemeinere Aussagen über die möglichen Ordnungen endlicher Ebenen finden sich in den Artikeln [[Projektive Ebene]] und [[Projektive Geometrie]].

== Projektive Translationsebene ==
Eine ''projektive'' Ebene heißt ''Translationsebene bezüglich einer ihrer Geraden'', wenn sie ''in Bezug auf diese Gerade als Achse'' den kleinen projektiven [[Satz von Desargues]] erfüllt. Eine gleichwertige Beschreibung einer solchen ''projektiven Translationsebene'': Sie gehört zu einer der Klassen IVa, V oder VII in der [[Klassifikation projektiver Ebenen]] nach [[Hanfried Lenz]].<ref name="Weibel" />

Der ''projektive Abschluss'' einer ''affinen'' Translationsebene ist stets eine projektive Translationsebene. Wenn andererseits eine projektive Translationsebene entlang einer projektiven Geraden <math>u</math> geschlitzt wird, entsteht eine affine Ebene, in der diese Gerade die [[Ferngerade]] darstellt. Die so erzeugte affine Ebene ist genau dann eine affine ''Translations''ebene, wenn die projektive Ebene den kleinen projektiven Satz von Desargues ''in Bezug auf <math>u</math> als Achse'' erfüllt. Gleichwertig: Die Gerade <math>u</math> muss eine Achse in der ''Lenz-Figur'' der projektiven Ebene sein.

== Beispiele und Gegenbeispiele ==
* Jede desarguesche Ebene ist eine Translationsebene, also insbesondere die affine Ebene <math>K^2</math> über einem Schiefkörper <math>K</math>. Hier stimmt der Schiefkörper der spurtreuen Endomorphismen <math>S</math> (bis auf Isomorphie) mit dem Koordinatenschiefkörper überein.
* Die reellen [[Oktave (Mathematik)|Oktonionen]] <math>\mathbb{O}</math> bilden einen Quasikörper, der kein Schiefkörper ist: Zwar gelten beide Distributivgesetze, aber die Multiplikation ist nicht assoziativ. Damit ist die affine Translationsebene <math>\mathbb{O}^2</math> eine nichtdesarguesche Translationsebene.
* Die reelle [[Moulton-Ebene]] ist eine affine Ebene, die keine Translationsebene ist: Ist <math>a</math> die („normale“ und Moulton-Ebenen-) Gerade, auf der einige Moultongeraden ihren „Knick“ haben, dann besteht die Translationsgruppe genau aus den „normalen“ Verschiebungen der reellen Ebene in Richtung der Geraden <math>a</math>, sie ist damit zur kommutativen Gruppe <math>(\R, +)</math> isomorph. Jeder Gruppenautomorphismus von <math>(\R, +)</math> ist spurtreu, da aber die Translationsgruppe nicht einfach transitiv auf der Moulton-Ebene operiert, nützt das zur Beschreibung dieser Geometrie wenig.
* Dagegen sind die ''endlichen'' Moultonebenen stets affine Translationsebenen. Es existieren unendlich viele nichtdesarguesche endliche Translationsebenen dieses Typs, siehe dazu den Abschnitt [[Quasikörper#Quasikörper endlicher Moulton-Ebenen|Quasikörper endlicher Moulton-Ebenen]] im Artikel [[Quasikörper]].
Der Artikel [[Ternärkörper]] enthält weitere Beispiele für affine Translationsebenen, insbesondere auch ausführlich dargestellte Beispiele für endliche, nichtdesarguesche Translationsebenen (siehe im Unterabschnitt [[Ternärkörper#Beispiele der Ordnung 9|Beispiele der Ordnung&nbsp;9]]).

== Literatur ==
* {{Literatur
   |Autor=Wendelin Degen, Lothar Profke
   |Titel=Grundlagen der affinen und euklidischen Geometrie
   |Auflage=1.
   |Verlag=Teubner
   |Ort=Stuttgart
   |Datum=1976
   |ISBN=3-519-02751-8}}
* {{Literatur
   |Autor=[[Heinz Lüneburg]]
   |Titel=Translation planes
   |Auflage=1.
   |Verlag=Springer
   |Ort=Berlin/Heidelberg / New York
   |Datum=1980
   |ISBN=3-540-09614-0}}
* {{Literatur
   |Autor=[[Günter Pickert]]
   |Titel=Axiomatische Begründung der ebenen euklidischen Geometrie in vektorieller Darstellung
   |Sammelwerk=Mathematisch-physikalische Semesterberichte
   |Band=10
   |Datum=1963
   |ISSN=0025-5823
   |Seiten=65–85}}
* {{Literatur
   |Autor=Charles Weibel
   |Titel=Survey of Non-Desarguesian Planes
   |Sammelwerk=Notices of the American Mathematical Society
   |Band=54
   |Verlag=American Mathematical Society
   |Datum=November 2007
   |Seiten=1294–1303
   |Sprache=en
   |Online=http://www.ams.org/notices/200710/tx071001294p.pdf
   |Format=PDF
   |KBytes=702
   |Abruf=2012-01-24}}

== Einzelnachweise und Anmerkungen ==
<references />

{{Normdaten|TYP=s|GND=4191525-2|LCCN=sh/85/136964}}

[[Kategorie:Synthetische Geometrie]]