John and I have just uploaded to the arxiv a copy of our recent paper, `Point regular automorphism groups of generalised quadrangles‘. We investigate the regular subgroups of some of the known generalised quadrangles. We demonstrate that the class of groups which can act as a point regular group of automorphisms of a generalised quadrangle is much wilder than previously thought.
A permutation group on a set acts regularly on a set if it acts transitively on and only the identity of fixes an element of . Studying regular automorphism groups of projective planes has received much attention over the years. Recently attention has turned to the study of groups acting regularly on generalised quadrangles.
Dina Ghinelli proved in 1992 that a Frobenius group or a group with a nontrivial centre cannot act regularly on the points of a generalised quadrangle of order , where is even. Stefaan De Winter and Koen Thas proved in 2006 that if a finite thick generalised quadrangle admits an abelian group of automorphisms acting regularly on its points, then it is the Payne derivation of a translation generalised quadrangle of even order. Satoshi Yoshiara proved that there are no generalised quadrangles of order admitting an automorphism group acting regularly on points.
Our first result is a complete classification of all regular subgroups of the thick classical generalised quadrangles.
Theorem 1 Let be a finite thick classical generalised quadrangle and let be a group of automorphisms that acts regularly on the points of . Then one of the following holds:
- and is an extraspecial group of order 27 and exponent 3.
- and is an extraspecial group of order 27 and exponent 9.
- and .
Our proof uses the classification of regular subgroups of almost simple groups due to Martin Liebeck, Cheryl Praeger and Jan Saxl. While their results rely on the Classification of Finite Simple Groups, the part that we require only really depends on knowledge of the subgroup structure of low dimensional classical groups which was known before the classification. An alternative approach was independently undertaken by De Winter, K Thas and Shult.
Our other main result looks at the generalised quadrangles of order obtained by Payne derivation from . I described these quadrangles in an earlier post. The generalised quadrangle has a group of automorphisms which fixes a point and each line on , and acts regularly on the points not collinear with . We call the elation group. Moreover, is elementary abelian for even and a Heisenberg group for odd. (A Heisenberg group is a Sylow -subgroup of , that is, isomorphic to the group of lower triangular matrices with all diagonal entries equal to 1.)
The stabiliser of the point in the full automorphism group of acts as a group of automorphisms of the Payne derived quadrangle and contains as a normal subgroup. However, this group may contain point regular subgroups other than . In our paper we exploit this fact to construct several other infinite families of regular subgroups. Our results are summarised in the following theorem.
Theorem 2 Let be the generalised quadrangle of order obtained by Payne derivation from . Then there exist subgroups of that act regularly on the points of and for not a prime there also exists a further regular subgroup such that , and have the following properties:
- is an elation group of while and are not;
- and for a power of or , ;
- is not special;
- For even, is elementary abelian while and have exponent 4 and are nonabelian except when ;
- For , has exponent while and have exponent ;
- For odd, and ;
- For even, and .
Explicit details and constructions can be found in the paper. The only groups previously known to act regularly on a GQ were elementary abelian 2-groups and Heisenberg groups of odd order. The groups we obtain include nonabelian 2-groups and -groups which are not special (A -group is called special if the center of is equal to the derived subgroup of and is elementary abelian).
The generalised quadrangle of order obtained by Payne derivation from is isomorphic to . The regular groups and occurring in our second theorem for this case are the two regular subgroups which appeared in our classification of regular subgroups of classical GQs.
Our paper includes computer calculations enumerating all regular subgroups of small GQs, and these demonstrate that there are many possible groups which act regularly on GQs, including -groups with nilpotency class 7.