Affine Hjelmslev-Ebenen mit transitiver Translationsgruppe (Q2521151)

Die Note bringt eine Kombination von Ergebnissen von \textit{W. Klingenberg} [Math. Z. 60, 384--406 (1954; Zbl 0057.12601); Abh. Math. Semin. Univ. Hamb. 20, 97--111 (1955; Zbl 0066.14202)] und des Ref. [Math. Z. 60, 156--186 (1954; Zbl 0056.38503)]. Sei \(T\) eine Gruppe und \(\mathfrak P\) eine Menge von Untergruppen mit folgenden Eigenschaften: (a) \(T = \cup_{P\in \mathfrak P} P\), (b) aus \(P, \Sigma\in \mathfrak P\), \(P\cap \Sigma E = \{1\}\) folgt \(T = P\Sigma\), (c) es gibt \(P, \Sigma\in \mathfrak P\) mit \(P\cap \Sigma E = \{1\}\), (d) \(N= \bigcup_{\substack{P, \Sigma\in \mathfrak P \\ P\ne \Sigma}} (P\cap \Sigma)\) ist Normalteiler von \(T\), (e) für alle \(P\in \mathfrak P\) gilt \(P\not\subseteq N\), (f) aus \(P\cap \Sigma E = \{1\}\) folgt \(N = NP\cap N\Sigma\), (g) aus \(P\cap \Sigma E \ne \{1\}\) folgt \(NP = N\Sigma\). Aus \(T\) mit \(\mathfrak P\) gewinnt man eine Inzidenzstruktur \((T, \mathfrak P)\) auf folgende Weise: Die Punkte von \((T,\mathfrak P)\) sind die Elemente von \(T\), die Geraden die Rechtsrestklassen \(P\tau\) mit \(P\in \mathfrak P\), \(\tau\in T\), zwei Geraden \(P\sigma\) und \(\Sigma\tau\) heißen parallel, wenn \(P = \Sigma\) ist. Sie bilden spezielle affine Hjelmslev-Ebenen im Sinne von W. Klingenberg. (Sie sind im allgemeinen keine affinen. Ebenen, vielmehr hat z. B. 1 mit genau allen zu \(N\) gehörenden Punkten mindestens zwei Verbindungsgeraden.) Eine affine Hjelmslev-Ebene heißt Translations-Hjelmslev-Ebene, wenn ihre Translationen eine auf den Punkten transitive Gruppe bilden. Jede Translations-Hjelmslev-Ebene ist vom Typ \((T,\mathfrak P)\). Umgekehrt ist \((T,\mathfrak P)\) genau dann eine Translations-Hjelmslev-Ebene, wenn \(T\) abelsch ist; die Translationsgruppe ist in diesem Fall isomorph zu \(T\). Aussagen über die Struktur der Translations-Hjelmslev-Ebenen und ihrer Translationsgruppen werden gemacht. Genau dann ist eine Translations-Hjelmslev-Ebene eine affine Ebene (und damit eine Translationsebene), wenn \(N = \{1\}\) ist.