This is an elementary description of the finite desarguesian projective plane and its automorphism group . I needed to explain this to a non-combinatorialist, so thought I would just add it to the blog. The required background is just elementary linear algebra, elementary group theory and the concepts of a finite field and an incidence structure.
We start with the finite field where is necessarily some power of a prime . An automorphism of a field is a permutation of the field elements such that
and the collection of all automorphisms forms a group. The automorphism group of is the cyclic group of order generated by the automorphism .
Next we construct the three-dimensional vector space with vectors being triples of elements of which we shall view as row-vectors. If is an invertible matrix with entries in , then the map is a permutation of (fixing ). The collection of all such invertible matrices forms a group called the general linear group and denoted . We can build a matrix in by picking an arbitrary non-zero vector for the first row, then choosing any vector that is not a multiple of for the second row and then any vector not in the span of for the third row. Therefore the order of the general linear group is given by
The group is the semi-direct product of and the cyclic group of field automorphisms. Each element of this group consists of a pair where and and each element of this group determines a permutation of vectors in given by:
where acts coordinate-wise on the elements of . The order of is therefore given by
The desarguesian projective plane is a point-line incidence structure that is constructed from a three-dimensional vector space over a finite field. The points of are the 1-dimensional subspaces of , and the lines of are the 2-dimensional subspaces of . A point and a line are declared to be incident if the point is contained in the line (when both are viewed as subspaces). The following properties follow immediately from elementary linear algebra.
- Two distinct points are mutually incident with a unique line, and
- Two distinct lines are mutually incident with a unique point.
Finite geometers usually drop the rather formal language of incidence, instead using more geometric language where lines are viewed as joining points and points viewed as lying on lines. So in this language, we just say that
- There is a unique line on any two points, and
- Any two lines meet in a unique point.
An automorphism of a projective plane, including is a permutation of the points and lines that maps points to points, lines to lines and preserves the incidence relation. Because it is incidence preserving, an automorphism is determined by its action on the points alone and often it will be given in that way, or even defined in that way i.e., as a permutation of the points that preserves lines. On the other hand a duality is a permutation of the points and lines that maps points to lines, lines to points and preserves the incidence relation.
Any element of permutes the vectors in , a maps subspaces to subspaces. In fact, an element maps a subspace with basis to the subspace with basis . Hence every element of induces an automorphism of . A classical theorem called The Fundamental Theorem of Projective Geometry says that there are no other permutations of that map subspaces to subspaces.
We have not quite determined the automorphism group of however, because not every element of induces a different automorphism of . In particular, any matrix in the set of scalar matrices
fixes every subspace of (although permuting the vectors contained in the subspace). Therefore the elements in any coset of all induce the same automorphism of . The group is the quotient group and it is this group that is the full automorphism group of . Therefore we conclude that