Sharply three-transitive on a projective line
ID: sharply-three-transitive-on-a-projective-line
For any field , a projective linear group element is uniquely determined by its images of three distinct points of the projective line, and any ordered distinct target triple is attainable. Given representatives forming a basis and , the matrix with columns sends to . Distinctness forces . The matrices realizing one projective map differ by a nonzero scalar; over there are such matrices.
New to topics? Read the docs here!