
On some $3$primitive projective planes
O. V. Kravtsova^{}, I. V. Sheveleva^{} ^{} Institute of mathematics and computer sciences of Siberian Federal
University (Krasnoyarsk)
Abstract:
We evolve an approach to construction and classification of semifield projective planes
with the use of the linear space and spread set. This approach is applied to the problem of existance for a projective plane with the fixed restrictions on collineation group.
A projective plane is said to be semifield plane if its coordinatizing set is a semifield, or division ring. It is an algebraic structure with two binary operation which satisfies all the axioms for a skewfield except (possibly) associativity of multiplication.
A collineation of a projective plane of order $p^{2n}$ ($p>2$ be prime) is called Baer collineation if it fixes a subplane of order $p^n$ pointwise. If the order of a Baer collineation divides $p^n1$ but does not divide $p^i1$ for $i<n$ then such a collineation is called $p$primitive. A semifield plane that admit such collineation is a $p$primitive plane.
M. Cordero in 1997 construct 4 examples of $3$primitive semifield planes of order $81$ with the nucleus of order $9$, using a spread set formed by $2\times 2$matrices. In the paper we consider the general case of $3$primitive semifield plane of order $81$ with the nucleus of order $\leq 9$ and a spread set in the ring of $4\times 4$matrices.
We use the earlier theoretical results obtained independently to construct the matrix representation of the spread set and autotopism group. We determine $8$ isomorphism classes of $3$primitive semifield planes of order $81$ including M. Cordero examples.
We obtain the algorithm to optimize the identification of pairisomorphic semifield planes, and computer realization of this algorithm. It is proved that full collineation group of any semifield plane of order $81$ is solvable, the orders of all autotopisms are calculated.
We describe the structure of $8$ nonisotopic semifields of order $81$ that coordinatize $8$ nonisomorphic $3$primitive semifield planes of order $81$. The spectra of its multiplicative loops of nonzero elements are calculated, the left, rightordered spectra, the maximal subfields and automorphisms are found. The results obtained illustrate G. Wene hypothesis on left or right primitivity for any finite semifield and demonstrate some anomalous properties.
The methods and algorithsm demonstrated can be used for construction and investigation of semifield planes of odd order $p^n$ for $p\geq 3$ and $n\geq 4$.
Keywords:
semifield plane, collineation, autotopism, Baer subplane.
Funding Agency 
Grant Number 
Russian Foundation for Basic Research 
160100707_a 
The study was carried out with a grant from the Russian Foundation for Basic Research (project 160100707). 
DOI:
https://doi.org/10.22405/222683832018203316332
Full text:
PDF file (680 kB)
UDC:
519.145 Received: 14.06.2018 Accepted:12.11.2019
Citation:
O. V. Kravtsova, I. V. Sheveleva, “On some $3$primitive projective planes”, Chebyshevskii Sb., 20:3 (2019), 316–332
Citation in format AMSBIB
\Bibitem{KraShe19}
\by O.~V.~Kravtsova, I.~V.~Sheveleva
\paper On some $3$primitive projective planes
\jour Chebyshevskii Sb.
\yr 2019
\vol 20
\issue 3
\pages 316332
\mathnet{http://mi.mathnet.ru/cheb814}
\crossref{https://doi.org/10.22405/222683832018203316332}
Linking options:
http://mi.mathnet.ru/eng/cheb814 http://mi.mathnet.ru/eng/cheb/v20/i3/p316
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles

Number of views: 
This page:  9  Full text:  3 
