example of multiply transitive
Theorem 1.
- 1.
The general linear group
acts transitively on the set of points (1-dimensional subspaces
) in theprojective geometry
.
- 2.
is doubly transitive on the set of all of points in .
- 3.
is not 3-transitive on the set of all points in if .
Proof.
Evidently 2 implies 1. So suppose we have pairs of distinct points and . Then take, , and .As , and are linearly independent, just as and are. Therefore extending to a basis and to a basis , we know there is a linear transformation taking to – consider the change of basis matrix. Therefore is2-transitive.
Now suppose . Then there exists a linearly indepedent set whichgives three distinct non-collinear points , , and . But then we also have three collinear points where . As prevserves the geometry of ,we cannot have a map in send to .∎
Note that the action of on is not faithful so we use instead .