The structure of $n$-uniform translation Hjelmslev planes
HTML articles powered by AMS MathViewer
- by David A. Drake PDF
- Trans. Amer. Math. Soc. 175 (1973), 249-282 Request permission
Abstract:
Affine or projective Hjelmslev planes are called 1-uniform (also strongly 1-uniform) if they are finite customary affine or projective planes. If $n > 1$, an n-uniform affine or projective Hjelmslev plane is a (finite) Hjelmslev plane $\mathfrak {A}$ with the following property: for each point P of $\mathfrak {A}$, the substructure $^{n - 1}P$ of all neighbor points of P is an $(n - 1)$-uniform affine Hjelmslev plane. Associated with each point P is a sequence of neighborhoods $^1P \subset {\;^2}P \subset \cdots \subset {\;^n}P = \mathfrak {A}$. For $i < n,{\;^i}P$ is an i-uniform affine Hjelmslev plane under the induced incidence relation (for some parallel relation). Hjelmslev planes are called strongly n-uniform if they are n-uniform and possess one additional property; the additional property is designed to assure that the planes have epimorphic images which are strongly $(n - 1)$-uniform. Henceforth, assume that $\mathfrak {A}$ is a strongly n-uniform translation (affine) Hjelmslev plane. Let ${{(^i}P)^ \ast }$ denote the incidence structure $^iP$ together with the parallel relation induced therein by the parallel relation holding in $\mathfrak {A}$. Then for all positive integers $i \leq n$ and all points P and Q of $\mathfrak {A}$, ${{(^i}P)^ \ast }$ and ${{(^i}Q)^\ast }$ are isomorphic strongly i-uniform translation Hjelmslev planes. Let $^i\mathfrak {A}$ denote this common i-uniform plane; ${{(^i}\mathfrak {A})_j}$, denote the “quotient” of $^i\mathfrak {A}$ modulo $^j\mathfrak {A}$. The invariant $r = {p^x}$ of $\mathfrak {A}$ is the order of the ordinary translation plane ${{(^n}\mathfrak {A})_{n - 1}}$. Then the translation group of $\mathfrak {A}$ is an abelian group with 2xk cyclic summands, k an integer $\leq n$; one calls k the width of $\mathfrak {A}$. If $0 \leq j < i \leq n$, then ${{(^i}\mathfrak {A})_j}$ is a strongly $(i - j)$-uniform translation Hjelmslev plane; if also $j \geq k,{{(^i}\mathfrak {A})_j}$ and ${{(^{i - k}}\mathfrak {A})_{j - k}}$ are isomorphic. Then if $\mathfrak {A}(i)$ denotes ${{(^i}\mathfrak {A})_{i - 1}},\mathfrak {A}(1), \cdots ,\mathfrak {A}(n)$ is a periodic sequence of ordinary translation planes (all of order r) whose period is divisible by k. It is proved that if ${T_1}, \cdots ,{T_k}$ is an arbitrary sequence of translation planes with common order and if $n \geq k$, then there exists a strongly n-uniform translation Hjelmslev plane $\mathfrak {A}$ of width k such that $\mathfrak {A}(i) \cong {T_i}$ for $i \leq k$. The proof of this result depends heavily upon a characterization of the class of strongly n-uniform translation Hjelmslev planes which is given in this paper. This characterization is given in terms of the constructibility of the n-uniform planes from the $(n - 1)$-uniform planes by means of group congruences.References
- Johannes André, Über nicht-Desarguessche Ebenen mit transitiver Translationsgruppe, Math. Z. 60 (1954), 156–186 (German). MR 63056, DOI 10.1007/BF01187370
- Benno Artmann, Hjelmslev-Ebenen mit verfeinerten Nachbarschaftsrelationen, Math. Z. 112 (1969), 163–180 (German). MR 250180, DOI 10.1007/BF01110216
- P. Dembowski, Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Springer-Verlag, Berlin-New York, 1968. MR 0233275
- David A. Drake, On $n$-uniform Hjelmslev planes, J. Combinatorial Theory 9 (1970), 267–288. MR 268770
- David A. Drake, Coordinatization of $H$-planes by $H$-modules, Math. Z. 115 (1970), 79–103. MR 262919, DOI 10.1007/BF01109816
- David A. Drake, The translation groups of $n$-uniform translation Hjelmslev planes, Pacific J. Math. 38 (1971), 365–375. MR 307032
- Erwin Kleinfeld, Finite Hjelmslev planes, Illinois J. Math. 3 (1959), 403–407. MR 107209
- Wilhelm Klingenberg, Desarguessche Ebenen mit Nachbarelementen, Abh. Math. Sem. Univ. Hamburg 20 (1955), 97–111 (German). MR 74009, DOI 10.1007/BF02960742
- Heinz Lüneburg, Affine Hjelmslev-Ebenen mit transitiver Translationsgruppe, Math. Z. 79 (1962), 260–288 (German). MR 138031, DOI 10.1007/BF01193123
- Phyrne Youens Bacon, Strongly $n$-uniform and level $n$ Hjelmslev planes, Math. Z. 127 (1972), 1–9. MR 308922, DOI 10.1007/BF01110099
Additional Information
- © Copyright 1973 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 175 (1973), 249-282
- MSC: Primary 50D30
- DOI: https://doi.org/10.1090/S0002-9947-1973-0310755-0
- MathSciNet review: 0310755