On the orders of composition factors in completely reducible groups

In [Artin, p. 463], cf. [Buen, Lemma 4.2], it was shown that

The right-hand side can be bounded above by (r+1)^{2m}. The claim follows by taking base p logarithms.

We use Lemma 2.1 with a = r for linear groups, a = -r for unitary groups, and a = r^2 for the spinor and orthogonal groups; see [KL, Table 5.1.A] for the order formulae for these groups. For all cases except of the orthogonal groups in even dimension that gives us the bound

In case of \mathrm{P\Omega}_{2m}^\pm(r), the prime p may divide r^m \pm 1 and \prod^{m-1}_{i = 1} (r^{2i} - 1). Since v_p(r^m \pm 1) \leq \log{(r+1)^m}/\log p we get the final bound.

We use the order formulae for the exceptional groups, see [KL, Table 5.1.B]. For {}^2B_2(r), {}^2G_2(r), {}^2F_4(r), and {}^3D_4(r) we estimate the p-part of the order from above by (r+1)^{16}, so v_p(|G|) \leq 16 \log{(r+1)} / \log p in this case.

For the other groups we use Lemma 2.1 with the following parameters:

Clearly the E_8(r) case dominates the rest, which gives us the claimed bound.

Assume first that G is \mathrm{L}_m(r), \mathrm{PSp}_{2m}(r), \mathrm{U}_m(r), \mathrm{P \Omega}^{\pm}_{2m}(r), or \Omega_{2m+1}(r). We claim that for every type of the group (linear, symplectic, unitary or orthogonal) the dimension n is bounded from below by C_1 \cdot r^{\alpha m + \beta} where C_1 is some universal constant and \alpha, \beta depend only on the type of the group. For example, if G \simeq \mathrm{U}_{m}(r) and m is even, then by [KL, Table 5.3.A], we have n \geq (r^{m-1} - 1)/(r+1). Therefore n \geq \frac{1}{2} r^{m-1}, so \alpha m + \beta is m - 1 in this case.

The lower bounds on n extracted from [KL, Table 5.3.A] are collected in the third column of Table 1. In the table below we list the expressions \alpha m + \beta such that n \geq C_1 \cdot r^{\alpha m + \beta} for classical groups:

Clearly, for some constant C, we have r^{m-1} \leq C \cdot n, proving (1).

Since p divides |G|, it divides at least one of the factors from the order formula for |G|, see [KL, Table 5.1.A]. In the second column of Table ? we list the largest such factors, that is, only those which are not dominated by the lower bound on the dimension n. For instance, if G \simeq \Omega_{2m+1}(r), then p divides one of r^{2i} - 1, i = 1, \dots, m. We know that n \geq C_1 \cdot r^{2m-2} from the table above, so r^{2i} - 1 \leq C_1' \cdot n for i = 1, \dots, m-1 and some universal constant C_1'. Hence we put the factor r^{2m} - 1 in Table ?.

Note that r^{2m} - 1 factorizes as (r^m - 1)(r^m + 1), so p divides one of the factors, and therefore one has p \leq C_1' \cdot n. Similar factorizations can be used for other classical groups, so we derive that p \leq C \cdot n for some universal constant C.

Assume now that G is an exceptional group of Lie type. The dimension n can be bounded from below by C_2 \cdot r^\alpha for some universal constants C_2 and \alpha depending only on the type of the group by [KL, Table 5.3.A]. We list the corresponding \alpha for the exceptional groups in the following table:

It immediately follows that r \leq C \cdot n for some constant C, proving (2).

The prime p divides the order of the group and, hence, divides some factor in its order formula, see [KL, Table 5.1.B]. As in the previous case, in the second column of Table ? we list the largest such factor. Note that for the group ^3 D_4(r) there are two factors not dominated by the lower bound for n.

We factorize the polynomials from the order formulae in order to obtain a bound of the form p \leq C \cdot n for some universal constant C. For example, if G \simeq E_6(r) and p divides r^{12} - 1, we derive that p divides one of r^6 - 1 or r^6 + 1 which is smaller than r^{11}. The only nontrivial cases arise when G is ^3 D_4(r), ^2 F_4(r) or \mathrm{Sz}(r). If G \simeq {^3}D_4(r) and p divides r^8 + r^4 + 1, we use the factorization

hence p \leq 3 \cdot r^5. If G \simeq {^2}F_4(r) and p divides r^6 + 1, then we use r^6 + 1 = (r^2 + 1)(r^4 - r^2 + 1), so p \leq 3 \cdot r^5. Finally, if G \simeq \mathrm{Sz}(r) and p divides r^2 + 1, then recall that r = 2^{2e+1} for some integer e and we have

Therefore p \leq 3 \cdot r in this case, finishing the proof of the lemma.

By [KL, Corollary 5.3.3], the degree of a minimal projective p-modular representation of G is bounded below by the corresponding number for G/Z(G). We may thus replace G by G/Z(G) and assume that G is simple.

Let C be a large fixed constant (how to specify C will be clear from the proof). Notice that by choosing C large enough we may assume that G is not a sporadic group.

If G is isomorphic to \mathrm{Alt}(m), m \geq 5, then by [KL, Proposition 5.3.7] one has n \geq m-4. Thus by Legendre’s formula

where the last inequality uses the fact that n+3 \leq 5(n-1) for n \geq 2. Now the claimed inequality follows for C \geq 5.

Now we assume that G is a group of Lie type not in characteristic p. We first consider classical groups. Fix r and m as in Lemma 2.2, and notice that for r \geq 2 and m \geq 2 we have (r+1)^m \leq 9(r^{m-1}-1)^2. Lemma 2.2 implies

If p \geq \sqrt{3(r^{m-1}-1)}, then

where the last inequality holds for C large enough by Lemma 2.4. If p < \sqrt{3(r^{m-1}-1)}, then

for some constants C_1, C_2. By Lemma 2.4 (1), we have r^{m-1} - 1 \leq C_3 \cdot (n-1) for some C_3. Therefore

whenever C \geq C_2 \cdot C_3.

We turn to the exceptional groups. If r is the order of the defining field, then r+1 \leq 3(r-1) and Lemma 2.3 imply

If p \geq \sqrt{3(r-1)}, then

where the last inequality uses Lemma 2.4. If p < \sqrt{3(r-1)}, then

for some constants C_1', C_2'. By Lemma 2.4 (2), we have r-1 \leq C_3' \cdot (n-1), hence

for C \geq C_2' \cdot C_3'.

Let H \leq \mathrm{GL}(V) be a counterexample to the statement of the theorem with n \geq 2 minimal. Under this condition, assume that |H| is as small as possible. The proof proceeds in several steps; we choose the constant C = \max \{ 20/3,\, C_1 \}, where C_1 is the constant C from Proposition 2.5.

Step 1: H acts irreducibly on V. Assume that W is a nonzero proper irreducible submodule of V. Let K be the centralizer of W in H. The factor group H/K acts irreducibly and faithfully on W. Thus \overline{c}_p(H/K) \leq C \cdot \frac{m - 1}{p-1} where m is the dimension of W over the field of size q. Since H acts completely reducibly on V, there exists a submodule U of V such that V = W \oplus U. The group K acts faithfully on U. Since K is normal in H, it acts completely reducibly on U by Clifford’s theorem. By the minimality of n again, we have \overline{c}_p(K) \leq C \cdot \frac{(n-m) - (r-1)}{p-1}. These give

a contradiction to the minimality of H.

Step 2: H is perfect. Since H acts irreducibly on V, its derived subgroup [H, H] acts completely reducibly. Now, \overline{c}_p(H) = \overline{c}_p([H, H]) and we may assume that H = [H, H] by the minimality of |H|.

Step 3: H acts primitively on V. Assume that H acts imprimitively on V, that is, H preserves a decomposition V = V_{1} + \ldots + V_t of the vector space V to (proper) subspaces V_{i} of the same size where 1 \leq i \leq t for some integer t > 1. Let the kernel of the action of H on \{ V_{1}, \ldots , V_{t} \} be B. We have \overline{c}_p(H/B) \leq (t-1)/(p-1) by considering the p-part of t!. Since B is a proper normal subgroup of H, we have \overline{c}_p(B) \leq C \cdot \frac{n - t}{p-1}. These give

where C \geq 1 is used.

Step 4: H acts absolutely irreducibly on V. Let E = \mathrm{End}_{H}(V). This is a field extension of the field of order q. Let the order of E be q^{e}. The group H may be viewed as a subgroup of \mathrm{GL}(V) where V is the vector space of dimension n/e over the field E. The EH-module V remains irreducible. Let e > 1. The minimality of n gives

A contradiction.

Step 5: H does not preserve any proper field extension. Assume that H preserves a field extension structure on V over the field of order q^e for some e > 1. The group H may be embedded in \mathrm{GL}(n/e,q^{e}).e and since H is perfect, H lies in \mathrm{GL}(n/e, q^e). By the argument in [GMP, p. 1028], the group H acts irreducibly (and faithfully) on V viewed as a vector space of dimension n/e over the field with q^e elements. These give

A contradiction.

Step 6: The group H is quasisimple. By the argument in [GMP, p. 1029], for every normal subgroup R of H every irreducible constituent of the R-module V is absolutely irreducible.

Since H acts primitively on V, every normal subgroup of H acts homogeneously on V by Clifford’s theorem. In particular, every abelian normal subgroup of H is cyclic by Schur’s lemma and is central by the previous paragraph.

Let R be a normal subgroup of H minimal subject to being noncentral. The center Z(R) of R is contained in Z(H) and R/Z(R) is characteristically simple. As in the proof of [GMP, Theorem 4.1], the group R is either a central product of say t quasisimple groups Q_i (with the Q_{i}/Z(Q_{i}) all isomorphic) or R/Z(R) is an elementary abelian r-group for some prime r. In the second case R is an r-group with r different from p and it may be proved that R is of symplectic type with |R/Z(R)| = r^{2a} for some integer a.

We follow the proof of [GMP, Theorem 4.1] and introduce some notation. Let J_{1}, \ldots , J_{k} denote the distinct normal subgroups of H that are minimal with respect to being noncentral in H. Let J = J_{1} \cdots J_{k} be the central product of these subgroups. Let W be an irreducible constituent of the J-module V. Then W = U_{1} \otimes \cdots \otimes U_{k} where U_i is an irreducible J_{i}-module. If J_i is the central product of t copies of a quasisimple group, then \mathrm{dim}(U_{i}) \geq 2^t and if J_i is of symplectic type with J_{i}/Z(J_{i}) of order r^{2a}, then \mathrm{dim}(U_{i}) = r^a.

The group H/(Z(H)J) embeds into the direct product of the outer automorphism groups of the J_{i}. Let J_i be a central product of say t quasisimple groups Q. The outer automorphism group \mathrm{Out}(J_{i}) in this case may be viewed as a subgroup of \mathrm{Out}(Q/Z(Q)) \wr \mathrm{Sym}(t). Since \mathrm{Out}(Q/Z(Q)) is solvable by Schreier’s conjecture,

where \mathrm{Sol}(X) denotes the solvable radical of a finite group X. Now let J_i be a group of symplectic type with |J_{i}/Z(J_{i})| = r^{2a} for some prime r and integer a. In this case \mathrm{Out}(J_{i}) may be viewed as a subgroup of \mathrm{Sp}_{2a}(r) and so

which is at most \frac{(4/3)r^{a}-1}{p-1} by [GGLV, (3)].

Since n = \dim(V) \geq \dim(W) = \prod_{i} \dim(U_{i}) \geq \sum_{i} \dim(U_{i}), we have

by the previous paragraph and the fact that n \geq 2.

We claim that exactly one of the J_{i} is nonsolvable with a nonabelian composition factor of order divisible by p but different from a group of Lie type in characteristic p. Suppose otherwise. If there is no such J_i, then \overline{c}_p(Z(H)J) = 0 and so

by (Proof) and the fact that C \geq 5/3, a contradiction. Let the number of such J_i be m > 1. Without loss of generality, let these be J_{1}, \ldots , J_{m}. We have \overline{c}_p(Z(H)J) = \sum_{i=1}^{m} \overline{c}_p(J_{i}). For each i with 1 \leq i \leq k, let \mathrm{dim}(U_{i}) = n_i. By the minimality of n, we find that

If m \geq 3 or m=2 and \max \{ n_{1}, n_{2} \} \geq 4, then \sum_{i=1}^{m} n_i \leq \frac{3}{4} \prod_{i=1}^{m} n_i \leq \frac{3}{4}n, hence

where the last inequality holds since C \geq 20/3. A contradiction.

If m = 2 and \max \{ n_{1}, n_{2}\} \leq 3, then \overline{c}_p(\mathrm{Out}(J_i)) = 0 for i = 1,2 and hence

so

by the minimality of n, where the last inequality holds since C \geq 4/3. A contradiction. We thus have m = 1.

We claim that k = 1. Assume that k \geq 2. By the previous paragraph and without loss of generality, \overline{c}_p(J_{1}) \geq 1 and \overline{c}_p(J_{i}) = 0 for every i with 2 \leq i \leq k. By the minimality of n and the fact that k \geq 2 and n_2 \geq 2, we have

This together with the bound (Proof) and C \geq 10/3 give \overline{c}_p(H) < C \cdot \frac{n-1}{p-1}, a contradiction.

The group J = J_{1} is a central product of say t quasisimple groups Q_i (with the Q_{i}/Z(Q_{i}) all isomorphic). We claim that t=1. Assume for a contradiction that t \geq 2. Let W be an irreducible constituent of the J-module V. Then W = W_{1} \otimes \cdots \otimes W_{t} where W_i is an irreducible Q_{i}-module for every i with 1 \leq i \leq t by [KL, Lemmas 5.5.5 and 2.10.1]. For each i with 1 \leq i \leq t, let m_{i} be \dim(U_{i}) \geq 2. We have n \geq \prod_{i=1}^{t} m_{i} \geq \sum_{i=1}^{t} m_{i}. We get \overline{c}_p(J) \leq C \cdot \frac{n - t}{p-1} by the minimality of n and \overline{c}_p( H/(Z(H)J)) \leq \frac{t - 1}{p-1} by Schreier’s conjecture. This is a contradiction since C \geq 1. We conclude that t=1.

Since H is perfect, H = JZ(H) and so H = J is quasisimple. Since H acts absolutely irreducibly on V and is quasisimple, the final contradiction follows from Proposition 2.5.