arXiv:1608.07543v1 [] 26 Aug 2016

CLASSIFICATION OF IMPRIMITIVE IRREDUCIBLE FINITE
SUBGROUPS OF O(7)
DAVID B. WALES
Abstract. This work gives a classification of imprimitive irreducible finite subgroups of the orthogonal group O(7) plus the number of conjugacy classes for each
group.

keywords: Orthogonal group, imprimitive linear group, quasiprimitve linear
group
AMS 2010 Mathematics Subject Classification: 16Gxx, 17Bxx, 20Cxx
1. Introduction
Recently, Nicholas Katz asked if there was a classification of the finite irreducible
imprimitive subgroups of O(7). He had encountered this question in studying the
monodromy groups attached to certain families of exponential sums. He knew a priori
they were irreducible subgroups of S(O7) in its natural 7-dimensional representation
and could deal with the finite primitive ones as they were known. It would be natural
to try to deal with the imprimitive ones in a similar way. This paper provides the
classification of the imprimitive such groups. It also corrects an error in [7, Theorm
1] and [8, Theorem 1]. See Section 3.
In Theorem 1 we give a classification of imprimitive irreducible finite subgroups
of O(7). Because such a group is imprimitive, there is a set of linearly independent
non-trivial subspaces which span the space R7 and which are permuted by the group.
See [5, Definition 50.1]. It is transitive because of the irreducibility. As 7 is a prime
and the subspaces have the same dimension, the subspaces must all have dimension
1.
Theorem 1. Suppose G is a finite irreducible subgroup of O(7) which is imprimitive.
Then G is one of the groups listed below or a direct product of Z2 with one of these
groups by adjoining the matrix −I7 .
Case 1. The representation is quasi-primitive and G is a simple group isomorphic to
P SL(2, 7) as in [7, Theorem 1] or [8, Theorem 1]. The definition of quasi-primitive
is given at the beginning of section 3.
Date: March 19, 2018.
1

2

DAVID B. WALES

If it is not quasi-primitive, there is a normal elementary Abelian subgroup, A, of
order 8 or 64. We now distinguish between the cases for A. Furthermore, with one
exception, G is a semi-direct product of A by G/A which means it splits.
Case 2. The finite subgroup A has order 8. This means G/A is a subgroup of
P SL(3, 2) ∼
= P SL(2, 7). Furthermore, the subgroup G/A of P SL(3, 2) must have
order divisible by 7 and must have a subgroup of index 7. The possible G/A are either in the normalizer of a Sylow 7-group and have order 7 or 7 · 3, or G/A is the
full P SL(3, 2). This means G is an extension of A of order 8 by one of these groups.
They are all split except in the case of an extension by P SL(2, 3) in which case there
are two such groups a split and a non-split group.
Case 3. The finite subgroup A has order 64. This means G/A is a subgroup of
Sym(7). The group G/A must must have order a multiple of 7 and must have a
subgroup of index 7. The possible G/A are either in the normalizer of a Sylow 7-group
in which case they have orders 7, 7 · 2, 7 · 3, or 7 · 42 or G/A is one of P SL(3, 2),
Alt(7) or Sym(7). In particular, G is a split extension of A of order 64 by one of
these groups. The groups in the normalizer of a Sylow 7-group have a self-centralizing
Sylow 7-group.
The numbers of conjugacy classes in each of these groups is given in Table 1.
In section 2 we give some general results and in section 3 some preliminary results
for SO(7). There is an Abelian group which enters the picture and in section 4 we
show it is of order 8 or 64. In section 5 we give a general structure theorem which
gives orders for the possible groups. In section 6 we give two examples which are
relevant to the work. In section 7 we describe a method to determine the numbers
of conjugate classes. In section 8 we discuss which extensions are split. We end with
section 9 where we give computations to obtain the numbers of conjugate classes.
These are tabulated in Table 1.
2. Some General Results
We begin with a definition and immediate consequence for the group O(n). The
group O(n) is the group of all n × n matrices over the reals that are orthogonal. This
means for a real matrix A that AAtr = I where Atr is the transpose of the matrix A.
As DetA = DetAtr this means DetA2 = 1 and so DetA = ±1. In particular there
is a subgroup of O(n) of index 2 called SO(n) as there are orthogonal matrices of
determinant −1 for all n. For n odd, −In is an orthogonal matrix with determinant
−1 and this means the subgroup O(n) is the direct product SO(n) × h−In i. As 7 is
odd, in considering subgroups of O(7) we consider the subgroup SO(7).
Lemma 1. If G is a subgroup of O(7), then G = hG1 , h−I7 ii where G1 is the subgroup
of G consisting of matrices of determinant 1. In particular, G ∼
= G1 × Z 2 .

CLASSIFICATION OF IMPRIMITIVE IRREDUCIBLE FINITE SUBGROUPS OF O(7)

3

We continue with a well-known result about finite irreducible linear groups of odd
degree.
Theorem 2. Suppose G is a finite irreducible linear group over the complex numbers
of odd degree, n, for which all the character values are real. Then G can be conjugated
by a matrix in GL(n, C) into a subgroup of O(n). This means the matrices can be
conjugated so they are all real and orthogonal.
Proof. This uses the concept of Schur index as described in [6, section 11]. By the
hypothesis, the reals contain all the character values. By the Schur index definition,
there is a degree m extension of the reals over which the representation is realizable,
and the minimal m is called the Schur index. The group can of course be realized
over the complex numbers, a degree 2 extension of the reals, R. This means the
Schur index over the reals is 1 or 2. But if it is 2, by [6, 11.5], the degree must be
even as 2 divides the degree. However, by assumption, the degree is odd and so it
can be realized over the reals. It then follows from [2, section 8 and Lemma 50] that
the matrices can be taken to be orthogonal.
✷
3. Some Preliminary Results
There are errors in [7, Theorm 1] and [8, Theorem 1] in which the group P SL(2, 7)
appears and is called primitive. Indeed it is imprimitive. The group is quasi-primitve
but not primitive. Here quasi-primitive refers to a linear group in which the restriction
to any normal subgroup has all irreducible constituents similar to one of them. Here
there are no non-trivial normal subgroups and so it is quasi-primitive. If a group is not
quasi-primitive it is imprimitive by Clifford’s Theorem, [2, Theorem 2.3]. Indeed the
classifications in [7] and [8] are for quasi-primitive irreducible finite groups of degree
7. The group P SL(2, 7) is induced from a non-trivial linear character of one of the
subgroups of order 24 and index 7 and so is imprimitive. For the group P GL(2, 7) the
irreducible character of degree 7 as listed in [7] and [8] is indeed primitive as P GL(2, 7)
does not have a subgroup of index 7 as the outer automorphism interchanges the two
conjugate classes of subgroups of order 24 in P SL(2, 7).
Suppose G is a finite irreducible subgroup of the orthogonal group SO(7) which is
imprimitive but not quasi-primitive. Let X be the representation with character χ.
There must be a normal Subgroup A for which the constituents of X restricted
to A are not all isomorphic. In this case by Clifford’s theorem, there must be seven
linear characters permuted transitively. Let λ be one of them. Using [2, Corollary
24] the restriction of X to A is a set of diagonal matrices and so is Abelian. By
Frobenius reciprocity, [2, Theorem 29], X is a constituent of λG .
Theorem 3. Suppose G is an irreducible finite subgroup of SO(7) which is imprimitive but not quasi-primitive, then the subgroup A described immediately above is an
elementary Abelian group of order 2c . There is an element α in G of order 7 which
acts non-trivially on A.

4

DAVID B. WALES

Proof.
Let B be a characteristic elementary Abelian subgroup of order pb for
some prime p of the group A. Recall X has real entries. By Clifford’s theorem, the
restriction to B is a direct sum of linear spaces. The diagonal entries are all real and
p-th roots of 1. But for any p > 2 this is impossible as non-trivial p-th roots have
degree at least 2 over the reals. This shows p = 2. The same argument as above
shows if there is an element of order 4, the irreducible constituents have degree at
least 2 as i is not in the reals. This means A is an elementary Abelian 2-group.
There is an element, α which permutes the seven one dimensional spaces. Fix one
space and take the seven images of it by αi for 1 ≤ i ≤ 7. Now the matrix of α
with respect to this basis has all coefficients 1 except for the (7, 1) entry. Because
the group is in SO(7), the final entry is 1 as well. This means α has order 7. It acts
non-trivially by conjugation on A.
✷
4. A bound for the Abelian Subgroup
As in the last section we assume G is a finite irreducible subgroup of SO(7) which is
imprimitive but not quasi-primitive. As in Theorem 3 let A be the Abelian subgroup.
Theorem 4. The Abelian subgroup, A, of G has order 8 or 64. In each case, the
element of order 7 acts fixed point freely, ie it does not centralize any element of order
2.
Proof. The maximum order of an Abelian group of 7 × 7 diagonal matrices with ±1
on the diagonal is 27 and if the determinant is 1 it is 26 . If A, the Abelian subgroup,
has order 2a with a ≤ 6 and α is an element of order 7, restrict to < A, α >
where α is the element of order 7 which does not centralize A. This is a group
with an Abelian normal subgroup of index 7 and so by Ito’s Theorem, [5, 53.18], all
irreducible representations have degree dividing 7. As it is non Abelian, this means
the restriction to hA, αi is irreducible. Suppose there is an element of order 14. If so,
an element of order 2 centralizes A as A is Abelian and also centralizes α and so is
in the center. But this means it is the scalar −I7 . But it is unimodular and so this is
false. This means the order is 8 · 7 or 64 · 7 and in both cases the element α of order
7 acts fixed point freely.
✷
5. Structure Theorem
In this section we determine the preliminary structure for a finite imprimitive
irreducible subgroup, G, of SO(7).
Theorem 5. Suppose G is a finite irreducible imprimitive subgroup of SO(7). Then
G is one of the groups listed in Theorem 1 except when G/A is even, the extension
need not split in that it need not be a semi-direct product of A by G/A.

CLASSIFICATION OF IMPRIMITIVE IRREDUCIBLE FINITE SUBGROUPS OF O(7)

5

Proof. If the representation is quasi-primitive it is the group G as in [7, Theorem 1]
or [8, Theorem 1].
In case 2, G/A must be a subgroup of P SL(3, 2). The only subgroups of P L(3, 2)
with a subgroup of index 7 are the whole automorphism group, P SL(3, 2), the Sylow
7 group, and its normalizer of order 21 which is nonabelian. This can be determined
by using the Atlas, [3, page 3].
In case 3 the quotient by A is a subgroup of Sym(7) with a subgroup of index 7.
The only such subgroups are the ones listed again by consulting [3, page 10].
✷
Corollary 6. If G is a finite imprimitive irreducible subgroup of O(7), the traces are
all integers.
Proof. By restricting to SO(7) the group is one of the ones listed in Theorem 5.
For these the traces are all integers as they are all monomial matrices with entries
±1 and so the traces are all integers. If G is in O(7) use the fact that G = G1 h−I7 i
by Lemma 1.
✷
6. Examples.
Example 1. Let A be an elementary Abelian group of order 8 and let α be an
automorphism of A of order 7. Notice the automorphism group of A is P SL(3, 2)
which has order 7 · 3 · 8 so α can be taken as any automorphism of A of order 7. Let
G be the semi-direct product of A by hαi. Then |G| = 8 · 7. Let χ be any non-trivial
linear character of A with representation X. Then χG is an irreducible character
as by Ito’s Theorem the irreducible character degrees are 1 and 7. As the group is
non Abelian, χG must be irreducible. The matrices are all monomial matrices. An
element of order 7 acts as a seven cycle on the spaces and so the character value is 0.
As G/A is a cyclic group of order 7, there are 7 irreducible linear characters on which
the value on an element α of order 7 is 1. Now column orthogonality forces the value
of χ on an element of order 2 to be −1 and shows again that the value on α is 0. The
sum of the squares of the degrees so far is 56 and so these are all the characters. By
Theorem 2, the matrices can be taken to be orthogonal and so in O(7).
Example 2. Let A be either the elementary Abelian group of order 8 or 64 and let
α be a non-trivial automorphism of order 7 which does not centralize any involution
in A. It is straightforward that there is such an automorphism as the automorphism
group of an elementary Abelian group of order 8 contains such an element and in the
case of 64 a direct sum of two such groups can be taken. Let G be the semidirect
product of A by hαi. This group is non Abelian. The induction of any non-trivial
character of A to G is irreducible of degree 7 and is in the reals and so conjugate
to a subgroup of O(7). The irreducibility follows from Ito’s theorem which has been
used above and shows the irreducible representations have degree 1 or 7. There are
7 characters of degree 1 as G/A has order 7. All other characters are of degree 7

6

DAVID B. WALES

as the commutator subgroup is A as the element of order 7 acts fixed point freely.
The constituents of the induced character cannot be trivial when restricted to A by
Frobenius reciprocity.
Consequence. The groups appearing in Theorem 5 all have irreducible representations
of degree 7 which are orthogonal. This is because each of the groups contains one of
the groups A · hαi and so the induced representations are all irreducible of degree 7.
We can also determine the irreducible character degrees.
7. Numbers of Conjugate classes of the groups.
In this section and the next two we determine the numbers of conjugacy classes
of each of the non quasi-primitive groups tabulated in Cases 2 and 3 of Theorem 1.
In fact we determine the number of irreducible representations as this is the number
of conjugate classes as these numbers are the same. See [2, Theorem 21]. These are
tabulated in Table 1.
For each of the groups listed in Theorem 5 Case 2 or Case 3 there is an elementary
Abelian subgroup of order 8 or 64. There is a certain set of characters for G which
have A in the kernel. The number of these is the number of irreducible characters of
G/A. This number is readily calculated from G/A possibly using the Atlas, [3].
Definition 7. Let NF C be the number of irreducible characters of G/A.
Here NF C can be thought of as non faithful characters.
There is another class of characters which are faithful on A.
Definition 8. We let F C be the number of characters which are faithful on A.
Here F C can be thought of as faithful characters.
The characters faithful on A all have associated with them seven non-trivial linear
characters of A all conjugate by the element α of order seven. Each is associated
with a hyperplane of A considered as a GF (2) module. For A of order 8 there is one
orbit of hyperplanes transitively permuted by α. For the group A of order 64 there
are nine classes of hyperplanes each transitively permuted by α.
If χ is an irreducible character of G which does not have A in the kernel, by [6, 9.11]
the restriction to A is a sum of seven nontrivial characters of A permuted transitively
by α. Let η be one of the non-trivial linear characters of χ|A.
For fixed η there is an inertial group Iη which fixes it. This is the set of all G in
the group so that η G = η. The subgroup Iη which stabilizes η, is a subgroup of G of
index 7 in our case. Let θ be an irreducible character of χ|Iη for which θ|A contains
η as a constituent. By [6, 9.8] or [2, Ex. 15 page 69], χ is θG . This uses the Mackey
decomposition theorem which among other things gives a formula for (θG , θG ). See
[6, 9.8] or [2, Ex. 15 page 69]. If y is in Iη , y must fix the hyperplane, K, of A which
is the kernel for η. For a fixed η we need to count the number of irreducibles of Iη /K

CLASSIFICATION OF IMPRIMITIVE IRREDUCIBLE FINITE SUBGROUPS OF O(7)

7

which represent A/K by −1 where again K is the kernel of η. If this number is γ,
the number of characters, χ of G which have η as one of the constituents of χ|A is γ.
This gives a formula for F C. In the case of A = 64, there are nine conjugacy classes
of such η and so 9 · γ such irreducibles. For the case of order 8 there are γ. The same
characters are attained no matter which of the α conjugates of η are taken, so we
just take one such η.
Theorem 2. If G is one of the extensions in Theorem 5 the number of conjugate
classes is NF C + F C.
We have listed these numbers for the extensions in Table 1.
8. Some non split cases
Suppose G is the group of order 64 · 7!. Here A has order 64 and is all unimodular
diagonal matrices with entries ±1. Here G/A ∼
= Sym(7). We show this is a split
extension of A by Sym(7). If G/A were non-split we use the Gaschütz Theorem,
[1, 10.4] which says it is not split for a Sylow 2-group. However, we show that it is
split for a Sylow 2-group. Let S be a Sylow 2-group of Sym(7) which has order 16.
It can be taken to be the group generated by permutations (12)(34), (23)(56), (56).
This group is isomorphic to Z2 × Sym(4). Consider these permutations as 7 by 7
permutation matrices. Except for (56) these are in G. If we replace the permutation
matrix for (56) with its negative, it is unimodular and so is in G. Now the group
generated by these matrices with the matrix for (56) replaced with its negative, are
in G is also isomorphic to Z2 × Sym(4). This means it is a Sylow 2-group for G/A.
This means the Sylow 2-group splits over A and so G is a split extension of A by the
Gaschütz Theorem .
The group of order 64 · 7!2 is a subgroup of index 2 and so it is split as well. The
same argument applies to the group of order 64 · 168 as it is also a subgroup and
has a Slow subgroup of the same order, 8. This means it also splits. Here the Sylow
2-subgroups can be taken to be the same group of order 8.
We next consider the extension of the elementary Abelian group A of order 8 by
P SL(3, 2). We use the computer algebra program GAP, [4] to treat this case to show
there is a split and a non-split group. The properties we have obtained so far show
the possible groups are perfect and of order 1344. By using standard commands in
GAP it can be determined there are only two such groups. One is a split extension
and the other is a non-split extension. Furthermore, there is a transitive permutation
representation of degree 14 for both of them. The character tables for both groups
are given in GAP and they each have two irreducible representations of degree 7 with
integral characters.
These arguments show the remaining possibilities for a non-split extension are of
order 64 · 7 · 2 and 64 · 7 · 42. Recall if G/A is odd the groups split by elementary
arguments or certainly by the Gaschütz theorem.

8

DAVID B. WALES

As above, let η be a linear character of A with kernel K. Also as above, Iη is a
subgroup of index 7 of G. This means Iη contains a Sylow 2-subgroup of G. As G/A
is non split, by the Gaschütz Theorem, [1, 10.4], Iη is a non split extension of A.
Assume first |G| has order 64 · 7 · 2. Here G/A is a nonabelian group of order 14.
As G/A does not split from A, an element, τ of order 2, not in A must square to a
non-trivial element of A or it would split. Let K be the kernel of the linear character
on A. Pick a linear character, η of χ|A which does not have τ 2 in the kernel which
we take to be a hyperplane K. We may have to take one of the conjugates under α
for this but we retain the same notation. This means τ 2 is a, a non trivial element of
A. Here η(a) = −1. Here Iη /A is a group of order 2 in Iη /A which we can take to be
generated by τ mod A. We can assume τ 2 = a. The map ϕ of Iη /K given by ϕ(τ ) = i
with kernel K is a linear character of Iη for which ϕ|A mod K restricted to A mod
K is η. By [6, 9.11], χ is ϕG . The element τ inverts α and so has three 2-cycles and
one fixed point as a permutation in Sym(7). But this means the character χ(τ ) = ±i
which is impossible for a real representation. This means this case does not occur.
The same argument also shows the group of order 64 · 42 must split as it has the same
Sylow group with the element of order 2 inverting the element of order 7.
Corollary 9. The groups in Theorem 5 must all be split extensions with the exception
of the extension of the elementary Abelian group of order 8 by P SL(3, 2) where there
is one non-split group and so Theorem 1 holds.
This finishes the proof of Theorem 1.
9. Specific calculations of numbers of conjugate classes.
In this section we determine the number of conjugate classes for the groups in
Theorem 1 except for P SL(3, 2) which can be found in [3, page 3]. For some explanations for the computations for Table 1 we refer to section 7. In each of the groups,
G, there is an elementary Abelian normal subgroup of order 8 or 64. The number
NF C is the number of characters which are non-faithful on A. This number is the
number of irreducible characters of G/A. The first four rows of the table, labeled case
2, have |A| = 8. For the first four rows in the table G/A is Z7 , non-Abelian of order
21, P SL(3, 2) and P SL(3, 2) again. There are seven irreducible characters of a cyclic
group of order 7. For the non-Abelian group of order 21 there are five characters two
of degree 3 and three of degree 1. For P SL(3, 2) there are six characters as seen from
[3, page 3].
For the remaining groups in the table labeled case 3 the group A has order 64. The
groups G in order are Z7 , dihedral of order 14, non-Abelian of order 21, semidirect
product of Z7 and Z6 acting fixed point freely on Z7 , P SL(3, 2), Alt(7), and Sym(7).
As above there are seven characters of Z7 . There are five characters of the dihedral
group of of order 14, three of degree 2 and two of degree 1. As above there are

CLASSIFICATION OF IMPRIMITIVE IRREDUCIBLE FINITE SUBGROUPS OF O(7)

Group Order of G NFC
Case 2
8·7
8 · 21
8 · 168 split
8 · 168 non-split
Case 3
64 · 7
64 · 14
64 · 21
64 · 42
64 · 168
64 · 7!2
64 · 7!

7
5
6
6

FC

Conjugate Classes

1
3
5
5

8
8
11
11

7
1·9=9
5
2 · 9 = 18
5
3 · 9 = 27
10
6 · 9 = 54
6
5 · 9 = 45
9
7 · 9 = 63
15 11 · 9 = 99
Table 1.

9

16
23
32
64
51
72
114

Number of conjugate classes of groups G as listed in Theorem 1. For the middle
columns see Definitions 7 and 8.
five characters of the group of order 21. For the group of order 42 there are four
characters of degree 3 and six of degree 1. For the group of order 168 there are six
characters as above. For Alt(7) there are nine characters by [3, page 10]. For Sym(7)
there are fifteen. This can be seen from [3, page 10] using the automorphism. Here
the two characters of degree ten are fused and each of the remaining ones extend to
two characters. This gives the values in the second column.
In the third column we list the number of characters faithful on A. Here let η
be a linear character of A with kernel K a subgroup of index 2 in A. We need the
number of characters of the group Iη /K which when restricted to A/K are η which
means they are non trivial. The group Iη is the inertial group of η and was described
in section 7. As it fixes η under conjugation it also fixes K. For the first case of
G = 8 · 7, Iη /K is just A/K and so there is only one character, as in the table. For
the group of order 21, Iη /K is a cyclic group of order six so there are three. For the
case of A/K ∼
= P SL(3, 2) which splits, the group Iη /K is Z2 × Sym(4). This can be
seen from the [3, page 3] as the subgroup of index seven. There are in fact two such
subgroups not conjugate in the automorphism group. As Sym(4) has five characters
two of degree 3, one of degree 2, and two of degree 1. Similar reasoning works in
the non-split case. We also checked these values using GAP to give the number of
conjugate classes as 11. The group of order 21 is non-Abelian

10

DAVID B. WALES

Similar reasoning gives the values when |A| has order 64 which is case 3. Here,
however, after finding the number of characters of Iη /K which are non-trivial on
A/K we multiply by 9 as there are nine conjugacy classes of hyperplanes. The same
reasoning as above works when G/A has order 7 or 21. For G/A of order 14, Iη /K
is Z2 × Z2 and so the answer is 2. For the group of order 64 · 42, Iη /K is Z2 × Z6 .
This means there are six. For the case of 64 · 168 the result is 5 · 9 as above. This
is a split extension and again Iη /K ∼
= Alt(7),
= Z2 × Sym(4). For the case of G/A ∼
∼
Iη /K = Alt(6) × Z2 . Now by [3, page 5] there are seven characters faithful on the
Z2 . For G/A ∼
= Sym(7), Iη /K is Z2 × Sym(6). Using [3, page 5] there are eleven
such characters as Sym(6) has eleven characters, as the two characters of degree 8 in
Alt(6) are fused and the remaining five extend in two ways.
References
[1] Michael Aschbacher, Finite Group Theory, Cambridge University Press, 1986.
[2] Michael Collins, Representations and Characters of Finite Groups Cambridge University Press,
1990.
[3] J. H. Conway, R. T. Curtis, S. P. Norton, R. P. Parker, and R. A. Wilson, Atlas of Finite
Groups, Clarendon Press, Oxford, 1985.
[4] The GAP Group (2002), GAP-Groups, Algorithms and Programming, Aachen, St. Andrews,
available at http://www-gap.dcs.st-and.ac/uk/gap.
[5] Charles W. Curtis, Irving Reiner, Representation Theory of Finite Groups and Associative
algebras, John Wiley and Sons
[6] Walter Feit, Characters of Finite Groups, W. A. Benjamin, Inc, 1967.
[7] David Wales, Finite Linear Groups of Degree Seven II, Pac. Journal, vol. 34, No. 1, pp 207–235.
[8] David Wales, Finite Linear Groups in Seven Variables, Bull. AMS, 1968, pp 197–198.
David B. Wales, Department of Mathematics, Sloan Lab, Caltech, Pasadena, CA
91125, USA.
E-mail address: dbw@caltech.edu.

