On Desarguesian extensions of elation nets (Q798955)

From MaRDI portal
Revision as of 04:51, 10 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
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
    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
    translation plane
    0 references
    collineation group
    0 references
    elations
    0 references
    net
    0 references
    0 references

    Identifiers