Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

The structure of $ n$-uniform translation Hjelmslev planes


Author: David A. Drake
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
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [1] J. André, Über nicht-Desarguessche Ebenen mit transitiver Translations gruppe, Math. Z. 60 (1954), 156-186. MR 16, 64. MR 0063056 (16:64a)
  • [2] B. Artmann, Hjelmslev-Ebenen mit verfeinerten Nachbarschafts-relationen, Math. Z. 112 (1969), 163-180. MR 40 #3420. MR 0250180 (40:3420)
  • [3] P. Dembowski, Finite geomertries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Springer-Verlag, Berlin and New York, 1968. MR 38 #1597. MR 0233275 (38:1597)
  • [4] D. A. Drake, On n-uniform Hjelmslev planes, J. Combinatorial Theory 9 (1970), 267-288. MR 42 #3667. MR 0268770 (42:3667)
  • [5] D. A. Drake, Coordinization of H-planes by H-modules, Math. Z. 115 (1970), 79-103. MR 41 #7524. MR 0262919 (41:7524)
  • [6] -, The translation groups of n-uniform translation Hjelmslev planes, Pacific J. Math. 38 (1971), 365-375. MR 0307032 (46:6153)
  • [7] E. Kleinfeld, Finite Hjelmslev planes, Illinois J. Math. 3 (1959), 403-407. MR 21 #5934. MR 0107209 (21:5934)
  • [8] W. Klingenberg, Desarguessche Ebenen mit Nachbarelementen, Abh. Math. Sem. Univ. Hamburg 20 (1955), 97-111. MR 17, 522. MR 0074009 (17:522e)
  • [9] H. Lüneburg, Affine Hjelmslev-Ebenen mit transitiver Translations gruppe, Math. Z. 79 (1962), 260-288. MR 25 #1479. MR 0138031 (25:1479)
  • [10] P. Y. Bacon, Strongly n-uniform and level n Hjelmslev planes, Math. Z. 127 (1972), 1-9. MR 0308922 (46:8034)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 50D30

Retrieve articles in all journals with MSC: 50D30


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1973-0310755-0
Keywords: Translation, translation plane, group congruence, Hjelmslev plane, n-uniform, strongly n-uniform, height n, level n
Article copyright: © Copyright 1973 American Mathematical Society

American Mathematical Society