Order-p matrices in GL2 over the prime field
ID: order-p-matrices-in-gl2-over-the-prime-field
For prime , every order- element of is conjugate to the displayed nonidentity unipotent matrix. Its cyclic subgroup has vector group orbits of sizes one or ; counting all vectors implies at least fixed vectors. Choose a nonzero fixed vector as first basis vector. The matrix becomes triangular with first diagonal entry one; its other diagonal entry satisfies and hence in the prime finite field. The off-diagonal entry is nonzero and can be rescaled to one. All matrices involved have invertible changes of basis.
New to topics? Read the docs here!