рус eng
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

List of issues > Series «Mathematics». 2026. Vol 56

Dihedral and Quaternion Autotopism Subgroups of Semifield Projective Planes of Order 𝑝4

Author(s)

Olga V. Kravtsova, Daria S. Skok

Siberian Federal University, Krasnoyarsk, Russian Federation

Abstract
In 1959, D.R. Hughes conjecture that the full collineation group of any finite non-Desarguesian semifield projective plane is solvable (see also the question 11.76 by N.D. Podufalov in Kourovka notebook). The spread set method is useful to exclude some simple non-Abelian groups from the list of possible autotopism subgroups (collineations fixing a triangle) or for constructing the examples of semifield planes with certain autotopism subgroup. The present paper continues the series of results on 2-subgroups and 2-elements in an autotopism group. The natural restrictions from previous papers allow us to complete the description of dihedral and quaternion autotopism subgroup of order 8, together with their geometrical sense. For a semifield projective plane of odd order and 4-dimensional over the center, the matrix representation of the spread set is determined, depending on the characteristic of prime field. It is proven that the dihedral autotopism group of order 8 necessarily contains the perspectivities and therefore cannot be a subgroup of any simple non-Abelian group. For the case of a quaternion subgroup without perspectivities, examples of semifield projective planes of order 81 and 2401 are constructed, up to isomorphism. The list of exceptions complements the classical results of H. L¨uneburg etc. on projective special linear collineation groups. The method used and the described algorithms allow for generalization to the case of a different dimension or a different order.
About the Authors

Olga V. Kravtsova, Dr. Sci. (Phys.-Math.), Assoc. Prof., Siberian Federal University, Krasnoyarsk, 660041, Russian Federation, ol71@bk.ru

Daria S. Skok, Siberian Federal University, Krasnoyarsk, 660041, Russian Federation, skokdarya@yandex.ru

For citation
Kravtsova O. V., Skok D. S. Dihedral and Quaternion Autotopism Subgroups of Semifield Projective Planes of Order 𝑝4. The Bulletin of Irkutsk State University. Series Mathematics, 2026, vol. 56, pp. 145–159. https://doi.org/10.26516/1997-7670.2026.56.145
Keywords
semifield plane, semifield, spread set, autotopism group, quaternion group, dihedral group, Hughes problem
UDC
512.554
MSC
12K99, 15A04, 17A35, 17D99
DOI
https://doi.org/10.26516/1997-7670.2026.56.145
References
  1. Dickson L.E. Linear algebras in which division is always uniquely possible. Trans. Amer. Math. Soc., 1906, vol. 7, no. 3, pp. 370–390. https://doi.org/10.1090/S0002-9947-1906-1500755-5
  2. Goldschmidth D.M. 2-fusion in finite groups. Ann. Math., 1974, vol. 99, no. 1, pp. 70–117.
  3. Hughes D.R. Review of some results in collineation groups. Proc. Sympos. Pure Math., American Mathematical Society, Providence, R. I., 1959, vol. 1, pp. 42–55.
  4. Hughes D.R., Piper F.C. Projective planes. New York, Springer-Verlag, 1973, 292 p.
  5. Johnson N.L., Jha V., Biliotti M. Handbook of finite translation planes. London, Chapman and Hall, 2007, 861 p. ISBN 9781584886051
  6. Kravtsova O.V. 2-elements in an autotopism group of a semifield projective plane. The Bulletin of Irkutsk State University. Series Mathematics, 2022, vol. 39, pp. 96–110. https://doi.org/10.26516/1997-7670.2022.39.96
  7. Kravtsova O.V. Dihedral group of order 8 in an autotopism group of a semifield projective plane of odd order. Journal of Siberian Federal University. Mathematics & Physics, 2022, vol. 15, no. 3, pp. 378–384. https://doi.org/10.17516/1997-1397-2022-15-3-378-384
  8. Kravtsova O.V., Skok D.S. Non-Abelian autotopism subgroups of order 8 of semifield projective planes. Trudy Inst. Mat. i Mekh. UrO RAN, 2025, vol. 31, no. 1, pp. 90–100. https://doi.org/10.21538/0134-4889-2025-31-1-90-100
  9. Lüneburg H. Charakterisierungen der endlichen Desarguesschen projectiven Ebenen. Math. Z., 1964, vol. 85, pp. 419–450. https://doi.org/10.1007/BF01115362
  10. Maduram D.M. Matrix representation of translation planes. Geom Dedicata, 1975, vol. 4, pp. 485–492. https://doi.org/10.1007/BF00148776
  11. Montinaro A. The general structure of the projective planes admitting 𝑃𝑆𝐿(2, 𝑞) as a collineation group. Innovations in Incidence Geometry, 2007, vol. 5, pp. 35–116. DOI: 10.2140/iig.2007.5.35
  12. Moorhouse G.E. 𝑃𝑆𝐿(2, 𝑞) as a collineation group of projective planes of small order. Geom. Dedicata, 1989, vol. 31, pp. 63–88. https://doi.org/10.1007/BF00184160

Full text (english)