On Desarguesian extensions of elation nets (Q798955)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Desarguesian extensions of elation nets
scientific article

    Statements

    On Desarguesian extensions of elation nets (English)
    0 references
    0 references
    1984
    0 references
    In ''A characterization of the Desarguesian planes of order \(q^ 2\) by SL(2,q)'' [Int. J. Math. Math. Sci. 6, 605-608 (1983; Zbl 0519.51002)] \textit{D. A. Foulser}, \textit{N. L. Johnson} and \textit{T. G. Ostrom} proved: Let \(\pi\) be a translation plane of order \(p^{2r}\), p prime, that admits a collineation group in the translation complement which is isomorphic to \(SL(2,p^ r)\) where the p-elements are elations. Then \(\pi\) is Desarguesian. By adapting the proof of this theorem N. L. Johnson obtained the following more general result: Let \(\pi\) be a translation plane of order \(p^{2rs}\) that admits a collineation group G in the translation complement which is ismorphic to \(SL(2,p^ r)\) where the p-elements are elations. Let \({\mathcal N}\) denote the elation net of degree \(1+p^ r\). Then there is always a rational Desarguesian extension \({\mathcal M}\) of \({\mathcal N}\) (of order \(p^{2r})\) within \(\pi\). Furthermore, (\({\mathcal M}-{\mathcal N})\cap l_{\infty}\) is a G-orbit and, conversely, any orbit of length \(p^{2r}-p^ r\) defines an extension. This theorem has the following corollaries: (1) Let \(\pi\) be a translation plane of order \(q^ 4\) where \(q=p^ r\), p prime. If \(\pi\) admits a collineation group in the translation complement which is isomorphic to SL(2,q) where the p- elements are elations, then \(\pi\) is derivable and the derivable net \({\mathcal D}\) contains the elation net of degree \(q+1\), (2) Let \(\pi\) be any translation plane of order \(p^ 4\), p prime. If \(\pi\) admits elations with at least two nonparallel axes then \(\pi\) is derivable and the derivable net contains at least \(1+p\) elation axes, and (3) Let \(\pi\) be a translation plane of order \(p^ 4\), p prime, that admits elations with at least two components. Then there is a corresponding plane \({\bar\pi }\) that admits SL(2,q) where the p-elements are Baer.
    0 references
    0 references
    translation plane
    0 references
    collineation group
    0 references
    elations
    0 references
    net
    0 references
    0 references