GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF
GROUPS

arXiv:1801.10368v1 [] 31 Jan 2018

FREDERIK CAENEPEEL AND FRED VAN OYSTAEYEN
A BSTRACT. Glider representations can be defined for a finite algebra filtration FKG determined by a chain of subgroups 1 ⊂ G1 ⊂ ... ⊂ Gd = G. In this paper we develop the
generalized character theory for such glider representations. We give the generalization of
Artin’s theorem and define a generalized inproduct. For finite abelian groups G with chain
1 ⊂ G, we explicitly calculate the generalized character ring and compute its semisimple
quotient. The papers ends with a discussion of the quaternion group as a first non-abelian
example.

1.

INTRODUCTION

This paper aims to continue the study of glider representations appearing in group theory.
As such, it is a follow up of [1], [2] and more concretely, it starts from the definition of a
generalized trace map as defined in [2]. In a preliminary section, we recall the definition of
a glider representation and the relevant associated notions we will need. In general, glider
representations can be defined for any (positively) filtered ring FR, but here we specifically
work over the finite algebra filtration FKG of the group algebra KG of finite group G given
by a chain of subgroups 1 ⊂ G1 ⊂ . . . ⊂ Gd = G. Specifically, the algebra filtration is given
by F−n KG = 0, n > 0, Fn KG = KGn for 0 ≤ n ≤ d and Fn KG = KG for n ≥ d, with K an
algebraically closed field of characteristic 0. We also recall the definition of a generalized
trace map and a characterization of irreducibility in terms of the value of the associated
trace map at the unit element.
In [2] we argued how to retrieve the classical character table of a p-group G from the generalized character table and we indicated how this extended theory can discern between
the groups Q8 and D8 . In Section 3 of this paper we introduce the generalization of the set
of class functions, that is, functions G → CD , D = (d+1)(d+2)
, constant on the conjugacy
2
classes intersected with the different groups appearing in the chain. We denote this set
e and we equip it with a Z-module structure. Moreover, since every glider repby A (G)
resentation Ω ⊃ M yields such a generalized class function χM , we can view the additive
e consisting of Z-linear combinations of the χM . From [1] we know how to
subgroup R(G)
induce glider representations from a normal subgroup H ⊳ G to the bigger group G, which
brings us into the classical setting where Artin’s theorem can be proved. The section ends
with a generalization of this result, see Theorem 3.6.
In section 4 we define a C-bilinear map
e × R(G)
e → CD ,
h−, −i : R(G)

based on the various inproducts of the representation rings R(Gi ). For the chain 1 ⊂ G
with G abelian, we give a characterization of this generalized inproduct hχM , χM i for irreducible, bodyless gliders of essential length 1. From [2, Theorem 3.13] we argue why
irreducible gliders of essential length 1 are indexed by the subsets of G and we prove that
the set {χA A ∈ P (G)} is C-linearly independent, Theorem 4.4. We further show that the
The first author is Aspirant PhD Fellow of FWO.
1

2

F. CAENEPEEL AND F. VAN OYSTAEYEN

e is integral, Proposition 4.6. The section ends with a discussion
ring extension R(G)֒→R(G)
on a chain 1 < H < G of finite abelian groups.
Finite abelian groups G are isomorphic to their character groups Ĝ, which allows to cone Here the generalized character ring is
sider the algebra extension Q(G)֒→Q ⊗Z R(G).
e := Q ⊗Z R(G).
e In Section 5
computed with regard to the chain 1 < G and we denote Q(G)
e
e
we calculate the Jacobson radical J and the semisimple quotient Q(G)/J, Theorem 5.10.
Combined with the classification of primitive central idempotents in the group algebra
e Theorem 5.11. SecQ(G), see [5], we classify the primitive central idempotents in Q(G),
tion 6 extends the results from Section 5 for a chain 1 < H < G of finite abelian groups and
in the final section we calculate the generalized character ring for the non-abelian group
Q8 .

2. P RELIMINARIES
Consider a chain of groups 1 ⊂ G1 ⊂ . . . ⊂ Gd = G and associated algebra filtration FCG,
i.e. F−n CG = 0 for n > 0,Fi CG = CGi for 0 ≤ i ≤ d, Fn CG = CG for n ≥ d.
Definition 2.1. An (FCG-)glider representation is a K-vector space M, embedded in a
(left) CG-module Ω, together with a chain of descending chain of subspaces
Ω ⊃ M ⊃ M1 ⊃ . . . ⊃ Mn ⊃ . . .
such that ∀i ≤ j the Ω-action of CGi maps M j into M j−i and it holds that
CGi M j ⊂ M j−i ∩ Mi∗ ,
where Mi∗ = {m ∈ M CGi m ⊂ M}.
In [6], [1], the authors first define the more general notion of an FR-fragment, for FR some
positively filtered ring. A glider representation then appears as a particular example.
Let Ω ⊃ M ⊃ . . . ⊃ Mn ⊃ . . . be an FCG-glider representation. The intersection B(M) =
T
i Mi is a CG-module and we call it the body of the glider Ω ⊃ M. If there exists e ≥ 0
such that Me ) Me+1 and Me+1 = B(M), we say that the glider has finite essential length
el(M) = e. From general fragment theory (see [1],[3]) we may reduce to the situation
where B(M) = 0 and el(M) = d, i.e. Md ) Md+1 = 0. For j ≤ i we have CG j Mi ⊂ Mi− j ,
which we present in the following upper triangular matrix


M0
M1
...
Mi−1
Mi
...
Md−1
Md

G1 M1 . . . G1 Mi−1
G1 Mi . . .
G1 Md−1
G1 Md 




..
.
.
.
.
.
..
..
..
..
..


.




G
M
G
M
.
.
.
G
M
G
M
i−1 i−1
i−1 i
i−1 d−1
i−1 d 

A=

G
M
.
.
.
G
M
G
M
i i
i d−1
i d




.
.
.
..
..
..





Gd−1 Md−1 Gd−1 Md 
Gd Md

The i-th row of A consists of CGi -modules Gi M j . We denote the associated characters by
χi j . We propose the following definition
Definition 2.2. Let Ω ⊃ M be an FCG-glider representation of essential length d and
B(M) = 0, then the associated generalized trace of Ω ⊃ M is the map χM : G → CD , D =

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

3

(d+1)(d+2)
2

which sends g ∈ Gi \ Gi−1 to

0 ... 0
0
0
...

.
.
.
.
..
. . ..
..
..

.


0
0
0
...


χ
(g)
χ
(g)
.
..
i,i
i,i+1
χM (g) = 

χ
(g)
·
·
·
i+1,i+1


.
.

.



0
..
.

0
..
.







0
0

χi,d−1 (g)
χi,d (g) 

χi+1,d−1(g) χi+1,d (g) 


..
..

.
.

χd−1,d−1 (g) χd−1,d (g) 
χd,d (g)

We have written the image χM (g) in matrix form, but it really lives inside CD . Clearly
χM (g) = χM (g′ ) if and only if g ∈ c(g′ ) = {hg′ h−1 h ∈ G} and g, g′ ∈ Gi \ Gi−1 . By our
notation, we have that χM (g)i j = χM
i, j (g). The matrix χM (1) lists the dimensions of the
G j Mi and we have the following nice characterization, see [2].
Proposition 2.3. Let Ω ⊃ M be a glider representation with respect to a finite group algebra filtration. Then M is irreducible of essential length equal to the filtration length and
with B(M) = 0 if and only if the matrix χ(1) is symmetric with respect to the diagonal and
has a 1 in the upper right corner.
In loc. cit. we argued how to retrieve the classical character table of a p-group G from the
generalized character table and we indicated how this extended theory can discern between
the groups Q8 and D8 .
3. A RTIN ’ S

THEOREM

e the set of class functions, that is, maps G → K D that are constant on
We denote by A (G)
c(g) ∩ Gi \ Gi−1 for g ∈ Gi \ Gi−1 . For any integer n ∈ Z we define the class function cn by
the map that sends g ∈ Gi \ Gi−1 to


0 ... 0 ... 0

. 
. ..
..

. .. 
. ..


n ... n 
cn (g) = 
 ←−i−th row


.. 
..

. . 
n

Let H ⊳ G be a normal subgroup and consider the situation from [1], that is, we start with
an FKH-glider N and induce it to an FKG-glider M = N G . To construct the induced glider
we choose a set map σ : G/H → G such that π ◦ σ = idG/H . By choosing a sequence of
transversal sets T1 ⊂ T2 ⊂ . . . ⊂ Td = T (Ti transversal for Gi /Hi ) one obtains a 2-cocycle
h : G/H × G/H → H by the equality σ(g)σ(g′ ) = σ(gg′ )h(g, g′ ). To define the induced
glider we further need that for all g ∈ G, the map h(−, g) : G/H → H is is restricting to
Gi /Hi → Hi for all i. We say that the 2-cocycle is filtered. We define NiG = KT ⊗ Ni . Under
the condition that all Gi are normal in G we have that the Hi are normal in G, from which
it follows that for any i ≤ j
Gi (KT ⊗ N j ) = KT ⊗ Hi N j .
L

As a vector space, KT ⊗ Hi N j is the direct sum t∈T Kt ⊗ Hi N j , so to calculate the trace
for g ∈ Gi we must have that σ(gt) = σ(t) = t. If g = t1 h1 , this is equivalent to
⇔

t = σ(gt) = σ(g)σ(t)h(g,t)−1 = t1th(g,t)−1
t −1t1t = h(g,t) ∈ Hi .

4

F. CAENEPEEL AND F. VAN OYSTAEYEN

So we must sum over t ∈ T such that t −1t1t ∈ Hi or, equivalently, such that
t −1 gt = t −1t1 h1t ∈ Hi .
Moreover, in this case we have that
g · t ⊗ n = t ⊗ t −1t1tt −1 h1tn = t ⊗ t −1 gtn.
We conclude that

e

χG
M (g)i j =

∑

e

−1
χH
N (t gt)i j .

t∈T, t −1 gt∈Hi

Again, since all Gi are normal in G, we have that
t −1 gt ∈ Hi ⇔ (th)−1 g(th) ∈ Hi for all h ∈ H.
Hence
(1)

e

χG
M (g)i j =

1
|H|

∑
g0 ∈ G,
g−1
0 gg0 ∈ Hi

e

−1
χH
N (g0 gg0 )i j .

e carries a Z-module structure
The set A (G)

e → A (G),
e
Z × A (G)

which maps (n, f ) to the generalized class function which is the component wise mule the subset of A (G)
e consisting of all linear
tiplication of cn and f . We denote by R(G)
combinations
l

∑ cni χMi ,

i=1

where ni ∈ Z and Mi are glider representations. In [3] the authors introduced the notion of
˙ ′ which is defined by (M ⊕M
˙ ′ )i = Mi + Mi′ and for some i ≤
a fragment direct sum M ⊕M
′
el(M), el(N) the sum Mi + Mi is direct. By the strong fragment direct sum we mean (M ⊕
M ′ )i = Mi ⊕ Mi′ for all i ≥ 0. For a glider Ω ⊃ M we have that n · χM = χM⊕n where M ⊕n is
the strong fragment direct sum of n times M. Also, if M and M ′ are glider representations,
then χM⊕M′ = χM + χM′ . In the classical group case, the ring of class functions R(G)
carries a natural multiplication and it holds that the product of characters correspond to the
character of the tensor product of the representations. The category KG-mod is monoidal,
which allows to define the tensor product of fragments and glider representations.
Proposition 3.1. Let Ω ⊃ M, Ω′ ⊃ M ′ be FKG-glider representations of essential length
≤ d. Then the descending chain
Ω ⊗ Ω′ ⊃ M ⊗ M ′ ⊃ M1 ⊗ M1′ ⊃ . . . ⊃ Md ⊗ Md′ ⊃ 0 ⊃ . . .
is an FKG-glider representation.
Proof. All tensor products are over K, which explains the inclusions. The fragment conditions are satisfied since the comultiplication ∆ : KG → KG ⊗ KG is given by ∆(g) = g ⊗ g,
extended linearly.

Definition 3.2. Let Ω ⊃ M ⊃ M1 ⊃ . . ., Ω′ ⊃ M ′ ⊃ M1′ ⊃ . . . be FKG-gliders. Their tensor
product is the glider with chain
Ω ⊗ Ω′ ⊃ M ⊗ M ′ ⊃ M1 ⊗ M1′ ⊃ . . . .
In general, however, it is not the case that the generalized character χM⊗M′ associated to
the tensor product M ⊗ M ′ of two glider representations will correspond to the component
wise multiplication of χM and χM′ . Consider for example the chain 1 ⊂ G, then the irreducible gliders are determined in [2, Theorem 3.13]. This result shows that the tensor
product of such irreducible gliders is often not irreducible and splits by [3, Theorem 4.7]
into the fragment direct sum of one irreducible glider of essential length 1 and the direct

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

5

sum of some fragments isomorphic to K ⊃ 0 ⊃ . . . We will see some examples below.
We do want to incorporate the behavior of the tensor product of gliders in our generalized
e in the following way:
character theory and therefore we define a multiplication on R(G)
let M, M ′ be two glider representations, then
χM χM′ := χM⊗M′ .

The ∼ refers to the group together with its chain of subgroups. In what follows it will
e the generalways be clear which chain of subgroups we are working with. We call R(G)
alized character ring of the group G with given chain of subgroups. From formula (1) and
the results for ordinary group representations, see [8, chapter 9], we have a map

e
H

e

e

G
e
e
IndG
e : R(H) → R(G), χ 7→ IndH
e χ.
H

e ⊳ R(G)
e is an ideal.
Proposition 3.3. IndGe R(H)

Proof. Let M be an FKH-glider, N an FKG-glider. Let j ≤ i and g ∈ G j . As vector spaces
(M G ⊗ N)i = ⊕t∈T Kt ⊗ Mi ⊗ Ni = (M ⊗ NH )G . Let t ∈ T, m ∈ Mi , n ∈ Ni . If g = t ′ h, then
g · (t ⊗ m ⊗ n) = gt ⊗ h(g,t)t −1 htm ⊗ gn

in (M G ⊗ N) and
g · (t ⊗ m ⊗ n) = gt ⊗ h(g,t)t −1 htm ⊗ h(g,t)t −1 htn
in (M ⊗ NH )G . To calculate the character KG j (M G ⊗ N)i and KG j (M ⊗ NH )G
i one has to
−1
sum over the t ∈ T such that t gt ∈ Hi . For these t we have shown above that h(g,t)t −1 ht =
t −1 gt, from which it follows that
χMG ⊗N (g)i j = χ(M⊗NH )G (g)i j .
e
e
Hence χMG χN = χMG ⊗N = χ(M⊗NH )G ∈ IndGe R(H).



H

Inspired by the classical case, we introduce the following class functions: let C denote the
set of all cyclic subgroups of G and let H ∈ C . Then we obtain a chain of cyclic groups
Hi = H ∩ Gi and we define for h ∈ Hi \ Hi−1

|H| if i ≤ j ≤ l and < h >= Hi ,
χHe (h) jl =
0 otherwise.
We calculate for g ∈ Gi \ Gi−1 and i ≤ j ≤ l
e

∑ IndGHe χHe (g)jl

H∈C

=

=

1
H∈C |H|

∑

1
H∈C |H|

∑
g0 ∈ G,
g−1
0 gg0 ∈ Hi

∑

∑

g0 ∈ G,
−1
< g0 gg0 >= Hi

= |G| = c|G| (g) jl .
Hence we have proven
Lemma 3.4. The following equality holds
e

∑ IndGHe χHe = c|G| .

H∈C

χHe (g−1
0 gg0 ) jl
|H|

6

F. CAENEPEEL AND F. VAN OYSTAEYEN

The classical result [8, Proposition 28] which states that the constant class function

|H| if < h >= H,
χH : H → K, h 7→
0 otherwise
belongs to R(H) for a cyclic group H remains valid in our situation:
e for all H ∈ C .
Lemma 3.5. χHe ∈ R(H)

e where
Proof. Use induction on |H|, Lemma 3.4 and the fact that c|H| = c|H| χT ∈ R(H)
T ⊃ T ⊃ ... ⊃ T ⊃ 0 ⊃ ...

is the associated glider character with T the trivial H-representation.



We have the generalization of Artin’s theorem, [8, Theorem 17]
Theorem 3.6. If Ω ⊃ M is an FKG-glider representation then χM is a ‘rational’ linear
combination of characters induced from FKH-glider representations where H runs over
the cyclic subgroups of G.
e

e Since the latter is an ideal, it
Proof. By Lemma 3.4 we know that c|G| ∈ ∑H∈C IndGe R(H).
H
also contains c|G| χM , whence the result.

4.

RING STRUCTURE ON

From now on, we will work over K = C.

e
R(G)

Classically, the ring of class functions R(G) carries an inproduct h−, −i defined by
h f , gi =

1
∑ f (x)g(x−1 )∗ .
|G| x∈G

It is well-known that the characters χi associated to the irreducible representations Vi - we
call them the irreducible characters - form an orthonormal basis for R(G). We would like
to generalize this to glider characters for a chain of groups 1 ⊂ G1 ⊂ . . . ⊂ Gd = G. For
e we denote f = ( fi j )i j with
f ∈ R(G)


f00 (x) · · · f0i (x) · · · f0d (x)


..
..
..
..


.
.
.
.



f
(x)
·
·
·
f
(x)
f (x) = 
ii
id




.
.
..
..


fdd (x)
Definition 4.1. We define a C-bilinear map

given by






h f , gi = 




e × R(G)
e → CD ,
h−, −i : R(G)

h f00 , g00 iG0

...
..
.

h f0i , g0i iG0
..
.
h fii , gii iGi

...
..
.
...
..
.


h f0d , g0d iG0

..

.

G

i
h fid , gid i


..

.
G
d
h fdd , gdd i

where the upper index Gi indicates for which group the ordinary inproduct is calculated.
Let us consider the easiest chain 1 ⊂ G. In the case when G is abelian, we have the
following generalization of the orthonormality relations

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

7

Proposition 4.2. Let G be a finite abelian group. An FKG-glider representation Ω ⊃ M ⊃
M1 ⊃ 0 ⊃ . . . of essential length 1 and zero body is irreducible if and only if
 2

n 1
hχM , χM i =
0 n
for some n ≤ |G|.
Proof. Suppose that M ⊃ M1 is irreducible. By [2, Theorem 3.13] we know that M1 = Ka is
one-dimensional and that the dimension of M equals the number of irreducible components
n of M = KGM1 , which are moreover all non-isomorphic. We compute

  2

dimK (M)2 dimK (M1 )2
n 1
hχM , χM i =
=
0
hχGM1 , χGM1 i
0 n
For the other direction,
the 1 in the upper right corner, entails that dimK (M1 ) = 1. DeL
compose GM1 = i Vini , where all the Vi are 1-dimensional (G abelian!). In fact, since
GM1 ⊃ M1 is irreducible, all the ni are 0 or 1. It follows that
n = dimK (M) ≥ dimK (GM1 ) = ∑ ni = ∑ n2i = n,
i

i

whence M = GM1 and M ⊃ M1 is indeed irreducible.



Assume now that G = Cn =< b > is cyclic of order n and denote by ω = e
n-th root of unity. Recall the character table of Cn for example from [8].

2πi
n

a primitive

Lemma 4.3. Let S, T ∈ Irr(G) be non-isomorphic and let s, s′ ∈ S,t,t ′ ∈ T . The irreducible
gliders S ⊕ T ⊃ C(s + t) and S ⊕ T ⊃ C(s′ + t ′ ) are isomorphic.
φ

Proof. By Schur’s lemma, EndKG (S ⊕ T)−→C2 is an isomorphism. Since S and T are
1-dimensional, there exists (λ, µ) ∈ K 2 such that s′ = λs,t ′ = µt. Hence φ−1 (λ, µ) defines a
glider isomorphism.

Denote the irreducible G-representations by V0 ,V1 , . . . ,Vn−1 , i.e. b · vi = ωi vi . The irreducible characters are then given by χi (b j ) = ωi j . By [2, Theorem 3.13] and Lemma 4.3
we know that the irreducible gliders of essential length ≤ 1 and zero body are in 1-1 correspondence with subsets of {0, 1, . . . , n − 1}, where the bijection is given by
A ∈ P ({0, 1, . . . , n − 1}) = P ←→

M

Vi ⊃ Ka.

i∈A

Therefore, we denote by χA the character associated to the corresponding irreducible glider.
/ then the associated glider is C ⊃ 0. For 0 ≤ i ≤ n − 1 we
E.g. χ{i} = χVi ⊃Cvi . If A = 0,
denote

P i = {A ∈ P i ∈ A}.
We associate C with cC , i.e. λ ∈ C corresponds to the generalized class function cλ .
Theorem 4.4. The glider characters {χA A ∈ P } are C-linearly independent.
Proof. Suppose that
F=

∑ aAχA = 0,

for aA ∈ C.

A∈P

Then F(1)12 = ∑A∈P \0/ aA = 0. For 0 ≤ i ≤ n − 1 we have that hF, χ{i} i = 0, so in particular
hF22 , (χ{i} )22 iG = hF22 , χVi iG =

∑

A∈P i

aA = 0.

8

F. CAENEPEEL AND F. VAN OYSTAEYEN

Choose an ordering {A1 , A2 , . . . Ak } starting with {{0}, {1}, . . ., {n − 1}, {n − 2, n − 1}, . . .}.
It follows that
   
0
aA
 a 1  0

C
 A2   
 ..  =  .. 
1 1 ··· 1
 .  .
|
{z
}
0
aAk
Ce

where C = (ci j )i j is an n × (2|G| − 1)-matrix defined by

1 if i − 1 ∈ A j ,
ci j =
0 otherwise.
e
Consider the left (n + 1) × (n + 1)-submatrix of C:

1 0 ··· 0
 0 1 ··· 0

 .. .. . .
.

. ..
A= . .
 0 0 ··· 1

 0 0 ··· 0
1 1 ··· 1

0
0
..
.
0
1
1

Then

det(A) =

1 0
0 1
1 1

1
1
1

0
0
..
.








1 

1 
1

= −1.

e = n − 1 and it follows that all aA = 0 for A 6= 0.
/ Finally, since χ0/ (1)11 = 1, it
Hence rk(C)

follows that a0/ = 0 as well.

e How about the explicit ring structure on
It follows that {χA A ∈ P } is a C-basis for R(G).
e
R(G)? Let A, B ∈ P . Then χA χB is not an irreducible character if and only if there exist
i, k ∈ A, j, l ∈ B such that
Vi ⊗ V j ∼
= Vk ⊗ Vl .
This is equivalent to i + j = k + l ∈ Zn or k − i = j − l ∈ Zn . It follows that
χA χB = χC + cχ0/ ,
where
C = {i + j i ∈ A, j ∈ B′ },
and
c=

∑

δk−i, j−l .

i < k in A,
l < j in B
For example, if n ≥ 4,
χ{0,1}χ{1,2} = χ{1,2,3} + χ0/ .
Remark 4.5. The above discussion actually holds for any finite abelian group G. Indeed,
a finite abelian group G is isomorphic to its character group Ĝ, but the isomorphism is not
canonical. By choosing such an isomorphism, one establishes a one-to-one correspondence
between the irreducible gliders of essential length 1 and zero body and the subsets of
{g g ∈ G}. It follows that for A, B such subsets
(2)

χA χB = χC + cχ0/ ,

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

9

where C = {gh g ∈ A, h ∈ B} and
c=

1
2

∑

δgh,g′ h′ .

g 6= g′ ∈ A
h 6= h′ ∈ B

One checks that Theorem 4.4 remains valid.
e χg 7→
Proposition 4.6. Let G be a finite abelian group. The ring morphism ι : R(G) → R(G),
χ{g} defines an integral ring extension.

Proof. It is clear the ι defines a ring extension. From (2) we see that the ideal generated
by χ0/ is just Zχ0/ and since χ0/ is an idempotent, it suffices to show that any χA for A ∈ P is
integral over R(G)[χ0/ ]. Hence, take A ∈ P and write χnA = χAn + cn χ0/ for n ≥ 1. If 1 ∈ A,
then
A = A1 ⊂ A2 ⊂ A3 ⊂ . . .
Since G is finite, this chain stabilizes at some An . Hence it follows that
χn+1
∈ R(G)[χ0/ ] + R(G)[χ0/ ]χA + · · · + R(G)[χ0/ ]χnA ,
A
/ A,
from which it follows that R(G)[χ0/ ][χA ] is a finitely generated R(G)[χ0/ ]-module. If 1 ∈
take some g 6= 1 ∈ A. It follows that Ao(g) contains 1, where o(g) denotes the order of g.
o(g)

We know that χA

is integral, whence so is χA .



e for G finite
In the following section we continue the study of the ring properties of R(G)
abelian with chain 1 < G. To end this section, we consider a slightly more elaborate chain,
namely a chain 1 < H < G of length 2. For these chains, the irreducible gliders of essential
length 2 and zero body look like
M

Vg ⊃ CHv ⊃ Cv

g∈A

for some A ⊂ P (G). In general, if a glider M ⊃ M1 ⊃ . . . ⊃ Mi ⊃ . . . is irreducible, then so
is the glider Mm ⊃ Mm+1 ⊃ . . . for any m ≥ 0. In casu, for the glider CH ⊃ Cv, the group G
does not play any role, hence it is also irreducible as FCH-glider and CHv = ⊕h∈BZh for
some subset B ⊂ H. By general glider theory, it is clear that A determines B. Concretely,
choose an isomorphism
ϕ : G → Ĝ between G and its character group, and do the same for
∼
=
H, i.e. ψ : H −→Ĥ. The composition morphism
φ

res

ψ−1

G−→Ĝ−→Ĥ −→H
is surjective and we denote it by π : G ։ H. Let us consider the example 1 ⊂ Cn ⊂ Cnm ,
where Cnm =< a > and Cn =< am >. For a cyclic group CN =< b > we have an isomorphism
φ : CN → CˆN , bi 7→ [b 7→ ωi ],
where ω is an N-th primitive root of unity. By composing with the isomorphism CˆN →
ZN , φ(bi ) 7→ i we obtain that
π : Cnm ։ Cn , ai 7→ ai ,
corresponds to the canonical projection map
π : Znm ։ Zn .
The subsets of CN correspond to subsets of {0, 1, . . . , N − 1} so we will work over subsets
over the integers, rather than over subsets of the cyclic group. For A ∈ P ({0, 1, . . . , nm−1})
we denote π(A) by A = {π(i) i ∈ A}. Hence
CCn v = ⊕i∈A Zi ,

10

F. CAENEPEEL AND F. VAN OYSTAEYEN

where the Zi , 0 ≤ i < n denote the irreducible Cn -representations. We introduce the following set
Cn,nm = {(|A|, |π(A)|) ∈ N2 A ∈ P ({0, 1, . . . , nm − 1})}.
Proposition 4.2 extends to
Proposition 4.7. An FCCnm -glider representation Ω ⊃ M ⊃ M1 ⊃ M2 ⊃ 0 ⊃ . . . of essential length 2 and zero body is irreducible if and only if
 2 2

k l 1
hχM , χM i =  0 l l 
0 0 k
for some (k, l) ∈ Cn,nm .

As another example, consider the chain 1 ⊂ Cn ⊂ Cn × Cm . In this case we have a 1-to-1
correspondence between the irreducible gliders and P ({0, 1 . . . , n − 1}) × P ({0, 1, . . ., m −
1}). By picking the same isomorphisms as before, the map π : Cn × Cm → Cn is also just
the canonical projection map. Analogously one then proves the following
Proposition 4.8. An FCCnCm -glider representation Ω ⊃ M ⊃ M1 ⊃ M2 ⊃ 0 ⊃ . . . of essential length 2 and zero body is irreducible if and only if


(kl)2 l 2 1
l l 
hχM , χM i =  0
0
0 kl
for some k ≤ m, l ≤ n.

Remark 4.9. For (n, m) = 1, the group Cnm sits in both cases. Let (k, l) ∈ Cn,nm , then
l = πCn (k). Let l ′ = πCm (k). Because n and m are coprime, if follows that k = ll ′ and we
see that the results form both propositions are the same.
5.

PRIMITIVE CENTRAL IDEMPOTENTS

In this section, G is a finite abelian group with chain 1 < G. From Remark 4.5 we know that
we can choose an isomorphism between a finite abelian group G and its character group
Ĝ. This isomorphism extends automatically to an isomorphism of the group ring ZG and
the representation ring R(G). By tensoring with the rational numbers, we then obtain an
isomorphism QG ∼
= Q ⊗Z R(G) of Q-algebras. Also in Remark 4.5, we provided the ring
e and we see that R(G)
e is the semigroup algebra ZS of the semigroup S
structure on R(G)
given by
S = {A ∈ P (G)}
with multiplication as defined in Remark 4.5. For generalities on semigroups, we refer to
[7]
e This allows us
In the previous section, we derived an integral ring extension R(G)֒→R(G).
e
to consider the Q-algebra extension QG֒→Q ⊗Z R(G) (Q is flat as Z-module). We denote
e := Q ⊗Z R(G).
e Since G is finite, Maschke’s theorem entails that the rational group
Q(G)
algebra Q(G) is semisimple, hence our first task is to determine the Jacobson radical of
e Secondly, we will determine the primitive central idempotents. To this extent, we
Q(G).
mention the results obtained in [5]. In loc. cit. the authors describe the primitive central
idempotents of the group algebra QG for G a finite nilpotent group. Let us introduce some
1
notation. Let H ≤ G be a subgroup. Then Ĥ = |H|
∑h∈H h is an idempotent, which is central
if and only if H is normal. Denote by M (G) the set of all minimal normal subgroups and
define
ε(G) = ΠL∈M (G) (1 − L̂).

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

11

For a normal subgroup N ⊳ G, we consider M (G/N) and write L for the associated subgroup to L of G/N containing N. It appears that
ε(G, N) = N̂ΠL∈M (G/N) (1 − L̂)
is a primitive central idempotent if and only if G/N is cyclic and these are all the primitive
central idempotents, see [5, Corollary 2.1].
In proving their results in [5], the authors used the isomorphism Z(G/H) ∼
= (ZG)Ĥ, for
H a normal subgroup in G. In our setting, we can extend the canonical homomorphism
] defined by
e → R(G/H),
ω : G → G/H to a Z-linear morphism ωH : R(G)
ωH (

∑

aA χA ) =

A∈P (G)

∑

aA χω(A) .

A∈P (G)

This morphism is however not a ring morphism in general.
f4 ) we
Example 5.1. Consider the groups Z2 ⊂ Z4 and write Z4 /Z2 = {e, a}. Then in R(Z
^
have χ{1,3}χ{0,2} = χ{1,3} + 2χ0/ but in R(Z4 /Z2 ) it holds
χ{a} χ{1} = χ{a} .

By modding out the ideal (χ0/ ) = Zχ0/ we get the induced map
]
e
ωH : R(G)/(χ
0/ ) → R(G/H)/(χ0/ ).

Lemma 5.2. Let H ⊂ G be a subgroup. The map ωH is a ringmorphism.
Proof. Trivial.



Hence, from now on we will always work modulo the ideal (χ0/ ) but we do not alter our
e means R(G)/(χ
e
notation, i.e. R(G)
0/ ). In fact, from a semigroup point of view, the element
χ0/ is a 0-element. To get some feeling with these semigroup algebras, we include the
following example
Example 5.3. For G = C p =< a >, the cyclic group of order p, we have that
1 = ε(G) + Ĝ ∈ Q(C p ).
fp ) however, one verifies that
In Q(C

ψ(C p ) :=

p−1

∑

i=0

1
χ i − χCp
p {a }

is idempotent and
1 = χ{1} = ε(C p ) + ψ(C p ) + χCp ,
is a decomposition into orthogonal idempotents. For now, it is not clear whether ψ(C p ) is
primitive or not.
Let us compute the kernel Ker(ωH ). Choose a transversal set T for H in G. Every element
g in G can be written uniquely as the product th for some t ∈ T , h ∈ H, hence we can
associate to any A ⊂ G, the subset TA ⊂ T consisting of all the t’s appearing in these
products. Define
P (G, B) = {A ∈ P (G) TA = B}, B ∈ P (T ).
Clearly, it holds that P (G) = ⊔B∈P P (G, B) and in particular the element χBH ∈ P (G, B).
e Define
Let α = ∑A∈P (G) aA χA ∈ R(G).

α′ = ∑
∑ aA χBH .
B∈P (T ) A∈P (G,B)

12

F. CAENEPEEL AND F. VAN OYSTAEYEN

We have that ωH (α) = ωH (α′ ). Suppose that ωH (α) = 0. By Theorem 4.4 it follows that
for any B ∈ P (T ) it holds
aBH = −
aA .
∑
A∈P (G,B)\{BH}

It follows that
α =

∑
B∈P (T )

=

∑
B∈P (T )

=

∑

B∈P (T )

"

"

"

∑

−aA χBH + aAχA

A∈P (G,B)\{BH}

∑

−aA χA χH + aAχA

A∈P (G,B)\{BH}

∑

#

#

#

aA χA (1 − χH ) .

A∈P (G,B)\{BH}

Hence we have just proven the following
Proposition 5.4. The kernel of ωH equals Ker(ωH ) = (χH − 1).
] ∼
] ∼
e H , hence Q(G/H)
e H.
As a corollary we obtain that R(G/H)
= R(G)χ
= Q(G)χ
e is a primitive central idempotent.
Proposition 5.5. The element χG ∈ Q(G)

e → Q ⊗Z R(G)χ
e G is the annihiProof. The kernel of the ringmorphism · χG : Q ⊗Z R(G)
lator of χG . Hence by Proposition 5.4 we have that
∼
∼
e
e G∼
Q ⊗Z R(G)χ
= Q ⊗Z R(G)/Ker(ω
G ) = Q ⊗Z Z = Q.



Again in terms of semigroups, the element θ = χG is a 0-element. From now, we consider
the contracted semigroup algebra QSθ . It is known that any cyclic semigroup hsi in a
finite semigroup S contains an idempotent. There is also a natural order on the set E(S) of
idempotents given by e ≤ f if and only if e = e f = f e for e, f ∈ E(S).
Lemma 5.6. Let A ∈ P (G), then the cyclic semigroup hχA i contains a unique minimal
idempotent.
Proof. It is clear that χ2B = χB if and only if B ≤ G is a subgroup. Suppose that An = H and
Am = H ′ are both idempotents, i.e. subgroups of G and suppose that n ≤ m. We can write
m = kn + r for some 0 ≤ r ≤ m− 1. It follows that H ′ = Am = HAm−n = HA(k−1)n Ar = HAr .
Hence (HAr )2 = HA2r = HAr . From this it follows that
Am = (HAr )2 = (HAr )n = H = An .
It follows that there is only one idempotent in hAi which is therefore minimal.



Definition 5.7. For A ∈ P (G) we define n(A) to be the unique minimal idempotent in hAi.
/
Lemma 5.8. Let A ∈ P (G) and n(A) = H. Then either A ⊂ H or A ∩ H = 0.
Proof. Suppose that b ∈ A ∩ H and let n ≥ 0 be such that An = H. Let a ∈ A, then abn−1 ∈
H. Since b ∈ H, so is b1−n , whence a ∈ H. This shows that A ⊂ H.

Lemma 5.9. Let A ∈ P (G) and n(A) = H. Then A ⊂ gH for some g ∈ G.
/
Proof. If A ∩ H 6= 0/ then g = 1 satisfies by the previous lemma, so suppose that A ∩ H = 0.
Let n ≥ 0 be such that An = H, then we have that A ⊂ a1−n H for some a ∈ A.


GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

13

e Let
We can now construct nilpotent elements in the (contracted) semigroup algebra Q(G).
A ∈ P (G) with n(A) = H. By Lemma 5.8 there exists some g ∈ G such that A ⊂ gH. The
e denotes the Jacobson radical. Indeed, suppose
element χgH − χA ∈ J where J = J(Q(G))
first that g = 1. For m the smallest integer such that Am = H we have
m  
m
m
(−1)m−i χiH χm−i
(χH − χA)
= ∑
A
i=1 i
m  
m
(−1)m−i χH
= ∑
i
i=1
=

(1 − 1)mχH = 0.

Now if g ∈
/ H, then g−1 A ⊂ H and χH − χg−1 A ∈ J. It follows that
χgH − χA = χg (χH − χg−1A ) ∈ J.
Denote by I the ideal generated by the elements χgH − χA where A runs over the subsets of
G. Observe that if A = {g} is a singleton, that n(A) = 1 and χ{g}1 − χA = 0.
Theorem 5.10. The Jacobson radical J equals I and we have a ring isomorphism
ϕ:

M

H<G

e
Q(G/H) → Q(G)/J,

where the unit element eH of Q(G/H) is sent to ΠH ′ ∈M (G/H) (χH − χH ′ ).
Proof. In order for φ to be well-defined, it suffices to check that ϕ(eH )ϕ(eZ ) = 0 for
two different subgroups H, Z of G. To see this, choose subgroups H ′ ∈ M (G/H), Z ′ ∈
M (G/Z) such that H ′ ≤ HZ and Z ′ ≤ HZ. In the product ϕ(eH )ϕ(eZ ) there appear the
factors (χH − χH ′ ) and (χZ − χZ ′ ). We calculate that their product equals
χHZ − χH ′ Z − χHZ ′ + χH ′ Z ′ .

(3)

We have the inclusions H ′ Z ≤ HZ ≤ H ′ Z and HZ ′ ≤ HZ ≤ HZ ′ , or HZ = H ′ Z = HZ ′ .
From this it follows that
H ′ Z ′ = H ′ HZ ′ = H ′ HZ = H ′ Z = HZ,
and we see that (3) is indeed 0. To show that ϕ is surjective, we observe that ϕ(eH ) = χH
for H < G a maximal subgroup. If n = l(G) is the Jordan-Hölder length of G, then for an
H of length n − 2 we have that
ϕ(eH ) = χH +

∑

aH ′ χH ′ ∈ Im(ϕ).

H ′ ∈M (G/H)

Surjectivity now follows from a downwards induction on the Jordan-Hölder lengths of the
subgroups. That ϕ is an isomorphism now follows from a dimension argument and the
claim about the Jacobson radical is a direct consequence of Wedderburn-Artin.

e
As a corollary we can give a complete list of the primitive central idempotents in Q(G).
To this extent we denote
ψ(G, H) := ϕ(eH ) = ΠH ′ ∈M (G/H) (χH − χH ′ ).

b = 1 ∑g∈A g in Q(G). We denote the
Also, for A ⊂ G we have the associated element A
|A|
e by Ǎ. Of course, there is an embedding Q(G) ⊂ Q(G),
e but
element 1 ∑g∈A χ{g} in Q(G)
|A|

this does not correspond to the embedding given by ϕ. Finally, by ε̌(G, N) we denote the
element
e
ε̌(G, N) = ŇΠL∈M (G/N) (1 − Ľ) ∈ Q(G).

14

F. CAENEPEEL AND F. VAN OYSTAEYEN

Let H < G be a subgroup and take a subgroup N in G/H. The group N is isomorphic to
some N/H with H ≤ N ≤ G a subgroup. Pick a transversal set THN for H in N. Inside the
group algebra Q(G/H) we have the element
b=
N

It follows that
b =(
ϕ(N)

1
∑ etH .
|THN | t∈T N
H

1
∑ χ{t} )ψ(G, H) = TˇHN ψ(G, H)
|THN | t∈T N
H

e By the results in [5] and Theorem 5.10
Let e be a primitive idempotent in Q(G).
e = ϕ(ε(G/H, N))

for subgroups H ≤ N ≤ G such that G/N is cyclic. We calculate
ϕ(ε(G/H, N))

b
b
= ϕ(N)Π
G/H (ϕ(eH ) − ϕ(L))
[L]∈M (
)
N


= TˇHN ψ(G, H)Π[L]∈M ( G/H ) ψ(G, H) − TˇHL ψ(G, H)
N

= ψ(G, H)TˇHN ΠL∈M (G/N) (1 − TˇHL )
= ψ(G, H)ε̌(G, N).

Theorem 5.11. Let G be a finite abelian group. The primitive central idempotents of
e are precisely the elements ψ(G, H)ε̌(G, N) for subgroups H ≤ N ≤ G such that G/N
Q(G)
is cyclic.
6. A

MORE COMPLICATED CHAIN

One of the ideas of glider representation theory is to build a new sort of representation
theory which captures the information given by the algebra or ring filtration. Therefore, we
e for the slightly more complicated
will now consider the generalized character ring R(G)
chain 1 ⊂ H ⊂ G, where G is finite abelian. From now on, we will denote this ring by
e below, we mean the character ring associated to the chain
R(H < G). When we write R(G)
1 ⊂ G. From the discussions after Proposition 4.6 we know that the irreducible gliders of
essential length 2 are determined by {(A, π(A)) ∈ P (G) × P (H)}. Recall that π : G ։ H
is the surjective group morphism obtained by choosing group isomorphisms between G, H
and their character groups. Denote by K = Ker(π).
Example 6.1. Let V4 =< a, b a2 = 1 = b2 > and denote c = ab. Let H = {1, c}. If we
denote by Tg (g = a, b, c) the irreducible representation which sends g and 1 to 1 and the
other two elements to -1, then π : V4 ։ {1, c} is given by
1 7→ 1, a 7→ c, b 7→ c, c 7→ 1,
whence K = {1, c}. If we would have chosen the isomorphism V4 ∼
= V̂4 , a 7→ Tc , b 7→ Ta , c 7→
Tb , then K would be {1, a}.
For A ∈ P (G) we denote the associated element in R(H < G) by χ(A,π(A)).
When we dealt with the chain 1 ⊂ G, we only had to look at irreducible gliders of essential
e
length 1 or 0, the latter corresponding to C ⊃ 0 ⊃ . . . which yielded a 0-element in R(G).
For 1 ⊂ H ⊂ G, we also have to consider irreducible gliders of essential length 1, which
are of the form Ω ⊃ M ⊃ Cm ⊃ 0 ⊃ . . ., with M = CHm. It follows that M ⊃ M ⊃ Cm is a
C ⊂ CH-glider. Of course, given Ω, we can associate to it the irreducible FCG-glider
Ω ⊃ CGm ⊃ M ⊃ Cm ⊃ 0 ⊃ . . .

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

15

and we see that different Ω′ s yield different gliders. In any case, we see that the irreducible
gliders of essential length 1 correspond to the irreducible gliders for 1 ⊂ H, which we know
are labeled by the subsets of H. For B ∈ P (H) we write χ(0,B)
for the element in R(H < G).
/
Finally, the irreducible glider C ⊃ 0 ⊃ . . . of essential length 0 yields the element χ(0,/ 0)
/ .
Let us determine the multiplication rules in R(H < G). First, let M ⊃ M1 ⊃ Cm ⊃ 0 ⊃ . . .
and N ⊃ N1 ⊃ Cn ⊃ 0 ⊃ . . . be two irreducible gliders of essential length 2 corresponding
to A and B in P (G). In the fragment decomposition of M ⊗ N there appears only one
irreducible glider of essential length 2, namely
M

Tc ⊃

c∈AB

M

Sd ⊃ Cm ⊗ n,

d∈π(AB)

where Ta denotes an irreducible representation of G, and Sb one of H. As H-representations,
we have
M1 ⊗ N1 ∼
=(

M

Sh ) ⊗ (

M

M

S h′ ) ∼
=

h′ ∈π(B)

h∈π(A)

Scnc ,

c∈π(AB)

for some nc ≥ 1. In fact, whenever nc > 1, we have nc − 1 irreducible gliders of essential
length 1 splitting off. In fact, these gliders are isomorphic to χ(0,{c})
. Finally, in the
/
decomposition of M ⊗ N there can appear irreducible gliders of essential length 0, from
which it follows that

∑

χ(A,π(A))χ(B,π(B)) = χ(AB,π(AB)) +

(nc − 1)χ(0,{c})
+ dχ(0,/ 0)
/
/ ,

c∈π(AB)

for some d ≥ 0. Next, we consider the product of χ(A,π(A)) and χ(0,B)
for A ⊂ G, B ⊂ H.
/
Their tensor product becomes
M ⊗ N ⊃ M1 ⊗ Cn ⊃ 0 ⊃ . . .
It follows that

∑

χA,π(A))χ(0,B)
=
/

χ(0,Bh)
+ dχ(0,/ 0)
/
/ ,

h∈π(A)

for some d ≥ 0. Finally, it is straightforward that
χ(0,B)
= χ(0,BC)
+ dχ(0,/ 0)
/ χ(0,C)
/
/
/ ,
for B,C ∈ P (H) and some d ≥ 0.
Combining everything we see that R(H < G) is the semigroup algebra ZS of the semigroup
S given by
/ B) B ∈ P (H)} ∪ {(0,
/ 0)}.
/
S = {(A, π(A) ∈ P (G) × P (H)} ∪ {(0,
The element θ = χ(0,/ 0)
/ is again a 0-element hence we can work in the contracted semigroup
algebra ZSθ and the multiplication rules become
χ(A,π(A))χ(B,π(B))

∑

= χ(AB,π(AB)) +

(nc − 1)χ(0,{c})
,
/

c∈π(AB)

χA,π(A))χ(0,B)
/

=

∑

χ(0,Bh)
,
/

h∈π(A)

χ(0,B)
/ χ(0,C)
/

= χ(0,BC)
.
/

We again wonder whether we can find nilpotent and idempotent elements in
Q(H < G) := Q ⊗Z R(H < G) = QS

16

F. CAENEPEEL AND F. VAN OYSTAEYEN

(in fact the contracted semigroup algebra). From the multiplication rules above, we see
that the element χ(0,{1})
is a central idempotent and one verifies that we obtain a ring
/
isomorphism
∼
=
e
Q(H < G)−→Q(H < G)(1 − χ(0,{1})
) × Q(H),
/

which is defined by

χ(A,π(A)) 7→ (χ(A,π(A)) −

∑

∑

χ(0,{h})
,
/

h∈π(A)

χ(0,{h})
)
/

h∈π(A)

and
χ(0,B)
7→ (0, χ(0,B)
/
/ ).
e is, so we focus on
We already know what the Jacobson radical of Q(H)
T := Q(H < G)(1 − χ(0,{1})
).
Denote
by
f
:
Q(H
< G) → T the ring morphism obtained
/
by composing the above isomorphism with the projection on T . Because
f (χ(A,π(A)) ) f (χ(B,π(B)) ) = f (χ(AB,π(A)π(B))),
the calculations from Section 5 that lead to the nilpotent elements χA − χgn(A) if A ⊂ gn(A)
go through here. Explicitly, for A ⊂ G there exist g ∈ A and a subgroup N ≤ G such that
A ⊂ gN and then f (χ(A,π(A)) − χ(gN,π(g)π(N))) is nilpotent in S. If we denote by I the ideal
of S generated by these elements we arrive at
Proposition 6.2. We have an isomorphism of rings
M

Q(G/N) →

N<G

Q(H < G)(1 − χ(0,{1})
)
/
,
I

where the unit element eN of Q(G/N) is sent to ΠN ′ ∈M (G/N) ( f (χ(N,π(N)) ) − f (χ(N ′ ,π(N ′ )) )).
Proof. By the discussion above, the proof is analogous to the proof of Theorem 5.10.
7. T HE QUATERNION

GROUP



Q8

In this section we compute the generalized character ring for the non-abelian group
Q8 =< i, j, k i2 = j2 = k2 = i jk > with chain 1 ⊂ Q8 . The character table is given by
T1
Ti
Tj
Tk
U

{1} {−1} {i, −i} { j, − j}
1
1
1
1
1
1
1
−1
1
1
−1
1
1
1
−1
−1
2
−2
0
0

{k, −k}
1
−1
−1
1
0

The irreducible characters associated to the one-dimensional representations generate an
abelian subgroup of the character ring R(Q8 ) isomorphic to V4 =< a, b a2 = b2 >. We fix
the isomorphism
1 7→ T1 a 7→ Ti b 7→ T j c 7→ Tk
To discuss the behavior of the two-dimensional irreducible representation U we fix a basis
{e1 , e2 } such that U has the following presentation:




0 i
−i 0
i 7→
, j 7→
.
i 0
0 i
Theorem 3.13 from [2] together with Schur’s lemma show that every point [λ : µ] ∈ P1
determines an irreducible glider representation U ⊃ C(λe1 + µe2 ) and two different points
in P1 yield non-isomorphic gliders. Since U is 2-dimensional, there also exist irreducible
gliders of the form U ⊕2 ⊃ C(u1 + u2) such that dimC (< u1 , u2 >) = 2. By the following
lemma, there is, up to isomorphism, only one such irreducible glider.

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

17

Lemma 7.1. Let M ⊃ M1 ⊃ 0 ⊃ . . . , N ⊃ N1 ⊃ 0 ⊃ . . . be irreducible gliders with M ∼
=
U ⊕2 ∼
= N. Then both gliders are isomorphic.
Proof. There exist ui , u′i ∈ U (i = 1, 2) such that M1 = C(u1 + u2 ), N1 = C(u′1 + u′2 ). Let B
be a base change matrix for {u1 , u2 } and {u′1 , u′2 }. Since EndQ8 (U⊕2 ) ∼
= M2 (C), we have
that B yields an isomorphism between both gliders.

As a corollary we deduce that the irreducible gliders of essential length 1 and zero body
are labeled by
P (V4 ) × (P1 ⊔ ∗),
where ∗ indicates that U ⊕2 appears in the decomposition of M. If an irreducible character
has label (A, [λ : µ]), we denote the associated generalized character by χ(A,[λ:µ]) as we did
in the abelian case. For example, the character of
T1 ⊕ Tb ⊕ U ⊕2 ⊃ C(t1 + tb + u1 + u2) ⊃ 0 ⊃ . . .
f8 ). First of all,
is denoted by χ({1,b},∗). Let us now compute the multiplication rules in R(Q
the character associated to the irreducible glider C ⊃ 0 is again denoted by χ(0,/ 0)
/ , which is
a 0-element. In what follows, we will always set this element equal to 0. We wonder what
happens to the tensor product

 

(4)
U ⊃ C(λ1 e1 + µ1 e2 ) ⊗ U ⊃ C(λ2 e1 + µ2e2 ) .
We have the following classical result

Proposition 7.2. Let G be a finite group, V an irreducible representation. Then V ⊗ V is
irreducible if and only if V is one-dimensional.
Proof. If dimC (V ) > 1, then the switch map τ : V ⊗ V → V ⊗ V, v ⊗ w 7→ w ⊗ v is not a
scalar multiplication of the identity morphism, hence dimC EndG (V ⊗ V) > 1, i.e. V ⊗V is
reducible.

We know that U ⊗U = S(U ⊗U) ⊕ A(U ⊗U) decomposes into a symmetric and antisymmetric part, from which it follows that χU = χS + χA, see e.g. [4, Chapter 19]. Here, χU
denotes the associated character of U, i.e. χU ∈ R(Q8 ). One checks that χA = χT1 and
χS = χTi + χTj + χTk . A decomposition is given by
U ⊗U

= C(e1 ⊗ e2 − e2 ⊗ e1 ) ⊕ C(e1 ⊗ e2 + e2 ⊗ e1 )
|
{z
} |
{z
}
T1

(5)

Tj

⊕ C(e1 ⊗ e1 + e2 ⊗ e2 ) ⊕ C(e1 ⊗ e1 − e2 ⊗ e2 ) .
{z
} |
{z
}
|
Tk

Let [λi : µi ] ∈

P1 ,

Ti

i = 1, 2, then (λ1 e1 + µ1e2 ) ⊗ (λ2e1 + µ2 e2 ) decomposes into

a(e1 ⊗ e2 − e2 ⊗ e1 ) + b(e1 ⊗ e2 + e2 ⊗ e1 ) + c(e1 ⊗ e1 + e2 ⊗ e2) + d(e1 ⊗ e1 − e2 ⊗ e2 ).
and we obtain that (4) remains irreducible if and only if abcd 6= 0. Since


λ1 λ2 λ1 µ2 µ1 λ2 µ1 µ2 = c + d a + b b − a c − d
(6)
this is equivalent to

λ1
µ1

±λ2
µ2

6= 0 and

λ1
µ2

±µ1
λ2

6= 0.


Remark 7.3. The above is independent of the choice of base. Indeed, suppose that e1 e2 =
f1 f2 B is a base change, then


e1 ⊗ e1 e1 ⊗ e2 e2 ⊗ e1 e2 ⊗ e2 = f1 ⊗ f1 f1 ⊗ f2 f2 ⊗ f1 f2 ⊗ f2 B ⊗ B,
where B ⊗ B denotes the Kronecker tensor product of two matrices. With regard to the
basis { f1 , f2 } equation (6) becomes


λ1 λ2 λ1 µ2 µ1 λ2 µ1 µ2 (B ⊗ B)T = c + d a + b b − a d − c (B ⊗ B)T ,

18

F. CAENEPEEL AND F. VAN OYSTAEYEN

and B ⊗ B is invertible.
Generically, we have
χ(0,[λ
/ 1 :µ1 ]) χ(0,[λ
/ 2 :µ2 ]) = χ(V4 ,0)
/ .
If, for example, λ1 µ2 = µ1 λ2 , but λ1 λ2 6= ±µ1 µ2 then χ(0,[λ
/ 1 :µ1 ]) χ(0,[λ
/ 2 :µ2 ]) = χ({a,b,c},0)
/ and
2
similar for the other non-generic cases. In particular, χ(0,[λ:µ])
= χ({a,b,c},0)
/ for
/
[λ : µ] 6= [1 : 1], [1 : −1], [1 : 0], [0 : 1], [1 : i], [1 : −i].
To calculate the product χ(0,∗)
we may present the glider associated to the first
/ χ(0,[λ:µ])
/
factor by
U ⊕ U ⊃ C(e1 + e2 ) ⊃ 0 ⊃ . . .
Hence the tensor product with U ⊃ C(λe1 + µe2 ) ⊃ 0 ⊃ . . . becomes
(U ⊗ U) ⊕ (U ⊗ U) ⊃ C((λe1 ⊗ e1 + µe1 ⊗ e2 ) + (λe2 ⊗ e1 + µe2 ⊗ e2)) ⊃ 0 ⊃ . . .
|
{z
} |
{z
}
v1

v2

We denote the coefficients of the decomposition of vi with regard to (5) by ai , bi , ci , di , i =
1, 2. The vector v1 yields the equation


λ µ 0 0 = c1 + d 1 a 1 + b 1 b 1 − a 1 c1 − d 1 ,

from which we obtain that a1 b1 c1 d1 6= 0 unless λµ = 0. If, say, λ = 0, then c1 = d1 = 0. In
this case, the decomposition of the v2 yields that c2 d2 6= 0. So we arrive at
χ(0,∗)
= χ(V4,0)
/ χ(0,[λ:µ])
/
/ ,

∀ [λ : µ] ∈ P1 .

A similar reasoning entails that
χ2(0,∗)
= χ(V4 ,0)
/ .
/
Next, to calculate the products of the form χ(A,0)
, we need to write explicit isomor/ χ(0,[λ:µ])
/
phisms Tr ⊗ U ∼
= U for r = 1, i, j, k. These are given by
ϕ

ϕi

1
U −→T
1 ⊗U
e1 7→ t1 ⊗ e1
e2 7→ t1 ⊗ e2

ϕj

U −→Ti ⊗ U
e1 7→ ti ⊗ e2
e2 7→ ti ⊗ e1

U −→T j ⊗ U
e1 7→ −t j ⊗ e1
e2 7→ t j ⊗ e2

ϕ

k
U −→T
k ⊗U
e1 7→ −tk ⊗ e2
e2 7→ tk ⊗ e1


χ({1},0)
= χ(0,[λ:µ])

/ χ(0,[λ:µ])
/
/


χ({a},0)
χ
=
χ(0,[µ:λ])
/ (0,[λ:µ])
/
/
⇒
= χ(0,[−λ:µ])
 χ({b},0)
/ χ(0,[λ:µ])
/
/


χ({c},0)
= χ(0,[−µ:λ])
/ χ(0,[λ:µ])
/
/

For subsets A ⊂ V4 of two elements, we generically have
χ(A,0)
= χ(0,∗)
/ χ(0,[λ:µ])
/
/ ,

(7)

but there are a few special cases. For example, for A = {1, b} we have that χ({1,b},0)
=
/ χ(0,[0:1])
/
χ(0,[0:1])
,
because
[0
:
1]
=
[λ
:
µ]
=
[−λ
:
µ]
=
[1
:
0].
We
enlist
all
these
special
cases
in
the
/
following table
A
{1, a}
{b, c}
{1, b}
{a, c}
{1, c}
{a, b}

non − generic points [λ : µ]
[1 : 1], [1 : −1]
[1 : 1], [1 : −1]
[0 : 1], [1 : 0]
[0 : 1], [1 : 0]
[1 : i], [1 : −i]
[1 : i], [1 : −i]

χ(A,0)
/ χ(0,[λ:µ])
/
χ(0,[1:1])
, χ(0,[1:−1])
/
/
χ(0,[−1:1])
, χ(0,[1:1])
/
/
χ(0,[0:1])
, χ(0,[1:0])
/
/
χ(0,[1:0])
, χ(0,[0:1])
/
/
χ(0,[1:i])
, χ(0,[1:−i])
/
/
χ(0,[1:−i])
, χ(0,[1:i])
/
/

For |A| ≥ 3, formula (7) holds for all [λ : µ] ∈ P1 . Finally, it easily follows that
χ(A,0)
= χ(0,∗)
/ χ(0,∗)
/
/ ,

∀A ∈ P (V4 ).

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

19

f8 ) can now be deduced easily. For example
All the other products in R(Q
χ({a},[1:i])χ({b},[1:i]) = χ({a,b,c},[1:−i]) ,

and
χ({a,b},∗)χ(0,[λ:µ])
= χ(V4,0)
/
/ .
We also include the exponents of χ(0,[1:1])
/
n
1
2
3
4
5
..
.

χn(0,[1:1])
/
χ(0,[1:1])
/
χ({b,c},0)
/
χ(0,[−1:1])
/
χ({1,a},0)
/
χ(0,[1:1])
/
..
.

e8 ), whence also in Q(Q
e8 ), we wonder what
Now that we know how to multiply in R(Q
e
the Jacobson radical J = J(Q(Q8 )) looks like. For finite abelian groups G, we observed
that χG is a 0-element in the semigroup. For Q8 the element χ(V4 ,∗) is easily seen to be a
0-element.
Lemma 7.4. For any non-empty subset A ⊂ V4 and [λ : µ] ∈ P1 there exists an n > 0 such
that χn(A,[λ:µ]) = χ(V4 ,∗) .
Proof. From (7) it follows that n = 2 suffices for |A| ≥ 3. Generically we have that
χ2(0,[λ:µ])
= χ({a,b,c},0)
/ , hence generically the result also follows for |A| = 2. For the non/
generic points one has to check all the cases. For example
χ2({b,c},[1:1]) = χ(V4 ,[1:−1]) ⇒ n = 3 satisfies.
Finally if |A| = 1, then χ2(A,[λ:µ]) = χ(A′,[λ′ :µ′ ]) with |A′ | ≥ 2 and the result again follows. 
Corollary 7.5. The inclusion of Q-algebras

is an integral extension.

e8 ), χA 7→ χ(A,0)
Q(Ve4 )֒→Q(Q
/

Proof. The 0-element χ(V4 ,∗) is idempotent, hence integral. The elements χ(A,[λ:µ]) for A
non-empty are integral by Lemma 7.4. The elements χ(A,∗) are integral since χ2(A,∗) =
χ(V ,∗) . Finally, the elements χ(0,[λ:µ])
are integral since their squares sit in Q(Ve4 ).

/
4

As another corollary of Lemma 7.4 we know that χ(A,[λ:µ]) = χ(V4 ,∗) modulo the Jacobson
radical J for all A non-empty and [λ : µ] ∈ P1 . For A = 0/ and [λ : µ] a generic point one
3
′
calculates that (χ(0,[λ:µ])
− χ(0,∗)
/
/ ) = 0. Denote by I the ideal generated by
1
χ(0,[λ:µ])
− χ(0,∗)
/
/ , [λ : µ] ∈ P generic,

and
χ(A,[λ:µ]) − χ(V4,∗) , A ⊂ V4 non − empty, [λ : µ] ∈ P1 .
By Corollary 7.5 J(Q(Ve4 )) = J ∩ Q(Ve4 ), hence we have an inclusion
e4 )/J.
ι : Q(Ve4 )/J(Q(Ve4 ))֒→Q(Q

From Theorem 5.10 we know how the left hand side decomposes but there is a small
remark here. In our calculation in the abelian case, we worked in the contracted semigroup

20

F. CAENEPEEL AND F. VAN OYSTAEYEN

algebra. The element χ(V4 ,0)
/ is however no longer a 0-element in the bigger algebra, hence
we have the isomorphism
ϕ:

M
H≤V4

∼

=
Q(V4 /H)−→Q(Ve4 )/J(Q(Ve4 )),

where the element eV4 is mapped to χV4 .

Theorem 7.6. The Jacobson radical J equals I ′ + J(Q(Ve4)) and we have a ring isomorphism
e8 )/J ∼
Q(Q
= Q(V4 ) ⊕ Q(Z4 )⊕3 ⊕ Q⊕2 ⊕ Q.
Proof. By definition of I ′ we have that
dimQ (

e8 )
Q(Q
Q(Ve4 )
) = dimQ (
) + 8.
I ′ + J(Q(Ve4))
J(Q(Ve4 ))

Further, recall from Theorem 5.10 the decomposition of Q(Ve4 )/J(Q(Ve4 )) with resp. unit
elements
(8)

Q(V4 /{1})
Q(V4 /{1, a})
Q(V4 /{1, b})
Q(V4 /{1, c})
Q(V4 /V4 )

(1 − χ{1,a})(1 − χ{1,b})(1 − χ{1,c})
(χ{1,a} − χV4 )
(χ{1,b} − χV4 )
(χ{1,c} − χV4 )
χV4

e8 ) we have that
Inside Q(Q

1
1
1
1
),
χ(V4 ,0)
/ + χ(0,∗)
/ ) + ( χ(V4 ,0)
/ − χ(0,∗)
/ = ( χ(V4 ,0)
2
2
2
2 /

1
are orthogonal idempotents, which are also orthogonal
and the elements 12 χ(V4 ,0)
/ ± 2 χ(0,∗)
/
to the first four idempotents of (8). Next, we consider the inclusion ι(ϕ(Q(V4 /{1, a})).
The element ιϕ(eb{1,a} ) = ι(χ{b,c} − χV4 ) is the square of

χ(0,[1:1])
− χ(0,∗)
/
/ ,
and we see that ι(ϕ(Q(V4 /{1, a})) is the subgroup algebra Q(Z2 ) of
Q(< χ(0,[1:1])
− χ(0,∗)
>) ∼
= Q(Z4 ).
/
/
The inclusions ι(ϕ(Q(V4 /{1, b})) and ι(ϕ(Q(V4 /{1, c})) behave analogously and they use
the non-generic points [1 : 0], [0 : 1] and [1 : i], [1 : −i] respectively. The isomorphism now
follows since the elements
1
1
(1 − χ({1,a},0)
/ )(1 − χ({1,b},0)
/ )(1 − χ({1,c},0)
/ )
/ ± 2 χ(0,∗)
/
2 χ(V4 ,0)
χ(0,[1:1])
− χ(0,∗)
χ(0,[1:0])
− χ(0,∗)
/
/
/
/
χ(0,[1:i])
− χ(0,∗)
χ(V4 ,∗)
/
/

are all orthogonal idempotents.


ACKNOWLEDGEMENT

The first author expresses his gratitude to Geoffrey Janssens and Eric Jespers for fruitful
discussions on the calculation of the Jacobson radical and the primitive central idempotents
of semigroup algebras appearing in the theory of glider representations.

GENERALIZED CHARACTERS FOR GLIDER REPRESENTATIONS OF GROUPS

21

R EFERENCES
[1] F. Caenepeel, F. Van Oystaeyen, Clifford Theory for Glider Representations, Algebr. Represent. Theory 19
(2016) no. 6, 1477-1493.
[2] F. Caenepeel, F. Van Oystaeyen, Glider representations of group algebra filtrations of nilpotent groups,
Algebr. Represent. Theory, DOI 10.1007/s10468-017-9725-9.
[3] M. El Baroudy, F. Van Oystaeyen, Fragments with Finiteness Condtions in Particular over Group Rings,
Comm. Algebra 28 (2000), no. 1, 321-336.
[4] G. James, M. Liebeck, Representations and characters of groups, Second edition, Cambridge University
Press, New York, 2001. viii+458 pp.
[5] E. Jespers, G. Leal, A. Paques, Central idempotents in the rational group algebra of a finite nilpotent group,
J. Algebra Appl., 2(1), p. 57-62, 2003.
[6] S. Nawal, F. Van Oystaeyen, An Introduction of Fragmented Structures over Filtered Rings, Comm. Algebra
23 (1995), 975–993.
[7] J. Okniński, Semigroup algebras, Marcel Dekker, 1998.
[8] J-P. Serre, Linear representations of finite groups, Translated from the second French edition by Leonard L.
Scott, Graduate Texts in Mathematics, Vol. 42, Springer-Verlag, New York - Heidelberg, 1977. x+170 pp.
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF A NTWERP, A NTWERP, B ELGIUM
E-mail address: Frederik.Caenepeel@uantwerpen.be
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF A NTWERP, A NTWERP, B ELGIUM
E-mail address: Fred.Vanoystaeyen@uantwerpen.be

