A representation theorem for translation-Hjelmslev-planes with reflections. (Q1207025)

\textit{G. Kist} and the reviewer [[*] = Abh. Math. Semin. Univ. Hamb. 49, 234-236 (1979; Zbl 0422.51007)] introduced a foundation method which is applicable for generalized Euclidean planes of characteristic 2 and \(\neq 2\). Afterwards this method was used for foundations of pseudo-Euclidean planes [by \textit{H.-J. Kroll} and \textit{K. Sörensen}, J. Geom. 8, 95-115 (1976; Zbl 0338.52002)] for rectangular planes = Rechtseitebenen [\textit{by the reviewer and R. Stanik}, Mitt. Math. Ges. Hamb. 10, 531-551 (1979; Zbl 0439.51004)] and for a class of singular Hjelmslev-groups [by \textit{R. Struve}, Geom. Dedicata 13, 309-323 (1982; Zbl 0503.51012)]. The author generalizes the axiomatic assumptions of [*] in the following directions: The translation plane is replaced by a translation-Hjelmslev-plane \({\mathfrak E} = ({\mathbf P},{\mathfrak G})\) (in the sense of H. Lüneburg). He also assumes that there is a distinct point \(0 \in {\mathbf P}\) and that with every line \(A\in {\mathfrak G}(0):= \{X\in {\mathfrak G}\mid 0\in X\}\) there corresponds an involutory automorphism \(\widetilde{A}\) of \(\mathfrak E\) fulfilling the conditions ``\(\widetilde{A}(x) = x\Leftrightarrow x \in A\)'' and ``\(\forall A,B,C\in {\mathfrak G}(0)\;\exists D \in {\mathfrak G}(0): \widetilde{A}\widetilde{B}\widetilde{C} = \widetilde{D}\)'' of [*]and furthermore ``\(\exists A,B \in {\mathfrak G}(0): \widetilde{A}\widetilde{B} = -\text{id}\)'' and ``\(\forall A,B\in{\mathfrak G}(0)\) with \(A\circ B\), \(x\in {\mathbf P}: \widetilde{A}(x)\circ\widetilde{B}(x)\)'' (\(\circ\) denotes the neighbor relation). For this class of Hjelmslev-planes he finds and proves a representation theorem. The corresponding algebraic structures are so called quadratic Hjelmslev-ring-extensions \(P = R(i)\) where \(R\) is a unitary commutative ring with the properties (\(N\) = set of zero- divisors): (a) \(\forall x\in R\) is either a unit or \(x\in N\), (b) \(\forall a,b\in N\;\exists x\in R : a = b\cdot x\) or \(b = a\cdot x\), (c) \(\exists u,v\in R : \{2,u\} \not\subset N\), \(\forall x \in R\), \(x^ 2 + ux + v \not\in N\). The result of the author can also be used for foundations of ``absolute Hjelmslev planes'', in particular, for elliptic planes of characteristic 2.