On Certain Finite Linear Groups of Prime Degree

Author: Sibley, David Alan

Year: 1972

Degree: Dissertation (Ph.D.)

Advisor: Wales, David B.

Committee Member: Unknown, Unknown

Option: Mathematics

DOI: 10.7907/CW3F-2D77

Abstract

In studying finite linear groups of fixed degree over the complex field, it is convenient to restrict attention to irreducible, unimodular, and quasiprimitive groups. If one assumes the degree to be an odd prime p, there is a natural division into cases, according to the order of a Sylow p-group of such a group. When the order is p4 or larger, all such groups are known (by W. Feit and J. Lindsey, independently).

THEOREM 1. Suppose G is a finite group with a faithful, irreducible, unimodular, and quasiprimitive complex representation of prime degree p ≥ 5. If a Sylow p-group P of G has order p3, then P is normal in G.

As is well known, Theorem 1 is false for p = 2 or 3. Combining Theorem 1 with known results, we have immediately the following conjecture of Feit.

THEOREM 2. Suppose G is a finite group with a faithful, irreducible, and unimodular complex representation of prime degree p ≥ 5. Then p2 does not divide the order of G/0p(G).

The following result, which is of independent interest, is used in the proof of Theorem 1.

THEOREM 3. Suppose G is a finite group with a Sylow p-group P of order larger than 3, which satisfies

CG(x) = P, for all x ≠ 1 in P.

If G has a faithful complex representation of degree less than (|P| - 1)2/3, then P is normal in G.

Files