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.
Articles by others on the same topic
There are currently no matching articles.