Nilpotent Primitive Linear Groups over Finite Fields

In this paper we investigate the structure of groups as in the title. Our work builds on work of several other authors, namely Konyuh [5], Leedham-Green and Plesken [6], and Zalesskii [10], who have described the abstract isomorphism types of the groups. We obtain more detailed descriptions, in particular explaining how group structure depends on the existence of an abelian primitive subgroup. Additionally we show that isomorphism type of a group completely determines its conjugacy class in the relevant general linear group. A brief outline of the paper now follows. In Section 2 we review standard material on abelian (cyclic) irreducible linear groups. In Section 3 fundamental structural results are given. In Section 4 nilpotent primitive linear groups of degree 2 are classified up to conjugacy, and then groups of degree greater than 2 are treated thoroughly in Section 5. The final Section 6 summarises our results. Throughout, F is a finite field of size q and characteristic p , and G ≤ GL(n,F), n > 1. The natural (right) FG-module of dimension n is denoted V . Whenever we refer to “primitive” or “imprimitive” linear groups, we are implicitly assuming them to be irreducible.