example of multiply transitive


Theorem 1.
  1. 1.

    The general linear groupMathworldPlanetmath G⁢L⁢(V) acts transitively on the set of points (1-dimensional subspacesPlanetmathPlanetmathPlanetmath) in the projective geometryMathworldPlanetmath P⁢G⁢(V).

  2. 2.

    P⁢G⁢L⁢(V) is doubly transitive on the set of all of points in P⁢G⁢(V).

  3. 3.

    P⁢G⁢L⁢(V) is not 3-transitive on the set of all points in P⁢G⁢(V) if dim⁡V≠2.

Proof.

Evidently 2 implies 1. So suppose we have pairs of distinct points (P,Q) and (R,S). Then take P=⟨x⟩, Q=⟨y⟩, R=⟨z⟩ and S=⟨w⟩. As P≠Q, x and y are linearly independentMathworldPlanetmath, just as z and w are. Therefore extending {x,y} to a basis B and {z,w} to a basis C, we know there is a linear transformation f∈G⁢L⁢(V) taking B to C – consider the change of basis matrix. Therefore G⁢L⁢(V) is 2-transitive.

Now suppose dim⁡V≥2. Then there exists a linearly indepedent set {x,y,z} which gives three distinct non-collinear points (P,Q,R), P=⟨x⟩, Q=⟨y⟩ and R=⟨z⟩. But then we also have three collinear points (P,Q,S) where S=⟨x+y⟩. As G⁢L⁢(V) prevserves the geometryMathworldPlanetmath of P⁢G⁢(V), we cannot have a map in G⁢L⁢(V) send (P,Q,R) to (P,Q,S). ∎

Note that the action of G⁢L⁢(V) on P⁢G⁢(V) is not faithfulPlanetmathPlanetmath so we use instead P⁢G⁢L⁢(V).

Title example of multiply transitive
Canonical name ExampleOfMultiplyTransitive
Date of creation 2013-03-22 17:21:56
Last modified on 2013-03-22 17:21:56
Owner Algeboy (12884)
Last modified by Algeboy (12884)
Numerical id 4
Author Algeboy (12884)
Entry type Example
Classification msc 20B20