Projective Planes of Order 25

This site is intended to provide a current list of known projective planes of order 25. I have listed the 193 planes of which I am aware (5 self-dual planes plus 94 dual pairs). The planes are listed in increasing order of 5-rank, the most readily computable isomorphism invariant. For basic definitions and results on the subject of projective planes, please refer to

• P. Dembowski, Finite Geometries, Springer-Verlag, Berlin, 1968; or
• D.R. Hughes and F.C. Piper, Projective Planes, Springer-Verlag, New York, 1973.

More details on the new planes w1 and w2 can be found in

• On projective planes of order less than 32, in Finite Geometries, Groups, and Computation, ed. A. Hulpke et. al.; de Gruyter, Berlin, 2006, pp.149-162.   (172 KB)

I have made extensive use of Brendan McKay's celebrated software package nauty for computing graph automorphisms; also the computational algebra package GAP (Graphs, Algorithms and Programming) for some of the group computations (e.g. computing conjugacy classes of involutions in groups).

If you are aware of planes which I have overlooked in my list, I would appreciate an email message () from you.

I have also provided

• a key to the table;
• a diagram illustrating connections between the planes listed;
• a brief description of the constructions used;
• a note concerning subplanes of these planes, and
• a summary of what's known for other small orders.

I have verified (on October 21, 2008) that all planes in this list, except for the Desarguesian plane s1, have subplanes of order 2. (It has been conjectured that all finite projective planes, other than Desarguesian planes of odd order, have subplanes of order 2.)

Table of Known Projective Planes of Order 25

Key to the table

Only one line is displayed for both a plane and its dual, an asterisk (*) in the first column indicating that the plane is self-dual. Each line includes the following information and isomorphism invariants for each plane.

• Plane    provides a text file containing the projective plane. The text file has 651 rows, corresponding to the points listed in the order 0,1,2,...,650; each row lists lines incident with the given point, with lines labeled 0,1,2,...,650. For non-self-dual planes, a second file is also given, containing the dual of the first.
• 5-rank    The rank of the (0,1)-incidence matrix of the projective plane, over a field of characteristic 5.
• |Autgp|    The order of the full automorphism group (collineation group) of the projective plane. This table entry is linked to a file providing generators of the automorphism group, listed as permutations of the integer list 0,1,2,...,1301 where 0,1,2,...,650 are labels for the points and 651,...,1301 are labels for the lines. (I've added 651 to each of the previously used line labels 0,1,...,650, to distinguish lines from points.) Generators for the automorphism group of the dual plane are not provided since these are trivially obtained from the generators given for the original plane.
• Point Orbits    The lengths of the full automorphism group on the points. (These are the lengths of the line orbits for the dual plane.)
• Line Orbits    The lengths of the full automorphism group on the lines. (These are the lengths of the point orbits for the dual plane.)
• Derived Planes    A list of all planes obtained by derivation from the planes listed in this line. When a line in the table lists a dual pair of planes, I list all the planes derivable from the first plane in the pair, then a colon, followed by all the planes derivable from the second plane in the pair.
• Fingerprint    The fingerprint of each plane is provided through a link to an accompanying table of fingerprints. See this accompanying document for the definition of this useful isomorphism invariant.

Connections between the planes

The image below illustrates connections between the planes we have listed. Each circle represents a dual pair of planes (or a self-dual plane), and most of these have not been labeled. Yellow bonds between planes represent the derivability of one plane from another (a symmetric relation). Blue bonds indicate pairs of planes which share a semibiplane.

Constructions

The Wyoming planes w1 and w2 are related to each other by derivation, but not to any other planes. They are produced by lifting a homology semibiplane obtained from a2, and a Baer semibiplane obtained from a2a, respectively. Our list is also closed under the process of producing and lifting semibiplanes. Another pair of planes related by the sharing of a homology semibiplane is: s2 and the dual of h1a. Further pairs of planes related by the sharing of Baer semibiplanes are: s1 and h1 (the Desarguesian and ordinary Hughes planes); and s2a and h1b. For more information on semibiplanes and their use in constructing new planes from old, see eg. my preprint Planes, semibiplanes and related complexes.

Subplanes

I have just done a quick non-exhaustive search for proper subplanes in these planes. All have subplanes of order 5. All except the Desarguesian plane s1 have large numbers of subplanes of order 2. Subplanes of order 3 were found in the Hughes plane h1 and its relatives h1a and h1b, and in the first Wyoming plane w1 (and in their duals) but in no other planes. No other orders of subplanes were found.

/ revised September, 2004