ON THE PRIME GRAPH QUESTION FOR INTEGRAL GROUP RINGS OF
CONWAY SIMPLE GROUPS

arXiv:1711.11322v1 [math.RA] 30 Nov 2017

LEO MARGOLIS
Abstract. The Prime Graph Question for integral group rings asks if it is true that if the
normalized unit group of the integral group ring of a finite group G contains an element of order
pq, for some primes p and q, also G contains an element of that order. We answer this question
for the three Conway sporadic simple groups after reducing it to a combinatorial question about
Young tableaus and Littlewood-Richardson coefficients. This finishes work of V. Bovdi, A.
Konovalov and S. Linton.

1. Introduction
The unit group of the integral group ring ZG of a finite group G has given rise to many interesting research questions and results, as recorded e.g. in the monographs [Seh93, JdR16]. Many of
these questions concern the connection between finite subgroups of units of ZG and the group base
G, e.g. the Isomorphism Problem which was open for over 50 years until answered by Hertweck
[Her01] or the recently answered Zassenhaus Conjecture [EM17] which was open for over 40 years.
For both questions there turned out to be counterexamples. In this light the weaker versions of
the former Zassenhaus Conjecture, which are still open, become more important. One of these
versions, the so-called Prime Graph Question, gained some attention after being introduced by
Kimmerle in [Kim06]. To formulate it denote by V(ZG) the group of the so-called normalized
units in ZG, i.e. the units whose coefficients sum up to 1.
Prime Graph Question: Let G be a finite group and p and q some primes. If V(ZG) contains
an element of order pq, does G contain an element of order pq?
The prime graph Γ(G) of a group G is a graph whose vertices are the primes appearing as orders
of elements in G and two vertices p and q are connected if and only if G contains an element of
order pq. Hence the Prime Graph Question can also be formulated as: For G a finite group, does
Γ(G) = Γ(V(ZG)) hold?
The Prime Graph Question seems particularly approachable, since, in contrast to other questions on the finite subgroups in V(ZG), a reduction result is available here: The Prime Graph
Question holds for a group G, if it holds for all almost simple images of G [KK17, Theorem
2.1]. Recall that a group A is called almost simple if it is isomorphic to a subgroup of the automorphism group of a non-abelian simple group S containing the inner automorphisms of S, i.e.
Inn(S) ∼
= S ≤ A ≤ Aut(S). In this case S is called the socle of A.
It is known that the Prime Graph Question has a positive answer for almost simple groups
with socle isomorphic to a projective special linear group PSL(2, p) or PSL(2, p2 ) for p a prime
[BM17b, Theorem A] or an alternating group of degree up to 17 [BC17]. The question also has
a positive answer for groups whose order is divisible by exactly three pairwise different primes
[KK17, BM17c] and many almost simple groups whose order is divisible by four pairwise different
primes [BM16].
Employing a computer implementation of a method introduced by Luthar and Passi [LP89] and
Hertweck [Her07], nowadays known as the HeLP method, in a series of papers between 2007 and
2012 Bovdi, Konovalov and different collaborators of them studied the Prime Graph Question for
This research was partially supported by the European Commission individual Marie Curie-Skłodowska Fellowship in the H2020 program under Grant 705112-ZC and the FWO (Research Foundation Flanders).
1

2

LEO MARGOLIS

sporadic simple groups [BKS07, BK07a, BK07b, BKL08, BKM08, BK08, BGK09, BK09, BK10,
BJK11, BKL11, BK12]. Overall they studied 17 sporadic simple groups and were able to prove
the Prime Graph Question for 13 of these groups, an overview of their results can be found in
[KK15, Section 5]. Also in [KK15, Corollary 5.4] it was recorded that the Prime Graph Question
holds for almost simple groups with a socle isomorphic to one of the 13 sporadic simple groups
for which Bovdi, Konovalov et al. proved the Prime Graph Question. The four groups studied by
Bovdi, Konovalov et al. for which they were not able to prove the Prime Graph Question were
the O’Nan simple group [BGK09] and the three Conway simple groups [BKL11]. Using a method
introduced in [BM17c] in this note we obtain a positive answer for the Prime Graph Question for
the latter groups. This is the first contribution to the Prime Graph Question for sporadic simple
groups since the papers of Bovdi, Konovalov et al.
Theorem 1.1. The Prime Graph Question has a positive answer for the sporadic Conway simple
groups Co3 , Co2 and Co1 .
Note that the outer automorphism group of each Conway simple group is trivial, so Theorem 1.1
proves the Prime Graph Question also for every almost simple group whose socle is isomorphic to
a Conway simple group.
To describe our main tool let us first introduce some notation. Let G be a finite group, u ∈
V(ZG) a unit of order n and χ an ordinary character of G with corresponding representation D.
Then we can extend D linearly to ZG and afterwards restrict it to V(ZG), obtaining an extension
of D and χ. In particular D(u) is then a matrix of finite order dividing n. Let ξ be an n-th root
of unity. Then we denote by µ(ξ, u, χ) the multiplicity of ξ as an eigenvalue of D(u). Moreover
for an integer k we will denote by ζk a primitive k-th root of unity. Then the results given above
will follow from an application of the following theorem.
Theorem 1.2. Let G be a finite group, p an odd prime and m a positive integer not divisible by
p. Assume that some p-block of G is a Brauer Tree Algebra with ordinary characters χ1 , ..., χp and
with the Brauer tree being a line of the form
χ1

χ2

χ3

χp−2

χp−1

χp
.

Moreover assume that in the rings of values of χ1 , ..., χp the prime p is unramified.
Let u ∈ V(ZG) be a unit of order pm and let ξ be some m-th root of unity. Then the inequality
p−2
X
(−1)i µ(ξ · ζp , u, χi )
µ(ξ · ζp , u, χp−1 ) − µ(ξ · ζp , u, χp ) ≤ µ(ξ, u, χ1 ) −
i=1

holds.
This theorem might be regarded as a generalization of [BM16, Proposition 3.2]. The condition
on the unit can also be formulated in terms of character values which makes the inequality easier
to check by hand, although it becomes much longer then, cf. Lemma 2.3.
Theorem 1.2 will be achieved using the so-called lattice method introduced in [BM17c] and
developed further in [BM16]. It is typical for the study of group rings that different fields of mathematics, such as group theory, ring theory, representation theory and number theory are combined
to achieve results. In the present paper the main tool is combinatorics, more precisely calculations
with Young tableaus and Littlewood-Richardson coefficients, cf. the proof of Theorem 1.2. It is
quite plausible that Theorem 1.2, which is the main tool to prove Theorem 1.1, can be applied
also to study the Prime Graph Question or related questions for many other groups. Also the
methods presented here could be used to prove variations of Theorem 1.2, in particular for other
forms of Brauer trees.
We will also need to use the HeLP method to obtain enough restrictions on torsion units which
allow the application of Theorem 1.2. We will start by recalling the needed methods in Section 2,
develop the necessary combinatorics in Section 3, continue to prove Theorem 1.2 and finally show
how this can be applied to prove Theorem 1.1 in Section 4.

ON THE PRIME GRAPH QUESTION FOR INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS

3

2. Preliminaries and methods
A fundamental notion when studying torsion units of
Pintegral group rings are so-called partial
augmentations. Let u ∈ ZG be an element of the form g∈G zg g and denote by xG the conjugacy
P
class of an element x in G. Then εxG (u) = g∈xG zg is called the partial augmentation of u at
x. A fundamental theorem of Hertweck [Her07, Theorem 2.3] states that if u ∈ V(ZG) is a unit
of order n then εxG (u) 6= 0 implies that the order of x divides n. This implies in particular that
the exponents of G and V(ZG) coincide, a result due originally to Cohn and Livingstone [CL65].
Moreover ε1 (u) = 0 unless u = 1 by the Berman-Higman Theorem [JdR16, Proposition 1.5.1].
2.1. The HeLP method. Partial augmentations are class functions and as such can be investigated using representation theory. Note
Pthat if χ is an ordinary character of G and u ∈ V(ZG)
a torsion unit of order n then χ(u) = xG εxG (u)χ(g), where the sum runs over the conjugacy
classes of G. It was shown by Hertweck [Her07, Theorem 3.2] that this also holds for p-Brauer
characters, if p is not a divisor of n and the sum is understood to run on p-regular conjugacy
classes of G. On the other hand if we are given the partial augmentations of u and its powers
we can compute the eigenvalues, including multiplicities, of u under any ordinary or p-modular
representation of G, again assuming p is not dividing n. These multiplicities can be expressed in
explicit formulas, depending on the partial augmentations of u and its powers, and that the results
of these formulas are non-negative integers is the basic idea of the HeLP method, cf. [BM17b,
Section 2] for a detailed explanation and [Her07] for the proofs.
Hence there is an algorithmic method which allows to obtain restrictions on the possible partial
augmentations of torsion units in V(ZG), provided we have some knowledge on the characters of
G. If we apply the HeLP method to the whole character table of G then, for any fixed n, we will
obtain a finite number of possibilities for the partial augmentations of units of order n in V(ZG).
If it happens that we obtain no possibility for units of some given order n, then we know that
there exist no units at all in V(ZG) of order n. This is the basic idea in the application of the
HeLP method for the study of the Prime Graph Question and in this way Bovdi, Konovalov et
al. gave their proofs for 13 sporadic groups. We will also rely on the HeLP method to produce
a finite number of possibilities for the partial augmentations of units of certain orders and then
Theorem 1.2 will do the rest. We will apply here a computer implementation of the HeLP method
as a package [BM17a] in the computer algebra system GAP [GAP17]. This package can also be
used to reproduce the results of Bovdi, Konovalov et al.
2.2. The lattice method. The lattice method is an other method which makes use of the multiplicities of eigenvalues of a torsion unit u ∈ V(ZG) of order n under ordinary representations of
G. This method was introduced in [BM17c] and the basic idea consists in obtaining restrictions
on the simple kG-modules when viewed as khui-modules, where k is a field of characteristic p
for a divisor p of n. These simple kG-modules are the p-modular composition factors of ordinary
representations of G and studying different ordinary representations with common composition
factors can finally produce a contradiction to the existence of u.
We will only recall those parts of the lattice method necessary for our means in this article.
We will cite the articles [BM17c, BM16] where this method is explained, but many facts can be
found in text books on representation theory. First of all let C = hci be a cyclic group of order
pm where p is a prime and m an integer not divisible by p. Let k be a field of characteristic
p containing a primitive m-th root of unity ξ. Then there are, up to isomorphism, exactly pm
indecomposable kC-modules determined by a pair (i, j) where 1 ≤ i ≤ p, 1 ≤ j ≤ m such that a
module M corresponding to (i, j) is i-dimensional as a k-vector space and cp acts as ξ j on M . We
denote this module by Iij and if the action of cp is clear from the context or if m = 1 we simply
write Ii . The module Iij is simple if and only if i = 1 and each Iij is uniserial [BM17c, Proposition
2.2].
Now assume that M is a kC-module, d-dimensional as k-vector space, such that cp acts as ξ j
on M for some fixed j. Then by the above we know that M ∼
= ap Ip ⊕ ap−1 Ip−1 ⊕ · · · ⊕ a1 I1 for

4

LEO MARGOLIS

certain non-negative integers a1 , ..., ap . Moreover ap p + ap−1 (p − 1) + ... + a1 = d and hence
λ = (p, ..., p, p − 1, ..., p − 1, . . . , 1, ..., 1)
| {z }
{z
}
| {z } |
ap

ap−1

a1

is a partition of d. We call λ the partition corresponding to M .
We recall the necessary background from combinatorics, cf. e.g. [Ful97]. A Young diagram
corresponding to a partition λ = (λ1 , ..., λr ) is a diagram consisting of boxes ordered in rows and
columns such that the first row contains λ1 boxes, the second row λ2 boxes etc. If µ = (µ1 , ..., µr )
is a subpartition of λ, i.e. µ1 ≤ λ1 , . . . , µr ≤ λr , then the skew diagram corresponding to λ/µ
is obtained by erasing from the Young diagram corresponding to λ, always from left to right, µ1
boxes in the first row, µ2 boxes in the second row etc. If we fill a skew diagram with entries from
an alphabet, in our case the alphabet always will be the positive integers, a skew diagram becomes
a skew tableau T . By "filling" we mean writing a letter in every box. T is called semistandard
if reading a row from left to right the entries do not decrease and reading a column from top to
bottom the entries strictly increase.
For a box b in a skew tableau T we denote by w(b) the word which we obtain reading T from
top to bottom and from right to left until b, including the entry in b. We denote by w(T ) the
word which we obtain reading all boxes of T in this way, i.e. if b is the lowest box in the first (i.e.
most left) column of T then w(b) = w(T ). We say that T satisfies the lattice property if for every
box b in T the word w(b) contains the letter 1 at least as many times as the letter 2, the letter
2 at least as many times as 3 etc. If the maximal letter of w(T ) is s and w(T ) contains ν1 times
the letter 1, ν2 times the letter 2 etc. then ν = (ν1 , ..., νs ) is called the content of T . Note that
if T is a skew tableau satisfying the lattice property then the content of T is a partition. If now
ν is some partition then the Littlewood-Richardson coefficient cλµ,ν is the number of semistandard
skew tableaus corresponding to λ/µ which satisfy the lattice property and have content ν. A fact
of fundamental importance to us is that the Littlewood-Richardson coefficient cλµ,ν is symmetric
in µ and ν.
These combinatorial objects play a role in the study of torsion units of group rings via the
following observation [BM16, Theorem 2.8].
Theorem 2.1. Let C = hci be a cyclic group of order p, for p a prime, and k a field of characteristic p. Let M, U and Q be kC-modules with corresponding partitions λ, µ and ν respectively.
Then M contains a submodule Ũ isomorphic to U such that M/Ũ ∼
= Q if and only if cλµ,ν 6= 0.
To pass from multiplicities of eigenvalues under ordinary representations to modules over modular group algebras we will employ the following [BM17c, Propositions 2.3, 2.4].
Proposition 2.2. Let C = hci be a cyclic group of order pm such that p does not divide m. Let
R be a complete local ring of characteristic 0 containing a primitive m-th root of unity ξ such that
p is contained in the maximal ideal of R and not ramified in R. Denote by k the residue class field
of R and adopt the bar-notation for reduction modulo the maximal ideal of R.
Let D be a representation of C such that the eigenvalues of D(u) in the algebraic closure of the
quotient field of R, with multiplicities, are ξA1 , ξ 2 A2 , . . . , ξ m Am for certain multisets Ai consisting
of p-th roots of unity. Here also Ai = ∅ is possible. Let ζ be a non-trivial p-th root of unity. Note
that since the sum of the eigenvalues of D(u) is an element in R we know for every i that if Ai
contains ζ exactly r times then Ai contains also ζ 2 , ..., ζ p−1 exactly r times.
Let M be an RC-lattice affording the representation D. Then
M∼
= M1 ⊕ M2 ⊕ ... ⊕ Mm
such that for every i we have: If Ai contains ζ exactly r times and 1 exactly s times then
Mi ∼
= aI i ⊕ (r − a)I i ⊕ (s − a)I i
p

p−1

1

for some non-negative integer a ≤ min{r, s}.
For u ∈ V(ZG) a unit of order pm for which we know the partial augmentations, including
those of its powers, these facts allow to derive information on the isomorphism type of simple

ON THE PRIME GRAPH QUESTION FOR INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS

5

kG-modules, for k a big enough field of characteristic p, from the eigenvalues of u under ordinary
representations of G, see the proof of Theorem 1.2, or [BM17c] for a more detailed sketch of the
method.
2.3. A reformulation using character values. The multiplicities in Theorem 1.2 can be computed from the partial augmentations of u and its proper powers. This can be done by hand or using
the GAP-package HeLP [BM15], more precisely the command HeLP_MultiplicitiesOfEigenvalues.
The theorem can however also be translated in a condition on character values, so that the condition of Theorem 1.2 can be more easily checked without using GAP (or just to look up the character
values). This is particularly handy if the characters in question only have integral values and the
following lemma provides a way to do this.
Lemma 2.3. Let G be a finite group and u ∈ V(ZG) a unit of order pq where p and q are different
primes. Let χ be a character of G which takes only integral values. Set χ(1) = d, χ(up ) = x,
χ(uq ) = y and χ(u) = z. Then the following formulas hold.
pq · µ(1, u, χ) = d + (q − 1)x + (p − 1)y + (p − 1)(q − 1)z,
pq · µ(ζp , u, χ) = d + (q − 1)x − y − (q − 1)z,
pq · µ(ζq , u, χ) = d − x + (p − 1)y − (p − 1)z,
pq · µ(ζpq , u, χ) = d − x − y + z.
Proof. Note that for i not divisible by p we have µ(ζp , u, χ) = µ(ζpi , u, χ), for i not divisible by q
i
, u, χ). So
we have µ(ζq , u, χ) = µ(ζqi , u, χ) and for i not divisible by pq also µ(ζpq , u, χ) = µ(ζpq
χ(1) = µ(1, u, χ) + (p − 1)µ(ζp , u, χ) + (q − 1)µ(ζq , u, χ) + (p − 1)(q − 1)µ(ζpq , u, χ),
χ(uq ) = µ(1, u, χ) − µ(ζp , u, χ) + (q − 1)µ(ζq , u, χ) − (q − 1)µ(ζpq , u, χ),
χ(up ) = µ(1, u, χ) + (p − 1)µ(ζp , u, χ) − µ(ζq , u, χ) − (p − 1)µ(ζpq , u, χ),
χ(u) = µ(1, u, χ) − µ(ζp , u, χ) − µ(ζq , u, χ) + µ(ζpq , u, χ).
The lemma now follows by linear transformations.



3. Combinatorics
The main result of this section, which is the main ingredient in the proof of Theorem 1.2,
is Proposition 3.5. It provides bounds on the possible entries in a semistandard skew tableau
satisfying the lattice property for a special form of skew tableaus which are typical for our intended
application.
Definition 3.1. We call a skew diagram of form A if it consists of p columns such that the second
to (p − 1)-th column all end at the same row, say the m-th row. This is equivalent to saying that
there is a number m such that for a box b in the first to (p − 2)-th column and in the k-th row,
for k ≤ m, there is always a box to the right of b and moreover the second column contains no
box in the (m + 1)-th row. Furthermore we also allow the p-th column to be empty.
We call the boxes in the first to (p − 1)-th column which lie in the m-th row and above the body
of the skew diagram. The boxes of the first column lying below the m-th row are called the tail
and the p-th column the head of the tableau.
For a semistandard skew tableau T satisfying the lattice property we denote by γi (T ) the
number of letters which appear at least i times in w(T ).
Example 3.2. In Figure 1 the upper skew diagram is of form A while the lower one is not. In the
first skew diagram the boxes in the head are marked with h, the boxes of the body with b and the
boxes of the tail with t.
Lemma 3.3. Let T be a semistandard skew tableau of form A with p columns satisfying the lattice
property. Let b be a box in the k-th column lying in the body of T with entry e where 1 ≤ k ≤ p − 1.
Then w(b) contains e at least (p − k) times.

6

LEO MARGOLIS

h

b

b

b

b

b

b

b

b

b

b

b

h

t
t

Figure 1. A skew diagram of form A and not of form A
Proof. We will argue by decreasing induction. For k = p − 1 the claim is clear, since being the
entry in b the letter e appears in w(b) at least once. So let k < p − 1 and let er be the entry in
the box br right from b. Note that br exists by the assumption that T is of form A and b a box in
the body of T . Then by induction the letter er appears at least p − k − 1 times in w(br ). Since
e ≤ er , since T is semistandard, and w(br ) satisfies the lattice property also e must appear at least
p − k − 1 times in w(br ). Hence e appears at least p − k times in w(b).

Lemma 3.4. Let T be a semistandard skew tableau of form A with p columns satisfying the lattice
property. Let 1 ≤ k ≤ p − 2 and let b be a box in the k-th column of T inside the body of T with
entry e. Assume that the box right from b is the h-th box in the (k + 1)-th column of T . Then
e ≤ h.
Proof. Assume that reading from top to bottom and right to left b is the first box contradicting
the claim. In particular, e > h. Let br be the box right from b with entry er . We will show that the
(k + 1)-th column contains every letter 1, ..., e − 1. This will imply the lemma since if the (k + 1)-th
column contains the letters 1, ..., e − 1 then er = h < e, contradicting that T is a semistandard
tableau. We will show also that when bk+1 is a box in the (k + 1)-th column containing an entry
es smaller than e then this entry appears exactly (p − k) times in w(bk+1 ) and if there is a box
left from bk+1 then the entry of this box is strictly smaller than es .
We will argue by decreasing induction. By Lemma 3.3 the word w(b) contains the letter e at
least p − k times and so w(b) also contains every letter smaller than e at least p − k times. By
assumption b is the first box violating the lemma, so if there exists a box above b with entry ea
then e − ea ≥ 2. In any case, if such a box exists or not, we have that the k-th column does not
contain the entry e − 1. Note that e − 1 is not the entry in a box lying in a row above e and to
the left of e, since this would be a box contradicting the fact that T is semistandard. Since w(b)
contains e − 1 at least p − k times we conclude that every column right from b must contain e − 1,
in particular the (k + 1)-th column and if bk+1 is the box in the (k + 1)-th column containing e − 1
then e − 1 appears exactly (p − k) times in w(bk+1 ). Moreover bk+1 lies above br since otherwise
e − 1 = er < e, which would contradict the fact that T is semistandard. Since the k-th column
does not contain e − 1 a box lying left from bk+1 , if it exists, must contain an entry smaller than
e − 1.
So assume that es ≤ e − 1 is an entry contained in the box bk+1 which lies in the (k + 1)-th
column, that es appears exactly (p − k) times in w(bk+1 ) and that a box left from bk+1 , if existent,

ON THE PRIME GRAPH QUESTION FOR INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS

7

contains an entry smaller than es . Then w(bk+1 ) contains the letter es at least p − k times and
so it contains es − 1 at least p − k times. Since the box above and left from bk+1 , if existent, has
maximal entry es − 2 we get that es − 1 must be an entry in the (k + 1)-th column, so it must lie
in the box b′k+1 above bk+1 . So es − 1 appears exactly (p − k) times in w(b′k+1 ) and the box left
from b′k+1 , if existent, contains an entry smaller than es − 1. This finishes the induction step and
thus the lemma is proved.

Proposition 3.5. Let T be a semistandard skew tableau of form A with p columns satisfying the
lattice property. Let 1 ≤ k ≤ p − 1 and let h be the hight of the k-th column inside the body of T ,
i.e. the number of boxes in the k-th column of T which lie in the body (so if k = 1 we do not count
the boxes in the tail).
Then γp−k (T ) ≥ h and if k ≥ 2 then γp−k+2 (T ) ≤ h.
Proof. Let b be the lowest box in the k-th column with entry e. Then just for the reason that the
entries in a column are strictly increasing we have h ≤ e. By Lemma 3.3 the entry e appears in
w(b) at least (p − k) times, so each letter 1, 2..., h appears at least p − k times in w(T ) and hence
γp−k (T ) ≥ h.
So assume k ≥ 2 and assume s = γp−k+2 (T ) > h. By Lemma 3.4 the maximal possible entry
in the box left from b is h. So inside the body an entry bigger than h does not appear in the 1st
to (k − 1)-th column. Hence each letter h + 1, ..., s must appear in the tail and in the k-th column
and every column right from the k-th column. We will show that the k-th column then contains
every letter 1, ..., s, which will yield the final contradiction, since clearly the k-th column can not
contain more than h entries. The proof is similar to the proof of Lemma 3.4.
Let b be the box in the k-th column containing s. Then s appears in w(b) exactly (p − k + 1)
times, since it appears at least overall p − k + 2 times in w(T ) and it does not appear in the 1st
to (k − 1)-th column inside the body. The box left from b, if existent, contains an entry smaller
than h, so also smaller than s, by Lemma 3.4. We will show by decreasing induction that the
k-th column contains every entry e between 1 and s such that if be is the box containing e than e
appears exactly (p − k + 1) times in w(be ) and the box left from be , if existent, contains an entry
smaller than e. Since this holds for e = s assume that this holds for e + 1 and let be+1 be the box
in the k-th column containing e + 1. Since e + 1 appears exactly (p − k + 1) times in w(be+1 ), also
e appears at least p + k − 1 times in w(be+1 ). Since the entry in the box which lies above and to
the left of be+1 is at most e − 1 the box above be+1 must contain e. So this box is be , the letter e
appears exactly (p − k + 1) times in w(be ) and the box to the left of be contains an entry smaller
than e. This finishes the induction step and hence the proof.

4. Proofs of main results
We proceed to prove Theorem 1.2. For the basic facts about Brauer trees we refer to [HL89].
Here we will only need that if (K, R, k) is a p-modular system such that the characters labelling
the vertices of the Brauer tree are afforded by RG-modules then each edge of the Brauer tree
corresponds to a simple kG-module, each vertex of the Brauer tree corresponds to a simple RGmodule with the given character and after reducing such a simple RG-module modulo the maximal
ideal of R the composition factors of this module are those corresponding to the adjacent edges,
each with multiplicity 1.
Proof of Theorem 1.2: Let R be a complete discrete valuation ring containing a primitive m-th
root of unity such that R is an algebraic extension of Zp , representations affording the characters
χ1 , ..., χp can be realized over R and p is unramified in R. Such a ring R exists by a result
of Fong [BM16, Remark 2.5]. Let k be the residue class field of R. We use the bar-notation
to denote reduction modulo the maximal ideal of R also with respect to modules. Let M be a
khui-module. Adapting the notation from skew tableaus we denote by γi (M ) the number of direct
indecomposable summands of M of dimension at least i.
Let M1′ , ..., Mp′ be RG-modules corresponding to the characters χ1 , ..., χp and let, as explained
in Proposition 2.2, M1 , ..., Mp be the direct summands of M1′ , ..., Mp′ respectively on which up acts
′
as ξ p . Let S1′ , ..., Sp−1
be the simple kG-modules corresponding to the edges of the Brauer tree

8

LEO MARGOLIS

in the natural order, i.e. Si′ corresponds to the edge with vertices χi and χi+1 . Let S1 , ..., Sp−1
′
be the direct summand of S1′ , ..., Sp−1
respectively on which up acts as ξ p . We will view Mi
and Si as khui-modules, unless explicitly stated otherwise. Let λi be a partition describing the
isomorphism type of Mi and µi the partition describing the isomorphism type of Si . Note that
by Proposition 2.2 if Sj is a submodule of Mi then the skew diagram corresponding to λi /µj is of
form A with p columns, since the indecomposable summands of Mi are all of dimension 1, p − 1
or p, i.e. the possible length of rows in a Young diagram corresponding to λi are 1, p − 1 and p.
Note that if we want to compute the possible isomorphism types of Si for some 1 < i < p − 1
using Theorem 2.1 we can consider a semistandard skew tableau satisfying the lattice property of
′
form λi /µi−1 or λi+1 /µi+1 . Indeed the composition factors of Mi′ as kG-module are Si−1
and Si′ .
′
If Si−1
is a submodule of Mi′ as kG-module then Si ∼
= Mi /Si−1 and cλµii−1 ,µi 6= 0. If on the other
′
λi
′
hand Si is a submodule of Mi as kG-module then cµi ,µi−1 6= 0, implying cλµii−1 ,µi 6= 0 and so we
can also consider λi /µi−1 . The same arguments apply for λi+1 /µi+1 .
We will show that
γp−2 (Sp−2 ) ≥ µ(ξ · ζp , u, χp−1 ) − µ(ξ · ζp , u, χp )
and also
γp−2 (Sp−2 ) ≤ µ(ξ, u, χ1 ) −

p−2
X

(−1)i µ(ξ · ζp , u, χi )

i=1

which will imply the theorem. First by Theorem 2.1 the isomorphism type of Sp−2 can be described
by a semistandard skew tableau T satisfying the lattice property of shape λp−1 /µp−1 . Note that
µp−1 = λp since Mp ∼
= Sp−1 . By Proposition 3.5 we know that γp−2 (T ) = γp−2 (Sp−2 ) is at least as
big as the height of the second column of T . Now by Proposition 2.2 the number of indecomposable
direct summands of dimension at least 2 in Mp−1 , i.e. the number of rows of length at least 2 in a
Young diagram corresponding to λp−1 , is µ(ξ · ζp , u, χp−1 ) and the analogues statement holds for
λp . So the height of the second column of T is µ(ξ · ζp , u, χp−1 ) − µ(ξ · ζp , u, χp ), proving the first
claim.
To prove the second claim we will prove by induction on r that if r is odd then
γr (Sr ) ≤ µ(ξ, u, χ1 ) −

r
X

(−1)i µ(ξ · ζp , u, χi )

i=1

and if r is even then
γp+1−r (Sr ) ≥ −µ(ξ, u, χ1 ) +

r
X

(−1)i µ(ξ · ζp , u, χi ).

i=1

Once this induction reaches r = p − 2 we will be done. If r = 1 then γ1 (S1 ) is the number of
indecomposable direct summands of S1 ∼
= M1 which by Proposition 2.2 is at most µ(ξ, u, χ1 ) +
µ(ξ · ζp , u, χ1 ).
For the induction step assume that the statement holds for all numbers smaller than r. First
assume that r is even. Now Sr corresponds to a semistandard skew tableau T satisfying the lattice
property of form λr /µr−1 . So by Proposition 3.5 the number γp+1−r (Sr ) = γp+1−r (T ) is at least
as big as the height of the (r − 1)-th column in the body of T . Since r ≤ p this numbers equals
the difference of the number of direct indecomposable summands of Mr which is at least (r − 1)dimensional, but not 1-dimensional, and the number of indecomposable direct summands of Sr−1
of dimension at least r−1, i.e. γr−1 (Sr−1 ). The number of indecomposable direct summands of Mr
which are at least (r − 1)-dimensional, but not 1-dimensional, is µ(ξ · ζp , u, χr ) by Proposition 2.2.
Pr−1
Since by induction γr−1 (Sr−1 ) ≤ µ(ξ, u, χ1 ) − i=1 (−1)i µ(ξ · ζp , u, χi ) we obtain that the height
of the (r − 1)-th column in the body of T is at least
µ(ξ · ζp , u, χr ) − (µ(ξ, u, χ1 ) −

r−1
X
i=1

(−1)i µ(ξ · ζp , u, χi )) = −µ(ξ, u, χ1 ) +

r
X
i=1

(−1)i µ(ξ · ζp , u, χi ).

ON THE PRIME GRAPH QUESTION FOR INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS

9

Now assume that r is odd, bigger than 2 and smaller than p−1. Also in this case Sr corresponds
to a semistandard skew tableau T satisfying the lattice property of form λr /µr−1 . So the number
γr (Sr ) = γr (T ) is at most as big as the hight of the (p + 2 − r)-th column in the body of T
by Proposition 3.5. This is the difference of the number of indecomposable direct summands of
dimension at least p + 2 − r in Mr , i.e. γp+2−r (Mr ), and the number of indecomposable direct
summands of Sr−1 of dimension at least p + 2 − r, i.e. γp+2−r (Sr−1 ) = γp+1−(r−1) (Sr−1 ). By
Proposition 2.2 we know γp+2−r (Mr ) = µ(ξ · ζp , u, χr ) and by induction γp+1−(r−1) (Sr−1 ) is at
Pr−1
least −µ(ξ, u, χ1 ) + i=1 (−1)i µ(ξ · ζp , u, χi ). So the height of the (p + 2 − r)-th column of T is
at most
r
r−1
X
X
(−1)i µ(ξ · ζp , u, χi ),
(−1)i µ(ξ · ζp , u, χi )) = µ(ξ, u, χ1 ) −
µ(ξ · ζp , u, χr ) − (−µ(ξ, u, χ1 ) +
i=1

i=1

finishing the proof of the induction claim.



The proof of the Prime Graph Question for the Conway simple groups now boils down to the
application of Theorem 1.2 for various cases described in [BKL11]. The information contained in
[BKL11] is not completely sufficient for our purposes, since to compute multiplicities of eigenvalues
we do not only need to know the partial augmentations of a unit u ∈ V(ZG), but also the partial
augmentations of its proper powers. These can be computed using the GAP-package HeLP [BM17a]
and we will indicate in all cases we need to consider which characters are sufficient to obtain these
possible partial augmentations using the command HeLP_WithGivenOrder. Also in the case of the
first Conway group we will use stronger results obtainable by the HeLP method than those given
in [BKL11].
We will denote by χi the i-th irreducible complex character of a group G as given in the GAP
character table library [Bre12]. We will also use names for conjugacy classes as in [Bre12]. The
statements we will need about the p-blocks of various groups, their defect and their corresponding
Brauer trees can all be derived from GAP, but they are also given in [HL89].
Proof of Theorem 1.1: We will study the three cases of interest separately.
Case G = Co3 : Assume first that G = Co3 . By [BKL11, Theorem 1] we only have to consider
units of order 35 in V(ZG). Using χ2 to compute partial augmentations for units of order 5 and
χ2 , χ3 to compute the partial augmentations of units of order 35 we are left with the following
possibilities:
(ε5a (u7 ), ε5b (u7 ), ε5a (u), ε5b (u), ε7a (u)) ∈ {(−4, 5, 3, 12, −14), (−3, 4, 4, 11, −14)}.
Note that there is only one class of elements of order 7 in G, so we do not need to consider
the partial augmentations of u5 , since the only class in which a partial augmentation at u5 is
non-vanishing is 7a.
G possesses a 5-block of defect 1 whose Brauer tree is a line of form
χ5

χ29

χ39

χ35

χ12
.

All irreducible ordinary characters in this block have only integral values and 5 is of course not
ramified in Z. So we can apply Theorem 1.2. We provide the multiplicities of the needed eigenvalues of u, for the two critical distributions of partial augmentations, in Table 1. Here the first
entry in each column contains the possible values of (ε5a (u7 ), ε5b (u7 ), ε5a (u), ε5b (u), ε7a (u)).
So using Theorem 1.2 with ξ = 1 we would have, e.g. in case (ε5a (u7 ), ε5b (u7 ), ε5a (u), ε5b (u), ε7a (u)) =
(−4, 5, 3, 12, −14) that
µ(ζ5 , u, χ35 ) − µ(ζ5 , u, χ12 ) = 4967 ≤ µ(1, u, χ5 ) + µ(ζ5 , u, χ5 ) − µ(ζ5 , u, χ29 ) + µ(ζ5 , u, χ39 ) = 4945,
a contradiction. The same argument applies to the other possibility of distributions of partial
augmentations of u, in which case we get 4965 ≤ 4944.
Case G = Co2 : Let G = Co2 . By [BKL11, Theorem 2] we only have to consider units of order
35. Using χ2 to compute partial augmentations of units of order 5 and χ2 , χ3 for order 35 we get
(ε5a (u7 ), ε5b (u7 ), ε5a (u), ε5b (u), ε7a (u)) ∈ {(−4, 5, 3, 12, −14), (−3, 4, 4, 11, −14)}.

10

LEO MARGOLIS

(−4, 5, 3, 12, −14)
(−3, 4, 4, 11, −14)
χ
µ(1, u, χ) µ(ζ5 , u, χ) µ(1, u, χ) µ(ζ5 , u, χ)
χ5 33
2
29
3
χ29
2119
2118
7029
7030
χ39
χ35
5071
5070
104
105
χ12
Table 1. Multiplicities of eigenvalues for G = Co3 for units of order 35.

Again there is only one class of elements of order 7, so we do not need to consider u5 .
Also in this case G possesses a 5-block of defect 1 with Brauer tree of the form
χ4

χ24

χ43

χ38

χ20
.

All ordinary characters in this block only have integral values. The necessary multiplicities are
provided in Table 2
(−4, 5, 3, 12, −14)
(−3, 4, 4, 11, −14)
χ
µ(1, u, χ) µ(ζ5 , u, χ) µ(1, u, χ) µ(ζ5 , u, χ)
χ5 33
2
29
3
3269
3268
χ29
χ39
13354
13355
11396
11395
χ35
χ12
1254
1255
Table 2. Multiplicities of eigenvalues for G = Co2 for units of order 35.

In the first case using Theorem 1.2 with ξ = 1 we get 10142 ≤ 10120 and in the second case
10140 ≤ 10119.
Case G = Co1 : Let G = Co1 . By [BKL11, Theorem 3] we only have to consider units of order
55 and 65. We will first apply the HeLP method here to obtain stronger results than in [BKL11].
The 2-, 3- and 5-modular Brauer tables are not available in GAP, but the Atlas, also implemented
as a GAP-package [WPN+ 11], contains several representations in these characteristics and we will
use a character ψ coming from a 24-dimensional representation of G over F2 . The values of ψ on
classes of interest can be found in Table 3.
1a 5a 5b 5c 11a 13a
ψ 24 −6 4 −1
2
−2
Table 3. A 2-modular Brauer character for Co1 .

The results we obtain using the HeLP method are stronger than those in [BKL11], since we
include ψ. Using χ2 , χ3 and ψ we obtain 98 possibilities for the partial augmentations of units of
order 5. Then using χ2 , χ4 , χ5 and ψ we can exclude the existence of units of order 65 in ZG. For
units of order 55 we apply the characters χ2 , χ3 , χ4 and ψ. Note that there is only one class of
elements of order 11 in G.
We get that (ε5a (u11 ), ε5b (u11 ), ε5c (u11 ), ε5a (u), ε5b (u), ε5c (u), ε11a (u)) is one of the four possibilities
(1, 5, −5, 1, −6, −5, 11), (1, 6, −6, 1, −5, −6, 11), (2, 6, −7, 2, −5, −7, 11), (2, 7, −8, 2, −4, −8, 11).
The main 11-block of G has a Brauer tree of the form

ON THE PRIME GRAPH QUESTION FOR INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS

χ1

χ12

χ34

χ41

χ64

χ79

χ85

χ73

χ60

11

χ38

χ14
.

Also in this block all ordinary characters only have integral values. The necessary multiplicities
are provided in Table 4.

χ
χ1
χ12
χ34
χ41
χ64
χ79
χ85
χ73
χ60
χ38
χ14

(1, 5, −5, 1, −6, −5, 11) (1, 5, −5, 1, −6, −5, 11)
µ(1, u, χ) µ(ζ11 , u, χ) µ(1, u, χ) µ(ζ11 , u, χ)
1
0
1
0
5668
5670
138600
138600
391385
391385
1929876
1929870
4495195
4495195
5326485
5326495
3734505
3734505
1522180
1522180
297293
297285
6885
6875
Table 4. Multiplicities of eigenvalues for

(1, 5, −5, 1, −6, −5, 11) (1, 5, −5, 1, −6, −5, 11)
µ(1, u, χ) µ(ζ11 , u, χ) µ(1, u, χ) µ(ζ11 , u, χ)
1
0
1
0
5638
5640
138520
138520
391350
391350
1929856
1929850
4495195
4495195
5326570
5326580
3734540
3734540
1522180
1522180
297303
297295
6880
6870
G = Co1 for units of order 55.

From the four possibilities we obtain by Theorem 1.2 the inequalities 290408 ≤ 290389, 290410 ≤
290391, 290423 ≤ 290304 and 290425 ≤ 290306, all of which do not hold.

Remark 4.1. In the proof of Theorem 1.1 to handle the first Conway group we used Theorem 1.2
with p = 11 instead of p = 5 for two reasons. One is to show that Theorem 1.2 can also be
applied with other primes than 5. The other, more importantly, is that the 11-Brauer trees can be
computed using GAP which can not be done as easily with 5-Brauer trees, since the 5-Brauer table
is not available in GAP. The 5-Brauer trees are given in [HL89], but the calculations with p = 11
are easier to verify for a reader who does not have [HL89] available. Using the first Brauer tree
given in [HL89, Section 6.22] and Theorem 1.2 with p = 5 and ξ = 1 one can also get the same
result.
Remark 4.2. Of the 17 sporadic groups studied by Bovdi, Konovalov et al. the only group for
which they could not prove the Prime Graph Question, apart from the Conway groups, was the
O’Nan simple group [BGK09]. Here it remains to exclude the existence of units of order 33 and
57. Theorem 1.2 can be applied here with p = 11 to handle units of order 33, but not for order
57. This is not possible since for p ∈ {3, 19} every p-block of G which is a Brauer Tree Algebra
contains characters such that p is ramified in the ring of values of these characters.
Acknowledgements
The setting handled in this paper was discussed at various stages with Alexander Konovalov,
Andreas Bächle, Alexander Thumm and Eugenio Giannelli. I am thankful to them all for their
input.
References
[BC17]
[BGK09]
[BJK11]

A. Bächle and M. Caicedo, On the prime graph question for almost simple groups with an alternating
socle, Internat. J. Algebra Comput. 27 (2017), no. 3, 333–347.
V. Bovdi, A. Grishkov, and A. Konovalov, Kimmerle conjecture for the Held and O’Nan sporadic simple
groups, Sci. Math. Jpn. 69 (2009), no. 3, 353–361.
V. Bovdi, E. Jespers, and A. Konovalov, Torsion units in integral group rings of Janko simple groups,
Math. Comp. 80 (2011), no. 273, 593–615.

12

[BK07a]

LEO MARGOLIS

V. Bovdi and A. Konovalov, Integral group ring of the first Mathieu simple group, Groups St. Andrews
2005. Vol. 1, London Math. Soc. Lecture Note Ser., vol. 339, Cambridge Univ. Press, Cambridge, 2007,
pp. 237–245.
, Integral group ring of the McLaughlin simple group, Algebra Discrete Math. (2007), no. 2,
[BK07b]
43–53.
[BK08]
, Integral group ring of the Mathieu simple group M23 , Comm. Algebra 36 (2008), no. 7, 2670–
2680.
[BK09]
, Integral group ring of Rudvalis simple group, Ukraïn. Mat. Zh. 61 (2009), no. 1, 3–13.
, Torsion units in integral group ring of Higman-Sims simple group, Studia Sci. Math. Hungar.
[BK10]
47 (2010), no. 1, 1–11.
[BK12]
, Integral group ring of the Mathieu simple group M24 , J. Algebra Appl. 11 (2012), no. 1,
1250016, 10.
[BKL08]
V. Bovdi, A. Konovalov, and S. Linton, Torsion units in integral group ring of the Mathieu simple
group M22 , LMS J. Comput. Math. 11 (2008), 28–39.
[BKL11]
, Torsion units in integral group rings of Conway simple groups, Internat. J. Algebra Comput.
21 (2011), no. 4, 615–634.
[BKM08] V. Bovdi, A. Konovalov, and E. Marcos, Integral group ring of the Suzuki sporadic simple group, Publ.
Math. Debrecen 72 (2008), no. 3-4, 487–503.
[BKS07]
V. Bovdi, A. Konovalov, and S. Siciliano, Integral group ring of the Mathieu simple group M12 , Rend.
Circ. Mat. Palermo (2) 56 (2007), no. 1, 125–136.
[BM15]
A. Bächle and L. Margolis, HeLP – A GAP-package for torsion units in integral group rings, preprint,
http://arxiv.org/abs/1507.08174 (2015), 6 pages.
, On the Prime Graph Question for Integral Group Rings of 4-primary groups II, preprint,
[BM16]
arxiv.org/abs/1606.01506 (2016), 17 pages.
[BM17a]
,
HeLP
–
Hertweck-Luthar-Passi
method,
GAP
package,
Version
3.1,
http://homepages.vub.ac.be/abachle/help/, 2017.
, On the prime graph question for integral group rings of 4-primary groups I, Internat. J. Algebra
[BM17b]
Comput. 27 (2017), no. 6, 731–767.
[BM17c]
, Rational Conjugacy of Torsion Units in Integral Group Rings of Non-Solvable Groups, Proc.
Edinb. Math. Soc. (2) 60 (2017), no. 4, 813–830.
[Bre12]
T.
Breuer,
The
GAP
Character
Table
Library,
Version
1.2.1,
http://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib, May 2012, GAP package.
[CL65]
J. A. Cohn and D. Livingstone, On the structure of group algebras. I, Canad. J. Math. 17 (1965),
583–593.
[EM17]
F. Eisele and L Margolis,
A counterexample to the first Zassenhaus conjecture,
http://arxiv.org/abs/1710.08780 (2017), 32 pages.
[Ful97]
W. Fulton, Young tableaux, London Mathematical Society Student Texts, vol. 35, Cambridge University
Press, Cambridge, 1997, With applications to representation theory and geometry.
[GAP17]
The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.8.8, 2017,
http://www.gap-system.org.
[Her01]
M. Hertweck, A counterexample to the isomorphism problem for integral group rings, Ann. of Math.
(2) 154 (2001), no. 1, 115–138.
[Her07]
, Partial augmentations and Brauer character values of torsion units in group rings,
arXiv:0612429v2 [math.RA], 2004 - 2007.
[HL89]
G. Hiss and K. Lux, Brauer trees of sporadic groups, Oxford Science Publications, The Clarendon
Press, Oxford University Press, New York, 1989.
[JdR16]
E. Jespers and Á. del Río, Group ring groups. Vol. 1. Orders and generic constructions of units, De
Gruyter Graduate, De Gruyter, Berlin, 2016.
[Kim06]
W. Kimmerle, On the prime graph of the unit group of integral group rings of finite groups, Groups,
rings and algebras, Contemp. Math., vol. 420, Amer. Math. Soc., Providence, RI, 2006, pp. 215–228.
[KK15]
W. Kimmerle and A. Konovalov, Recent advances on torsion subgroups of integral group rings, Groups
St Andrews 2013, London Math. Soc. Lecture Note Ser., vol. 422, Cambridge Univ. Press, Cambridge,
2015, pp. 331–347.
, On the Gruenberg–Kegel graph of integral group rings of finite groups, Internat. J. Algebra
[KK17]
Comput. 27 (2017), no. 6, 619–631.
[LP89]
I. S. Luthar and I. B. S. Passi, Zassenhaus conjecture for A5 , Proc. Indian Acad. Sci. Math. Sci. 99
(1989), no. 1, 1–5.
[Seh93]
S. K. Sehgal, Units in integral group rings, Pitman Monographs and Surveys in Pure and Applied
Mathematics, vol. 69, Longman Scientific & Technical, Harlow, 1993.
[WPN+ 11] R.A. Wilson,
R.A. Parker,
S. Nickerson,
J.N. Bray,
and T. Breuer,
AtlasRep,
A GAP Interface to the Atlas of
Group Representations,
Version 1.5,
http://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep, July 2011, Refereed GAP package.

ON THE PRIME GRAPH QUESTION FOR INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS

13

Vrije Universiteit Brussel, Faculty of Sciences, Department of Mathematics, Pleinlaan 2, B-1050
Brussels, Belgium
E-mail address: leo.margolis@vub.ac.be

