On Centres of 3-Blocks of the Ree groups 2G2(q)
Julian Brough1 and Inga Schwabrow2
1

FB Mathematik, TU Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, Germany
E-mail: brough@mathematik.uni-kl.de
2
School of Mathematics, The University of Manchester, Manchester, M13 9PL, UK
E-mail: inga.schwabrow@gmx.de

arXiv:1607.02000v2 [math.RT] 1 Sep 2016

Abstract
2

Let G := G2 (q) be the simple Ree group with q = 32k+1 and k a positive integer. We show that
the centre of the principal block Z(kGe0 ), where k is an algebraically closed field of characteristic
3, is not isomorphic to the centre of the Brauer corresponding block Z(kNG (P )), where NG (P ) is
the normaliser in G of a Sylow 3-subgroup. As part of the proof, we compute the conjugacy classes
of elements and the character tables of the maximal parabolic subgroups of G.

1

Introduction

Broué’s conjecture postulates that if a block has abelian defect groups, then there exists a perfect
isometry between the block and its Brauer correspondent. If such a perfect isometry exists, it follows
that the centres of the blocks are isomorphic over a sufficiently large complete discrete evaluation
ring O. In particular, Z(OGeˆ0 ) ∼
= Z(ONG (P )fˆ0 ), for eˆ0 and fˆ0 the corresponding principle block
idempotents.
Originally, Broué also made this conjecture for the principal blocks, in the case that the Sylow
normaliser controls the p-fusion [2]. An initial counterexample to this conjecture was given by Broué
and Serre [3, Section 6]. In particular, they considered the Cartan matrices to conclude that there is
no derived equivalence in the case of 2 B2 (8) with p = 2.
Later on, Cliff elaborated on this counterexample by considering the radical structure of the centres
of the blocks [6]. Let G be a finite simple group of Lie type 2 B2 (q) and P a Sylow 2-subgroup G,
where q = 22k+1 ≥ 8. Cliff observed that over a field k of characteristic 2, Z(kGe0 ) ∼
= Z(kNG (P )),
while over a discrete valuation ring O of characteristic zero Z(OGeˆ0 ) ∼
6 Z(ONG (P )) [6, Theorem
=
4.1]. This provided an infinite family of pairs of blocks whose centres are isomorphic over a field k of
characteristic p, but are not perfectly isometric over a discrete valuation ring of characteristic 0.
In this paper we extend the ideas of Cliff to the simple groups of Lie type 2 G2 (q), where q =
32k+1 , and show that in this case there does not exist an isomorphism of centres over a field k of
characteristic 3, which implies there does not exist one over O. To do this we analyse the radical
structure of the centres of the principle blocks of 2 G2 (q) and NG (P ) for P a Sylow 3-subgroup. Note
that the group algebra kNG (P ) is indecomposable. Although Z(kGe0 ) and Z(kNG (P )) have the same
dimension over k, we will show in Theorem 3.1 that LL(Z(kGe0 )) = 3, whereas Theorem 4.1 states
that LL(Z(kNG (P ))) = 2; hence no such isomorphism can exist.
For a Sylow 3-subgroup P of 2 G2 (q), the normaliser is isomorphic to P ⋊ Cq−1 [17]. Therefore
NG (P ) is a solvable group; furthermore O3′ (NG (P )) = 1 and so NG (P ) has a unique 3-block b [13,
Proposition III.1.12]. This implies that the principle block of 2 G2 (q), B0 , is the unique 3-block of
maximal defect. Moreover as 2 G2 (q) has trivial intersection Sylow 3-subgroups [9, p. 307], its blocks
either have maximal defect or defect zero. However 2 G2 (q) only has one character of 3-defect zero (the
Steinberg character), thus the group 2 G2 (q) has two blocks. The group 2 G2 (q) has q + 8 irreducible
characters [17, p. 85], from which it now follows by [1, Proposition 6.2] that k(B0 ) = q + 7 = k(b),
where k(B) is the number of irreducible complex characters in a block B.
In order to study the Loewy length of the center of these group algebras, we make use of the
character tables. The (complex) irreducible characters of 2 G2 (q) were computed by Ward [17]. For
the normaliser of a Sylow 3-subgroup, we use the character degrees obtained by Eaton [8] and a
1

partial segment of the character table computed by Gramain [10] to produce the full character table,
Table 2. Note that a complete character table for NG (P ) was given by Landrock and Michler [14, p.
88]. However as only vague details were provided, we give an independent and much more detailed
construction of the character table here.
We summarise the main result obtained in this paper.
Theorem 1.1. Let k be an algebraically closed field of characteristic 3 and G = 2 G2 (q), q = 32k+1 ≥
27, P ∈ Syl3 (G). Then LL(Z(kGe0 )) = 3 > 2 = LL(Z(kNG (P ))); hence
Z(kGe0 ) ∼
6 Z(kNG (P )).
=
As an immediate corollary, we get the following result.
Corollary 1.2. There is no perfect isometry, and hence no derived equivalence, between kGe0 and
kNG (P ).

2

Preliminary

Let (K, O, k) be a p-modular system; that is, K is a field of characteristic zero, O is a complete
valuation ring with unique maximal ideal J(O), and k is a field of characteristic p. In addition
O/J(O) ∼
= k and K is the field of fractions of O.

2.1

The class algebra constants

The conjugacy class sums form a basis of Z(kG), and therefore the product of any conjugacy class
sums must be a sum of conjugacy class sums. Let C (x) denote the conjugacy class of x and
X
Cb(x) :=
g
g∈C (x)

the class sum of C (x) which is an element in OG. Then the following common notation is adopted:
X
Cb(x)Cb(y) =
a(x, y, z)Cb(z)
for x, y ∈ G,
(1)
z∈P

where P is a set of representatives of the conjugacy classes of G and the constants a(x, y, z) are
referred to as the class algebra constants. We note that from the definition, it follows that the
structure constants a(x, y, z) lie in Z.
Burnside’s original work in representation theory over C provided a method for obtaining the class
algebra constants from the character table of the group. In particular, this connection is made precise
by Burnside’s formula [4, p.316] which forms a crucial part in the study of representation theory and
will play a large role in the calculations to follow in this paper.
Given x, y, z ∈ G, Burnside’s formula states:
a(x, y, z) =

|G|
|CG (x)||CG (y)|

X

θ∈Irr(G)

θ(x)θ(y)θ(z −1 )
.
θ(1)

(2)

From this formula it is clear that a(x, y, z) = a(y, x, z). Additionally we make the following observation,
which reduces the number of explicit calculations required to compute all the structure constants.
Lemma 2.1. Given x, y, z ∈ G, then a(x, y, z) = a(x−1 , y −1 , z −1 ). Furthermore
a(x, y, z) =

|CG (z)|
|CG (z)|
a(z −1 , y, x−1 ) =
a(x−1 , z, y).
|CG (y)|
|CG (y)|

2

Proof. As xy = z if and only if y −1 x−1 = z −1 , it follows that a(x, y, z) = a(y −1 , x−1 , z −1 ) =
a(x−1 , y −1 , z −1 ). We note that the second statement follows by swapping either θ(x) with θ(z) or
θ(y) with θ(z) and taking the complex conjugate in Burnside’s formula.
As we are working over a field of positive characteristic, we are interested when the field characteristic divides the structure constant a(x, y, z). Using the notion of the defect of a conjugacy class
provides one method to determine this in certain cases.
Definition 2.2. Let g be an element of a finite group G. Then the p-defect of the conjugacy class of
g in G is given by dg , where pdg is the order of a Sylow p-subgroup of CG (g).
The following corollary follows from Lemma 2.1.
Corollary 2.3. [7, Cor 87.7] Let k be a field of characteristic p, and for g ∈ G, let dg be the defect
of the conjugacy class C (g). If dy < dz or dx < dz then p | a(x, y, z). Therefore
X
Cb(x)Cb(y) =
a(x, y, z)Cb(z) ∈ kG.
dz ≤min{dx ,dy }

Proposition 2.4. Fix y, z ∈ G. Then

X

x∈P

Proof. We have
X

x∈P

Cb(x)Cb(y) =

On the other hand

X

g∈G

gCb(y) =

X

x∈P

Therefore the coefficient of Cb(z) is

a(x, y, z) = |C (y)|.

X

y ′ ∈C (y)

Cb(x)Cb(y) =
P

x∈P

Ĝy ′ = |C (y)|

X X

x∈P z∈P

X

g∈G

g = |C (y)|

X

z∈P

Cb(z).

a(x, y, z)Cb(z).

a(x, y, z) and the proposition follows.

We end this section with a result which relates the structure constants of a group G, with trivial
intersection Sylow p-subgroups, to the normaliser of Q a Sylow p-subgroup. In particular, we generalise
the result of Cliff for the Suzuki groups [6, Lemma 3.2] by observing that the argument holds whenever
the Sylow p-subgroups have the trivial intersection property. Note that for such a group G, we have
that NG (Q) controls fusion of Q in G; that is, if xg ∈ Q for x ∈ Q and g ∈ G, then either x = 1 or
g ∈ NG (Q). This follows from the observation that xg ∈ Q ∩ Qg which equals Q or is trivial.

Proposition 2.5. Let G be a finite group with trivial intersection Sylow p-subgroups. Let x, y, z ∈
Q \ {1G } where Q ∈ Sylp (G). Then a(x, y, z) ≡ aH (x, y, z) mod |CG (z)|p where H = NG (Q).
Proof. Let
A = {(x′ , y ′ ) | x′ ∈ xG , y ′ ∈ y G , x′ y ′ = z}.
Then |A| = a(x, y, z) and A can be split into two disjoint sets A1 ∪ A2 , where
A1 = {(x′ , y ′ ) | x′ ∈ xG ∩ Q, y ′ ∈ y G , x′ y ′ = z}
A2 = {(x′ , y ′ ) | x′ ∈ xG \ Q, y ′ ∈ y G , x′ y ′ = z}
Note that as z = x′ y ′ ∈ Q, we have x′ ∈ xG ∩ Q if and only if y ′ ∈ y G ∩ Q.
Claim 1 xG ∩ Q = xNG (Q)
Suppose x′ ∈ xG ∩ Q. Then there exists an element g ∈ G such that xg = x′ ∈ Q ∩ xG . Since the
Sylow p-subgroups of G are trivial intersection, by the above remark, there exists h ∈ NG (Q) such
that xg = xh . Hence x′ = xg = xh ∈ xNG (Q) .
Therefore |A1 | = aH (x, y, z).
3

Claim 2 The size of A2 is divisible by |CG (z)|p .
Take an element z in Q\{1}. Suppose g ∈ NG (hzi), so hzig = hzi; this implies hzig ∈ Q∩Qg = {1},
a contradiction unless g ∈ NG (Q). Hence the normaliser and thus the centraliser of z is a subgroup
of NG (Q), i.e. CG (z) ≤ NG (hzi) ≤ NG (Q).
x′

Note that if g ∈ CG (z) then z g = z = (x′ y ′ )g = x′g y ′g ; since CG (z) ≤ NG (Q), if (x′ )g ∈ Q then
∈ Qg = Q. Therefore CG (z) acts on A2 .

Suppose (x′ , y ′ ) ∈ A2 . By the orbit stabiliser theorem, the size of a CG (z)-orbit containing (x′ , y ′ )
is given by
|(x′ , y ′ )CG (z) | = [CG (z) : (CCG (z) (x′ ) ∩ CCG (z) (y ′ ))]
= [CG (z) : (CG (z) ∩ CG (x′ ) ∩ CG (z) ∩ CG (y ′ ))]
Consider CG (z) ∩ CG (x′ ), and suppose x′ = xg such that g 6∈ NG (Q); then CG (z) ∩ CG (xg ) ≤
NG (Q) ∩ NG (Qg ). Suppose S ∈ Sylp (NG (Q) ∩ NG (Qg )). As S ≤ NG (Q) it follows that S ≤ Q;
similarly S ≤ NG (Qg ) implies S ≤ Qg . Hence as g 6∈ NG (Q), S ≤ Q ∩ Qg = 1 \ {1}, and it follows
that p does not divide |CG (z) ∩ CG (x′ )|. In particular, p does not divide |CG (z) ∩ CG (x′ ) ∩ CG (y ′ )|.
Hence |(x′ , y ′ )CG (z) |p = |CG (z)|p for all pairs (x′ , y ′ ) ∈ A2 and therefore |CG (z)|p divides the size
of A2 .
Finally, combining the two claims, |A| ≡ |A1 | mod |CG (z)|p , and since A1 and A2 are disjoint,
|A| ≡ |A1 | ≡ aH (x, y, z) mod |CG (z)|p .

2.2

The character table of the Sylow normaliser

In this section we shall construct the full complex character table for the normaliser of a Sylow 3subgroup P of 2 G2 (q) with q = 32k+1 . First we recall the notation used to describe both the Sylow
3-subgroup and its normaliser. The standard references for the description presented are [5] and [10].
Let P be a Sylow 3-subgroup of G. Then P is isomorphic to the set of elements {x(t, u, v) | t, u, v ∈
Fq } endowed with a multiplication given by
3θ+1
x(t1 , u1 , v1 )x(t2 , u2 , v2 ) = x(t1 + t2 , u1 + u2 − t1 t3θ
− t21 t3θ
2 , v1 + v2 − t2 u1 + t1 t2
2 )
k

where θ is the automorphism of Fq given by λθ = λ3 for all λ ∈ Fq . Observe that the inverse of an
element x(t, u, v) ∈ P is given by
x(t, u, v)−1 = x(−t, −u − t3θ+1 , −v − tu + t3θ+2 ).
As P is a normal Sylow 3-subgroup of NG (P ), there exists a complement W to P in NG (P ).
In particular, W is a cyclic group of order q − 1 that can be labelled by the set {h(w) | w ∈ F×
q };
furthermore the conjugation of P by W is given by
h(w)x(t, u, v)h(w)−1 = x(w2−3θ t, w3θ−1 u, wv)
where t, u, v, w ∈ Fq , w 6= 0. Note that h(1) = 1W = 1G and h(−1) is the unique involution in W .
The elements of P form 7 conjugacy classes in NG (P ) and the class sizes and element orders can
be found in [10, Section 2.5.2]. Since there are q + 7 conjugacy classes overall in NG (P ), it remains to
determine the remaining q conjugacy classes. The following details are summerised in Table 1.
As W is cyclic, to construct CN (h(w)), it is enough to find x ∈ CP (h(w)); moreover C (h(w)) =
Aw h(w) for some subset Aw ⊂ P . It is clear that x(t, u, v) = h(w)x(t, u, v)h(w)−1 = x(w2−3θ t, w3θ−1 u, wv)
implies v = 0 and w2−3θ = w3θ−1 = 1. However w2−3θ = 1 has a unique solution w = 1 in Fq ; while
w3θ−1 = 1 only has two solutions w = ±1 [10, p. 62]. Thus if w 6= ±1, then CN (h(w)) = W and
therefore |Aw | = |P | and C (h(−1)) = P h(−1). If w = −1, then CP (h(−1)) = {x(0, u, 0) | u ∈ Fq }
and so |CN (h(−1))| = q(q − 1). Additionally, as x(t, u, v)h(−1)x(t, u, v)−1 = x(t, t3θ+1 , v + tu)h(−1),
it follows that the q 2 elements x(t, t3θ+1 , v + tu)h(−1) form the conjugacy class C (h(−1)). We note
that x(0, −1, 0)h(−1) 6∈ C (h(−1)).
Next consider x(0, −1, 0)h(−1) ∈ NG (P ). If x(t, u, v) ∈ CP (x(0, −1, 0)h(−1)) then x(t, u, v) =
x(−t, −1 + u + w3θ−1 , −v − t). In particular, t = 0 and so v = 0, which further implies w3θ−1 = 1.
4

Hence CN (x(0, −1, 0)h(−1)) = {x(0, u, 0)h(w) ∈ NG (P ) | u ∈ Fq , w = ±1} which has size 2q. Note
that (x(0, −1, 0)h(−1))−1 = h(−1)x(0, 1, 0) = x(0, 1, 0)h(−1). However as
x(t, u, v)h(w)x(0, −1, 0)h(−1)h(w)−1 x(t, u, v)−1 = x(−t, −w3θ−1 + t3θ+1 , −vt3θ+2 + tw3θ−1 )h(−1),
it follows that (x(0, −1, 0)h(−1))−1 = x(0, 1, 0)h(−1) 6∈ C (x(0, −1, 0)h(−1)), otherwise t = 0 and
−w3θ−1 = 1, which has no solution w ∈ F×
q as 4 does not divide q − 1. Hence the two remaining
conjugacy classes are an inverse pair.
Table 1: Conjugacy classes of NG (P )
label
1N
X = Z(P ) \ {1P }
T, T −1
Y, Y T, Y T −1

P h(w)
w 6= ±1
J : x(0, 0, 0)h(−1)
JT
x(0, −1, 0)h(−1)
JT −1
(x(0, −1, 0)h(−1))−1

C (g)
x(0, 0, 0)h(1)
x(0, 0, v)h(1)
v 6= 0
x(0, u, v)h(1)
u 6= 0
x(t, u, v)h(1)
t 6= 0

o(g)
1
3

|CN (g)|
|N |
q3

CN (g)
NG (P )
P

|C (g)|
1
q−1

3

2q 2

q(q − 1)/2

9

3q

x(t, u, v)h(w)
w fixed , w 6= ±1
x(t, t3θ+1 , v + tu)h(−1)
α

|h(w)|

q−1

x(0, u, v)h(w)
w = ±1
x(0, 0, v2 ),
x(t, u, v2 ),
x(−t, −t3θ+1 − u, v2 )
where v2 ∈ Fq
x(0, 0, 0)h(w)

2
6

q(q − 1)
2q

β

6

2q

x(0, u, 0)h(w)
x(0, u, 0)h(w)
w = ±1
x(0, u, 0)h(w)
w = ±1

q 2 (q − 1)/3

q3
q2
q 2 (q − 1)/2
q 2 (q − 1)/2

where t, u, v ∈ Fq and w ∈ F×
q,
α = x(−t, −w3θ−1 + t3θ+1 , −v − t3θ+1 + tw3θ−1 )h(−1)
and
β = x(−t, w3θ−1 + t3θ+1 , −v − t3θ+1 − tw3θ−1 )h(−1).

2.2.1

Detailed construction of the character table

In this section we make use of the common notation θ to denote the complex conjugate of the character
θ. Furthermore given two characters θ1 and θ2 of NG (P ), then hθ1 , θ2 i denotes the inner product of
the two characters of NG (P ):
hθ1 , θ2 i :=

1
NG (P )

X

θ1 (g)θ2 (g).

g∈NG (P )

Gramain [10, Section 2.5.4] gives the following characters of NG (P ) which are induced from characters in P .
Irr(P)
{λ2 , . . . , λq }
{ψ2 , . . . , ψq }
{χi,j , i = 1, 2 and 1 ≤ j ≤
{χi,j , i = 1, 2 and 1 ≤ j ≤
{χ3,j , 1 ≤ j ≤ q−1
2 }
{χ3,j , 1 ≤ j ≤ q−1
2 }

N (P )

IndP G
→
→
q−1
→
2 }
q−1
}
→
2
→
→

Irr(NG (P ))
λ, degree q − 1
ψ, degree (q − 1)q
χ, degree (q − 1)3k
χ, degree (q − 1)3k
k
µ1 + µ2 , each µi irreducible of degree q−1
2 3
q−1 k
µ1 + µ2 , each µ irreducible of degree 2 3
5

In addition to these irreducible characters we obtain q − 1 linear characters α0 = 1N , . . . , αq−2 for
NG (P ) by lifting the characters αei with 0 ≤ i ≤ q − 2 from the quotient group NG (P )/P ∼
= Cq−1 . In
other words αi (g) := αei (gP ), so αi |P = 1. Let W = hhi, and αei defined by αei (hj ) = ξ ij for ξ a fixed
primitive (q − 1)th root of unity. As the coset J · P is the unique involution in W and J · P = JT ±1 · P ,
q−1
it follows that αi (JT ±1 ) = αi (J) = αei (h 2 ) = (−1)i . We now fix the elements wj such that P h(wj )
is mapped to hj in W . For such a labeling we have αi (P h(wj )) = ξ ij . Also note that w q−1 = −1 and
2

P h(−1) labels the union of the conjugacy classes of J, JT and JT −1 . From now on, when we write
P h(wj ) we exclude the case that wj = ±1 unless explicitly stated otherwise.
The following table combines the details contained in [8] (character degrees) and [10] (character
values) with the above values for the linear characters αi .
|C (g)|

1

q−1

q(q−1)
2

q 2 (q−1)
3

q 2 (q−1)
3

q 2 (q−1)
3

q3

q2

q 2 (q−1)
2

|CN (g)|

q 3 (q − 1)

q3

2q 2

3q

3q

3q

q−1

q(q − 1)

2q

α0 = 1N
αi
λ

1
1
1
q−1

X
1
1

T, T −1
1
1

Y
1
1
−1

YT
1
1
−1

Y T −1
1
1
−1

P h(wj )
1
ξ ij

J
1
(−1)i

JT, JT −1
1
(−1)i

µ1
µ2
µ1
µ2
χ
χ
ψ

3k (q−1)
2
3k (q−1)
2
3k (q−1)
2
3k (q−1)
2
k

−ε3k
k

−ε3k ω

−ε3k ω

−ε3k

−ε3k ω

−ε3k ω

−ε3

k

−ε3
ε3k
ε3k
0

3 (q − 1)
3k (q − 1)
q(q − 1)

k

−ε3 ω
k

−ε3 ω
ε3k ω
ε3k ω
0

−ε3k ω

−ε3k ω
ε3k ω
ε3k ω
0

for some fixed ε ∈ {±1}, and where q = 32k+1 , ω = e2iπ/3 , and ξ is a fixed primitive (q − 1)th root of
unity.
In order to fill in the remaining entries, we apply the orthogonality relations of a character table. First
we consider the characters ψ, λ and χ which arise as induced characters. Therefore ψ(g) = λ(g) =
χ(g) = χ̄(g) = 0 for all g ∈ NG (P ) \ P .
The characters ψ, λ and χ
P
As ψ|P = qi=2 ψi and ψi (g) = 0 for all g ∈ P \ Z(P ) [10, p.70], it follows that ψ(g) = 0 for all
g ∈ P \ Z(P ). Moreover
hψ, α0 i =

1
|NG (P )| (q(q

− 1) + ψ(X)(q − 1)) = 0

implies ψ(X) = −q.
Now that we have ψ, both χ(X) and λ(X) can be computed:
(
1
θ = λ;
|NG (P )| (q(q − 1)(q − 1) − qλ(X)(q − 1))
h0 = θ, ψi =
1
k
|NG (P )| (q(q − 1)3 (q − 1) − q(q − 1)χ(X)) θ = χ.
Thus λ(X) = q − 1 and χ(X) = χ(X) = 3k (q − 1). Therefore it remains to compute λ(T ) and χ(T ).
Since λ is the unique character taking the value −1 on Y , λ = λ. In other words λ is real valued and
so λ(T −1 ) = λ(T ) = λ(T ). Hence,


1
q 2 (q − 1)
q(q − 1)
2
hλ, α0 i =
−3
q − 1 + (q − 1) + 2λ(T )
=0
|NG (P )|
2
3

and it follows that λ(T ) = λ(T −1 ) = q − 1.
To compute χ(T ), we need to make use of two relations:


q(q − 1)
q 2 (q − 1)
1
k
k
(χ(T ) + χ(T )) +
· ε · 3 (1 + ω + ω) = 0
3 (q − 1)(1 + q − 1) +
hχ, α0 i =
|NG (P )|
2
3
6

and
1
hχ, χi =
|NG (P )|




q(q − 1) q 2 (q − 1)
k 2
+
· (ε · 3 ) (1 + ωω + ωω) = 1.
(3 (q − 1)) (1 + q − 1) + 2χ(T )χ(T )
2
3
k

2

Hence χ(T ) + χ(T ) = −2 · 3k and χ(T )χ(T ) = q(q − 2 · 32k ) + 32k = 32k (q + 1), where the
the zeros
finally equality comes from substituting in q = 32k+1 . Thus χ(T ) and χ(T ) = χ(T −1 ) are √
2
k
2k
of the polynomial x√ + (χ(T ) + χ(T ))x + χ(T )χ(T ). In particular, χ(T ) = −3 + 3
−3 and
χ(T −1 ) = −3k − 32k −3.
So far we have calculated the following additional entries:
|C (g)|

q−1

q(q−1)
2

q(q−1)
2

q3

q2

q 2 (q−1)
2

q 2 (q−1)
2

|CN (g)|

q3

2q 2

2q 2

q−1

q(q − 1)

2q

2q

λ
χ
χ
ψ

X
q−1
3k (q − 1)
3k (q − 1)
−q

T
q − 1√
−3k + 32k √−3
−3k − 32k −3
0

T −1
q − 1√
−3k − 32k √−3
−3k + 32k −3
0

P h(w)
0
0
0
0

J
0
0
0
0

JT
0
0
0
0

JT −1
0
0
0
0

where q = 32k+1 .
The characters µi and µi for i ∈ {1, 2}
As before, to determine µi (X), we take the inner product of µi and ψ:


1
3k (q − 1)
hµi , ψi =
− q(q − 1)µi (X) = 0
q(q − 1)
|NG (P )|
2
k

.
and thus µi (X) = 3 (q−1)
2
Consider µi (P h(wj )), for wj 6= ±1. Since 4 does not divide q − 1, αk (P h(wj )) takes at least 5
distinct values for 0 ≤ k ≤ q − 2. Therefore if µi (P h(wj )) 6= 0 then the set {αk µi | 0 ≤ k ≤ q − 2}
must contain 5 distinct irreducible characters of degree equal to that of µi , which is a contradiction.
Hence µ1 (P h(wj )) = µ2 (P h(wj )) = µ1 (P h(wj )) = µ2 (P h(wj )) = 0.
As C (J) = C (J −1 ), it follows that µi (J) ∈ R. Moreover JT and JT −1 are inverses and hence
N (P )
µi (JT −1 ) = µi (JT ). Furthermore µ1 + µ2 = IndP G θ which evaluates to zero on J, JT and JT −1 ,
and so µ2 (g) = −µ1 (g), for g = J, JT or JT −1 . We have the following part of the character table:
J
αi
λ
µ1
µ2
µ1
µ2
χ, χ, ψ

JT

JT −1

(−1)i (−1)i (−1)i
0
0
0
c
b
b
−c
−b
−b
c
b
b
−c
−b
−b
0
0
0

where c ∈ R and b ∈ C \ R.
By column orthogonality
X

θ∈Irr(NG (P ))

θ(J)2 = q − 1 + 4c2 = q(q − 1),

and thus c = (q − 1)/2.
By using column orthogonality again
X
θ(JT )θ(JT ) = q − 1 + 4(bb) = 2q
θ∈Irr(NG (P ))

7

and so bb =

q+1
4 .

However using column orthogonality for JT and J yields
X

θ∈Irr(NG (P ))

θ(JT )θ(J) = q − 1 + b(q − 1) + b(q − 1) = 0

and so b + b = −1. Thus as with√ χ above, b and b are the zeros of the polynomial x2 + (b + b)x + mb
k
and so it follows that b = −1−32 −3 , by relabeling T and T −1 if necessary.
It only remains to compute µi on T and T −1 . Similar to the calculations for χ,

when θ = α0
µ1 (T ) + µ1 (T ) = −3k
hµ1 , θi ⇒
1 4k+1
2k
µ1 (T )µ1 (T ) = 4 (3
+ 3 ) when θ = µ1
k

2k

√

and solving the quadratic polynomial as before yields µ1 (T ) = 3 ±3 2 −3 .
Taking column orthogonality for T and J, we see that µ1 (T ) + µ1 (T ) = µ2 (T ) + µ2 (T ). Row
orthogonality implies hµ1 , µ1 i = hµ2 , µ2 i = 1. However as µ2 = −µ1 on J, JT and JT −1 , it follows that
µ1 (T )µ1 (T ) = µ2 (T )µ2 (T ). Hence µ2 (T ) = µ1 (T ) or µ1 (T ). Finally, by column orthogonality for T
) = µ1 (T )
and JT , we see that (µ1 (T )−µ2 (T ))b = (µ2 (T )−µ1 (T ))b and therefore it follows that if µ2 (T
√
−3k +32k −3
then b = −b, which is a contradiction. Thus µ1 (T ) = µ2 (T ) and µ1 (T ) = µ2 (T ) =
.
2
Combining all the character values together, we have proven the following theorem.
Theorem 2.6. Let G = 2 G2 (q) where q = 32k+1 , and let NG (P ) be the normaliser of a Sylow 3subgroup. Then the character table of NG (P ) is given by Table 2.

8

Table 2: Character table of NG (P )
|CN (g)|
α0 = 1N
αi for 1 ≤ i ≤ q − 2
λ
9

µ1
µ2
µ1
µ2
χ
χ
ψ

q 3 (q − 1)
1
1
1
q−1

3k (q−1)
2
3k (q−1)
2
3k (q−1)
2
3k (q−1)
2
3k (q − 1)

q3
X
1
1
q−1

3k (q−1)
2
3k (q−1)
2
3k (q−1)
2
3k (q−1)
2
3k (q − 1)

2q 2
T
1
1
q − 1√

−3k +32k −3
2 √
−3k +32k −3
2 √
−3k −32k −3
2 √
−3k −32k −3
2 √
−3k + 32k −3

2q 2
T −1
1
1
q − 1√

−3k −32k −3
2 √
−3k −32k −3
2 √
−3k +32k −3
2 √
−3k +32k −3
2 √
−3k − 32k −3

√
√
3k (q − 1) 3k (q − 1) −3k − 32k −3 −3k + 32k −3
q(q − 1)
−q
0
0

3q
Y
1
1
−1

3q
YT
1
1
−1

3q
Y T −1
1
1
−1

−ε3k −ε3k ω −ε3k ω
−ε3k −ε3k ω −ε3k ω
−ε3k −ε3k ω −ε3k ω
−ε3k

−ε3k ω

−ε3k ω

ε3k
0

ε3k ω
0

ε3k ω
0

ε3k

ε3k ω

ε3k ω

q − 1 q(q − 1)
P h(wj )
J
1
1
ξ ij
(−1)i
0
0
0
0
0
0
0
0
0

q−1
2
− q−1
2
q−1
2
− q−1
2

0
0
0

2q
JT
1
(−1)i
0√

−1−3k −3
2√
+1+3k −3
2√
−1+3k −3
2√
+1−3k −3
2

where q = 32k+1 , ε a fixed number from {±1}, ω = e2iπ/3 and ξ is a fixed primitive (q − 1)th root of unity.

0
0
0

2q
JT −1
1
(−1)i
0√

−1+3k −3
2√
+1−3k −3
2√
−1−3k −3
2√
+1+3k −3
2

0
0
0

3

The principal 3-block of the Ree groups

Throughout this section, G will denote the small Ree group 2 G2 (q) of order q 3 (q 3 + 1)(q − 1) [15], with
q = 32k+1 ≥ 27. The groups G were first described by Ree [15] and their structure was determined
in detail by Ward [17], including most of the character table. Our notation for the conjugacy classes
and characters follows the notation introduced in [17]; in particular, m denotes the number 3k . For
the convenience of the reader the character table of 2 G2 (q), as contained in [17], is given in Table 8,
which can be found at the end of this paper.
For k an algebraically closed field of characteristic 3, the group algebra kG decomposes into two
blocks: the principal 3-block B0 (kG) and one block of defect zero containing the Steinberg character
ξ3 of degree q 3 (see Table 3).
Table 3: The irreducible characters of G [17]

θ
ξ1
ξ2
ξ3
ξ4
ξ5
ξ6
ξ7
ξ8

θ(1G )
1
q2 − q + 1
q3
2
q(q − q + 1)
(q − 1)m(q + 1 + 3m)/2
(q − 1)m(q + 1 − 3m)/2
(q − 1)m(q + 1 + 3m)/2
(q − 1)m(q + 1 − 3m)/2

number of
characters
1
1
1
1
1
1
1
1

θ
ξ9
ξ10
ηr
ηr′
ηt
ηt′
ηi−
ηi+

number of
θ(1G )
characters
m(q 2 − 1)
1
m(q 2 − 1)
1
q3 + 1
(q − 3)/4
q3 + 1
(q − 3)/4
(q − 1)(q 2 − q + 1)
(q − 3)/24
(q − 1)(q 2 − q + 1)
(q − 3)/8
(q 2 − 1)(q + 1 + 3m) (q − 3m)/6
(q 2 − 1)(q + 1 − 3m) (q + 3m)/6

Table 4: Conjugacy classes, their centraliser orders and corresponding defects
conjugacy class
order(g)
|CG (g)|
dg
1G
1
|G|
3(2m + 1)
Ra , 1 ≤ a ≤ (q − 3)/4
(q − 1)/2
q−1
0
a
S , 1 ≤ a ≤ (q − 3)/24
(q + 1)/4
q+1
0
√
Vi , 1 ≤ i ≤ (q − 3m)/6 q − 3q + 1
q + 1 − 3m
0
√
q + 1 + 3m
0
Wi , 1 ≤ i ≤ (q − 3m)/6 q + 3q + 1
3
X
3
q
3(2m + 1)
Y
9
3q
(2m + 1) + 1
T
3
2q 2
2(2m + 1)
−1
2
T
3
2q
2(2m + 1)
YT
9
3q
(2m + 1) + 1
Y T −1
9
3q
(2m + 1) + 1
JT
6
2q
(2m + 1)
JT −1
6
2q
(2m + 1)
JRa , 1 ≤ a ≤ (q − 3)/4
2|Ra |
q−1
0
a
JS , 1 ≤ a ≤ (q − 3)/8
2|S a |
q+1
0
J
2
(q + 1)q(q − 1)
(2m + 1)
Table 4 lists the conjugacy classes of G. Note that for the six families of conjugacy classes, given
by Ra , S a , Vi , Wi , JRa , JS a , the elements don’t have the order stated, but rather their order divides
the given value. Furthermore, the size of the centralisers for these elements are taken from [12, Section
3]. Let
S = {Ra , S a , Vi , Wi , JRa , JS a };
10

|S| = q − 2. With slight abuse of notation, we also say that a conjugacy class C (g) is in S or a
conjugacy class sum Cb(g) ∈ S, if we want to refer to one of these families of conjugacy classes.

As mentioned above, Ward’s character table [17] is not quite complete. Some entries are missing;
however since only their sum is of interest to us, orthogonality of the columns can be applied to find
the required information. The following table provides a list of column orthogonality relations we
consider and the implied relation upon character values.
Table 5: Useful orthogonality relations
Implication from column orthogonality
P
P ′ a
a
r ηr (R ) =
r ηr (R )
P
a
r ηr (R ) = −1
P
P
4 − t ηt (S a ) − t ηt′ (S a ) = 0
P
P ′ a
a
t ηt (S ) = 1,
t ηt (S ) = 3
P −
i ηi (Vi ) = 1
P +
i ηi (Wi ) = 1
P
P ′
a
a
r ηr (JR ) = −
r ηr (JR )
P
P ′
a
a
r ηr (JR ) = −1,
r ηr (JR ) = 1
P
P
− t ηt (JS a ) − t ηt′ (JS a ) = 0
P
P ′ a
a
t ηt (JS ) = 1,
t ηt (S ) = −1

C1 and C2
Ra , JT
Ra , 1G
Sa, Y
combined with S a , J
Vi , Y
Wi , Y
JRa , 1
combined with JRa , JT
JS a , Y
combined with JS a , J

We now write down the two block idempotents, where the equivalence is taken modulo J(O)G.
(1) P
êξ3 = ξ3|G|
ξ3 (g−1 )g
g∈G

=

q3
q 3 (q 3 +1)(q−1)

−
≡ −

(q+3m)/6
P

(q−3)/4
P
a=1

q3 +

i=1

(q−3)/4
P
a=1

Cb(Wi ) +

Cb(Ra ) +

(q−3)/4
P

(q−3)/24
P
a=1

Cb(Ra ) −
a=1

(q−3)/24
P
a=1

Cb(JRa ) −

Cb(S a ) +

and as 1 = ê0 + êξ3 , it follows that ê0 = 1 − êξ3 ∈ OG.

3.1

(q−3)/8
P

(q−3m)/6
P
i=1

Cb(S a ) −
a=1

i=1

Cb(Vi )

!

Cb(JS a ) + q · Cb(J)

Cb(Vi ) +
−

(q−3m)/6
P

(q+3m)/6
P

(q−3)/4
P
a=1

i=1

Cb(Wi )

Cb(JRa ) +

(q−3)/8
P
a=1

Cb(JS a )

Main Theorem for Ree groups

The aim is to show that the Loewy length of Z(kGe0 ) is 3; in particular, over a series of lemmas
comprising the rest of this section, the following theorem is proven.
Theorem 3.1. Let G = 2 G2 (q) where q = 32k+1 ≥ 27, and k an algebraically closed field of characteristic 3. Then LL(Z(kGe0 )) = 3.
By Table 4, all non-trivial conjugacy classes have class size divisible by 3 except C (X) which has
size |C (X)| = (q 3 + 1)(q − 1). Hence a spanning set for J(Z(kGe0 )) is given by
DG = {Cb(x)e0 | x ∈ P, x 6= 1G , x 6∈ C (X)} ∪ {(Cb(X) + 1)e0 }.
11

Firstly, the multiplication of two conjugacy class sums in DG is considered, ignoring the block idempotent e0 . For a clear overview, the outcomes of these multiplications are summarised in Table 7.
3.1.1

Computing the product of any two class sums

In this section we compute all the products of two class sums. For most of the algebra structure
constants we manipulate the formula of Burnside in such a way so that a minimal amount of computation has to be done; however some of the constants will require a complete calculation of Burnside’s
formula. Let cc(G) denote the set of conjugacy classes of G.
Before we compute the algebra structure constants, we first need the following lemma which helps
us consider the terms arising in a(x, y, z) from the characters ηr , ηr′ , ηt , ηt′ ηl− and ηl+ as in Table 8 taken
from Ward [17].
Lemma 3.2. Let C (y) ∈ S and x, z ∈ 2 G2 (q). Then
X
X
X
ηr (x)ηr (y)ηr (z −1 ) ,
ηt (x)ηt (y)ηt (z −1 ).
ηr′ (x)ηr′ (y)ηr′ (z −1 ) ,
r

X

r

ηt′ (x)ηt′ (y)ηt′ (z −1 ) ,

t

X

t

ηl− (x)ηl− (y)ηl− (z −1 ) and

l

all lie in Z.

X

ηl+ (x)ηl+ (y)ηl+ (z −1 ).

l

Proof. We shall only consider the case C (y) = C (Ra ) as the other cases follow by similar arguments.
Furthermore, we shall only calculate the following sum for ηr as the situation for ηr′ is similar:
X
ηr (x)ηr (Ra )ηr (z −1 ).
(3)
r

Note that from the character table, Table 8, the characters ηr takes values inside Z on elements
not lying in C (Ra ) or C (JRa ). Furthermore from [17, Section I] it follows that ηr (JRa ) = ηr (Ra ) or
−ηr (Ra ) and ηr (Ra ) = ǫ(r a + r −a ) where ǫ = ±1. Using this we obtain the following possibilities for
Equation 3.
If x and z 6∈ ∪a (C (Ra ) ∪ C (JRa )) then
X
X
ηr (Ra ),
ηr (x)ηr (Ra )ηr (z −1 ) = n
r

r

for some n ∈ Z.
If only one of x or z lies in some C (Ra1 ) ∪ C (JRa1 ) then
X
X

η(Ra+a1 ) + ηr (Ra−a1 ) ,
ηr (x)ηr (Ra )ηr (z −1 ) = n
r

r

for some n ∈ Z.
While if x ∈ C (Ra1 ) ∪ C (JRa1 ) and z ∈ C (Ra2 ) ∪ C (JRa2 ) then
X
X

η(Ra+a1 +a2 ) + ηr (Ra+a1 −a2 ) + η(Ra−a1 +a2 ) + η(Ra−a1 −a2 ) ,
ηr (x)ηr (Ra )ηr (z −1 ) = n
r

r

for some n ∈ Z.
By Table 5 it now follows that Equation 3 evaluates to an element in Z.
Lemma 3.3. Let C (x) ∈ cc(G) \ {X, 1G } and C (y) ∈ S. Then

eξ3 , if C (x) ∈ S or {C (J)};
b
b
C (x) · C (y) =
0,
otherwise.

12

Proof. First observe that |CG (y)|3 = 1 and since q > 3, |CG (x)|3 ≤ q 2 . Thus
q 3 (q − 1)(q 3 + 1)
|CG (x)||CG (y)|

3

≥ q,

For the characters ξi with i 6= 3 or 4, it can be seen that |ξi (1)|3 < q and no value in the
corresponding row contains a three in the denominator. Thus any term in a(x, y, z) arising from ξi
with i 6= 3 or 4 is equivalent to zero modulo J(O)G.
Next we consider the terms in a(x, y, z) which arise from the characters ηr , ηr′ , ηt , ηt′ , ηl− and ηl+ .
By combining Lemma 3.2 with the additional fact that |θ(1)|3 = 1 for each such character θ, the
terms in a(x, y, z) arising from these characters are equivalent to zero modulo J(O)G. In particular,
to compute a(x, y, z) modulo J(O)G only θ ∈ {ξ3 , ξ4 } remain to be considered.
If C (x) 6∈ {S, 1G , C (J), C (X)}, then ξ3 (x) = ξ4 (x) = 0. Hence for C (x) 6∈ {S, 1G , C (J), C (X)} it
follows that a(x, y, z) ≡ 0 modulo J(O)G.
Thus is remains to study C (x) ∈ {S, C (J)}. In this case |CG (x)|3 ≤ q. Hence as
|ξ4 (1)|3 = q < q 2 ≤

q 3 (q − 1)(q 3 + 1)
|CG (x)||CG (y)|

,
3

the term for ξ4 in a(x, y, z) is congruent to zero modulo J(O)G. Thus


q 3 (q − 1)(q 3 + 1) ξ3 (x)ξ3 (y)ξ3 (z −1 )
a(x, y, z) ≡
.
|CG (x)||CG (y)|
q3
Note the following information about character values of S. Also note that ξ3 (J) = q.
Table 6:

element |CG (g)| mod 3 ξ3 (g)
Ra
−1
+1
a
S
+1
−1
+1
−1
Vi
+1
−1
Wi
JRa
−1
+1
+1
−1
JS a
Hence
a(x, y, z) ≡

(

a

(−1)a ξ3 (z −1 )
q3
∓qξ3 (z −1 )
−1
2
q (−1)(±1) ·
q3

q 3 (−1)
(−1) ·

coefficient of
Cb(g) in eξ3
−1
+1
+1
+1
−1
+1

if C (x) ∈ S;

if C (x) = C (J)

for a ∈ {1, 2}.
Finally, by considering the values ξ3 takes, we see that

0
−1
a(x, y, z) ≡ −ξ3 (z ) ≡
coefficient of Cb(z −1 ) in eξ3

≡ −ξ3 (z −1 ),

if z 6∈ S;
if z ∈ S,

where the values for z ∈ S follow from the information contained in Table 6.
As we have computed a(x, y, z) for y ∈ S for all x except a(X, y, z) Proposition 2.4 can now be
used to find this final coefficient.

13

Lemma 3.4. Let C (y) ∈ S. Then Cb(X) · Cb(y) = eξ3 − Cb(y). In particular

0 if y = z ∈ Vi , Wi , S a , JS a ;



−2 if y = z ∈ Ra , JRa ;
a(X, y, z) =
±1, if y 6= z and z ∈ S;



0, if z 6∈ S.

Hence (1 + Cb(X)) · Cb(y) = eξ3 .

Proof. Recall that S consists of q−2 conjugacy classes. For y in S we have so far calculated all structure
constants a(x, y, z) except a(X, y, z). Hence we can use Proposition 2.4 to find these remaining ones.
All equivalences are taken modulo J(O)G.
P
We have |C (y)| ≡ 0. Hence by Proposition 2.4, |C (y)| = x a(x, y, z) ≡ 0. Let α = a(X, y, z).
Then
X
X
a(x, y, z) = a(1G , y, z) + a(J, y, z) + (q − 2)
a(x, y, z) + α
x

x∈S


1 + 1 + (q − 2)(+1) + α ≡ α,




 1 − 1 + (q − 2)(−1) + α ≡ 2 + α,
=
0 + 1 + (q − 2)(+1) + α ≡ −1 + α


0
 + (−1) + (q − 2)(−1) + α ≡ α + 1


α,

if
if
if
if
if

y
y
y
y
z

= z ∈ Vi , Wi , S a , JS a ;
= z ∈ Ra , JRa ;
6= z and z ∈ Vi , Wi , S a , JS a ;
6= z and z ∈ Ra , JRa ;
6∈ S.

We have now dealt with the case that either x or y is taken from S.

Lemma 3.5. Let x, y ∈ C (Y ), C (Y T ), C (Y T −1 ), C (JT ), C (JT −1 ) or C (J). Furthermore assume
that not both x and y are in C (J). Then Cb(x)Cb(y) = 0.

Proof. We may assume that C (y) =
6 C (J). By Table 4, it follows that |CG (x)|3 and |CG (y)|3 ≤ 3q.
Hence
q
q 3 (q − 1)(q 3 + 1)
≥ = 32k−1 .
|CG (x)||CG (y)| 3 9

We assume first that k ≥ 2. In this case 32k−1 > 3k , and thus |θ(1)|3 < 9q for θ ∈ Irr(G), unless
θ = ξ3 or ξ4 . In particular, the corresponding terms in a(x, y, z) for θ 6= ξ3 , ξ4 are equal to zero
modulo J(O)G. Furthermore as C (y) ∈ {C (Y ), C (Y T ), C (Y T −1 ), C (JT ), C (JT −1 )}, it can be seen
that ξ3 (y) = ξ4 (y) = 0. Therefore we conclude that a(x, y, z) ≡ 0 modulo J(O)G.
Now consider the case that k = 1. If at most one of x and y lie in C (Y ), C (Y T ), C (Y T −1 ), then
q 3 (q − 1)(q 3 + 1)
|CG (x)||CG (y)|

3

≥

q
= 32k .
3

Hence the same argument for k ≥ 2 holds. Thus it remains to assume both x and y lie in C (Y ), C (Y T )
and C (Y T −1 ). As k = 1, we can explicitly produce the character table of 2 G2 (q) in GAP [11] and
compute for each such x and y that a(x, y, z) ≡ 0 modulo J(O)G.
For y ∈ C (Y ), C (Y T ), C (Y T −1 ), C (JT ) or C (JT −1 ), the only remaining constants to evaluate
are a(T, y, z), a(T −1 , y, z) and a(X, y, z). Lemma 2.1 reduces the number of computations required.
We state the following values without detail, these were evaluated by computing the full summand in
Burnside’s formula and are all given modulo J(O)G. Note that the computations make use of Table 5,
in the cases where z ∈ S. The full values can be found in [16].
Cb(T ) · Cb(Y T −1 )
Cb(T ) · Cb(Y T )
b
C (T ) · Cb(JT −1 )
Cb(T ) · Cb(JT )
Cb(Y ) · Cb(T )
Cb(Y ) · Cb(X)

=
=
=
=
=
=

0
0
0
0
0
2 · Cb(Y )
14

=
=
=
=
=

Cb(T −1 ) · Cb(Y T )
Cb(T −1 ) · Cb(Y T −1 )
Cb(T −1 ) · Cb(JT )
Cb(T −1 ) · Cb(JT −1 )
Cb(Y ) · Cb(T −1 )

For y ∈ C (Y T ), C (Y T −1 ), C (JT ) or C (JT −1 ) it remains to compute a(X, y, z).

Lemma 3.6. Let x ∈ C (X) and y ∈ C (Y ), C (Y T ), C (Y T −1 ), C (JT ) or C (JT −1 ). Then Cb(x) ·
Cb(y) = 2 · Cb(y).
Proof. Fix y ∈ C (Y T ); P
the remaining three cases are proved in the same way.
By Proposition 2.4, x a(x, Y T, z) = |C (Y T )| = |G|/(3q) ≡ 0 mod 3. Hence


X

a(x, Y T, z) + a(X, Y T, z) ≡ 0 mod J(O)G for all z ∈ G.
x6=X

Now a(x 6= X, Y T, z) ≡ 0 except a(1G , Y T, z). However, a(1G , Y T, z) = 1 if z = Y T and zero
otherwise. Hence

0, if z 6∈ C (Y T );
a(X, Y T, z) =
2, if z ∈ C (Y T ).
We now consider the case that both x and y lie in C (J).
Lemma 3.7. Let x and y both lie in C (J). Then Cb(x) · Cb(y) = ξ3 .

Proof. In this case |CG (x)|3 = |CG (y)|3 = q. Thus

q 3 (q − 1)(q 3 + 1)
|CG (x)||CG (y)|

= q.
3

Hence for any χ ∈ Irr(G) such that |χ(1)|3 < q, the corresponding term in a(x, y, z) reduces to zero
modulo J(O)G. Hence the only terms remaining in a(x, y, z) modulo J(O)G are from ξ3 and ξ4 . Using
this we see that


ξ3 (J)ξ3 (J)ξ3 (z −1 )
ξ4 (J)ξ4 (J)ξ4 (z −1 )
q 2 −q+1
+
a(J, J, z) = q · (q−1)(q+1)
3
2
q
q(q −q+1)


−1
−1
2
ξ3 (z )
(z )
q −q+1
= q · (q−1)(q+1)
+ q · qξ24−q+1
.
q
≡ −ξ3 (z −1 )

By Table 6, we have that Cb(J)Cb(J) = eξ3 .

Thus for y ∈ C (J) it remains to consider a(T, y, z), a(T −1 , y, z) and a(X, y, z). In the following
Lemma we deal with T and T −1 .
Lemma 3.8. Let y ∈ C (J) and x ∈ C (T ) or C (T −1 ). Then Cb(x) · Cb(y) = 0.
Proof. By applying Theorem 2.3,

a(x, y, z) ≡ 0 mod J(O)G if z ∈ {X, Y, T, T −1 , Y T, Y T −1 };

while by [12, Lemma 4.1],
a(x, y, z) ≡ 0 mod J(O)G if z ∈ {Ra , S a , Vi , Wi }.
Note that the formula used in the calculations by Jones [12], and hence the structure constants
calculated, differs up to a scalar; we can adjust appropriately by dividing by |C (z)|.
This leaves a(x, y, z) for z ∈ JT, JT −1 , JRa , JS a which can be calculated directly from the character
table. In particular
a(T, J, JT ) = 9 · m4 + 3 · m2 ;
a(T, J, JT −1 ) = 0;
a(T, J, JRa ) = 29 m4 − 32 m2 ;
a(T, J, JS a ) = 92 m4 + 32 m2 ,
where m = 3k . The equality a(T −1 , J, z) = a(T, J, z −1 ) proved in Lemma 2.1 then completes this
proof.
15

Now we only have to compute a(X, J, z).
Lemma 3.9. Let y ∈ C (J). Then Cb(X) · Cb(J) = eξ3 − Cb(J).
P
Proof. By Proposition 2.4, x a(x, J, z) = |C (J)| = |G|/((q + 1)q(q − 1)) ≡ 0 mod 3. Hence
X
a(x, J, z) = a(1G , J, z) + a(J, J, z) + (q − 2)a(x ∈ S, J, z) + a(X, J, z) ≡ 0
x


1 + 0 + (q − 2)(0) + a(X, J, z) ≡ 1 + a(X, J, z),



0 + 1 + (q − 2)(+1) + a(X, J, z) ≡ −1 + a(X, J, z),
=
0
− 1 + (q − 2)(−1) + a(X, J, z) ≡ 1 + a(X, J, z),



a(X, J, z),

if
if
if
if

z
z
z
z

∈ J;
∈ Vi , Wi , S a , JS a ;
∈ Ra , JRa ;
6∈ S, C (J).

For the remaining structure constants, when C (x), C (y) ∈ {C (T ), C (T −1 ), C (X)}, direct calculations from the character table are used. As the full Burnside formula was computed, we only provide
the final values modulo J(O)G. As before, the computations make use of Table 5, in the cases where
z ∈ S. The full values can be found in [16].
Cb(X) · Cb(X)
Cb(T ) · Cb(T )

3.1.2

=
=
=
=
Cb(X) · Cb(T )
=
−1
b
b
C (X) · C (T ) =

P
P
P
P
2 + Cb(X) + Cb(Ra ) + Cb(S a ) + Cb(Vi ) + Cb(W )
P
P
P
2 · a Cb(Ra ) + a Cb(JRa ) + 2 · a Cb(JS a )
Cb(T −1 ) · Cb(T −1 )
Cb(T ) · Cb(T −1 )
P
P
P
2Cb(T ) + 2 Cb(Ra ) + Cb(JRa ) + 2 Cb(JS a )
P
P
P
2Cb(T −1 ) + 2 Cb(Ra ) + Cb(JRa ) + 2 Cb(JS a )

Summary of multiplications

Table 7: Summary of multiplications of two conjugacy class sums in kG

R

Ra
eξ3

a

Sa
Vi
Wi
X
Y
T
T −1

Sa
eξ3

Vi
eξ3

Wi
eξ3

X
γ1

Y
−

T
−

T −1
−

YT
−

Y T −1
−

JT
−

JT −1
−

JRa
eξ3

JS a
eξ3

J
eξ3

eξ3

eξ3

eξ3

γ2

−

−

−

−

−

−

−

eξ3

eξ3

eξ3

eξ3

eξ3

γ3

−

−

−

−

−

−

−

eξ3

eξ3

eξ3

eξ3

γ4

−

−

−

−

−

−

−

eξ3

eξ3

eξ3

α

δ1

µ

ν

δ2

δ3

δ4

δ5

γ5

γ6

γ7

−

−

−

−

−

−

−

−

−

−

β

β

−

−

−

−

−

−

−

β

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

−

eξ3

eξ3

eξ3

eξ3

eξ3

YT
YT

−1

JT
JT

−1

JRa
JS

a

J

eξ3

16

In Table 7 we use “ − ” to denote a zero in kG and
P
P
P
P
α = 2 + Cb(X) + Cb(Ra ) + Cb(S a ) + Cb(Vi ) + Cb(Wi )
P
P
P
β = 2 Cb(Ra ) + Cb(JRa ) + 2 Cb(JS a )
γ1
γ2
γ3
γ4
γ5
γ6
γ7

=
=
=
=
=
=
=

eξ3
eξ3
eξ3
eξ3
eξ3
eξ3
eξ3

− Cb(Ra )
− Cb(S a )
− Cb(Vi )
− Cb(Wi )
− Cb(JRa )
− Cb(JS a )
− Cb(J)

δ1
δ2
δ3
δ4
δ5
µ
ν

=
=
=
=
=
=
=

2 · Cb(Y )
2 · Cb(Y T )
2 · Cb(Y T −1 )
2 · Cb(JT )
2 · Cb(JT −1 )
P
P
P
2Cb(T ) + 2 Cb(Ra ) + Cb(JRa ) + 2 Cb(JS a )
P
P
P
2Cb(T −1 ) + 2 Cb(Ra ) + Cb(JRa ) + 2 Cb(JS a )

Note that Cb(X)Cb(y) = γi = eξ3 − Cb(y) so that (1 + Cb(X))Cb(y) = eξ3 . Moreover, C (X) · C (Y ) =
δi = 2 · Cb(y) so that (1 + Cb(X))Cb(y) = 0.
Since eξ3 · e0 = 0, we can see from Table 7 that most pairs of elements in DG multiply to zero.
However there exist elements b, b′ in DG such that b · b′ 6= 0:
P

P
P
P
(1 + Cb(X))2 e0 =
Cb(Ra ) + Cb(S a ) + Cb(Vi ) + Cb(Wi ) e0
P
P
P
= 2 Cb(Ra ) + Cb(JRa ) + 2 Cb(JS a )

3.2

(1 + Cb(X))Cb(T )e0 = (1 + Cb(X))Cb(T −1 )e0 = (Cb(T ±1 ))2 e0 = Cb(T ) · Cb(T −1 )e0
P
P
P
= 2 Cb(Ra ) + Cb(JRa ) + 2 Cb(JS a )

The proof of Theorem 3.1

As all the products Cb(x)Cb(y) have been computed, we can complete the proof of Theorem 3.1.
Proof of Theorem 3.1. By Table 7 and the discussion below it, there exist elements b, b′ in DG
such that b · b′ 6= 0. Hence LL(Z(kGe0 )) ≥ 3.
Note that the number of the conjugacy classes labeled by C (S a ), for some a, is the only one not
congruent to zero modulo 3; in fact, we have (q − 3)/24 ≡ 1 modulo 3 of those (see Table 4). This
explains why (1 + Cb(X))2 e0 6= (1 + Cb(X))2 while (1 + Cb(X))Cb(T ±1 )e0 = (1 + Cb(X))Cb(T ±1 ), and
(Cb(T ±1 ))2 e0 = (Cb(T ±1 ))2 . In particular,

 



(q−3)/24
(q−3)/24
(q−3)/24
X
X
X

Cb(S a ) ≡ eξ3 6= 0.
Cb(S a ) · 
Cb(S a ) · eξ3 ≡ 
a=1

a=1

a=1

From the multiplications already computed, it can be concluded that the Loewy length must be
equal to 3, since none of the outcomes of the non-zero multiplications of two elements in DG involve
the conjugacy classes C (X), C (T ), C (T −1 ) or C (S a ). It therefore follows that any triple of elements
in DG will multiply to zero. Hence LL(Z(kGe0 )) = 3.

4

The 3-block of the Sylow normaliser

We now state the main theorem on the normaliser of a Sylow 3-subgroup. Recall that the group algebra
kNG (P ) is indecomposable, where k is an algebraically closed field of characteristic 3. Throughout we
shall assume that q = 32k+1 with k > 0.
Theorem 4.1. Let N = NG (P ) where G = 2 G2 (q), q = 32k+1 ≥ 27, and P ∈ Syl3 (G). Then
LL(Z(kN )) = 2.

17

By Table 1, all non-trivial conjugacy classes of NG (P ) have class size divisible by 3 except C (X) which
has size |C (X)| = q − 1. Therefore a basis for J(Z(kNG (P ))) is given by
BNG (P ) = {Cb(x) | x ∈ P, x 6= 1NG (P ) , x 6∈ C (X)} ∪ {Cb(X) + 1}.

The proof of Theorem 4.1 will be spread over several lemmas. Let cc(NG (P )) denote the set of
conjugacy classes inside NG (P ). All conjugacy class sums are multiplied as elements in kNG (P ),
and all equivalences are taken modulo J(O)NG (P ). We will leave the multiplications for the element
Cb(X) + 1 till we have computed the other products.
Firstly we deal with the case where x ∈ P h(wj ) not corresponding to J, JT or JT −1 .

Lemma 4.2. Let C (x) ∈ {P h(wj ) | wj 6= ±1} and C (y) ∈ cc(NG (P )) \ {Cb(1N ), Cb(X)}. Then
Cb(x) · Cb(y) = 0.
Proof. By Table 1, |CG (x)| = q − 1 and |CG (y)|3 < q 3 . As the only characters which do not vanish on
P h(wj ) are the linear characters αi for 0 ≤ i ≤ q − 2, it follows that for all z ∈ NG (P )
!
!
q−2
q−2
X
X
a q−1
−1
a q−1
−1
a(x, y, z) = 3 ·
αi (x)αi (y)αi (z ) = 3 ·
αi (x)αi (yz )
s
s
i=0

i=0

q−1
(δx,(zy−1 ) · |CNG (P ) (x)|),
s
for a ≥ 1, gcd(3, s) = 1 and δx,y is defined to be equal to 1 if x = y and 0 otherwise. The second
equality follows from the fact that degree one characters are representations of the group and the third
from the column orthgonality. Thus is follows that a(x, y, z) ≡ 0 modulo J(O)NG (P ).
= 3a ·

As a(x, y, z) = a(y, x, z) it shall be assumed from now on that neither x nor y is of the form
P h(wj ), where P h(wj ) is not one of J, JT, JT −1 . Next consider the conjugacy classes of J, JT and
JT −1 .
Lemma 4.3. Let x ∈ C (J), C (JT ) or C (JT −1 ), and C (y) ∈ cc(NG (P ))\{C (1N ), C (X), C (P h(wj ))}.
Then Cb(x) · Cb(y) = 0.
Proof. First we observe that
q−2
X

αi (x)αi (y)αi (z −1 ) =

q−2
X

(−1)i αi (yz −1 ) =

i=0

i=0



q − 1 yz −1 ∈ C (J), C (JT ) or C (JT −1 )
;
0
otherwise

the final equality follows by taking row orthogonality in the character table of NG (P )/P .
For x as in the statement of the Lemma, we see that
!
P 2θ(x)θ(y)θ(z) q−2
P
q 3 (q−1)
i
−1
a(x, y, z) = |C
+
(−1) αi (yz )
(x)||C
(y)|
3k (q−1)
NG (P )

=

NG (P )

θ∈{µi ,µi }

q 3 (q−1)

3k (q−1)|CNG (P ) (x)||CNG (P ) (y)|
√

i=0

P

θ∈{µi ,µi }

2θ(x)θ(y)θ(z) + 3k (q − 1)

q−2
P

!

(−1)i αi (yz −1 ) .

i=0

As µi (g) = a+b2 −3 for a, b ∈ Z and the summands arising from the αi add up to an element in Z,
it is enough to consider when the front coefficient, given by
q 3 (q − 1)
,
3k (q − 1)|CNG (P ) (x)||CNG (P ) (y)|
is divisible by 3. However, as |CNG (P ) (x)| = qs, where gcd(3, s) = 1, this coefficient reduces to
q2
3k s|CNG (P ) (y)|
18

.

In particular, as y 6∈ C (X), it follows that this coefficient is divisible by 3 provided y is not in C (T )
or C (T −1 ). Thus is remains to consider the cases y ∈ C (T ) and C (T −1 ).
For z ∈ C (1NG (P ) ), C(X), C (T ), C (T −1 ), C (Y ), C (Y T ) or C (Y T −1 ), we have that dx < dz and
thus Theorem 2.3 implies a(x, y, z) ≡ 0. If z ∈ P h(wj ) for wj 6= ±1, then
q−1
a(x, y, z) = 3 ·
s
a

q−2
X

αi (x)αi (yz

i=0

−1

!

) ,

where a ≥ 0. This sum is non-zero only if yz −1 ∈ C (J), C (JT ), C (JT −1 ), which implies that yz −1
lies in P h(−1). As y ∈ P , by taking the image inside NG (P )/P = W , it follows that z must also lie
in P h(−1), which is a contradiction. Thus a(x, y, z) = 0.
As a(x, T, z) = a(x−1 , T −1 , z −1 ) and C (J)−1 = C (J), C (JT )−1 = C (JT −1 ), it is enough to
consider y ∈ C (T ) and z ∈ C (J), C (JT ) or C (JT −1 ).
In this case it follows that
q−2
X

αi (x)αi (T )αi (z) =

i=0

i=0

Therefore, for a =

√
−3k +32k −3
2

q−2
X

and b =

√
−1−3k −3
,
2

αi (T ) = q − 1.


2
k
2

4( q−1

2 ) (a + a) + 3 (q − 1)


k
2

4( q−1

2 )(ab + ab) + 3 (q − 1)

 q−1
X
4( 2 )(ab + ab) + 3k (q − 1)2
2θ(x)θ(y)θ(z) + 3k (q − 1)2 =

4(bab + bab) + 3k (q − 1)2


θ∈{µi ,µi }


4(bab + bab) + 3k (q − 1)2


 4(bab + bab) + 3k (q − 1)2

Hence

a(x, T, z) =


0




0



 q









q(q−3)
4
q(q−3)
4
q(q+1)
4

x, z ∈ C (J)
x ∈ C (J), z ∈ C (JT )
x ∈ C (J), z ∈ C (JT −1 )
x ∈ C (JT ), z ∈ C (JT )
x ∈ C (JT ), z ∈ C (JT −1 )
x ∈ C (JT −1 ), z ∈ C (JT )

x, z ∈ C (J)
x ∈ C (J), z ∈ C (JT )
x ∈ C (J), z ∈ C (JT −1 )
x ∈ C (JT ), z ∈ C (JT )
x ∈ C (JT ), z ∈ C (JT −1 )
x ∈ C (JT −1 ), z ∈ C (JT )

CH (z)
2
By recalling that a(x, y, z) = a(z −1 , y, x−1 ) C
a(J, T, JT −1 ),
, we note that a(JT, T, J) = q−1
H (x)
2
a(J, T, JT −1 ) = q−1
a(J, T, JT ) and a(JT, T, JT ) = a(JT −1 , T, JT −1 ). Thus it follows that a(x, T, z) ≡
0 modulo J(O)NG (P ).
This completes the proof.

As before, we can now assume that neither x nor y lie in one of P h(wj ), J,JT or JT −1 .
Lemma 4.4. Let C (x), C (y) ∈ {C (Y ), C (Y T ), C (Y T −1 )}. Then Cb(x) · Cb(y) = 0.

Proof. As both C (x) and C (y) lie in P , which is a normal subgroup, then a(x, y, z) = 0 for z ∈
C (P h(wj )), C (J), C (JT ) or C (JT −1 ). In particular, we may now assume that αi (x) = αi (y) =
αi (z) = 1.
By Table 1, |CG (x)| = |CG (y)| = 3q. Hence
!
λ(z −1 )
q 3 (q − 1) X θ(x)θ(y)θ(z −1 )
.
+q−1+
a(x, y, z) =
32 q 2
θ(1)
q−1
θ∈A

where A = {µ1 , µ2 , µ1 , µ2 , χ, χ}. Note that for θ ∈ A, we have |θ(1)|3 = 3k ; however at the same time
3k = |θ(x)|3 = |θ(y)|3 . Hence a(x, y, z) ≡ 0 for all z ∈ NG (P ).
19

Lemma 4.5. Let C (x) ∈ {C (T ), C (T −1 )} and C (y) ∈ {C (Y ), C (Y T ), C (Y T −1 )}. Then Cb(x) ·
Cb(y) = 0.

Proof. As x, y ∈ P , which is a normal subgroup, then a(x, y, z) = 0 for z ∈ C (P h(wj )), C (J), C (JT )
or C (JT −1 ). If z ∈ C (1N ), C (X), C (T ) or C (T −1 ), then dy < dz and so by Theorem 2.3, a(x, y, z) ≡ 0
mod J(O)NG (P ).
Thus assume z ∈ C (Y ), C (Y T ) or C (Y T −1 ). Then
!
X θ(x)θ(y)θ(z −1 )
(q − 1)
a(x, y, z) =
(q − 1) + 1 +
,
2·3
θ(1)
θ∈A

where A = {µ1 , µ2 , µ1 , µ2 , χ, χ}. The multiplication θ(x)θ(y)θ(z −1 ) is of the form 33k · s, where
gcd(3, s) = 1. Hence, as k ≥ 1, we have that modulo J(O)NG (P )


q−1 q
2k−1 s1
a(x, y, z) =
+3
·
≡ 0,
2
3
s2
as gcd(3, si ) = 1.
Lemma 4.6. Let C (x), C (y) ∈ {C (T ), C (T −1 )}. Then Cb(x) · Cb(y) = 0.

Proof. As in the previous lemma, if z ∈ C (P h(wj )), C (J), C (JT ) or C (JT −1 ) then a(x, y, z) = 0. If
z in C (1N ), C (X) then dx < dz and so by Theorem 2.3, a(x, y, z) ≡ 0.
If C (z) ∈ {C (T ), C (T −1 ), C (Y ), C (Y T ), C (Y T −1 )} then by Proposition 2.5, aNG (P ) (x, y, z) ≡
aG (x, y, z) ≡ 0 mod J(O)N .
Lemma 4.7. Let C (y) in cc(N ) \ {C (X), C (1N )}. Then (Cb(X) + 1) · Cb(y) = 0 and (Cb(X) + 1)2 = 0.

Proof. So far we have already calculated all structure constants apart from a(X, y, z); hence we can
use Proposition 2.4 to find the remaining ones.
P
By Proposition 2.4 and the conjugacy class sizes given in Table 1, we have x a(x, y, z) = |C (y)| ≡
0 modulo 3. Hence modulo J(O)NG (P ).
X
a(1, y, z) +
a(x, y, z) + a(X, y, z) ≡ 0 ∀z ∈ NG (P ).
x6∈{1N ,C (X)}

Now a(x 6= X, y, z) ≡ 0 and a(1, y, z) ≡ 0 except a(1, y, y) = 1. Therefore

0, if C (y) 6= C (z);
a(X, y, z) =
2, if C (y) = C (z).
Hence Cb(X) · Cb(y) = 2 · CbP
(y) and so (Cb(X) + 1) · Cb(y) ≡ 0.
b
Moreover 1 + C (X) = γ∈Z(P ) γ, and therefore (1 + Cb(X))2 = q(1 + Cb(X)) ≡ 0.

This concludes the proof of Theorem 4.1. Moreover, by combining Theorem 4.1 and Theorem 3.1
we have proven the main result of this paper, Theorem 1.1.

Acknowledgments
The work formed part of the second author’s PhD research, which was supported by EPSRC grant
1240275. The research of the first author is supported by the LMS Postdoctoral Mobility Grant 15-16
08.

20

References
[1] H. I. Blau and G. O. Michler. Modular representation theory of finite groups with T.I. Sylow
p-subgroups. Trans. Amer. Math. Soc., 319(2):417–468, 1990.
[2] M. Broué. Blocs, isométries parfaites, catégories dérivées. C. R. Acad. Sci. Paris Sér. I Math.,
307(1):13–18, 1988.
[3] M. Broué. Isométries parfaites, types de blocs, catégories dérivées. Astérisque, (181-182):61–92,
1990.
[4] W. Burnside. Theory of groups of finite order. Dover Publications, Inc., New York, 1955. 2d ed.
[5] R. Carter. Simple Groups of Lie Type. Wiley Classics Library, 1989.
[6] G. Cliff. On centers of 2-blocks of Suzuki groups. J. Algebra, 226(1):74–90, 2000.
[7] C. W. Curtis and I. Reiner. Representation theory of finite groups and associative algebras. Pure
and Applied Mathematics, Vol. XI. Interscience Publishers, a division of John Wiley & Sons, New
York-London, 1962.
[8] C. W. Eaton. Dade’s inductive conjecture for the Ree groups of type G2 in the defining characteristic. J. Algebra, 226(1):614–620, 2000.
[9] D. Gorenstein, R. Lyons, and R. Solomon. The classification of the finite simple groups. Number 3.
Part I. Chapter A, volume 40 of Mathematical Surveys and Monographs. American Mathematical
Society, Providence, RI, 1998. Almost simple K-groups.
[10] J.B. Gramain. Generalized Block Theory. PhD Thesis, 2005.
[11] The GAP group.
GAP - groups, algorithms and programming, Version 4.7.9; 2015.
(http://www.gap-system.org).
[12] G. A. Jones. Ree groups and Riemann surfaces. J. Algebra, 165(1):41–62, 1994.
[13] G. Karpilovsky. The Jacobson radical of group algebras, volume 135 of North-Holland Mathematics
Studies. North-Holland Publishing Co., Amsterdam, 1987. Notas de Matemática [Mathematical
Notes], 115.
[14] P. Landrock and G. O. Michler. Principal 2-blocks of the simple groups of Ree type. Trans.
Amer. Math. Soc., 260(1):83–111, 1980.
[15] R. Ree. A family of simple groups associated with the simple Lie algebra of type (G2 ). In Proc.
Sympos. Pure Math., Vol. VI, pages 111–112. American Mathematical Society, Providence, R.I.,
1962.
[16] I. Schwabrow. The centre of a block. PhD Thesis, University of Manchester, 2016.
[17] H. N. Ward. On Ree’s series of simple groups. Trans. Amer. Math. Soc., 121:62–89, 1966.

21

Appendix
Table 8: Character table of 2 G2 (q) [17]

22

ξ1
ξ2
ξ3
ξ4
ξ5
ξ6
ξ7
ξ8
ξ9
ξ10
ηr
ηr′
ηt
ηt′
ηl−
ηl+

1
1
q2 − q + 1
q3
2
q(q − q + 1)
(q − 1)m(q + 1 + 3m)/2
(q − 1)m(q + 1 + 3m)/2
(q − 1)m(q + 1 + 3m)/2
(q − 1)m(q + 1 + 3m)/2
m(q 2 − 1)
m(q 2 − 1)
q3 + 1
q3 + 1
(q − 1)(q 2 − q + 1)
(q − 1)(q 2 − q + 1)
(q 2 − 1)(q + 1 + 3m)
(q 2 − 1)(q + 1 + 3m)

Ra =
6 1
1
1
1
1
0
0
0
0
0
0
I−6
I−6
0
0
0
0

Sa =
6 1
1
3
−1
−3
1
−1
1
−1
0
0
0
0
II − 6
II − 6
0
0

Vi
1
0
−1
0
−1
0
−1
0
−1
−1
0
0
0
0
IV − 5
0

Wi
1
0
−1
0
0
1
0
1
1
1
0
0
0
0
0
IV − 5

X
1
1−q
0
q
−(q + m)/2
(q + m)/2
−(q + m)/2
(q + m)/2
−m
−m
1
1
2q − 1
2q − 1
−q − 1 − 3m
−q − 1 + 3m

Y
1
1
0
0
m
m
m
m
−m
−m
1
1
−1
−1
−1
−1

T
1
1
0
0
α
α
ᾱ
ᾱ
δ
δ̄
1
1
−1
−1
−3m − 1
3m − 1

T −1
1
1
0
0
ᾱ
ᾱ
α
α
δ̄
δ
1
1
−1
−1
−3m − 1
3m − 1

YT
1
1
0
0
β
β
β̄
β̄
ǫ
ǭ
1
1
−1
−1
−1
−1

Y T −1
1
1
0
0
β̄
β̄
β
β
ǭ
ǫ
1
1
−1
−1
−1
−1

JT
1
−1
0
0
γ
−γ
γ̄
−γ̄
0
0
1
−1
−3
1
0
0

JT −1
1
−1
0
0
γ̄
−γ̄
γ
−γ
0
0
1
−1
−3
1
0
0

JRa 6= J
1
−1
1
−1
0
0
0
0
0
0
I−6
I−6
0
0
0
0

JS a 6= J
1
−1
−1
1
1
−1
1
−1
0
0
0
0
II − 6
II − 6
0
0

√
√
√
√
√
where q = 32k+1 , m = 3k , α = (−m + im2 3)/2, β = (−m − im 3)/2, γ = (1 − im 3)/2, δ = −m + im2 3 and ǫ = (m + im 3)/2.

J
1
−1
q
−q
−(q − 1)/2
(q − 1)/2
−(q − 1)/2
(q − 1)/2
0
0
q+1
−(q + 1)
3(q − 1)
−(q − 1)
0
0

