arXiv:1412.2490v4 [math.RA] 25 Jan 2016

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4
AND THEIR SEMI-CENTERS
OFIR SCHNABEL
Abstract. For simple twisted group algebra over a group G, if Gp is Hall
subgroup of G then the semi-center is simple. Simple twisted groups algebras
correspond to groups of central type. We classify all groups of central type of
order p4 where p is prime and use this to show that for odd primes p there exists
a unique group G of order p4 such that there exists simple twisted group algebra over G with a commutative semi-center. Moreover, if 1 < |G| < 64, then
the semi-center of simple twisted group algebras over G is non-commutative
and this bounds are strict.

2010 Mathematics Subject Classification: 16S35, 20C25, 20E99.
1. Introduction
Let G be a finite group. A twisted group algebra over C, denoted by Cf G, is
an associative algebra with basis {ug }g∈G . The multiplication is defined on basis
elements as follows. For any x, y ∈ G
(1)

ux uy = f (x, y)uxy ,

and it is extended distributively. Here, f ∈ Z 2 (G, C∗ ). That is, f is a 2-cocycle. By
a generalization of Maschke’s theorem, complex twisted group algebras are semisimple [14, Theorem 3.2.10] and therefore, by the Artin-Wedderburn theorem it is
isomorphic to a direct sum of matrix algebras. For a non-trivial group G, the group
algebra CG is not simple. However, it turns out that 2-cocycles, f ∈ Z 2 (G, C∗ )
may exist such that Cf G is simple. A group G admitting such a phenomenon is
called of central type 1, and the 2-cocycle f ∈ Z 2 (G, C∗ ) is called nondegenerate.
Evidently, the size of any group of central type is a square.
It turns out that twisted group algebras and groups of central type play a major role in the understanding of other algebraic objects, as graded algebras (see
[3],[10],[11]), semi-invariants of matrices (see [12]) and twisted category algebras
(see [7],[15]).
The classification of the abelian groups of central type is well known (see §3).
It is much harder to understand non-abelian groups of central type. In fact, their
complete classification up to isomorphism looks like an impossible task. In [13]
R. Howlett and M. Isaacs proved, using the classification of finite simple groups,
that groups of central type are solvable. Another important result is that a cocycle
f ∈ Z 2 (G, C∗ ) is nondegenerate if and only if its restriction to any Hall subgroup
is nondegenerate (see [8, Corollary 4], [17, Lemma 2.7]). In [11] we classify all the
This work has been supported by the Minerva Stiftung.
1 Classically, a group G is said to be of central type if it has a faithful irreducible character
χ such that χ(1)2 = |G : Z|, where Z = Z(G). In this paper however we call G/Z (which is
sometimes called “Central-type factor group”) of central type.
1

2

OFIR SCHNABEL

groups of central type of order n2 where n is a square-free number. Also, in [12,
Theorem C] we show that for any group of central type G, Z(G) embeds into Ĝ,
where Z(G) is the center of G and Ĝ is the group of 1-dimensional characters of G.
In the first part of this paper we classify the groups of central type of order p4
where p is a prime number. In order to do so we use the classification of groups of
order p4 [6, p.100-102]. For convenience we change the notations from [6, p.100-102]
and rewrite these groups. The corresponding tables are Table 1 for the odd case
and Table 2 for the even case. The following two theorems classify the groups of
central type of order p4 where p is a prime number.
Theorem 1. Let p be an odd prime. Up to isomorphism, the groups of central
type of order p4 are exactly the groups G(iii) , G(v) , G(viii) , G(xiv) , G(xv) in Table 1.
Theorem 2. Up to isomorphism, the groups of central type of order 16 are exactly
the groups G(iii) , G(v) , G(ix) , G(x) in Table 2.
In the proof of Theorem 1 and Theorem 2 we are basically using the following
three different methods:
Let G be a group of order p4 which is not of central type. Using Lemma 2.3,
Lemma 2.4 and [12, Theorem C]), which deal with groups of central type of any
order, we try to show that G is not a group of central type. If this fails, we
show, using alternative definition of nondegeneracy (see Definition 2.2), that for
any f ∈ Z 2 (G, C∗ ), the dimension of the center of Cf G is greater than 1.
In order to show that a group G of order p4 is of central type we construct a nondegenerate cohomology class [f ] ∈ H 2 (G, C∗ ). We do this by using a construction
of crossed product which arises from an action of a group H on a ring R by an
automorphism of R.
The twisted group algebra Cf G is equipped with a CG-module structure defined
by,
(2)

g(uh ) := ug uh u−1
g .

This furnishes Cf G with a G-module algebra structure.
For any G-module-algebra A over a field K, a nonzero element a ∈ A is called
semi-invariant if there exists λ ∈ Ĝ := Hom(G, K ∗ ) (the weight of a), such that for
any g ∈ G,
g(a) = λ(g) · a.
The subspace spanned by all the semi-invariant elements is a subalgebra of A called
the semi-center of A, and denoted by Sz(A) :=SzG (A). Then
Sz(A) = ⊕λ∈Ĝ Aλ ,
where Aλ is the subspace of all the semi-invariant elements in A of weight λ (and
zero). This is a natural grading of the semi-center by the group Ĝ of 1-dimensional
G-characters.
In the second part of this paper we study the semi-center of twisted group algebras under the conjugation action (2). Semi-invariants and the semi-center of
module-algebras are investigated mainly with regard to enveloping algebras of finite dimensional Lie algebras, see, e.g. [5, 9, 20], and with regard to group algebras,
see, e.g. [18, 21, 22]. In [12] Y. Ginosar and the author generalized a result of D.

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

3

Passman and P. Wauters (see [18]), by showing that if the Artin-Wedderburn decomposition of Cf G is
Cf G = ⊕ri=1 Mni (C),
then

Sz Cf G = ⊕ri=1 Cfi Gi ,

(3)

where the Gi ’s are subgroups of Ĝ, and fi ∈ Z 2 (Gi , C∗ ). In particular, if Cf G is
simple then its semi-center is a twisted group algebra, that is,
ˆ

Sz(Cf G) = Cf Ĝ.

(4)

We study the following problem.
Problem 1. Which cocycles f ∈ Z 2 (G, C∗ ) admit
(i) A commutative semi-center of Cf G?
(ii) A simple semi-center of Cf G?
By (3) a necessary condition for affirmative answer to Problem 1(ii) is that f is
nondegenerate. Regarding Problem 1(ii) we prove the following
Theorem 3. Let Cf G be a simple twisted group algebra. If the restriction of the
nondegenerate cocycle f to Gp is also nondegenerate then the semi-center of Cf G
is simple. In particular, if Gp is a Hall subgroup of G, then the semi-center of Cf G
is simple.
Problem 1(i) is particularly interesting when restricting to nondegenerate cocycles. By Theorem 1, the group G(xv) in Table 1 is of central type. In Theorem 5.1
we show that there exist a nondegenerate cocycle f ∈ Z 2 (G(xv) , C∗ ) such that
Sz(Cf G(xv) ) is commutative and in Proposition 5.3 we show that if G 6∼
= G(xv) is a
4
group of central type of order p , then for any nondegenerate cocycle f ∈ Z 2 (G, C∗ ),
Sz(Cf G) is non-commutative. We get the following theorem.
Theorem 4. Let G be a group of central type of order p4 where p is prime. There
exists a nondegenerate cocycle f ∈ Z 2 (G, C∗ ) such that Sz(Cf G) is commutative if
and only if p is odd and G is isomorphic to the group G(xv) in Table 1
In view of Theorem 4 and Remark 4.1, for any group of central type G, if
1 < |G| < 64, then the semi-center of simple twisted group algebras over G is noncommutative. In the following theorem we present a group G of order 64 such that
there exists a commutative semi-center of simple twisted group algebra over G.
Theorem 5. Let
(5)

G = hx1 , x2 , x3 , x4 , x5 , x6 i,

such that x1 , x2 , x3 are central and
x2i = 1,

[x4 , x5 ] = x1 ,

[x4 , x6 ] = x2 ,
2

[x5 , x6 ] = x3 .

There exists a nondegenerate cocycle f ∈ Z (G, C ) such that Sz(Cf G) is commutative.
∗

By Theorem 4 and Remark 4.1, the group G described in Theorem 5 is a minimal
non-trivial group with the property that the semi-center of a simple twisted group
algebra over a group is commutative.

4

OFIR SCHNABEL

Acknowledgements. A part of this paper appears in the author’s Ph.D. dissertation under the supervision of Y. Ginosar and the rest of this paper was influated
by it. The author is also grateful to F. Cedo, M. Kochetov and S. Koenig for their
valuable comments. Lastly, I want to thank the referee for reviewing the first draft
of this paper and for his valuable suggestions.
2. preliminaries
For any f ∈ Z 2 (G, C∗ ) define an antisymmetric form from the set of commuting
pairs in G to C∗ as follows:
(6)

αf (g1 , g2 ) := f (g1 , g2 )f (g2 , g1 )−1 .

If G is abelian group then αf determines the cohomology class of f . By the definition of αf , if [f1 ] = [f2 ] ∈ H 2 (G, C), then for every commuting elements g1 , g2 ∈ G,
αf1 (g1 , g2 ) = αf2 (g1 , g2 ). In other words, there is a well-defined function [f ] → αf
from H 2 (G, C) to the antisymmetric forms. Throughout this paper we will deal
with nondegeneracy of cocycles f using the notion of f -regularity.
Definition 2.1. [16, §2] Let f ∈ Z 2 (G, C∗ ). An element g ∈ G is called f -regular
if αf (g, h) = 1 for every h ∈ CG (g) (the centralizer of g ∈ G).
In other words, an element g ∈ G is f -regular if and only if for every element
h ∈ CG (g), ug uh = uh ug (see (1)) in the twisted group algebra Cf G. It is easy to
show that regularity is a class property, both cohomological and conjugacy.
It is well known that the dimension of the center of Cf G is equal to the number of
f -regular conjugacy classes of G (see [16, Theorem 2.4]). This leads to an alternative
definition of non-degeneracy of a 2-cocycle f ∈ Z 2 (G, C∗ ).
Definition 2.2. A 2-cocycle f ∈ Z 2 (G, C∗ ) is called non-degenerate if 1 ∈ G is the
only f -regular element in G.
We wish to formulate two known results which we will use in order to show that
some groups are not of central type.
Lemma 2.3. Let G be a group of central type. Then, CG (g) is non-cyclic for any
non-trivial element g ∈ G.
Proof. Since for any cocycle f ∈ Z 2 (G, C∗ ) and any h ∈ G, uh commutes with uhi ,
we conclude that if CG (g) = hhi, then g is f -regular. In particular, in this case,
there are no nondegenerate f ∈ Z 2 (G, C∗ ).

By [4, Proposition 1.2] if there
p exists a subgroup H of G such that the restriction
of f to H is trivial then |H| ≤ |G|. Since the cohomology of cyclic groups is trivial,
we obtain following lemma.
Lemma 2.4. Let G be a group of central type of order n2 . Then, the order of any
element in G is less or equal n.
Let G be a group. Denote by ◦(g) the order of g ∈ G. Since C is algebraically
closed we may always assume that for any f ∈ Z 2 (G, C∗ ),
(7)

ug◦(g) = 1

in the corresponding twisted group algebra Cf G. Therefore, since for any f ∈
Z 2 (G, C∗ )
[ug , 1] = 1,

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

5

in the corresponding twisted group algebra Cf G, the following lemma is clear.
Lemma 2.5. Let G be a finite group, let f ∈ Z 2 (G, C∗ ) and let a, b ∈ G be
commuting elements such that in the corresponding twisted group algebra Cf G,
[ua , ub ] = λ.
Then λ is a root of unity of order dividing the greatest common divisor of ◦(a) and
◦(b).
The concept of f -regularity is generalized bellow.
Definition 2.6. [N. Ben David] Let f ∈ Z 2 (G, C∗ ) and let λ ∈ Ĝ. An element
x ∈ G is called (λ, f )-regular if for any g ∈ CG (x),
λ(g) = αf (g, x).
As before, (λ, f )-regularity is a class property (conjugacy and cohomology). In
particular, an element is f -regular if it is (1, f )-regular. Let f ∈ Z 2 (G, C∗ ), λ ∈ Ĝ
and let x ∈ G be a (λ, f )-regular element. Assume T = {1, t2 , . . . , tn } is a left
transversal of CG (x). Denote
(8)

S(λ,x) =

n
X

λ−1 (ti )uti ux u−1
ti .

i=1

Proposition 2.7 which gives a complete description of the weight spaces (Cf G)λ ,
and Lemma 2.8 claiming that any central element in G induce a semi-invariant
element in Cf G were both proven in [12].
Proposition 2.7. [12, Proposition 6.2] With the above notation,
(9)

(Cf G)λ = spanC {S(λ,x) | x is (λ, f )-regular}.

Lemma 2.8. Let G be a group with center Z(G). For every element x ∈ Z(G)
and f ∈ Z 2 (G, C∗ ) the element ux is semi-invariant in Cf G. In particular, for any
abelian group G, and any 2-cocycle f ∈ Z 2 (G, C∗ ),
Sz(Cf G) = Cf G.
We will also use in the sequel the following estimation of the dimension of the
semi-center of twisted group algebras.
Corollary 2.9. (see [12, Corollary 6.5]) For any f ∈ Z 2 (G, C∗ ), let
[
Γ(f ) =
Γ(λ, f )
λ∈Ĝ

be a set of representatives of the (λ, f )-regular conjugacy classes for all λ ∈ Ĝ.
Then
X
[G : G′ CG (x)].
dimC Sz(Cf G) =
x∈Γ(f )

6

OFIR SCHNABEL

3. Classification of groups of central type of order p4
In this section we prove Theorem 1 and Theorem 2. Throughout this section
we will use the classification (and numbering) of groups of order p4 , which can be
found in Table 1 for the odd case and Table 2 for the even case.
At first we will handle the odd and the even case simultaneously (groups G(i) G(vii) ). However, at some point (from group G(viii) and forward) we will separate
between the cases.
We start from the well known abelian case. Abelian groups of central type are
exactly groups of the form A × A, that is the direct sum of two copies of the same
abelian group (see [2, Theorem 5]). In particular, the abelian groups of central type
of order p4 are
(10)

Cp × Cp × Cp × Cp and Cp2 × Cp2 .

This shows that from the groups G(i) -G(v) in both Table 1 and Table 2, the groups
of central type are G(iii) and G(v) .
We now start dealing with the non-abelian case. The group G(vi) (in both tables)
admits a cyclic subgroup of order p3 and hence by Lemma 2.4 it is not of central
type.
In the group G(vii) , the center is hai ∼
= Cp2 and the commutator subgroup of G(vii)
is hap i. Therefore, the group of 1-dimensional characters of G(vii) is isomorphic
to Cp3 . Hence, there is no embedding of the center of G(vii) in the group of 1dimensional characters of G(vii) . Consequently, by [12, Theorem C] this group is
not of central type.
It turns out that the group G(viii) is of central type in the odd case and is not of
central type in the even case. From now on we will separate between the odd case
and the even case.
3.1. p is odd. In this section we complete the proof of Theorem 1. The numbering
of the groups in this section is with respect to Table 1. We start by showing that
the group G(viii) is of central type. In order to do so we will use a construction
of crossed product which arises from an action of a group G on a ring R by an
automorphism of R.
Theorem 3.1. Let G = ha, bi be a group of order p4 such that
2

2

ap = bp = 1,

[a, b] = ap .

Then G is a group of central type.
Proof. We wish to construct a nondegenerate cohomology class [f ] ∈ H 2 (G, C∗ ).
This twisted group algebra Cf G is generated as algebra by ua , ub such that
(11)

2

2

upa = upb = 1.

We use a construction of crossed product in the following way. Consider the following Cp2 = hbi-action on the commutative group algebra R1 = Chai.
ψb :R1 → R1
ua 7→ ζp2 up+1
a
where ζp2 is a root of unit of order p2 . By setting ψb (uia ) = ψb (ua )i we ensure that
ψb is a homomorphism of R1 .

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

7

Next, we check that the order of the automorphism ψb is p2 . By induction it is
easy to show that
(k+p
ψbk (ua ) = ζp2

(12)

Pk−1
i=1

i) kp+1
ua

) kp+1
(k+ k(k−1)p
2
ua .
= ζp2

Then, since ua has order p2 , if
(k+ k(k−1)p
) kp+1
2
ψbk (ua ) = ζp2
ua
= ua
then k ≡ 0(mod p).
Assume now that k = ip. If i 6≡ 0(mod p) then
k(k − 1)p
ip(ip − 1)p
= ip +
6≡ 0(mod p2 ).
2
2
Therefore, since ζp2 has order p2 , if ψbk (ua ) = ua then k ≡ 0(mod p2 ). Consequently,
the order of ψb is at least p2 . By putting k = p2 in (12) we get
k+

2



2 2
p2 + p (p 2−1)p

ψbp (ua ) = ζp2

3

upa

+1



2
p2 1+ (p −1)p
2

= ζp2

ua = ua .

We conclude that ψb is an automorphism of R1 of order p2 .
Since ψb is an automorphism of the ring R1 , the ring R generated by ua , ub is
a crossed product of Cp2 = hub i over R1 . In particular it is an associative algebra.
Hence the ring R is an associative complex algebra generated by ua , ub with the
following relations:
2

2

upa = upb = 1,

p
ua ub u−1
a = ζp2 ub ua .

The associativity of R ensures that there exists a cocycle f ∈ Z 2 (G, C∗ ) which
satisfies the above relations. We show that f is nondegenerate by showing that
there are no non-trivial f -regular elements in G. Since ψb has order p2 ,
p
p
ψbp (ua ) = u−p
b ua ub 6= ua ⇒ [ua , ub ] 6= 1.

Since bp ∈ CG (a) we conclude that a and bp are not f -regular. On the other hand,
p
by using the equality ua ub u−1
a = ζp2 ub ua , it is easy to prove by induction that
k
kp
uka ub u−k
a = ζp2 ub ua .

In particular, for k = p we get
2

p
p
p
p
upa ub u−p
a = ζp2 ub ua = ζp2 ub 6= ub ⇒ [ua , ub ] 6= 1.

Since ap ∈ CG (b) we conclude that b and ap are not f -regular.
Now, let x = ai bj ∈ G be an f -regular element. If j 6≡ 0(mod p) then [ux , upa ] 6= 1
while ap ∈ CG (x). Hence we may assume that j ≡ 0(mod p).
If j ≡ 0(mod p) and j 6≡ 0(mod p2 ), then [ux , ua ] 6= 1 while a ∈ CG (x). Hence we
may assume that j = 0 and x = ai .
If i 6≡ 0(mod p) then [ux , upb ] 6= 1 while bp ∈ CG (x). Hence we may assume that
i ≡ 0(mod p).
But then if i ≡ 0(mod p) and i 6≡ 0(mod p2 ), then [ux , ub ] 6= 1 while b ∈ CG (x) and
therefore x is trivial. Consequently, f is nondegenerate and G is a group of central
type.

It turns out that the group G(ix) is of central type in the even case and is not of
central type in the odd case. The main reason for that is related to the following
number-theoretical lemma.

8

OFIR SCHNABEL

Lemma 3.2. Let p be a prime number. Then, p3 is a divisor of (p + 1)p − 1 if and
only if p = 2.
Proof. One direction is clear. Namely, 23 = 32 − 1.
Assume now that p is an odd prime. We prove that (p + 1)p − 1 ≡ p2 ( mod p3 ).
By the binomial identity
p  
X
p i
p
p.
(p + 1) − 1 =
i
i=1
Consequently,
 
p 2
(p + 1) − 1 ≡
p + p2 ( mod p3 ).
2

Since p is odd we conclude that p2 p2 ≡ 0( mod p3 ) and the result follows.
p



The following lemma shows that the group G(ix) is not of central type.

Lemma 3.3. Let G = ha, b, ci be a group of order p4 such that
2

ap = bp = cp = 1,

[a, b] = [b, c] = 1, [a, c] = ap .

Then, for any cocycle f ∈ Z 2 (G, C∗ ), the element ap is f -regular. In particular, G
is not a group of central type.
Proof. Let f ∈ Z 2 (G, C∗ ), and assume that
[ua , ub ] = δ, [ub , uc ] = λ, [ua , uc ] = γupa .
By Lemma 2.5, δ and λ are both p-th roots of unity. Therefore,
[upa , ub ] = δ p = 1.

(13)

Consequently, if [upa , uc ] = 1, then ap is f -regular and the proof is completed. Using
p
the equality ua uc u−1
a = γua uc we compute
(14)

−(k−1) −1
−(k−1) −1
[uka , uc ] = uak−1 ua uc u−1
uc = uak−1 (ua uc u−1
uc =
a ua
a )ua
p k−1
p k−1
uak−1 (γupa uc )u−(k−1)
u−1
uc u−(k−1)
u−1
, uc ].
a
c = γua ua
a
c = γua [ua

Therefore, by induction
[uka , uc ] = γ k upk
a .

(15)

In particular, by putting k = p in (21) we get
(16)

2

[upa , uc ] = γ p upa = γ p .

Now, in order to prove that uap is f -regular we need to show that γ is a p-th root
of unity.
Since ap and c commutes in G, then by Lemma 2.5, γ is a root of unity of order
dividing p2 . By raising both sides of
−1 1−p
uc ua u−1
ua
c =γ

to the p + 1 power we get that
−1
−(p+1)
uc up+1
ua ,
a uc = γ

and therefore
p+1 p+1
u−1
ua .
c ua uc = γ

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

9

From here, by induction it is easy to prove that
k
u−k
c ua uc = γ

(17)

Pk

i=1 (p+1)

i

((p+1)k )
.
ua

2

Since upc = upa = 1, then by putting k = p in (17) we get
(18)

p
ua = u−p
c ua uc = γ

Pp

i=1 (p+1)

i

ua((p+1)

p

)

=γ

(p+1)[(p+1)p −1]
p

ua .

p

−1
and therefore, since p + 1 is prime to
By Lemma 3.2, p2 is not a divisor of (p+1)
p
p, the order of γ is not p2 . We conclude that γ is a p-th root of unity and therefore
by (13) and (16) ap is f -regular which completes the proof.


Similarly to the case of group G(ix) , it turns out that the group G(x) is of central
type in the even case and is not of central type in the odd case.
Lemma 3.4. Let G = ha, b, ci be a group of order p4 such that
2

ap = bp = cp = 1,
2

[a, b] = [b, c] = 1, [a, c] = b.

Then, for any cocycle f ∈ Z (G, C ), the element ap is f -regular. In particular, G
is not a group of central type.
∗

Proof. Let f ∈ Z 2 (G, C∗ ), and assume that [ua , ub ] = δ and [ub , uc ] = λ. By
Lemma 2.5, δ and λ are both p-th roots of unity. Therefore,
[upa , ub ] = δ p = 1.

(19)

Assume now that [ua , uc ] = γub . We show that γ is also a p-th root of unity.
We use the equalities
−1
−1
uc u−1
a uc = γua ub

−1 −1
and ub u−1
uc ub
c = λ

in order to show the following equality:
−1 −(k−1)
−1 −(k−1)
=
= ua uck−1 (uc u−1
[ua , ukc ] = ua uck−1 uc u−1
a uc )uc
a uc uc
−(k−1)
−(k−1) −(k−1)
ua uck−1 (γu−1
= γua uck−1 u−1
λ
ub = γλ−(k−1) [ua , uck−1 ]ub .
a ub )uc
a uc

Therefore, by induction
(20)

[ua , ukc ] = γ k λ−(

Pk

i−1) k
ub
p
uc = 1,

i=1

Consequently, since p is odd and since

= γ k λ−

k(k−1)
2

ukb .

by putting k = p in (20) we get

1 = [ua , 1] = [ua , upc ] = γ p λ

p(p−1)
2

upb = γ p .

We conclude that γ is also a p-th root of unity.
Now, using the equalities
ua uc u−1
a = γub uc

and ua ub = δub ua

we compute
−(k−1) −1
−(k−1) −1
[uka , uc ] = uak−1 ua uc u−1
uc = uak−1 (ua uc u−1
uc =
a ua
a )ua
k−1
k−1
uak−1 (γub uc )u−(k−1)
u−1
ub uak−1 uc u−(k−1)
u−1
ub [uak−1 , uc ].
a
c = γδ
a
c = γδ

Therefore, by induction
(21)

[uka , uc ] = γ k δ (

Pk

Consequently, since p is odd and since
(22)

i−1) k
ub
p
ub = 1,

i=1

[upa , uc ] = γ p δ

p(p−1)
2

= γkδ

k(k−1)
2

ukb .

by putting k = p in (21) we get
upb = 1.

10

OFIR SCHNABEL

Hence, by (19) and (22) we conclude that ap is f -regular which completes the
proof.

The groups G(xi) , G(xii) , G(xiii) are not of central type. In these groups the element a has the property that CG (a) = hai and therefore by Lemma 2.3 these groups
are not of central type.
Next, we show that the group G(xiv) is of central type.
Theorem 3.5. Let G = ha, b, c, di be a group of order p4 such that
ap = bp = cp = dp = 1,

[a, b] = [a, c] = [a, d] = [b, c] = [b, d] = 1,

[c, d] = a.

Then G is a group of central type.
Proof. First, notice that
Z(G) = ha, bi, CG (c) = ha, b, ci, CG (d) = ha, b, di.
We wish to construct a nondegenerate cohomology class [f ] ∈ H 2 (G, C∗ ). This
twisted group algebra Cf G is generated as algebra by ua , ub , uc , ud such that
(23)

upa = upb = upc = upd = 1.

We use a construction of crossed product in the following way. Consider the following Cp = hci-action on the commutative group algebra CZ(G).
ψc :CZ(G) → CZ(G)
ua 7→ ζp ua
ub 7→ ub
where ζp is a p-th root of unity. Clearly, ψc is an automorphism of order p of the
ring CZ(G) and therefore the ring R1 generated by ua , ub , uc is a crossed product
of Cp = huc i over CZ(G). In particular it is an associative algebra. Consider the
following Cp = hdi-action on R1 .
ψd :R1 → R1
ua 7→ ua
ub 7→ ζp ub
uc 7→ ua uc .
We will show that ψd is an automorphism of order p of the ring R1 . We need to
check if the following equalities hold:
−1
(1) ψd (ub ua u−1
.
b ) = ψd (ub )ψd (ua )ψd (ub )
−1
(2) ψd (uc ua uc ) = ψd (uc )ψd (ua )ψd (uc )−1 .
−1
(3) ψd (uc ub u−1
.
c ) = ψd (uc )ψd (ub )ψd (uc )

Indeed,
(1)
ψd (ub ua ub−1 ) = ψd (ua ) = ua ,
and on the other hand,
ψd (ub )ψd (ua )ψd (ub )−1 = (ζp ub )ua (ζp ub )−1 = ua .

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

11

(2)
−1
−1
ψd (uc ua u−1
c ) = ψd (ζp ua ) = ζp ua ,

and on the other hand,
−1
−1
−1
−1
ψd (uc )ψd (ua )ψd (uc )−1 = ua uc ua (ua uc )−1 = ua (uc ua u−1
c )ua = ua ζp ua ua = ζp ua .

(3)
ψd (uc ub u−1
c ) = ψd (ub ) = ζp ub ,
and on the other hand,
−1
−1
ψd (uc )ψd (ub )ψd (uc )−1 = (ua uc )ζp ub (ua uc )−1 = ζp ua (uc ub u−1
c )ua = ζp ua ub ua = ζp ub .

We now need to check that ψd has order p. Clearly,
ψdp (ua ) = ua and ψdp (ub ) = ub .
Notice that
ψdk (uc ) = ψdk−1 (ua uc ) = ψdk−1 (ua )ψdk−1 (uc ) = ua ψdk−1 (uc ) = . . . = uka uc .
Therefore,
ψdp (uc ) = upa uc = uc .
Since ψd is an automorphism of the ring R1 we conclude that the ring R generated
by ua , ub , uc , ud is a crossed product of Cp = hud i over R1 . In particular it is an
associative algebra. Hence the ring R is an associative complex algebra generated
by ua , ub , uc , ud with the following relations.
upa = upb = upc = upd = 1
[ua , ub ] = [ua , ud ] = [ub , uc ] = 1, [ua , uc ] = ζp , [ub , ud ] = ζp , [uc , ud ] = ua .
The associativity of R ensures that there exists a cocycle f ∈ Z 2 (G, C∗ ) which
satisfies the above relations. We show that f is nondegenerate by showing that
there are no non-trivial f -regular elements in G.
Assume that x = ar1 br2 cr3 dr4 ∈ G is an f -regular element. If r4 6= 0 then
[ub , ux ] 6= 1 while b ∈ CG (x) and hence we can assume that x = ar1 br2 cr3 .
Then, if r3 6= 0 then [ua , ux ] 6= 1 while a ∈ CG (x) and hence we can assume that
x = ar1 b r2 .
Then, if r2 6= 0 then [ud , ux ] 6= 1 while d ∈ CG (x) and hence we can assume that
x = ar1 .
But then, if r1 6= 0 then [uc , ux ] 6= 1 while c ∈ CG (x) and hence we get that x is
trivial and therefore f is nondegenerate.

Next, we show that the group G(xv) is of central type in the p > 3 case and in
the p = 3 case.
Theorem 3.6. For prime p ≥ 5, let G be a group of order p4 generated by four
elements {a, b, c, d} with the following relations,
ap = bp = cp = dp = 1, [a, b] = [a, c] = [a, d] = [b, c] = 1, [d, b] = a, [d, c] = b.
And for p = 3, G15 let G be a group of order 81 generated by three elements {a, b, c}
with the following relations,
a9 = b3 = c3 = 1, [a, b] = 1, cac−1 = ab, cbc−1 = a6 b.
Then, the groups G are of central type.

12

OFIR SCHNABEL

Proof. We start with the case where p ≥ 5. First, notice that Z(G) = hai and Gp =
ha, bi. We wish to construct a nondegenerate cohomology class [f ] ∈ H 2 (G, C∗ )
such that the restriction of [f ] to Gp is trivial. This twisted group algebra Cf G is
generated as algebra by ua , ub , uc , ud such that
upa = upb = upc = upd = 1.
We use a construction of crossed product in the following way. First we define a
cohomology class [α] over the subgroup H := ha, b, ci using the following relations.
[α] :

[ua , ub ] = [ua , uc ] = 1, [uc , ub ] = ζp ,

where ζp is a p-th root of unit. Consider the following Cp = hdi-action on Cα H.
ψd :Cα H → Cα H
ua 7→ ζp ua
ub →
7 ua ub
uc →
7 ub uc .
We will show that ψd is an automorphism of order p of the ring Cα H. We need to
check if the following equalities hold.
−1
(1) ψd (ub ua u−1
.
b ) = ψd (ub )ψd (ua )ψd (ub )
−1
(2) ψd (uc ua u−1
)
=
ψ
(u
)ψ
(u
)ψ
(u
)
.
d c
d a
d c
c
−1
)
=
ψ
(u
)ψ
(u
)ψ
(u
)
.
(3) ψd (uc ub u−1
d c
d b
d c
c
Indeed,
(1) ψd (ub ua u−1
b ) = ψd (ua ) = ζp ua ,
and on the other hand,
ψd (ub )ψd (ua )ψd (ub )−1 = ua ub ζp ua (ua ub )−1 = ζp ua .
(2) ψd (uc ua u−1
c ) = ψd (ua ) = ζp ua ,
and on the other hand,
ψd (uc )ψd (ua )ψd (uc )−1 = ub uc ζp ua (ub uc )−1 = ζp ua .
(3) ψd (uc ub u−1
c ) = ψd (ζp ub ) = ζp ua ub ,
and on the other hand,
ψd (uc )ψd (ub )ψd (uc )−1 = ub uc ua ub (ub uc )−1 = ua ub [uc , ub ] = ζp ua ub .
We now need to check that ψd has order p. Clearly
ψdp (ua ) = ζpp ua = ua .
Notice that
ψdk (ub ) = ψdk−1 (ua ub ) = ψdk−1 (ua )ψdk−1 (ub ) = . . .

 k−1
 k−1

Y
Y
k(k−1)
i
i
ζp ua ub = ζp 2 uka ub .
ψd (ua ) ub =
=
i=0

i=0

Therefore,
p(p−1)

ψdp (ub ) = ζp 2 upa ub = ub .
In order to show that ψdp (uc ) = uc we will use two observations. First, it is easy to
prove by induction that for any natural n ≥ 1,
(n + 1)n n(n − 1)
2·1
(n + 2)(n + 1)n
+
+ ...+
=
.
2
2
2
6

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

13

Second, for any prime number p ≥ 5
p(p − 1)(p − 2)
6
is divisible by p. We will also use that ua and ub commute. Now,

 p−1
Y
p
p−1
p−1
p−1
i
ψd (ub ) uc =
ψd (uc ) = ψd (ub uc ) = ψd (ub )ψd (uc ) = . . . =
i=0

 p−1
Y
i=0

i(i−1)
2

ζp


 Pp−1 i(i−1) Pp−1

p(p−1)
p(p−1)(p−2)
i
6
uia ub uc = ζp i=0 2 ua i=0 upb uc = ζp
ua 2 = uc .

Since ψd is an automorphism of the ring Cα H we conclude that the ring R generated by ua , ub , uc , ud is a crossed product of Cp over Cα H. In particular it is an
associative algebra. Hence the ring R is an associative complex algebra generated
by ua , ub , uc , ud with the following relations.
(24) [ua , ub ] = [ua , uc ] = 1, [ud , ua ] = ζp , [uc , ub ] = ζp , [ud , ub ] = ua , [ud , uc ] = ub .
The associativity of R ensures that there exists a cocycle f ∈ Z 2 (G, C∗ ) which
satisfies the above relations. We show that f is nondegenerate by showing that
there are no non-trivial f -regular elements in G. Assume that x = ar1 br2 cr3 dr4 ∈ G
is an f -regular element. If r4 6= 0 then [ua , ux ] 6= 1 while a ∈ CG (x) and hence we
can assume that x = ar1 br2 cr3 . Then, if r3 6= 0 then [ub , ux ] 6= 1 while b ∈ CG (x)
and hence we can assume that x = ar1 br2 . Then, if r2 6= 0 then [uc , ux ] 6= 1 while
c ∈ CG (x) and hence we can assume that x = ar1 . But then, if r1 6= 0 then
[ud , ux ] 6= 1 while d ∈ CG (x) and hence we get that x is trivial and therefore f is
nondegenerate.
The case p = 3 is done in a similar way. We start by defining a cohomology class
[β] over the commutative group H = ha, bi as follows.
[β] :

[ua , ub ] = ζ3 ,

where ζ3 is a root of unity of order 3. Then we define a hci-action on Cβ H by
ψc :Cα H → Cα H
ua 7→ ζ9 ub ua
ub 7→ u6a ub ,
where ζ9 is a root of unity of order 9. We check that indeed ψc is an automorphism
of order 3 of the ring Cβ H and consequently we get an associative ring R spanned
by ua , ub , uc with the following relations
u9a = u3b = u3c = 1, [ua , ub ] = ζ3 , [uc , ua ] = ζ9 ub , [uc , ub ] = u6a .
The associativity of R ensures that there exists a cocycle f ∈ Z 2 (G, C∗ ) which
satisfies the above relations. We show that f is nondegenerate by showing that
there are no non-trivial f -regular elements in G. Notice that
CG (a) = CG (b) = ha, bi, CG (c) = hc, a3 i.
Assume that x = ai bj ck ∈ G is an f -regular element. If k 6= 0 then [ua3 , ux ] 6= 1
while a3 ∈ CG (x) and hence we can assume that x = ai bj . If j 6= 0 then [ua , ux ] 6= 1
while a ∈ CG (x) and hence we can assume that x = ai . But then, if i 6= 0 then
[ub , ux ] 6= 1 while b ∈ CG (x) and hence we get that x is trivial and therefore f is
nondegenerate.


14

OFIR SCHNABEL

This completes the proof of Theorem 1.
3.2. p is even. In this section we complete the proof of Theorem 2. All the numbering in this section are with correspondence with Table 2. Recall that we already proved that from the groups G(i) -G(vii) , the only groups of central type are
G(iii) , G(v) .
We start this section by showing that the group G(viii) is not of central type.
Lemma 3.7. Let G = ha, bi be a group of order 16 such that
a4 = b4 = 1,

[a, b] = a2 .

Then, for any cocycle f ∈ Z 2 (G, C∗ ), the element b2 is f -regular. In particular, G
is not a group of central type.
Proof. Let f ∈ Z 2 (G, C∗ ), and assume that
[ua , ub ] = δu2a .
Then
(25)

ua ub ua−1 = δu2a ub .

Since a2 and b commutes in G, then by Lemma 2.5, δ is a root of unity of order
dividing 4. Therefore, using (25) we get
(26)

2
2
2 2
2
2 2 2 2
4
ua u2b u−1
a = (δua ub ) = δ ua (ub ua )ub = δ ua (δ ua ub )ub = δ = 1.

Therefore, b2 is an f -regular element in G. Moreover, ub is a nontrivial central
element in Cf G and hence the group G is not of central type

Next, we show that the group G(xi) is of central type.
Theorem 3.8. Let G = ha, b, ci be a group of order 16 such that
a4 = b2 = c2 = 1,

[a, b] = [b, c] = 1,

[a, c] = a2 .

Then G is a group of central type.
Proof. We wish to construct a nondegenerate cohomology class [f ] ∈ H 2 (G, C∗ ).
The corresponding twisted group algebra Cf G is generated as algebra by ua , ub , uc
such that
(27)

u4a = u2b = u2c = 1.

We use a construction of crossed product in the following way. We start from the
twisted group algebra R1 = Cα ha, bi, where [α] ∈ H 2 (ha, bi, C∗ ) is defined by the
relation
[ua , ub ] = −1.
Consider the following C2 = hci-action on R1 .
ψc :R1 → R1
ua 7→ iu3a
ub 7→ ub .
By setting ψc (uja ) = ψc (ua )j we ensure that ψc is a homomorphism of R1 .
Next, we check that the automorphism ψc has order 2. Clearly ψc2 (ub ) = ub .
Now,
(28)

ψc2 (ua ) = ψc (iu3a ) = iψc (ua )3 = i · i3 u9a = ua .

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

15

We conclude that indeed ψc is an automorphism of order 2 of R1 .
Since ψc is an automorphism of the ring R1 , the ring R generated by ua , ub , uc
is a crossed product of C2 = huc i over R1 . In particular it is an associative algebra.
Hence the ring R is an associative complex algebra generated by ua , ub , uc with the
following relations.
u4a = u2b = u2c = 1,

[ua , ub ] = −1, [uc, ub ] = 1, [uc , ua ] = iu2a .

The associativity of R ensures that there exists a cocycle f ∈ Z 2 (G, C∗ ) which
satisfies the above relations. We show that f is nondegenerate by showing that
there are no non-trivial f -regular elements in G.
Let x = at bj ck ∈ G be an f -regular element. If k 6= 0 then [ux , u2a ] 6= 1 while
2
a ∈ CG (x). Hence we may assume that k = 0 and x = at bj .
If j 6= 0 then [ux , ua ] 6= 1 while a ∈ CG (x). Hence we may assume that j = 0 and
x = at .
If t is odd, then [ux , ub ] 6= 1 while b ∈ CG (x). Hence we may assume that t is even.
But then, if t ≡ 2(mod 4), then [ux , uc ] 6= 1 while c ∈ CG (x) and therefore x is
trivial. We conclude that f is nondegenerate and G is a group of central type. 
Next, we show that the group G(x) is of central type.
Theorem 3.9. Let G = ha, b, ci be a group of order 16 such that
a4 = b2 = c2 = 1,

[a, b] = [b, c] = 1,

[a, c] = b.

Then G is a group of central type.
Proof. We wish to construct a nondegenerate cohomology class [f ] ∈ H 2 (G, C∗ ).
The corresponding twisted group algebra Cf G is generated as algebra by ua , ub , uc
such that
u4a = u2b = u2c = 1.

(29)

We use a construction of crossed product in the following way. We start from the
twisted group algebra R1 = Cα ha, bi, where [α] ∈ H 2 (ha, bi, C∗ ) is defined by the
relation
[α] : [ua , ub ] = −1.
Consider the following C2 = hci-action on R1 .
ψc :R1 → R1
ua 7→ −ub ua
ub 7→ ub ,
and ψc (uja ) = ψc (ua )j , ψc (ujb ) = ψc (ub )j .
We will show that ψc is an automorphism of order 2 of the ring R1 . We need to
check if the following equality holds:
−1
ψc (ua ub u−1
.
a ) = ψc (ua )ψc (ub )ψc (ua )

Indeed,
ψc (ua ub u−1
a ) = ψc (−ub ) = −ub ,
and on the other hand
ψc (ua )ψc (ub )ψc (ua )−1 = (−ub ua )(ub )(−u3a ub ) = −ub .

16

OFIR SCHNABEL

Next, we check that the automorphism ψc has order 2. Clearly ψc2 (ub ) = ub .
Now,
(30)

ψc2 (ua ) = ψc (−ub ua ) = −ψc (ua )ψc (ub ) = −(−ua ub )(ub ) = ua .

We conclude that indeed ψc is an automorphism of order 2 of R1 .
Since ψc is an automorphism of the ring R1 , the ring R generated by ua , ub , uc
is a crossed product of C2 = huc i over R1 . In particular it is an associative algebra.
Hence the ring R is an associative complex algebra generated by ua , ub , uc with the
following relations.
u4a = u2b = u2c = 1,

[ua , ub ] = −1, [uc , ub ] = 1, [uc , ua ] = −ub .

The associativity of R ensures that there exists a cocycle f ∈ Z 2 (G, C∗ ) which
satisfies the above relations. We show that f is nondegenerate by showing that
there are no non-trivial f -regular elements in G.
Let x = at bj ck ∈ G be an f -regular element. If k 6= 0 then [ux , u2a ] 6= 1 while
2
a ∈ CG (x). Hence we may assume that k = 0 and x = at bj .
If j 6= 0 then [ux , ua ] 6= 1 while a ∈ CG (x). Hence we may assume that j = 0 and
x = at .
If t is odd, then [ux , ub ] 6= 1 while b ∈ CG (x). Hence we may assume that t is even.
But then, if t ≡ 2(mod 4), then [ux , uc ] 6= 1 while c ∈ CG (x) and therefore x is
trivial. We conclude that f is nondegenerate and G is a group of central type. 
Next, we show that the group G(xi) is not of central type.
Lemma 3.10. Let G = ha, b, ci be a group of order 16 such that
a4 = c2 = 1,

a2 = b 2 ,

[a, c] = [b, c] = 1, [a, b] = a2 .

Then, for any cocycle f ∈ Z 2 (G, C∗ ), the element a2 is f -regular. In particular, G
is not a group of central type.
Proof. Let f ∈ Z 2 (G, C∗ ) and assume that [ua , uc ] = δ. By Lemma 2.5, δ ∈ {1, −1}.
In particular,
(31)

[ua2 , uc ] = 1.
2

Hence, in order to show that a is f -regular, we need to show that [ua2 , ub ] = 1.
Since [a, b] = a2 , there exists a scalar γ such that
[ua , ub ] = γu2a ,
−1
or equivalently, ub u−1
a ub = γua . Therefore,

(32)

−2 −1
−2 −1
−1 −1 2
2 2
u2a = u2b = u−2
b = ub ub ub = ub ua ub = (ub ua ub ) = γ ua .

Consequently, γ ∈ {1, −1}. Hence,
(33)

−1
2
−1 −1
−1 −1
2
−1 −1 2
[u2a , ub ] = u2a (ub u−2
a ub ) = ua (ub ua ub ub ua ub ) = ua (ub ua ub ) = 1.

Therefore, by (31) and (33), a2 is f -regular and hence f is not nondegenerate. 
Finally, the groups G(xii) , G(xiii) , G(xiv) admit a cyclic subgroup of order 8 and
hence by Lemma 2.4 these groups are not of central type..
This completes the proof of Theorem 2.

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

17

4. The semi-center of simple twisted group algebra
We use the fact that the partition of a group G to conjugacy classes refines the
partition of G to cosets of the commutator Gp . Let f ∈ Z 2 (G, C∗ ) be a nondegenerate cocycle. By (4), for every λ ∈ Ĝ, dim((Cf G)λ ) = 1. Hence, the support of any
element in (Cf G)λ is a unique conjugacy class of G, say [x]. Define the following
group homomorphism.
(34)

ϕ = ϕ(f ) : Ĝ → G/Gp
λ 7→ xGp .

Let λ0 ∈ Ĝ. By [12, (25)] it can easily be verified that λ0 (x) = 1 for every x ∈ Γ(f )
(see Corollary 2.9) if and only if λ0 ∈ker(ϕ). Therefore,
(35)

ˆ

Cf ker(ϕ) = Z(Sz(Cf G)).

Next, we prove Theorem 3. We show that if Cf G is a simple twisted group algebra
and the restriction of f to Gp , which we denote by f p , is also nondegenerate then
the semi-center of Cf G is simple. In particular, if Gp is a Hall subgroup of G, then
the semi-center of Cf G is simple.
Proof of Theorem 3.
First, we show that if there are no non-trivial (λ, f )-regular conjugacy classes contained in Gp then the semi-center of Cf G is simple. Notice that in this case, the
associated kernel of ϕ (see (34)) is trivial. Hence, by (35) we conclude that the center of Sz(Cf G) is one dimensional and as a consequence the semi-center of (Cf G)
is simple.
Next, we show that there are no non-trivial (λ, f )-regular conjugacy class contained in Gp . Assume that [g] ⊆ Gp is a (λ, f )-regular conjugacy class. Let
x ∈ CGp (g), in particular x ∈ Gp . Therefore, δ(x) = 1 for any δ ∈ Ĝ. Since g
is a (λ, f )-regular element in G,
αf (g, x) = αf p (g, x) = λ(x) = 1.
Hence, g is an f p -regular element. By the nondegeneracy of f p we conclude that
g = 1. Therefore, there are no non-trivial (λ, f )-regular conjugacy class contained
in Gp . Hence, by the first part the semi-center of is simple. By [8, Corollary 4] the
restriction of a nondegenerate cocycle to any Hall subgroup is also nondegenerate.
Hence, by the first part, if Gp is a Hall subgroup of G, then the semi-center of Cf G
is simple.

Remark 4.1. Let G be a group of central type of order n2 where n is square-free
number. In [11] we show that in this case Gp is a Hall subgroup of G. Hence, by
Theorem 3 the semi-center of Cf G is simple.
Corollaries 4.2, 4.3 deal with two extremes of ker(ϕ) (see (34)). Either ker(ϕ) is
trivial or ker(ϕ) = Ĝ. These extremes correspond to the two extremes presented in
Problem 1 for nondegenerate cocycles.
Corollary 4.2. Let f ∈ Z 2 (G, C∗ ) be a nondegenerate cocycle. With the above
notations the following are equivalent.
(1) ker(ϕ) is trivial. In other words, there are no non-trivial (λ, f )-regular
conjugacy classes contained in Gp .
(2) ϕ is an isomorphism.

18

OFIR SCHNABEL
ˆ
(3) Sz(Cf G) = Cf Ĝ is simple. In other words, fˆ ∈ Z 2 (Ĝ, C∗ ) is a nondegenerate cocycle, and in particular, Ĝ is a group of central type.

∼ G/Gp , ker(ϕ) is trivial if and only if ϕ is an isomorphism. By
Proof. Since Ĝ =
ˆ
equation (35), ker(ϕ) is trivial if and only if the center of Cf Ĝ is one dimensional
and hence fˆ is nondegenerate cocycle.

The other extreme is giving as follows.
Corollary 4.3. Let f ∈ Z 2 (G, C∗ ) be a nondegenerate cocycle. With the above
notations the following are equivalent.
(1) ker(ϕ) = Ĝ. In other words, all the (λ, f )-regular conjugacy classes are
contained in Gp .
(2) fˆ is cohomologically trivial.
ˆ
(3) Sz(Cf G) = Cf Ĝ is commutative.
(4) With the notations of Corollary 2.9,
X
[G : G′ CG (x)] = |Ĝ|.
x∈Γ(f )∩Gp

Moreover, if these conditions hold then Z(G) ≤ Gp .
Proof. We first show that the second and the third conditions are equivalent. Asˆ
sume that Cf Ĝ is commutative. Then, since the order of the cohomology class
[f ] ∈ H 2 (G, C∗ ) divides the dimension of each projective f -representation (see [1,
p.406, Remark]) fˆ is cohomologically trivial. On the other hand, since Ĝ is comˆ
mutative, if fˆ is cohomologically trivial, then Cf Ĝ is commutative. Next, we show
that the first and the third conditions are equivalent. Since f is nondegenerate, the
dimension of Sz(Cf G) is |Ĝ|. Therefore, by (35), Sz(Cf G) is commutative if and
only if ker(ϕ) = Ĝ. The equivalence between the first and the fourth conditions
is clear from Corollary 2.9. Finally, since any central element is (λ, f )-regular for
some λ ∈ Ĝ (see Lemma 2.8), the last claim is clear from the first condition.

By Lemma 2.8, nondegenerate cocycles f ∈ Z 2 (G, C∗ ) over abelian groups G
are natural examples for affirmative answer to Problem 1(ii). However, there exist
more sophisticated examples.
Corollary 4.4. Let f ∈ H 2 (G, C∗ ) be a nondegenerate cocycle, assume also Z(G) 6⊆
Gp . If Ĝ ∼
= Cp × Cp then Sz(Cf G) ∼
= Mp (C).
Proof. By (4),
ˆ

Sz(Cf G) = Cf (Cp × Cp ).
ˆ

Now, by Corollary 4.3, since Z(G) 6⊆ Gp , Cf (Cp × Cp ) is non-commutative and
hence by Corollary 4.3 [fˆ] is non-trivial. Since any cohomology class of Cp × Cp
is either trivial or nondegenerate (see [11, §2]) we get that fˆ is nondegenerate.
ˆ
Consequently, Cf (Cp × Cp ) is simple.

In Theorem 5, the idea of the construction of the cohomology class [f ] is based
on the following lemma.

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

19

Lemma 4.5. Let f be nondegenerate cocycle and denote by f p the restriction of f
to Gp . Then
p

p

Sz(Cf G) ∩ Cf Gp ⊆ Z(Cf Gp ).
Proof. By Proposition 2.7, it is enough to show that if x ∈ Gp is a (λ, f )-regular
element for some λ ∈ Ĝ, then it is also f p -regular. Assume that x ∈ Gp is a (λ, f )regular element. Let g ∈ CGp (x), in particular g ∈ Gp . Therefore, δ(g) = 1 for any
δ ∈ Ĝ. Since x is (λ, f )-regular,
[ux , ug ] = λ(x) = 1.
Consequently x is f p -regular.



Note that for any normal subgroup N of a group G, a G-conjugacy class splits
into [G : N CG (g)], N -conjugacy classes. Let x ∈ Gp be a (λ, f )-regular element.
Then, the G-conjugacy class [x] splits into [G : Gp CG (x)] many Gp -conjugacy classes.
Consequently, with the notations of Corollary 2.9,
(36)

[

X

{[x]Gp |x is (λ, f )-regular} =

[G : G′ CG (x)].

x∈Γ(f )∩Gp

λ∈Ĝ

From (36) and Corollary 4.3 we get
Corollary 4.6. Let f ∈ Z 2 (G, C∗ ) be a nondegenerate cocycle. If the number of
Gp conjugacy classes (in Gp ) is smaller than the cardinality of Ĝ, then Sz(Cf G) is
not commutative. In particular, if Sz(Cf G) is commutative, then |Gp | ≥ |G/Gp |.
In the next section we will deal with the semi-center of simple twisted group
algebras Cf G where G is a p-group for a prime number p. We will use the following
proposition.
Proposition 4.7. Let f ∈ Z 2 (G, C) be a nondegenerate
cocycle and assume
p
that Sz(CfpG) is commutative. Then, |Z(G)| ≤ |G|. In the specific case where
|Z(G)| = |G|, then Gp = Z(G) ∼
= Ĝ.

Proof. By Corollary 4.3, since Sz(Cf G) is commutative then Z(G) ⊆ Gp . In particular,
(37)

|Z(G)| ≤ |Gp |.

On the other hand, by [12, Theorem C], Z(G) embeds into Ĝ and therefore
(38)

|Z(G)| ≤ |Ĝ| =

|G|
.
|Gp |

p
p
From (37) and (38) we get |Z(G)| ≤ |G|. In the case where |Z(G)| = |G| we
get equalities in both (37) and (38). Since Z(G) and Gp are of the same order and
Z(G) ⊆ Gp we have Gp = Z(G). Since Z(G) embeds into Ĝ and they have the same
order we have Z(G) ∼

= Ĝ.

20

OFIR SCHNABEL

5. Semi-center of simple twisted group algebras over p-groups.
We start this section by proving that the semi-center of the simple twisted group
algebras presented in Theorem 3.6, which correspond to the groups G(xv) , is commutative. Then we will show that G(xv) is unique with this properties. In other
words, we will show that if G is a group of order p4 , where p now is any prime,
and if there exists a nondegenerate cocycle f ∈ Z 2 (G, C∗ ) such that Sz(Cf G) is
commutative, then G ∼
= G(xv) . In particular, there is no group G of order 16 which
admits a nondegenerate cocycle f ∈ Z 2 (G, C∗ ) such that Sz(Cf G) is commutative.
Theorem 5.1. Let G := G(xv) for primes p ≥ 5 and let H := G(xv) for p = 3.
The twisted group algebras which correspond to the following cohomology classes
[f ] ∈ H 2 (G, C∗ ) and [β] ∈ H 2 (H, C∗ ) admits a commutative semi-center.
[f ] : upa = upb = upc = upd = 1[ua , ub ] = [ua , uc ] = 1, [ud, ua ] = ζp , [uc , ub ] = ζp , [ud , ub ] = ua , [ud , uc ] = ub .
[β] : u9a = u3b = u3c = 1, [ua , ub ] = ζ3 , [uc , ua ] = ζ9 ub , [uc , ub ] = u6a .
Proof. In the proof of Theorem 3.6 it was shown that [f ] and [β] are indeed cohomology classes. We start by showing that Sz(Cf G) is commutative. Since Gp = ha, bi
we can identify
Ĝ ∼
= Cp × Cp = hλc i × hλd i.
Here,
λc (a) = λc (b) = λc (d) = 1, λc (c) = ζp ,
and
λd (a) = λd (b) = λd (c) = 1, λd (d) = ζp ,
where ζp is a primitive p-th root of unity. Since a is central and
[ua , uc ] = [ua , ub ] = 1, [ud, ua ] = ζp ,
we get that a is (λd , f )-regular.
Similarly, since CG (b) = ha, b, ci and
[ua , ub ] = 1, [uc , ub ] = ζp ,
we get that b is (λc , f )-regular. Consequently, with the notations of (34),
ϕ(λc ) = bGp = Gp and ϕ(λd ) = aGp = Gp .
Therefore, ϕ is trivial and hence by Corollary 4.3, Sz(Cf G) is commutative.
Next, we show that Sz(Cβ H) is commutative. Since H p = ha3 , bi we can identify
Ĥ ∼
= Cp × Cp = hλa i × hλc i.
Here,
λa (b) = λa (c) = 1, λa (a) = ζ3 ,
and
λc (a) = λc (b) = 1, λc (c) = ζ3 ,
where ζ3 is a root of unity of order 3. Since a3 is central and
[ua3 , ub ] = 1, [ua3 , uc ] = ζ3 ,
we get that a3 is (λc , β)-regular.
Similarly, since CG (b) = ha, bi and
[ua , ub ] = ζ3 ,

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

21

we get that b is (λa , β)-regular. Consequently, with the notations of (34),
ϕ(λa ) = bGp = Gp and ϕ(λc ) = a3 Gp = Gp .
Therefore, ϕ is trivial and hence by Corollary 4.3, Sz(Cf G) is commutative.



Notice that Z(G(xv) ) is a proper subgroup of Gp(xv) of cardinality p. It turns out
that this is a necessary condition on a group G of order p4 in order to admit a
nondegenerate cocycle f ∈ Z 2 (G, C) such that Sz(Cf G) is commutative.
Lemma 5.2. Let G be a group of order p4 where p is prime. Assume that there
is a nondegenerate cocycle f ∈ Z 2 (G, C) such that Sz(Cf G) is commutative. Then
Z(G) is a proper subgroup of Gp of cardinality p.
Proof. The group G admits a normal subgroup of order pi for any 0 ≤ i ≤ 4 (see
[19, Exercise 4.2]). In particular, G admits a normal subgroup N of order p2 . Since
|G/N | = p2 we conclude that G/N is a abelian. Therefore |Gp | ≤ p2 . If |Gp | < p2 ,
then by Corollary 4.6, Sz(Cf G) is non-commutative which is a contradiction. We
are left with the case in which |Gp | = p2 . By Corollary 4.3, Z(G) ⊆ Gp . There
are two possibilities. Either, Z(G) is a proper subgroup of Gp of cardinality p or
Z(G) = Gp . We will show that the second possibility never happens. Assume
Z(G) = Gp . Then, by Proposition 4.7, Gp = Z(G) ∼
= Ĝ. Obviously, this cannot
happen if Z(G) cyclic. Indeed, in this case G/Z(G) is cyclic and hence the group G
is abelian which contradicts our assumption that the semi-center is commutative.
Assume Z(G) ∼
= Cp × Cp . We get a central extension
(39)

φ
1 → Gp ∼
→ Cp × Cp → 1.
= Cp × Cp → G −

Let x, y ∈ G such that φ(x), φ(y) generates Im(φ). Then the commutator Gp is the
cyclic subgroup of order p generated by [x, y]. This contradicts (39).

We are now ready to prove the uniqueness of G(xv) in the following sense.
Proposition 5.3. Let G be group of cardinality p4 where p is prime. If there exists
a nondegenerate cocycle f ∈ Z 2 (G, C) such that Sz(Cf G) is commutative then p > 2
and G ∼
= G(xv) .
Proof. Clearly, G cannot be abelian. Let G be a group of central type which is
not isomorphic to G(xv) from Table 1. Then by Theorem 1, if p is odd then G
isomorphic to either G(viii) or G(xiv) from Table 1, and if p = 2 then by Theorem 2,
G is isomorphic to either G(ix) or G(x) from Table 2. However, in all these groups
the center is not a proper subgroup of the commutator and hence by Lemma 5.2
there is no commutative semi-center of simple twisted group algebras over these
groups.

Let Cf G be a simple twisted group algebra. By Remark 4.1 and by Proposition 5.3, if either |G| is cube-free or |G| = 16, then Sz(Cf G) is non-commutative.
Hence, if a group G admits a nondegenerate cocycle f ∈ Z 2 (G, C∗ ) such that
Sz(Cf G) is commutative, then |G| ≥ 64.
Next we prove Theorem 5. Recall that G defined as follows:
(40)

G = hx1 , x2 , x3 , x4 , x5 , x6 i,

such that x1 , x2 , x3 are central and
x2i = 1,

[x4 , x5 ] = x1 ,

[x4 , x6 ] = x2 ,

[x5 , x6 ] = x3 .

22

OFIR SCHNABEL

We show that there exists a nondegenerate cocycle f ∈ Z 2 (G, C∗ ) such that
Sz(Cf G) is commutative.
Proof of Theorem 5.
The idea of the construction of G is based on Proposition 4.7. Clearly,
Z(G) = hx1 , x2 , x3 i = Gp .
Therefore,
Ĝ ∼
= Gp = Z(G).
The idea of the construction of [f ] ∈ H 2 (G, C∗ ) is based on Lemma 4.5. We
wish to construct a nondegenerate cohomology class [f ] ∈ H 2 (G, C∗ ) such that the
restriction of [f ] to Gp is trivial. Let ui := uxi . As before, we assume that u2i = 1.
We use a construction of crossed product in the following way. Start from the
commutative group algebra R1 = CZ(G) and construct a C2 = hx4 i action on R1
in the following way.
ψ4 :R1 → R1
u1 →
7 t14 u1
u2 →
7 t24 u2
u3 7→ t34 u3
For any tij = ±1, ψ4 is an automorphism (of order 2) of the ring R1 . Hence, the
ring R2 generated by u1 , u2 , u3 , u4 is a crossed product of C2 over R1 . In particular
it is an associative algebra. Consider the following C2 = hx5 i-action on R2 .
ψ5 :R2 → R2
u1 7→ u1
u2 →
7 t25 u2
u3 →
7 t35 u3
u4 7→ δu1 u4
We show that again, for any tij , δ = ±1, ψ5 is an automorphism (of order 2) of the
ring R2 . Clearly, the restriction of ψ5 to R1 is an automorphism. We need to check
if the following equality holds for any 1 ≤ i ≤ 3.
(41)

−1
ψ5 (u4 ui u−1
.
4 ) = ψ5 (u4 )ψ5 (ui )ψ5 (u4 )

Indeed,
ψ5 (u4 ui u−1
4 ) = ψ5 (ti4 ui ) = ti4 ti5 ui ,
and on the other hand,
−1
ψ5 (u4 )ψ5 (ui )ψ5 (u4 )−1 = (δu1 u4 )(ti5 ui )(δ −1 u−1
4 u1 )

= ti5 u1 (u4 ui u4−1 )u−1
1 = ti4 ti5 ui .
Since ψ5 is an automorphism of the ring R2 we conclude that the ring R3 generated by u1 , u2 , u3 , u4 , u5 is a crossed product of C2 over R2 . In particular it is an
associative algebra. Finally, we construct a C2 = hx6 i-action on R3 in the following

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

23

way.
ψ6 :R3 → R3
u1 →
7 t16 u1
u2 →
7 u2
u3 →
7 u3
u4 →
7 γu2 u4
u5 7→ λu3 u5
Now, we search conditions on tij , δ, γ, λ = ±1, such that ψ6 will be an automorphism
of the ring R3 . Similarly to the proof that ψ5 is an automorphism of R2 , the
restriction of ψ6 to R2 is also an automorphism. We need to check if the following
equality holds for any 1 ≤ i ≤ 4.
−1
ψ6 (u5 ui u−1
.
5 ) = ψ6 (u5 )ψ6 (ui )ψ6 (u5 )

(42)

For 1 ≤ i ≤ 3 we have on one side
ψ6 (u5 ui u−1
5 ) = ψ6 (ti5 ui ) = ti5 ti6 ui .
And on the other hand
−1 −1
ψ6 (u5 )ψ6 (ui )ψ6 (u5 )−1 = λu3 u5 ti6 ui u−1
= ti6 u3 ti5 ui u3−1 = ti5 ti6 ui .
5 u3 λ

For i = 4 we get on one side
ψ6 (u5 u4 u−1
5 ) = ψ6 (δu1 u4 ) = δt16 u1 γu2 u4 .
On the other hand
(43)

−1 −1
ψ6 (u5 )ψ6 (u4 )ψ6 (u5 )−1 = (λu3 u5 )(γu2 u4 )(u−1
)=
5 u3 λ
−1 −1
−1
γu3 u5 u2 (u−1
5 u5 )u4 u5 u3 = γu3 t25 u2 δu1 u4 u3 =

(44)

γδt25 u1 u2 u3 u4 u−1
3 = γδt25 u1 t34 u1 u2 u4 .

Therefore, equality holds if and only if
(45)

t16 = t25 t34 .

For t16 , t25 , t34 ∈ {1, −1} which satisfy (45), ψ6 is an automorphism and then the
ring R generated by u1 , u2 , u3 , u4 , u5 , u6 is a crossed product of C2 over R3 . In
particular it is an associative algebra.
Let t16 = t34 = t24 = t35 = −1 and all the other tij = 1 and λ = γ = δ = 1.
Then, the ring R is a complex associative algebra generated by u1 , u2 , u3 , u4 , u5 , u6
with the following relations.
(46)

[u1 , u6 ] = [u2 , u4 ] = [u3 , u4 ] = [u3 , u5 ] = −1.

For all the other 1 ≤ i ≤ 3, 4 ≤ j ≤ 6 we have [ui , uj ] = 1. Also for all 1 ≤ k ≤ 6,
[ui , uip ] = 1 for all 1 ≤ i, ip ≤ 3, [u4 , u5 ] = u1 , [u4 , u6 ] = u2 and [u5 , u6 ] = u3 . The
associativity of R ensures that there exists a cocycle f ∈ Z 2 (G, C∗ ) which satisfies
the above relations. We need to show the cocycle f is nondegenerate. It easy
to show that there are no f -regular elements in G and hence f is nondegenerate.
Indeed, for g 6∈ Z(G) there exists an element h ∈ Z(G) such that [ug , uh ] 6= 1.
On the other hand, for any h ∈ Z(G) there exists an element g 6∈ Z(G) such that
[ug , uh ] 6= 1. Since any element in Z(G) is (λ, f )-regular and since |Z(G)| = |Ĝ|
we can conclude that all the (λ, f )-regular elements in G are central and hence
contained in Gp = Z(G). By Corollary 4.3, Sz(Cf G) is commutative.


24

OFIR SCHNABEL

By Proposition 5.3 and Remark 4.1 the group G presented in Theorem 5 is
minimal with the property that (Cf G) is simple and Sz(Cf G) is commutative.
6. Problem 1 for general cocycles
As already mentioned, if Sz(Cf G) is simple then Cf G is also simple. As for the
commutative semi-center, there are many obvious examples. Clearly, if G is an
abelian group then Sz(CG) = CG is commutative. Since the cohomology of cyclic
groups is trivial, then another family of examples is any cocycle f ∈ Z 2 (G, C∗ ) on
a group G such that Ĝ is cyclic.
Next, we present an example of a group G of order 8 such that Ĝ is not cyclic,
a cocycle f ∈ Z 2 (G, C∗ ) such that Cf G is non-commutative and still Sz(Cf G) is
commutative.
Example 6.1. Let
G = D4 = {σ, τ |σ 4 = 1, τ 2 = 1, τ στ = σ −1 }.
Recall that the conjugation classes of D4 are
{1},

{σ 2 },

{σ, σ 3 },

{στ, σ 3 τ },

{τ, σ 2 τ },

and
Gp = {1, σ 2 }.
Let Cf G be the twisted group algebra spanned by the elements {ug }g∈G where
(47)

uτ uσ u−1
τ = iuσ3 .

By (47), [uσ2 , uτ ] = −1. Therefore, σ 2 is not f -regular and in the notations of [12,
Corollary 2.3],
Γ(1, f ) ∩ Gp = {1}.
Hence, by [12, Corollary 2.3]
dimC (Sz(Cf G)) = 4.
Consequently, Sz(Cf G) it either commutative or simple. Since the semi-center of
non-simple twisted group algebra is never simple we conclude that the Sz(Cf G) is
commutative.

Table 1. Groups of order p4 where p is an odd prime

3

2

ap = bp = 1, aba−1 = bap
2
ap = bp = cp = 1, [a, b] = [a, c] = 1, [b, c] = ap
2
2
ap = bp = 1, [a, b] = ap
2
ap = bp = cp = 1, [a, b] = [b, c] = 1, [a, c] = ap
2
ap = bp = cp = 1, [a, b] = [b, c] = 1, [a, c] = b
2
ap = bp = cp = 1, [b, c] = 1, [a, b] = ap , ac = cab
2
ap = bp = cp = 1, [b, c] = ap , [a, b] = ap , ac = cab
2
ap = bp = cp = 1, [b, c] = aαp , [a, b] = ap , ac = cab, α = any non-residue (mod p)
a9 = b3 = c3 = 1, [b, c] = 1, [a, b] = a3 , [a, c] = ba3
a9 = b3 = 1, c3 = a3 , [b, c] = 1, [a, b] = ap , [c, a] = ba3
a9 = b3 = 1, c3 = a6 , [b, c] = 1, [a, b] = ap , [c, a] = ba3
ap = bp = cp = dp = 1, [a, b] = [a, c] = [a, d] = [b, c] = [b, d] = 1, [c, d] = a
ap = bp = cp = dp = 1, [a, b] = [a, c] = [a, d] = [b, c] = 1, [d, b] = a, [d, c] = b
a9 = b3 = c3 = 1, [a, b] = 1, [a, c] = ba3 , [b, c] = a3

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

G(i)
Cp4
G(ii)
Cp3 × Cp
G(iii)
Cp2 × Cp2
G(iv)
Cp2 × Cp × Cp
G(v)
Cp4
G(vi)
ha, bi
G(vii)
ha, b, ci
G(viii)
ha, bi
G(ix)
ha, b, ci
G(x)
ha, b, ci
G(xi) for p > 3
ha, b, ci
G(xii) for p > 3
ha, b, ci
G(xiii) for p > 3
ha, b, ci
G(xi) for p = 3
ha, b, ci
G(xii) for p = 3
ha, b, ci
G(xiii) for p = 3
ha, b, ci
G(xiv)
ha, b, c, di
G(xv) for p > 3
ha, b, c, di
G(xv) for p = 3
ha, b, ci

25

a8
a4
a4
a4
a4
a4
a8
a8
a8

= b2 = 1, aba−1 = ba4
= b2 = c2 = 1, [a, b] = [a, c] = 1, [b, c] = a2
= b4 = 1, [a, b] = a2
= b2 = c2 = 1, [a, b] = [b, c] = 1, [a, c] = a2
= b2 = c2 = 1, [a, b] = [b, c] = 1, [a, c] = b
= c2 = 1, a2 = b2 [a, c] = [b, c] = 1, [a, b] = a2
= b2 = 1, [a, b] = a2
= b2 = 1, [a, b] = a6
= 1, b2 = a4 [a, b] = a6

OFIR SCHNABEL

G(i)
C16
G(ii)
C8 × C2
G(iii)
C4 × C4
G(iv) C4 × C2 × C2
G(v)
C24
G(vi)
ha, bi
G(vii)
ha, b, ci
G(viii)
ha, bi
G(ix)
ha, b, ci
G(x)
ha, b, ci
G(xi)
ha, b, ci
G(xii)
ha, bi
G(xiii)
ha, bi
G(xiv)
ha, bi

26

Table 2. Groups of order 16

SIMPLE TWISTED GROUP ALGEBRAS OF DIMENSION p4

27

References
[1] E. Aljadeff and Y. Ginosar. On the global dimension of multiplicative Weyl algebras. Arch.
Math. (Basel), 62(5):401–407, 1994.
[2] Y. A. Bahturin, S. K. Sehgal, and M. V. Zaicev. Group gradings on associative algebras. J.
Algebra, 241(2):677–698, 2001.
[3] Y. A. Bahturin and M. V. Zaicev. Group gradings on matrix algebras. Canad. Math. Bull.,
45(4):499–508, 2002.
[4] N. Ben David, Y. Ginosar, and E. Meir. Isotropy in group cohomology. Bull. Lond. Math.
Soc., 46(3):587–599, 2014.
[5] A. Braun and G. Vernik. On the center and semi-center of enveloping algebras in prime
characteristic. J. Algebra, 322(5):1830–1858, 2009.
[6] W. Burnside. Theory of groups of finite order. Dover Publications, Inc., New York, 1955. 2nd
ed.
[7] S. Danz and K. Erdmann. Crossed Products as Twisted Category Algebras. Algebr. Represent. Theory, 18(2):281–296, 2015.
[8] F. R. DeMeyer and G. J. Janusz. Finite groups with an irreducible representation of large
degree. Math. Z., 108:145–153, 1969.
[9] J. Dixmier. Enveloping algebras, grad. stud. math. Amer. Math. Soc, II, 1996.
[10] A. Elduque and M. Kochetov. Gradings on simple Lie algebras, volume 189 of Mathematical
Surveys and Monographs. American Mathematical Society, Providence, RI; Atlantic Association for Research in the Mathematical Sciences (AARMS), Halifax, NS, 2013.
[11] Y. Ginosar and O. Schnabel. Maximal connected gradings and intrinsic fundamental groups
of complex semisimple algebras. In preparation.
[12] Y. Ginosar and O. Schnabel. Semi-invariant Matrices over Finite Groups. Algebr. Represent.
Theory, 17(1):199–212, 2014.
[13] R. B. Howlett and I. M. Isaacs. On groups of central type. Math. Z., 179(4):555–569, 1982.
[14] G. Karpilovsky. Projective representations of finite groups, volume 94 of Monographs and
Textbooks in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 1985.
[15] M. Linckelmann and M. Stolorz. On simple modules over twisted finite category algebras.
Proc. Amer. Math. Soc., 140(11):3725–3737, 2012.
[16] E. Nauwelaerts and F. Van Oystaeyen. The Brauer splitting theorem and projective representations of finite groups over rings. J. Algebra, 112(1):49–57, 1988.
[17] D. S. Passman. Character theory and group rings. In Character theory of finite groups, volume
524 of Contemp. Math., pages 139–148. Amer. Math. Soc., Providence, RI, 2010.
[18] D. S. Passman and P. Wauters. Semi-invariants and weights of group algebras of finite groups.
Proc. Amer. Math. Soc., 127(5):1323–1329, 1999.
[19] J. Rotman. An introduction to the Theory of Groups Fourth Edition. Springer-Verlag, 1995.
[20] M. K. Smith. Semi-invariant rings. Comm. Algebra, 13(6):1283–1298, 1985.
[21] P. Wauters. The semicentre of a group algebra. Proc. Edinburgh Math. Soc. (2), 42(1):95–111,
1999.
[22] P. Wauters. The semicentre of a group algebra. II. Comm. Algebra, 29(11):5179–5190, 2001.
Institute of Algebra and Number Theory, Pfaffenwaldring 57, University of Stuttgart,
Stuttgart 70569, Germany
E-mail address: os2519@yahoo.com

