arXiv:1602.06694v1 [math.RA] 22 Feb 2016

GROUPS OF CENTRAL TYPE, MAXIMAL CONNECTED
GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS OF
COMPLEX SEMISIMPLE ALGEBRAS
YUVAL GINOSAR AND OFIR SCHNABEL
Abstract. Maximal connected grading classes of a finite-dimensional algebra
A are in one-to-one correspondence with Galois covering classes of A which admit no proper Galois covering and therefore are key in computing the intrinsic
fundamental group π1 (A). Our first concern here is the algebras A = Mn (C).
Their maximal connected gradings turn out to be in one-to-one correspondence with the Aut(G)-orbits of non-degenerate classes in H 2 (G, C∗ ), where
G runs over all groups of central type whose orders divide n2 . We show that
there exist groups of central type G such that H 2 (G, C∗ ) admits more than
one such orbit of non-degenerate classes. We compute the family Λ of positive
integers n such that there is a unique group of central type of order n2 , namely
Cn × Cn . The family Λ is of square-free integers and contains all prime numbers. It is obtained by a full description of all groups of central type whose
orders are cube-free. We establish the maximal connected gradings of all finite
dimensional semisimple complex algebras using the fact that such gradings
are determined by dimensions of complex projective representations of finite
groups. In some cases we give a description of the corresponding fundamental
groups.

2010 Mathematics Subject Classification: 16W50, 16S25, 20C25.

Contents
1. Introduction
2. Group grading of vector spaces and algebras
2.1. Graded vector spaces
2.2. Graded algebras
2.3. Quotient gradings
2.4. The intrinsic fundamental group
2.5. Induction
2.6. Graded-simple algebras
2.7. Terminology
3. Families of groups of central type
3.1. The associated alternating form
3.2. Hall subgroups
3.3. The automorphism action on non-degenerate cohomology classes
3.4. Groups of central type of cube-free order
3.5. The automorphism action on non-degenerate classes is not necessarily
transitive
4. Maximal connected gradings of semisimple algebras
The second author was supported by Minerva Stiftung.
1

2
7
7
9
11
12
13
15
16
17
17
18
20
23
27
31

2

YUVAL GINOSAR AND OFIR SCHNABEL

4.1. Maximal connected simple gradings
4.2. Proof of Theorem C
4.3. Diagonal algebras
4.4. Bisimple algebras
4.5. Completely graded decomposition algebras
References

31
34
38
38
40
42

1. Introduction
A novel definition of the fundamental group π1 (B) of a linear category B was
suggested by C. Cibils, M.J. Redondo and A. Solotar [16]. It is intrinsic in the
sense that “it does not depend on the presentation of the category by generators
and relations”. Other notions of fundamental groups are shown to be homomorphic images of this intrinsic group in case a universal covering exists. In [15], the
very same authors establish π1 (A) for certain families of algebras A, considered as
1-object linear categories, essentially by computing the inverse limit of a diagram
∆(A) of surjective morphisms of the automorphism groups that are associated to
the Galois coverings of these categories. It is thus necessary to understand such
coverings which admit no proper Galois covering, alternately, the coverings whose
corresponding grading classes are maximal with respect to the quotient partial ordering (see Definition 2.9(2)). In particular, a finite-dimensional algebra (as well as
other linear categories) has a universal covering only if it admits a unique maximal
connected grading up to equivalence. This enables Cibils, Redondo and Solotar
to show that complex matrix algebras Mn (C) do not have universal coverings for
n > 1, by introducing two maximal connected matrix gradings of totally different
natures: by the free group Fn−1 and by the finite abelian group Cn × Cn .
Recall that a grading of an algebra A by a group G is a vector space decomposition
M
(1.1)
A=
Ag
g∈G

such that Ag Ah ⊆ Agh . The support of this grading is
suppG (A) = {g ∈ G|dim(Ag ) ≥ 1}.
A G-grading of an algebra A is connected if the support of this grading generates
the group G.
The following example of a grading of A = Md (C) by the group Cd × Cd =
hσi × hτ i accompanies us throughout this note.
Example 1.1. (see [15, Proposition 4.4],[24, Example 0.4], [28]) Let ξd be a d-th
primitive root of unity. Then the component of A = Md (C) that corresponds to
σ i τ j ∈ Cd × Cd is 1-dimensional and is given by Aσi τ j = spanC {Bσi Bτj }, where




1 0 0 ···
0
0 0 ··· 0 1
 1 0 ··· 0 0 
 0 ξd 0 · · ·
0 




(1.2)
Bσ =  .
, Bτ =  ..

..  .
.
.
.
..
..
.. 
 ..
 .
. 
d−1
0 0 ··· 1 0
0 0 0 · · · ξd

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

3

Example 1.1 is a prototype for a natural grading of a twisted group algebra
hereby explained.
Let G be a group. A twisted group algebra Cf G is a G-dimensional C-vector
space endowed with multiplication, which is defined by a G-indexed basis {ug }g∈G
ug1 ug2 = f (g1 , g2 )ug1 g2 , g1 , g2 ∈ G,

(1.3)
2

∗

where f ∈ Z (G, C ), that is a 2-cocycle. A generalized Maschke’s theorem says
that if G is finite then any twisted group algebra Cf G is semisimple. It affords a
decomposition
M
EndC (W ),
(1.4)
Cf G ∼
=
[W ]∈Irr(G,f )

where Irr(G, f ) denotes the equivalence classes of irreducible complex f -projective
representations of G (see [32, §3]). Any twisted group algebra Cf G admits a natural
G-grading by letting
(Cf G)g := spanC {ug }, ∀g ∈ G.
Such gradings are maximal connected by a similar proof to [15, Proposition 5.1].
Furthermore, a theorem due to Y.A. Bahturin, S.K. Sehgal and M.V. Zaicev [9] says
that any group grading on a complex semisimple algebra is obtained from twisted
group algebras gradings by direct sums and inductions (see Theorem 2.19).
One can think of Example 1.1 as a twisted group algebra Cf (Cd × Cd ), where the
2-cocycle f ∈ Z 2 (Cd ×Cd , C∗ ) is obtained by the relations (1.3) when choosing basis
elements 0 6= ug ∈ Ag for every g ∈ Cd ×Cd . This example demonstrates that unlike
group algebras, there exist non-trivial groups G and cocycles f ∈ Z 2 (G, C∗ ) such
that the twisted group algebra Cf G is itself a matrix algebra, that is |Irr(G, f )| = 1
in (1.4). A group G admitting such a phenomenon is called of central type, and the
2-cocycle f ∈ Z 2 (G, C∗ ) is called non-degenerate. By the definition it is clear that
groups of central type are of square orders. Moreover, (1.4) clearly yields
∗
Lemma 1.2. (see [41, §1]) A cocycle f ∈ Z 2 (G,
p C ) is non-degenerate if and only
if there exists [W ] ∈ Irr(G, f ) with dimC W = |G|.

Non-degeneracy is a cohomology class property, hence we may refer to nondegenerate cohomology classes [f ] ∈ H 2 (G, C∗ ). Furthermore, non-degeneracy is
preserved under a broader setting, that is under the following natural action of
Aut(G) on H 2 (G, C∗ ).
Let [f ] ∈ H 2 (G, C∗ ) and let φ ∈Aut(G). Then

(1.5)

φ([f ]) = [φ(f )],
−1

φ(f )(g1 , g2 ) : = f (φ

where

(g1 ), φ−1 (g2 )).

It is not hard to verify (see Proposition 3.14) that the subset of non-degenerate
cohomology classes in H 2 (G, C∗ ) is stable under this action.
Note that the d-th primitive root ξd in Example 1.1 was not chosen explicitly.
Different choices of primitive roots yield non-cohomologous 2-cocycles. However,
their corresponding cohomology classes lie in the same Aut(Cd × Cd )-orbit under
the action (1.5) (see equation (2.12)).
This note is motivated by the study of the intrinsic fundamental groups of artinian semisimple complex algebras, regarded as 1-object linear categories. In this

4

YUVAL GINOSAR AND OFIR SCHNABEL

case, and more generally for every finite-dimensional algebra A, the set of equivalence classes of the connected gradings of A (see Definition 2.3) is partially ordered
(see Proposition 2.8).
We begin with algebras of complex matrices. The grading classes of such algebras
which are maximal with respect to this order are described by A. Elduque and M.
Kochetov [24], we formulate it in Theorem 1.3 herein using a slightly different
terminology (see §2.7). This theorem, which is a consequence of the above result
of Bahturin, Sehgal and Zaicev, exhausts the maximal connected gradings of these
algebras up to equivalence in terms of orbits of non-degenerate cohomology classes
under the action (1.5).
Theorem 1.3. (see [24, Proposition 2.31 and Corollary 2.34]) There is a one-toone correspondence between the maximal connected grading classes of Mn (C), and
the set of pairs Pn = {(G, γ)}, where G are groups of central type of order dividing
n2 , and γ are Aut(G)-orbits of non-degenerate cohomology classes in H 2 (G, C∗ ).
If G is a group of central type of order d2 dividing n2 and γ is an orbit as above,
then the maximal connected class that corresponds to (G, γ) ∈ Pn is graded by the
free product F nd −1 ∗ G. The correspondence in Theorem 1.3 is described in §2.6.
By Theorem 1.3, every divisor d of n contributes at least one member to Pn
by a non-degenerate class of Cd × Cd as in Example 1.1. That is, the number of
non-equivalent maximal connected grading classes of Mn (C) is bounded below by
the number of divisors of n. In particular, if n > 1 then Mn (C) admits at least two
graded-equivalence classes, and hence there is a universal covering of Mn (C) only
if n = 1 as observed in [15].
Theorem 1.3 poses two immediate problems. We record the first one as
Problem 1. For a given n, classify the groups of central type of order n2 .
Problem 1 is fairly hard in its full generality. Yet, we are able to give an answer
to this problem for “most” of the positive integers (in terms of density, see Remark
3.24), namely those that are square-free. For any such number n, groups of central
type of order n2 have a nice description:
Theorem A. Let G be a group of order n2 , where n is square-free. Then G is of
central type if and only if n decomposes as n = m · k (in particular (m, k) = 1)
such that Gp ∼
= Cm × Cm , and
G∼
= (Cm × Cm ) ⋊ (Ck × Ck ),
where the action of Ck × Ck on Cm × Cm is via SL2 (m).
By Example 1.1, for every n there is at least one group of central type of order
n2 , namely Cn × Cn . Theorem A, which is proven in §3.4.1, yields the following
description of the family of positive integers
Λ := {n ∈ N| Cn × Cn is the only group of central type of order n2 }.
Qr
Corollary B. Let n = i=1 pki i , where {pi }ri=1 are distinct primes. Then Cn × Cn
is the unique isomorphism type of groups of central type of order n2 if and only if
n is square-free (ki = 1) and
(1.6)

pj 6≡ ±1(mod pi ),

∀1 ≤ i, j ≤ r.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

5

A proof of Corollary B can be found in §3.4.2.
As mentioned above, all the non-degenerate cohomology classes in H 2 (Cd ×
Cd , C∗ ) lie in the same Aut(Cd × Cd )-orbit. It is not hard to verify (see §3.1) that
the subgroups of Cn × Cn of central type are exactly Cd × Cd < Cn × Cn , for all the
divisors d of n. Thus, if n is in the family Λ as described in Corollary B, then Pn
in Theorem 1.3 consists of the unique Aut(Cd ×QCd )-orbit of non-degenerate classes
r
for every divisor d of n. Consequently, if n = i=1 pi ∈ Λ, then the cardinality of
Pn is equal to the number of divisors of n, which is 2r (|Pn | is strictly larger than
the number of divisors of n if n is not in Λ).
The second problem that arises from Theorem 1.3 is recorded as
Problem 2. Given a group G of central type, classify the Aut(G)-orbits of the
non-degenerate cohomology classes in H 2 (G, C∗ ).
In their paper [3], E. Aljadeff, D. Haile and M. Natapov present a family of
groups of central type, which contains all the abelian groups of central type. This
family enjoys the property that for any group G in it, Aut(G) acts transitively
on the non-degenerate cohomology classes in H 2 (G, C∗ ) [5, Theorem 18]. One
might conjecture that this transitivity property holds for every group of central
type. However, groups of central type with a non-transitive action of Aut(G) on
their non-degenerate cohomology classes do exist. In §3.5 we exhibit such groups.
Example 3.25 makes use of the structure of groups of central type of cube-free
order given in Theorem A. It shows that such groups of central type may admit nondegenerate classes in separate orbits under the corresponding automorphism action.
Nevertheless, such classes show similar behavior. More precisely, they belong to the
same orbit under the more general action (3.24). In the next two examples, the
non-degenerate cohomology classes are not in the same orbit under both actions
and behave remarkably different. Example 3.26 is of a family of groups of central
type whose Sylow subgroups are all abelian. Example 3.27 is a 2-group of central
type of order 256. It is worthwhile to point out that due to this non-transitivity of
the automorphism action on the non-degenerate classes, a general group-theoretic
notion of symplectic groups should be assigned to a non-degenerate form rather
than to the group of central type admitting it (see Definition 3.15). With the
concept of symplectic actions we obtain a closure property of groups of central type
to certain extensions of Hall subgroups and describe groups of central type with
abelian p-Sylow subgroups.
One may aim at pushing the investigation of maximal connected grading classes
further to general finite-dimensional semisimple complex algebras. Any such algebra with Artin-Wedderburn decomposition
(1.7)

A=

M

Mn (C)b(n)

n

(bn denotes the multiplicity of Mn (C) in this decomposition) can be recognized by
the characteristic function
(1.8)

χA (z) :=

X
n

b(n)n−z .

6

YUVAL GINOSAR AND OFIR SCHNABEL

For twisted group algebras Cf G, such functions encrypt dimensions of irreducible
f -projective representations. More precisely, to any f ∈ Z 2 (G, C∗ ) yielding a decomposition (1.4) one assigns the f -projective zeta function
X
(dim(W ))−z .
(1.9)
ζf (z) := χCf G (z) =
[W ]∈Irr(G,f )

It is not hard to verify that cohomologous cocycles admit the same characteristic
function (1.9). Moreover, if [f1 ], [f2 ] ∈ H 2 (G, C∗ ) are in the same Aut(G)-orbit γ,
then ζf1 (z) = ζf2 (z). The projective zeta function may therefore be assigned also
to an orbit, that is ζγ (z).
In order to classify the maximal connected grading class of semisimple algebras, define a formal term γ m for every Aut(G)-orbit γ of cohomology classes in
H 2 (G, C∗ ) and every positive integer m. P
Regard γ m as trivial if G is the oneelement group and m = 1. A formal sum
a(m, γ)γ m with non-negative integer
coefficients a(m, γ) may contain orbits γ in the cohomologies of several groups G.
Theorem C. With the above notation, there is a one-to-one correspondence between the maximal connected gradingP
classes of a finite-dimensional complex semisimple algebra A, and the formal sums
a(m, γ)γ m with non-negative integer coefficients a(m, γ) such that
X
χA (z) =
a(m, γ)m−z ζγ (z),
and such that a(m, γ) ≤ 1 if γ m is trivial.

Theorem C is proven in §4.2.
The intrinsic fundamental group π1 (B) is the inverse limit of a diagram ∆(B)
of groups which grade the linear category B in a connected way (see §2.4). In
practice, in order to compute π1 (A) of a finite-dimensional algebra A it is enough
to consider the maximal connected grading classes of A as well as their common
quotients (Definition 2.7). A forthcoming paper exploits the above study of maximal
connecting grading classes for estimating both π1 (Mn (C)), where n is an integer
satisfying the conditions in Corollary B, as well as π1 (Mp (C) ⊕ Mp (C)) for primes
p.
The intrinsic fundamental group of an artinian semisimple algebra may sometimes be isomorphic to the free product of the intrinsic fundamental groups of its
simple summands as shown in the following claim.
Theorem D. Let n1 , · · · , ns be distinct positive integers such that every prime p
is a factor of no more than two of them. Then
k
k
a
M
π1 (Mni (C)).
π1 (
Mni (C)) =
i=1

i=1

Theorem D is proven in §4.5. Special instances of this theorem are when the dimensions of the simple summands of a semisimple algebra are distinct and pairwise
coprime. Other instances of Theorem D are the bisimple algebras Mn1 (C)⊕Mn2 (C)
with the extra condition n1 6= n2 . The maximal connected gradings of any bisimple
algebra are described in §4.4. This section also contains some results about groups
of “double central type”, which are main players in the description of bisimple
algebras.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

7

Acknowledgements. We are grateful to F. Cedó and to M. Kochetov for
their important comments, which helped us improve this note. M. Kochetov also
referred us to bibliography that we were not aware of. We also thank D. Blanc and
A. Solotar for valuable discussions.
2. Group grading of vector spaces and algebras
This section reviews notions and results about gradings that will be needed in the
sequel. Throughout this note, all vector spaces and algebras are finite-dimensional
over C, even though these conditions are sometimes redundant. The reader is
referred to [24] for an extensive account on grading for general spaces and algebras
(not necessarily associative). The terminologies used in [24] and herein do not
always coincide, see §2.7.
2.1. Graded vector spaces. A grading of a vector space V by a group G is a
decomposition of V to subspaces indexed by the group elements
(2.1)

G : V = ⊕g∈G Vg .

A subspace U ⊆ V is said to be a graded-subspace if
U = ⊕g∈G (U ∩ Vg ).
The subspaces Vg are the homogeneous components of V and the vectors v ∈ Vg
are called homogeneous. A graded basis of V is a basis consisting of homogeneous
elements.
If (2.1) is connected, i.e. its support generates G, and U ⊂ V is a gradedsubspace, then certainly its G-grading is not necessarily connected. However, it is
connectedly-graded by the subgroup
hg ∈ G| U ∩ Vg 6= 0i < G.
Focusing on connected gradings, U is regarded as graded by this subgroup.
Let
(2.2)

GV : V = ⊕g∈G Vg

,

GW : W = ⊕h∈H Wh

be two group-graded spaces. A graded morphism between these spaces is a pair
(ψ, φ) of a linear transformation ψ : V → W and a group homomorphism φ : G → H
such that ψ(Vg ) ⊂ Wφ(g) for every g ∈ G. The graded spaces (2.2) are graded
equivalent if there is a graded morphism (ψ, φ) between them such that ψ : V → W
and φ : G → H are isomorphisms of linear spaces and groups respectively. These
spaces are graded isomorphic if, with the above notation, G = H and φ is the
identity on G, that is ψ(Vg ) = Wg for every g ∈ G.
The set SG of G-graded isomorphism classes of finite-dimensional vector spaces
has a structure of a semiring with involution as follows. Addition is by direct sum
of representatives. Clearly, the zero-dimensional space plays the role of 0 in the
additive monoid SG . Next, any two G-gradings (2.2) of vector spaces equip their
tensor product with a natural convolution G-grading
GV ⊗ GW : V ⊗ W = ⊕g∈G (V ⊗ W )g ,
where
(2.3)

(V ⊗ W )g = spanC {v ⊗ w ∈ Vg1 ⊗ Wg2 | g1 · g2 = g}.

8

YUVAL GINOSAR AND OFIR SCHNABEL

A G-grading (2.1) determines a natural G-grading on its dual space V ∗ =Hom(V, C).
G ∗ : V ∗ = ⊕g∈G (V ∗ )g ,
where
(V ∗ )g := {φ ∈ V ∗ | φ|Vh = 0

(2.4)

∀h 6= g −1 }.

The product (2.3) and the involution G 7→ G ∗ are well defined on graded equivalence
classes as well as on graded isomorphism classes. Clearly, the 1-dimensional space
graded by the trivial element of G serves as the unit in the semiring with involution
SG .
The semiring SG is a left semimodule over itself in two different ways. A class
[V ] ∈SG can act on [W ] ∈SG either by tensoring from the left
[W ] 7→ [V ⊗ W ],
or tensoring from the right by the dual
[W ] 7→ [W ⊗ V ∗ ].
We are interested in the combined action of these two. Define the corresponding
induced G-graded space
(2.5)

GV ⊗ GW ⊗ GV∗ : V ⊗ W ⊗ V ∗ = ⊕g∈G (V ⊗ W ⊗ V ∗ )g ,

where by (2.3)
(V ⊗ W ⊗ V ∗ )g = spanC {v ⊗ w ⊗ φ ∈ Vg1 ⊗ Wg2 ⊗ (V ∗ )g3 | g1 · g2 · g3 = g}.
This determines the left diagonal action of SG on itself
(2.6)

[V ]

[W ] := [V ⊗ W ⊗ V ∗ ].

The semiring SG can be identified with the group semiring NG of the group
G over the nonnegative integers N as follows. To any G-grading (2.1) of a finitedimensional vector space one can assign a character
X
χ(G) :=
dimC (Vg )g ∈ NG.
g∈G

The character satisfies
(2.7)

χ(GV ⊗ GW ) = χ(GV ) · χ(GW ).

The semiring also has a natural involution NG → NG given by
X
X
(
ng g)⋆ =
ng g −1 .
g∈G

g∈G

The following commutation property between the character and the two involutions
is immediate.
(2.8)

χ(G ∗ ) = χ(G)⋆ .

Now, χ is a class function and can therefore be defined on the corresponding classes
in SG . Furthermore, it is not hard to check that χ : SG → NG is bijective. By (2.7)
and (2.8) it is an isomorphism of semirings with involution.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

9

When G is finite, a special class [G0 ] ∈SG is singled out. A G-graded vector
space (2.1) is in the class [G0 ] if dimC (Vg ) = 1 for every g ∈ G. It is easily verified
that the class [G0 ] is a self-dual central element in SG , whose character is given by
X
χ([G0 ]) =
g ∈ NG.
g∈G

The class [G0 ] is quasi-idempotent in the sense that its diagonal action on elements
of NG is the same as multiplying them by |G|2 . Alternatively, the diagonal action
of [G0 ] on finite-dimensional G-graded spaces is by duplicating them |G|2 times.
The semiring NG is key in describing graded spaces and algebras. The following
equivalence relation RH on NG generalizes the well known partition of G to Hcosets for H ≤ G. It is recorded here for later use.
Definition
2.1. Let G be a group and let H ≤ G. The right H-coset of an element
P
x = ri=1 gi ∈ NG is the set of elements
{

r
X

gi hi }hi ∈H .

i=1

We say that two elements x, x̃ ∈ NG are right H-equivalent, and denote (x, x̃) ∈ RH
if they belong to the same right H-coset of NG. We denote the equivalence class of
x ∈ NG by x̄ ∈ NG/RH .
We will also need the following immediate extension of group homomorphisms
to morphisms of the corresponding semirings.
Lemma 2.2. Let φ : G1 → G2 be a group homomorphism, then its extension
(2.9)

P φ̄ : NG1
g∈G1 ng g

is a morphism of semirings.

→
7→

NG
P 2

g∈G1

ng φ(g)

2.2. Graded algebras. A graded-morphism between two graded algebras
M
M
(2.10)
GA : A =
Ag , GB : B =
Bh ,
g∈G

h∈H

is a pair (ψ, φ), where ψ : A → B is an algebra homomorphism and φ : G → H is
a group homomorphism such that ψ(Ag ) ⊂ Bφ(g) for any g ∈ G. If both ψ and φ
are injective, we can regard A as a graded subalgebra of B.
The notions of isomorphism and equivalence of graded vector spaces extend to
graded algebras.
Definition 2.3. [7, P. 685, Remark] A graded-morphism (ψ, φ) between two graded
algebras (2.10) is a graded-equivalence if ψ and φ are isomorphisms of algebras and
groups respectively. It is a graded-isomorphism if it is a graded-equivalence and,
additionally, H = G and φ is the identity map.
We usually adopt the first equivalence relation, which fits our context well (see
§2.4). The difference between the above notions is manifested by twisted group
algebras, and can easily be verified by a direct calculation.
Proposition 2.4. (see [24, Corollary 2.22]) Let Cf1 G and Cf2 G be two twisted
group algebras with the natural grading. Then
(1) Cf1 G and Cf2 G are graded-isomorphic if and only if [f1 ] = [f2 ] ∈ H 2 (G, C∗ ).

10

YUVAL GINOSAR AND OFIR SCHNABEL

(2) Cf1 G and Cf2 G are graded-equivalent if and only if [f1 ] and [f2 ] lie in the
same Aut(G)-orbit in H 2 (G, C∗ ) (see (1.5)).
Example 1.1 is a good way to understand Proposition 2.4. Note that any nonzero
uσ ∈ Bσ \{0} and uτ ∈ Bτ \{0} are invertible and satisfy
(2.11)

−1
uτ uσ u−1
τ uσ = ξd Id .

Since graded-isomorphism preserve (2.11), then replacing the d-th primitive root
of unity ξd by a different primitive root of unity yields a non-isomorphic grading.
However, for another primitive root of unity ξdr (where r and d are coprime), the
(non-identity) group automorphism
(2.12)

φ : Cd × Cd
σ
τ

→ Cd × Cd
7→ σ
7
→
τr

determines a grading-equivalence between the corresponding twisted group algebras.

Definition 2.5. Let (2.10) be two graded algebras. Two graded-morphisms
(ψ1 , φ1 ) : GA → GB , (ψ2 , φ2 ) : GA → GB
are equivalent if there exist two graded-equivalences
(ψ3 , φ3 ) : GA → GA , (ψ4 , φ4 ) : GB → GB ,
such that
(ψ2 ◦ ψ3 , φ2 ◦ φ3 ) = (ψ4 ◦ ψ1 , φ4 ◦ φ1 ).
The equivalence class of the graded-morphism (ψ1 , φ1 ) can be written as
[(ψ1 , φ1 )] : [GA ] → [GB ].
The following structure, namely the free product grading, will by useful later on.
For every j = 1, · · · , r, let Gj be a grading of an
Aj by a group Γj (with a
Lalgebra
r
trivial element ej ). Then the direct sum A = j=1 Aj is endowed with a natural
`r
`r
grading j=1 Gj by the free product Γ = j=1 Γj determined by the homogeneous
components as follows.
Lr
r
Ae = j=1 (Aj )ej ,
a
Gj : Agj = (Aj )gj ,
(2.13)
ej 6= gj ∈ Γj ,
j=1
Ag = 0,
g∈
/ Γj , j = 1, · · · , r.
The following claim is straightforward.
Lemma 2.6. (see [15, Lemma`
6.4]) If the Γj -gradings
Gj of Aj are connected for
`r
r
all j = 1, · · · , r, then so is the j=1 Γj -grading j=1 Gj of A.
`
`
We denote the grading class of rj=1 Gj by rj=1 [Gj ], where [Gj ] is the grading
class of Gj for j = 1, · · · , r.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

11

2.3. Quotient gradings.
Definition 2.7. A graded-morphism (ψ, φ) between two graded algebras (2.10) is
a quotient morphism if ψ is an isomorphisms of algebras,
and the group homomorL
phism φ is onto.
In
this
case
we
say
that
G
:
B
=
B
h∈H Bh is a quotient-grading
L
of GA : A = g∈G Ag .
Quotients of graded algebras are often given just by a quotient of the grading
group. Let (1.1) be a G-graded algebra and let N ⊳ G be a normal subgroup of G.
Then by a G/N -grading of A we mean the quotient-grading of the algebra A given
by
M
Aḡ ,
A=
ḡ∈G/N

where

Aḡ :=

M

Ag .

g∈ḡ

Such quotient morphisms can be denoted by pairs (ψ, φ) = (IdA , mod N ).
A special quotient morphism is singled out for later use. It is the gradedmorphism which “forgets” the graded data of (1.1) and leaves only its algebra
structure (i.e., the quotient grading is by the trivial group). This quotient morphism, noted as above for the subgroup G ⊳ G by (IdA , mod G), is called the
forgetful morphism. Using definition 2.5, we may also deal with the equivalence
class of this forgetful morphism.
Clearly, any graded-isomorphism and graded-equivalence are quotient morphisms.
Moreover, quotient morphisms determine a well-defined relation on the set of gradedisomorphism classes and on the set of graded-equivalence classes of a given algebra
(that is, if a member of one class is a quotient grading of a member of the second
class). We can therefore refer to a grading class as a quotient of another grading
class. When the algebra is finite-dimensional, this relation, restricted to classes of
connected gradings, is a partial order.
Proposition 2.8. Under the quotient relation, the connected graded-isomorphism
classes and the connected graded-equivalence classes of a finite-dimensional algebra
are partially ordered sets.
Proof. We prove the claim for connected graded-equivalence classes. The proof for
connected graded-isomorphism classes is similar. Reflexivity and transitivity are
clear (even when the algebras are infinite-dimensional, or when the grading classes
are not connected). We check antisymmetry. Let
(2.14)

ψ1 : A → B,
ψ2 : B → A,

φ1 : G → H
φ2 : H → G

be algebra isomorphisms and surjective group homomorphisms (respectively) such
that (ψ1 , φ1 ) and (ψ2 , φ2 ) are quotient morphisms between the graded algebras
(2.10). We show that both are graded-equivalences. The group morphism
φ2 ◦ φ1 : G → G
is surjective, hence the finite dimension condition yields that φ2 ◦ φ1 is bijective on
the finite set suppG (A). Denote the permutation induced by φ2 ◦ φ1 on the support
suppG (A) by σ, and let m be its order. Now, let
g ∈ ker(φ2 ◦ φ1 ).

12

YUVAL GINOSAR AND OFIR SCHNABEL

By the connectivity condition, we can write
g=

r
Y

giti , gi ∈ suppG (A), ti ∈ Z.

i=1

Then
(2.15)

e = φ2 ◦ φ1 (g) =

r
Y

φ2 ◦ φ1 (gi )ti =

σ(gi )ti .

i=1

i=1

Applying φ2 ◦ φ1 iteratively, (2.15) yields
e = (φ2 ◦ φ1 )m (g) =

r
Y

r
Y

σ m (gi )ti =

i=1

r
Y

giti = g.

i=1

We conclude that φ2 ◦ φ1 : G → G is injective, and hence so is φ1 : G → H.
Consequently, φ1 is a isomorphism and therefore (ψ1 , φ1 ) (as well as (ψ2 , φ2 )) is a
graded equivalence.

Definition 2.9. Let A be a finite-dimensional algebra.
(1) The diagram of isomorphism types of groups that are associated to the
connected grading classes of A with the corresponding quotient morphisms
is denoted by ∆(A).
(2) When we say that a connected grading class of A is maximal connected, or
just maximal, it is under the quotient partial order.
2.4. The intrinsic fundamental group. The intrinsic fundamental group, introduced in [16] for any linear category, can be defined for finite-dimensional algebras
A, regarded as 1-object categories, using the diagram ∆(A) (Definition 2.9(1)).
Here is a brief summary.
Any covering of linear categories
(2.16)

F :C→B

gives rise to a group Aut1 (F ) [16, Corollary 2.10] which acts on the objects of the
category C. The covering (2.16) is called Galois if the category C (and hence also
B) is connected, and the action of Aut1 (F ) on every fiber is transitive.
Any connected G-grading of B determines a connected smash-product category
B#G [15, Definition 2.6] as well as a natural Galois covering F : B#G → B such
that Aut1 (F ) ∼
= G. Conversely, let (2.16) be a Galois covering. Then there is a
natural connected Aut1 (F )-grading on B such that the natural Galois covering
B#Aut1 (F ) → B
is equivalent to F (see [16, Theorem 5.3, Remark 5.4]). Let
Fi : Ci → B, i = 1, 2
be two Galois coverings of B. Then there exists a morphism F1 → F2 of Galois
coverings if and only if the corresponding Aut1 (F2 )-grading of B is a quotient
grading of the Aut1 (F1 )-grading of B. The above yield an equivalence between
the category Gal(B) of Galois coverings of B up to equivalence and the category
of connected gradings of B (up to graded-equivalence, see Definition 2.3) with the
quotient morphisms. By [18, Definition 8 and §4 ] or [17, Proposition 2.10] we can
adopt the following as a definition.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

13

Definition 2.10. The intrinsic fundamental group π1 (A) of a finite-dimensional
C-algebra A is the inverse limit of the diagram ∆(A).
Maximal connected gradings as well as the intrinsic fundamental group may
sometimes be established by free products (2.13) as suggested by the following
lemma.
Lemma 2.11. Suppose that any connected grading of a finite-dimensional algebra
A = A1 ⊕ A2 admits both A1 and A2 as graded ideals. Then the maximal connected
grading classes of A are exactly the free product grading classes [G1 ]∗[G2 ], where [G1 ]
and [G2 ] run over the maximal connected grading classes of A1 and A2 respectively.
Consequently, in this case π1 (A) = π1 (A1 ) ∗ π1 (A2 ).
Proof. The fact that A1 and A2 are graded ideals of any connected grading of A
implies at once that any connected grading class of A is a quotient of a free product
of maximal connected classes of A1 and A2 . It also implies that if [G1 ] and [G2 ] are
maximal connected grading classes of A1 and A2 respectively, then a free product
G1 ∗ G2 is a quotient of a connected grading G of A only under an equivalence
grading morphism. Hence, to establish the fundamental group of A, the diagram
∆(A) may be restricted to free products between groups that grade A1 and A2 .
The inverse limit of this diagram is therefore the free product of the corresponding
inverse limits.

2.5. Induction. Let V be a complex vector space and let V ∗ =Hom(V, C) be its
dual. As customary, we identify the tensor v ⊗ φ ∈ V ⊗ V ∗ with an endomorphism
of V by
(v ⊗ φ)(w) = φ(w) · v, ∀w ∈ V.
Composition (v1 ⊗ φ1 ) ◦ (v2 ⊗ φ2 ) of such endomorphisms is given by
[(v1 ⊗ φ1 ) ◦ (v2 ⊗ φ2 )](w) = (v1 ⊗ φ1 )(φ2 (w)v2 ) = φ2 (w)φ1 (v2 )v1 .
Then
(v1 ⊗ φ1 ) ◦ (v2 ⊗ φ2 ) = φ1 (v2 )(v1 ⊗ φ2 ).
Let V be a finite-dimensional vector space. In this case, the above identification
yields an algebra isomorphism between V ⊗ V ∗ and EndC (V ). If V is also equipped
with a G-grading (2.1), then the tensor product grading (2.3) yields a natural Ggrading on EndC (V ) as an algebra. The following notion was suggested in [21, p.3],
see also [13].
Definition 2.12. Let (2.1) be a G-grading of an n-dimensional vector space. Then
the tensor product G-grading (2.3) of V ⊗ V ∗ ∼
=EndC (V )(∼
= Mn (C)) is called elementary.
This way of grading can be pushed further as follows. Let (1.1) be a G-graded
algebra and let (2.1) be a finite-dimensional G-graded vector space. The algebra
structure of
(2.17)
V ⊗A⊗V∗ ∼
= A ⊗ EndC (V )(∼
= M dim (V ) (A))
C

is determined by the multiplication
(2.18)

(vg1 ⊗ ah1 ⊗ φg2 ) ◦ (vg3 ⊗ ah2 ⊗ φg4 ) = φg2 (vg3 )(vg1 ⊗ ah1 h2 ⊗ φg4 ).

Then, the induced vector space G-grading (2.5) on V ⊗ A ⊗ V ∗ respects the algebra
structure (2.18). We denote this induced G-grading on the algebra V ⊗ A ⊗ V ∗ by

14

YUVAL GINOSAR AND OFIR SCHNABEL

x(A), where x = χ(G) ∈ NG. We think of A as a graded subalgebra of x(A) by
identifying it with A⊗ Id(V ), where Id(V ) denotes the identity endomorphism of
V . Our focus will mainly be on the algebras Mn (A) without caring too much about
the algebra isomorphism (2.17), hence by abuse of notation, x(A) will also denote
the corresponding grading class.
Definition 2.13. A G-grading Y of an algebra B is induced from a G-grading (1.1)
of an algebra A if there exists x ∈ NG such that Y is graded isomorphic to x(A).
P
Let (1.1) be a G-grading of an algebra A and let g∈G ng g ∈ NG. By (2.3), (2.4)
P
and (2.5) the support of the induced G-grading g∈G ng g(A) is given by
X
(2.19)
suppG (
ng g(A)) = {g1 g2 g3−1 |g2 ∈ suppG (A), ng1 , ng3 > 0}.
g∈G

Graded morphisms respect induction. Let (ψ, φ) be a graded morphism from
the G-graded algebra x(A) to an H-graded algebra B. In particular the graded
subalgebra A maps to a graded subalgebra ψ(A) ⊂ B. Then the image ψ(x(A))
is a graded subalgebra of B, which is graded equivalent to the induced algebra
φ̄(x)(ψ(A)), where φ̄(x) is the natural extension of φ to NG (see (2.9)). We record
this observation for the case of quotient morphisms using Definition 2.1.
Lemma 2.14. Let A be a G-graded algebra, x ∈ NG, and N ⊳G a normal subgroup.
The G/N -quotient grading of the induced G-graded algebra x(A) is graded isomorphic to x̄(B) ,where x̄ ∈ N(G/N ) is the equivalence class of x in NG/RN , and
B is the algebra A with the corresponding G/N -grading. In particular, a quotient
grading of an elementary grading is elementary.
Recall the augmentation map
(2.20)

P ǫ : NG → N
P
g∈G ng g 7→
g∈G ng ,

which is just the extension of the trivial group morphism G → {e} to a morphism
of semirings (see (2.9)).
Definitions 2.12 and 2.13 yield
Corollary 2.15. A G-grading of the algebra Mn (C) is elementary if and only if it
is induced from the trivial grading on C by an element x ∈ NG with ǫ(x) = n.
By Corollary 2.15, any element x ∈ NG gives rise to a unique (up to G-graded
isomorphism) elementary grading on Mǫ(x) (C) , namely the endomorphism algebra
of any G-graded space affording x as a character. In general, this correspondence
between NG and the G-graded isomorphism classes of elementary gradings is not
injective, see Theorem 2.20.
A special elementary G-grading is obtained when G is finite. Recall the distinguished G-graded isomorphism class [G0 ] ∈SG , whose character is the sum of all
elements of G (see §2.1). The graded endomorphism algebra of a graded vector
space in this class has a special notation itself:
Definition 2.16. (see [6, Definition 3]) An elementary G-grading of Mn (C) is
called
a crossed product G-grading if it is induced from the trivial grading on C by
P
g∈G g ∈ NG.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

15

As in the graded vector spaces situation, the set of graded isomorphism classes
and the set of graded equivalence classes of finite dimensional G-graded algebras
have a structure of an NG-semimodules with the induction action. Clearly, the
family of finite-dimensional semisimple algebras is closed under direct sums. Moreover, simplicity and semisimplicity are preserved under induction, and therefore
the set of graded isomorphism classes and the set of graded equivalence classes of
finite-dimensional G-graded semisimple algebras are NG-sub-semimodules of the
above semimodules respectively.
2.6. Graded-simple algebras.
Definition 2.17. A graded ideal of a group-graded algebra is a (two-sided) ideal
which is a graded-subspace. A graded algebra is graded-simple if it admits no
non-trivial graded ideals.
In order to understand gradings of semisimple algebras, it is enough to restrict
to simple gradings. This is a consequence of the following graded-decomposition
theorem.
Theorem 2.18. (see e.g. [19, Theorem 2.3’], [35, §A.1]) Any group-grading of a
semisimple finite-dimensional algebra admits a decomposition as a direct sum of
graded-simple algebras.
Twisted group algebras Cf G are natural examples of G-simple gradings. Indeed, any nonzero element in (Cf G)g = spanC {ug } is invertible. Therefore, a
nonzero graded subspace of Cf G always contains an invertible element, and hence
the twisted group algebra does not admit nontrivial graded ideals (even one-sided
ones).
It is easy to show that a group-graded algebra which is induced from a gradedsimple algebra is graded-simple as well. In particular, any grading which is induced
from a twisted group algebra Cf G is graded-simple. Bahturin, Sehgal and Zaicev
prove that the converse is also true.
Theorem 2.19. (see [8, Theorem 5.1],[9, Theorem 3]) Let
M
G:A=
Ag
g∈Γ

be a Γ-simple grading. Then there exists a subgroup G < Γ, a 2-cocycle f ∈
Z 2 (G, C∗ ) and x ∈ NΓ with
|G| · ǫ(x)2 = dimC (A),

such that G is graded-isomorphic to x Cf G . In particular, A is simple if and only
if f is non-degenerate.
Theorem 2.19 (together with Theorem 2.18) says that the NΓ-semimodule of
graded-isomorphism classes of finite-dimensional semisimple Γ-graded algebras is
generated by the graded isomorphism classes of all the twisted group algebras Cf G,
where G < Γ and f ∈ Z 2 (G, C∗ ). The same holds for the corresponding semimodule
of graded equivalence classes.
Using Definition 2.1 we can formulate the conditions for graded simple algebras to
be graded-equivalent and graded-isomorphic. This is a generalization of Proposition
2.4.

16

YUVAL GINOSAR AND OFIR SCHNABEL

Theorem 2.20. (see [2, Lemma 1.3, Proposition 3.1],[24, Corollary 2.22]) Let
x Cf1 H1 and x̃ Cf2 H2 be a G1 -grading and a G2 -grading of two algebras A1
and A2 respectively. Then A1 and A2 are graded-equivalent if and only if there
exist
(1) group isomorphism φ : G1 → G2 ,
(2) an element g ∈ G1
such that
(φ−1 (x̃)g −1 , x) ∈ RH1 ,

H2 = φ(gH1 g −1 ),

[f2 ] = [φ(gf1 g −1 )].

If G1 = G2 , then A1 and A2 are graded-isomorphic if and only if with the same
notation φ is the identity on G.
Remark 2.21. Taking an appropriate g ∈ G1 in Theorem 2.20(2), one can “normalize” the semiring element x to be of the form 1 + y for some y ∈ NG1 with
ǫ(y) = ǫ(x) − 1.
Remark 2.22. Note that by Theorem 2.20, an elementary grading can be gradedequivalent only to an elementary grading. Furthermore, x, x̃ ∈ NG give rise to the
same elementary
P G-graded isomorphism class if and only if x̃ = xg for some g ∈ G.
In particular, g∈G g is the only element in NG which gives rise to the crossed
product G-grading (see Definition (2.16)).
2.7. Terminology. This work maneuvers between the different terminologies used
in the literature. Here is a comparison between our main sources.
Firstly, a finite group G is classically [31] saidpto be of central type if it has
a faithful irreducible representation of dimension |G : Z|, where Z is the center
of G. In our paper as well as in other references, e.g. [3], [24, page 35], the term
“groups of central type” is used for the quotient of a (classical) group of central type
by its center. Such groups admit irreducible projective representations of dimension
that is the square root of their order. In [26] and in [41] such groups are termed
fully ramified and central-type factor groups respectively.
A class of f -regular conjugated elements (see Definition 3.2) is termed an f -ray
class in [36].
Our notions of graded-equivalence and graded-isomorphism follow the footsteps
of [7]. While graded-isomorphism has the same meaning in [24, Definition 1.15],
graded-equivalence is termed weak isomorphism of gradings [24, page 16]. The term
equivalence of gradings is reserved in [23, Definition 1.2] and in [24, page 14] for a
relation which is weaker than both of these two.
A grading such that the dimension of all the homogeneous components is at most
1 is called fine in [4, page 1] and [8, Definition 2.1], whereas in [24, page 18] fine
gradings are justifiably defined more generally to admit no proper refinement (see
the remark following Definition 2.2.1 in [24]).
In [20], connected gradings are called faithful. The term simply-connected gradings is used in [15, Definition 4.3] for connected gradings whose equivalence grading
class is maximal with respect to the quotient partial ordering (or just maximalconnected, see Definition 2.9(2)). Such G-gradings, in the terminology of [24], are
the fine G-gradings whose universal grading group (see [23, Definition 1.4]) is G
itself.
Finally, elementary gradings are called good in [13, 15, 20].

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

17

3. Families of groups of central type
In this section we deal with certain groups of central type. §3.1 gives some
background about the alternating form that is associated to every cohomology
class, and §3.2 addresses preliminary results about Hall subgroups. §3.3 discusses a
generalization of the concept of symplectic actions and symplectic groups. Theorem
3.17, presenting a necessary and sufficient condition for the closure of the family of
groups of central type to certain extensions of Hall subgroups, and Theorem 3.18,
describing groups of central type whose Sylow subgroups are abelian, are given
in this subsection. Theorem A and Corollary B, describing all groups of central
type of cube-free order, are proven in §3.4. §3.5 contains examples of groups of
central type, the automorphism groups of which do not act transitively on their
non-degenerate cohomology classes.
3.1. The associated alternating form. To any 2-cocycle f ∈ Z 2 (G, C∗ ) one
associates a complex alternating G-form (see [11, §1.2])
(3.1)

αf : G × G → C∗
(g, h) 7→ f (h, g) · f (hgh−1 , h)−1 .

This G-form satisfies the following properties.
(1) αf (g, h) = αf (h, g)−1 for every (g, h) ∈ AG , where
AG := {(g, h) ∈ G × G|gh = hg}.
(2) For every g ∈ G, the map
(3.2)

CG (g)
h

→ C∗
7
→
αf (g, h)

is a linear character of the centralizer CG (g) of g.
(3) If [f ′ ] = [f ] ∈ H 2 (G, C∗ ) then
G×G
G×G
αf .
αf ′ = res|A
res|A
G
G

That is, the G-form depends only on the cohomology class of f ∈ Z 2 (G, C∗ )
when restricted to AG . The restricted form is therefore associated to a
cohomology class and can also be written as α[f ] .
By properties (1) and (2) above we get
Lemma 3.1. For every (g, h) ∈ AG , αf (g, h) is a root of 1 of order dividing both
orders of g and h.
When a group A is abelian, AA coincides with A × A and we can regard αf as a
complex alternating bicharacter (see [24, §2.2]). Suppose that a finite abelian group
is given by
(3.3)
A = hx1 i × hx2 i × . . . × hxk i ∼
= Cn × Cn × . . . × Cn ,
1

2

k

such that ni divides ni+1 for any 1 ≤ i ≤ k − 1. Then any [f ] ∈ H 2 (A, C∗ ) is
determined by the k(k−1)
values
2
(3.4)

αf (xi , xj ) 1 ≤ i < j ≤ k,

where αf (xi , xj ) is an ni -th root of unity [40]. In this abelian case, the A-form αf
uniquely determines the class [f ] ∈ H 2 (A, C∗ ). This is not the case in general, that
is, for a finite group G, the well-defined map [f ] 7→ αf is not necessarily injective

18

YUVAL GINOSAR AND OFIR SCHNABEL

(it admits the Bogomolov multiplier B0 (G) < H 2 (G, C∗ ) as a kernel [12]). Nevertheless, we will often use the G-form notation rather than deal with a cohomology
class even if it corresponds to more than one class.
Definition 3.2. Let f ∈ Z 2 (G, C∗ ). An element g ∈ G is f -regular if the CG (g)linear character (3.2) is trivial.
It can easily be verified that if an element is f -regular, then so are all its conjugated elements.
Theorem 3.3. (see [36, Theorem 2.4]) Let f ∈ Z 2 (G, C∗ ). Then the dimension
of the center of the twisted group algebra Cf G is equal to the number of f -regular
conjugacy classes in G.
Theorem 3.3 gives another way to say that f is non-degenerate.
Corollary 3.4. A cocycle f ∈ Z 2 (G, C∗ ) is non-degenerate if and only if there is
no nontrivial f -regular conjugacy class, that is res|G
CG (g) αf (g, −) = 1 implies g = e.
This non-degeneracy property of the G-form αf on AG deserves naming it a
symplectic group form. Symplectic forms over finite abelian groups can be described
as follows.
Theorem 3.5. [7, Definition 3, Theorem 5],[41, Corollary 3.10] 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 A. Furthermore, an A × A-form αf is symplectic
if and only if there is a decomposition (3.3) of A such that
(3.5)

αf ((xi , 1), (xj , 1)) = αf ((1, xi ), (1, xj )) = 1, αf ((xi , 1), (1, xj )) = δi,j ξi ,

where ξi is a root of unity of order ni and δi,j is Kronecker’s delta.
3.2. Hall subgroups. The following notation will be of use. Let G be a finite
group and let d be an integer (usually, but not necessarily, a square-free divisor
are
of the order of G). Let dˆ be the minimal divisor of |G|, such that d and |G|
d̂
|G|
ˆ
are also coprime. We denote by Gd and Gd′ a d-Hall
and
coprime. Then dˆ and
a

|G|
-Hall
d̂

dˆ

subgroups of G respectively, if exist.
The Schur-Zassenhaus Theorem will be useful in the sequel.

Theorem 3.6. [45, Theorem 25] Let Gd be a normal Hall subgroup of G. Then
there exists a dp -Hall subgroup Gdp < G such that
G = Gd ⋊ Gdp .
The following three lemmas provide sufficient conditions for the existence of
normal Hall subgroups in groups that are of our concern.
Lemma 3.7. Let Gp be an abelian p-Sylow subgroup of a finite group G. Suppose
that
(3.6)

gcd(Aut(Gp ), [G : Gp ]) = 1,

that is the order of Aut(Gp ) is prime to the index of Gp in G. Then there exists a
pp -Hall subgroup Gp′ ⊳ G such that
G = Gp′ ⋊ Gp .
In particular, suppose that p is the smallest prime divisor of |G|, and either

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

19

(1) Gp is cyclic, or
(2) Gp is an abelian group of rank 2 and 6 is not a divisor of |G|.
Then
G = Gp′ ⋊ Gp .
Proof. We show that Gp is contained in the center of its normalizer, that is
(3.7)

Gp ≤ Z(NG (Gp )).

By “Burnside’s Normal Complement Theorem” (see [39, Theorem 7.50]) this condition implies that Gp has a normal complement in G. Since Gp is abelian, the
condition (3.7) holds if and only if the natural homomorphism
φ : NG (Gp ) → Aut(Gp )
φ(c)(g) = cgc−1 , c ∈ NG (Gp ), g ∈ Gp
is trivial. Indeed, let c ∈ NG (Gp ) be an element of the normalizer of order pj · r,
where (p, r) = 1. Then there exist α, β ∈ Z such that α · r + β · pj = 1. Hence
j
c = ab, where a := cα·r is of order pj and b := cβ·p is of order prime to p. Since a
and b are powers of c, both lie in NG (Gp ). We show that they belong to the kernel
of φ, proving that so does c. First, an element whose order is a power of p, and
which normalizes a p-Sylow subgroup Gp lies in Gp (see [39, Lemma 4.11]). This
proves that a ∈ Gp <ker(φ). Next, the order of φ(b) divides the order of b which
is prime to p, and hence divides the index [G : Gp ]. By the hypothesis (3.6), it is
also prime to the order of Aut(Gp ) implying that φ(b) is trivial.
To prove the claim about the smallest prime divisor of |G|, we show that (3.6)
holds in both cases (1) and (2). Indeed,
(1) If Gp is cyclic of order pn then |Aut(Gp )| = pn−1 (p − 1). Since p is the
smallest prime factor of |G|, no other factor divides p − 1 yielding (3.6).
(2) If P is an abelian group of rank 2, then (see, e.g. [27]) there exist i1 , i2 , i3 ∈
N such that
(3.8)

|Aut(Gp )| = (p − 1)i1 pi2 (p + 1)i3 .

Since p is the smallest prime factor of |G|, the factors of G do not divide p − 1.
Moreover, since 6 is not a divisor of |G|, these factors also do not divide p + 1 and
we are done.

Remark 3.8. If Gp = Cpm × Cpl , where m 6= l then i3 = 0 in (3.8) (see [27]).
In these cases we can omit the condition that 6 is not a divisor of |G| in Lemma
3.7(2).
Lemma 3.9. Let p < q be primes and let G be a group of order dividing p2 q 2 .
(1) If pq 6= 6 then G = Gq ⋊ Gp .
(2) If |G| divides 36 then either G = G2 ⋊ G3 or G = G3 ⋊ G2 .
Proof. The first part is a direct consequence of Lemma 3.7. The case where p = 2
and q = 3 follows from Sylow’s theorems together with Burnside’s Normal Complement Theorem. It is left to the reader.

Recall that by Hall’s main theorem, a finite group is solvable if and only if it
admits all possible Hall subgroups (see [39, Theorem 5.28]).

20

YUVAL GINOSAR AND OFIR SCHNABEL

Lemma 3.10. Let G be a solvable group whose 2-Sylow and 3-Sylow subgroups are
abelian of rank ≤ 2. Then G admits a normal 6p -Hall subgroup. If, additionally,
the order of G6 divides 36, then G admits either a normal 2p -Hall subgroup or a
normal 3p -Hall subgroup.
Proof. Let G2p be a 2p -Hall subgroup of G. By Lemma 3.7, a 3-Sylow subgroup
G3 ≤ G2p admits a normal complement. Clearly, this normal complement is a
6p -Hall subgroup G6p of G. Similarly, a 2-Sylow subgroup G2 ≤ G3p also admits a
normal complement. Again, this normal complement is a 6p -Hall subgroup G˜6p of G.
By Hall’s Theorem (see [39, Theorem 5.28]) G6p and G˜6p are conjugated in G. Then,
there exists an element g ∈ G such that G6p = g −1 G˜6p g and therefore g −1 G3p g is
a 3p -Hall subgroup with a normal subgroup G6p . Consequently, the normalizer of
G6p in G contains both g −1 G3p g and G2p . Hence, the index [G : NG (G6p )] divides
a power of 2 and a power of 3. We conclude that NG (G6p ) = G and hence G6p
is normal in G (proving the first part of the claim) yielding an onto morphism
µ : G → G6 .
Suppose now that the order of G6 divides 36. Then by Lemma 3.9(2), there is
either an onto morphism µ3 : G6 → G3 such that
G3′ = ker(µ3 ◦ µ),
or an onto morphism µ2 : G6 → G2 with
G2′ = ker(µ2 ◦ µ).
This proves that at least one of these Hall subgroups is normal in G.



Groups of central type are solvable [31, 34] and as such admit all the possible
Hall subgroups. The following theorem will be useful in the sequel.
Theorem 3.11. (see [22, Corollary 4]) Let G be a finite group and let [f ] ∈
H 2 (G, C∗ ). Then the following are equivalent.
(1) The cohomology class [f ] is non-degenerate.
(2) The restriction of [f ] to any Hall subgroup of G is non-degenerate.
(3) The restriction of [f ] to any Sylow subgroup of G is non-degenerate.
In particular, any Hall subgroup of a group of central type is itself of central type.
3.3. The automorphism action on non-degenerate cohomology classes.
Definition 3.12. Let H be a group and let B be a subset of Aut(H). Denote
the subgroup of H 2 (H, C∗ ) consisting of the B-invariant elements under the Baction (1.5) by H 2 (H, C∗ )B . If η : G →Aut(H) is an action of a group G on H,
then we write
H 2 (H, C∗ )G := H 2 (H, C∗ )η(G) .
It is well known that if B is a subset of the inner automorphisms of H then
H 2 (H, C∗ )B = H 2 (H, C∗ ).
In other words, the action of Aut(H) on H 2 (H, C∗ ) is via the outer automorphisms
of H.
Let H be a subgroup of a group G. Then the normalizer NG (H) acts by conjugation on H. By the above, the action of NG (H) on H 2 (H, C∗ ) is via
(3.9)

W (H) := NG (H)/H.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

21

The image of the restriction
2
∗
2
∗
resG
H : H (G, C ) → H (H, C )

is contained in the subgroup H 2 (H, C∗ )W (H) < H 2 (H, C∗ ) of elements which are
fixed under the action of this Weyl group W (H) [1, §II.3]. When H = Gp is a
p-Sylow subgroup of G, the image of resG
Gp may coincide with these invariants, as
suggested by the following result, which is attributed to R.G. Swan.
Theorem 3.13. [43, Lemma 1] Let Gp be an abelian p-Sylow subgroup of G. Then
2
∗ W (Gp )
.
Im(resG
Gp ) = H (Gp , C )

When N ⊳G is normal, then evidently W (N ) = G/N . If, in addition, G = N ⋊K
is finite and (|N |, |K|) = 1, then (see [33, Corollary 2.2.6])
(3.10)

H 2 (G, C∗ ) = H 2 (N, C∗ )K × H 2 (K, C∗ ).

We are particularly interested in the restriction of the action (1.5) to the subset
of non-degenerate cohomology classes of G. This subset is indeed Aut(G)-stable.
Proposition 3.14. (see [5, §4]) Let [f ] ∈ H 2 (G, C∗ ) and let φ ∈Aut(G). Then [f ]
is non-degenerate if and only if so is φ([f ]).
Proof. By Proposition 2.4(2), the twisted group algebras Cf G and Cφ(f ) G are
graded-equivalent, in particular, isomorphic as algebras. Consequently, one of them
is simple if and only if so is the other.

Definition 3.15. Let [f ] ∈ H 2 (G, C∗ ) be a non-degenerate cohomology class. The
symplectic group of [f ] is the stabilizer
Sp([f ]) := StabAut(G) ([f ]) = {φ ∈ Aut(G)|φ([f ]) = [f ]}
An action η : K → Aut(G) of a group K on G is symplectic if there exists a
non-degenerate class [f ] ∈ H 2 (G, C∗ ) such that η(K) < Sp([f ]).
By the above, it is clear that the symplectic groups of all non-degenerate classes
of G contain the group Inn(G) of inner G-automorphisms. If the action of Aut(G)
on the non-degenerate cohomology classes in H 2 (G, C∗ ) is transitive, then the symplectic groups of all the non-degenerate classes are conjugate. This allows us to
denote their isomorphism type as the symplectic group of G. For example, the
symplectic group of any abelian group is well defined. However, Examples 3.25,
3.26 and 3.27 demonsrtrate that this is not the case in general.
The symplectic group of an abelian group G = Cm × Cm of rank 2 is easily
described. We identify its automorphism group Aut(Cm × Cm ) with GL2 (m) by
choosing two generators Cm × Cm = hσ, τ i and representing any automorphism
φ
σ
τ

∈ Aut(Cm × Cm )
7→ σ i1 τ j1
7→ σ i2 τ j2

(where i1 , j1 , i2 , j2 ∈ Z, such that i1 j2 − i2 j1 is prime to m) by the matrix


i1 i2
.
[φ] = [φ]hσ,τ i =
j1 j2
We show that the symplectic group of Cm × Cm coincides with

SL2 (m) = {φ ∈ Aut(Cm × Cm )| det[φ] = 1(mod m)}.

22

YUVAL GINOSAR AND OFIR SCHNABEL

This generalizes the well-known result when m is prime and Cm × Cm is viewed as
a 2-dimensional vector space over the field of m elements (see [37, 1.2.6.]).
Lemma 3.16. Let [f ] ∈ H 2 (Cm × Cm , C∗ ). Then identifying Aut(Cm × Cm ) with
GL2 (m), we have
(1) SL2 (m) <StabAut(Cm ×Cm ) ([f ]).
(2) If [f ] is non-degenerate, then Sp([f ]) =SL2 (m).
Proof. Let Cm × Cm = hσ, τ i, and let
(3.11)

αf (σ, τ ) = ξm ,

be the alternating form (see (3.4)) associated to [f ], where ξm is an m-th root of
unity. Let φ ∈ Aut(Cm × Cm ). A simple calculation shows that
(3.12)

det[φ]
αφ−1 (f ) (σ, τ ) = αf (φ(σ), φ(τ )) = ξm
.

The cohomology class [f ] is φ-stable (or φ−1 -stable) if and only if αφ(f ) = αf .
By (3.11) and (3.12), the condition φ ∈ SL2 (m), that is det[φ] = 1(mod m), implies
that φ stabilizes [f ]. This proves the first part of the claim.
Next, [f ] is non-degenerate if and only if the m-th root of unity ξm is primitive
(see (3.5)). Hence (3.11) and (3.12) prove that when [f ] is non-degenerate, the
condition det[φ] = 1 is necessary and sufficient for φ to stabilize [f ]. This proves
the second part of the claim.

Using the notion of symplectic actions, we can phrase two results. The first is a
closure property of groups of central type to symplectic semidirect products of Hall
subgroups. We are indebted to M. Kochetov for helping us improve the following
result.
Theorem 3.17. Let G := N ⋊η K be a semidirect product of two finite groups of
coprime orders via the action
η : K → Aut(N ).
Then G is of central type if and only if so are both N and K and, additionally, the
action η is symplectic. In particular, if N = Cm × Cm , then N ⋊η K is of central
type if and only if K is of central type and η(K) ∈ SL2 (m).
Proof. By (3.10), any cohomology class [f ] ∈ H 2 (G, C∗ ) is given by a pair ([f1 ], [f2 ]),
where [f1 ] ∈ H 2 (N, C∗ )K is a K-invariant class and [f2 ] ∈ H 2 (K, C∗ ). Since N and
K are Hall subgroups of G, then by Theorem 3.11, non-degeneracy of both [f1 ] and
[f2 ] is equivalent to non-degeneracy of their restrictions to all the Sylow subgroups
of N and K respectively, which in turn is equivalent to the non-degeneracy of [f ].
The argument is completed by noting that there exists a class [f1 ] ∈ H 2 (N, C∗ )K
which is non-degenerate if and only if N is of central type and the action of K on
it is symplectic. The second part of the claim follows from the first part together
with Lemma 3.16(2).

The second result concerns groups whose p-Sylow subgroups Gp are all abelian.
These groups are termed of A-type and possess nice properties (see [44]). Let G
be of A-type and let m be its order. Applying Theorem 3.13 for all primes p|m we
deduce that any tuple
M
H 2 (Gp , C∗ )W (Gp ) .
(3.13)
([fp ])p|m ∈
p|m

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

23

gives rise to a cohomology class [f ] ∈ H 2 (G, C∗ ) such that resG
Gp [f ] = [fp ] (this
class is actually unique [1, Theorem II.6.6]). By Theorem 3.11 we get
Theorem 3.18. Let G be a group of A-type. Then G is of central type if and only
if for every prime p, Gp is of central type and the action of its Weyl group W (Gp )
is symplectic.
3.4. Groups of central type of cube-free order. Groups whose orders are cubefree obviously admit abelian p-Sylow subgroups and hence are of A-type. Theorem
3.18 described the groups of A-type which are also of central type. Nonetheless,
when their order is cube-free, groups of central type admit a more rigid structure.
In this section we describe all such groups of central type.
The following is a fairly easy claim, which provides an excuse for the focus on
cube-free integers.
Lemma 3.19. Suppose that Cn × Cn is the unique group of central type, up to
isomorphism, of order n2 . Then n is square-free.
Proof. Assume, in negation, that n contains a square. Let n = n21 · n2 , where
n1 > 1. Then the groups
Cn21 ·n2 × Cn21 ·n2
and
(Cn1 ·n2 × Cn1 ) × (Cn1 ·n2 × Cn1 )
are non-isomorphic, of order n2 and of central type (see Theorem 3.5). This contradicts the uniqueness assumption.

Corollary B gives a necessary and sufficient arithmetic condition for a cube-free
number to admit a unique isomorphism type of groups of central type of this order
(see §3.4.2).
Groups of central type whose orders are a square of one prime are isomorphic
to Cp × Cp (Theorem 3.5). By Theorem 3.11, these are the p-Sylow subgroups
of any group of central type of cube-free order. We move to integers n which are
products of two distinct primes p and q. Groups of central type of order p2 q 2 will
play a key part in the proof of Theorem A. By Lemma 3.9, we know that groups
of such orders are semidirect products of their Sylow subgroups. We study the
corresponding action in the central type case.
Lemma 3.20. Let q 6= p be primes and let G = (Cq × Cq ) ⋊η (Cp × Cp ) be a
non-abelian group of central type. Then
(1) Gp = Cq × Cq .
(2) The center of G coincides with Ker(η), which is cyclic of order p.
Proof. Theorem 3.17 tells us that the action η is via SL2 (q). The two assertions
are consequences of the following properties of such an action.
(i) A nontrivial element in SL2 (q) whose order is prime to q admits no fixed
points in the 2-dimensional vector space F2q .
(ii) For p = 2 there exists a unique element of order p in SL2 (q). For odd p, all
the p-Sylow subgroups of SL2 (q) are cyclic [42, §7].

The following theorem is a full classification of groups of central type of order
p2 q 2 .
Theorem 3.21. Let p < q be primes.

24

YUVAL GINOSAR AND OFIR SCHNABEL

(1) If q 6≡ ±1(mod p), then up to isomorphism there is a unique group of central
type of order p2 q 2 , namely the abelian group Cp·q × Cp·q .
(2) If 3 < q ≡ ±1(mod p), then there are exactly two non-isomorphic groups of
central type of order p2 q 2 , both are semidirect products (Cq ×Cq )⋊(Cp ×Cp ),
with SL2 (q)-actions.
(3) There are exactly three non-isomorphic groups of central type of order 36
(here p = 2, q = 3), namely, the abelian group of central type C6 × C6 , as
well as two non-abelian symplectic semidirect products (C3 ×C3 )⋊(C2 ×C2 ),
and (C2 × C2 ) ⋊ (C3 × C3 ) where the actions are via SL2 (3) and SL2 (2)
respectively.
Proof. By Lemma 3.9, any group of order p2 q 2 is a semidirect product of its Sylow
subgroups. By Theorem 3.17, G is of central type if and only if
(i) Gp = Cp × Cp ,
(ii) Gq = Cq × Cq , and
(iii) Gp acts on Gq via SL2 (q), or when |G| = 36, either G2 acts on G3 via SL2 (3),
or G3 acts on G2 via SL2 (2).
Now, since
|SL2 (q)| = (q − 1)q(q + 1),
then q ≡ ±1(mod p), that is p divides either q + 1 or q − 1, if and only if SL2 (q)
contains an element of order p. This is exactly the case where there is a nontrivial
symplectic semidirect product G = (Cq × Cq ) ⋊ (Cp × Cp ). In particular, the
abelian group Cp·q × Cp·q is the unique group of central type of order p2 q 2 (up to
isomorphism) if and only if q is not congruent to ±1(mod p), proving (1).
As mentioned in the proof of Lemma 3.20(2), the odd Sylow subgroups of SL2 (q)
are cyclic. This implies that all the subgroups of order p > 2 are conjugated in
SL2 (q) as characteristic subgroups in conjugated p-Sylow subgroups. For p = 2
there is a unique element of order p in SL2 (q). Consequently, for either odd or even
p, any two nontrivial symplectic actions η1 , η2 : Cp × Cp →SL2 (q) yield isomorphic
semidirect products
(Cq × Cq ) ⋊η1 (Cp × Cp ) ∼
= (Cq × Cq ) ⋊η2 (Cp × Cp ),
proving (2). As mentioned above, in the case where pq = 6 there is an additional
non-abelian group of central type, namely (C2 × C2 ) ⋊η (C3 × C3 ), for a nontrivial
action η : C3 × C3 →SL2 (2). By similar considerations, this isomorphism type is
unique, proving (3).

We need the following straightforward preliminary result.
Lemma 3.22. Let G1 and G2 be groups of central type, then so is G = G1 × G2 .
Proof. Let fi ∈ Z 2 (Gi , C∗ ) be non-degenerate 2-cocycles, i = 1, 2. Then it is easily
verified that the 2-cocycle

is non-degenerate.

f :G×G  →
C∗
p
p
p
(g1 , g2 ), (g1 , g2 ) 7→ f1 (g1 , g1 ) · f2 (g2 , g2p )

The following lemma will be needed for the proof of Theorem A.



MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

25

Lemma 3.23. Let V = F2 be a 2-dimensional vector space over a field F and let
S, T : V → V be two operators such that T is nonsingular and S is diagonalizable
(perhaps over an extension of F). Suppose that
T ST −1 = S i

(3.14)

for some integer i. Then S and T 2 commute.
Proof. Working, if necessary, over the algebraic closure F, yields a basis of eigen2
vectors v, w ∈ F of the diagonalizable operator S. If the corresponding eigenvalues
λv , λw are equal, then evidently the operator S is scalar and commutes with T . We
may therefore assume that λv 6= λw . The invertibility condition on T implies that
T (v) and T (w) are nonzero. Moreover, by (3.14) T (v) and T (w) are eigenvectors
of S i . Both v and w are also eigenvectors of S i , which is conjugate to S and hence
admits the distinct eigenvalues λv and λw . We deduce that
T 2 (v) ∈ spanF (v), T 2 (w) ∈ spanF (w).
Thus, S and T 2 commute.



3.4.1. Proof of Theorem A. The “if” argument follows immediately from Theorem
3.17. We prove the “only if” direction
Q in a way of induction on r, that if G is a
group of central type of order n2 = ri=1 p2i (where {pi }ri=1 are distinct primes),
then
(*) Gp is the direct product of all its Sylow subgroups Gpi , such that Gpi = (Gpi pj )p
for some 1 ≤ j ≤ r.
By Lemma 3.20(1), the condition (*) implies that Gp is an abelian Hall subgroup
of G. If Gp is indeed an abelian Hall subgroup of G, then by Theorem 3.6, G =
Gp ⋊η G0 , where G0 is a Hall subgroup of G. Since Hall subgroups of G are also of
central type (Theorem 3.11), and since the Hall subgroups Gp and G0 are abelian
and of cube-free orders, then by Theorem 3.5 they are isomorphic to Cm × Cm and
Ck ×Ck for some coprime numbers m and k the product of which is n. Furthermore,
by Theorem 3.17, the action η of G0 on Gp is via SL2 (m). This will prove the
theorem.
Obviously, (*) holds for r = 1, 2. Let G be a group of central type of cube-free
order. The hypothesis enables us to assume that all the proper subgroups of G that
are of central type (these are exactly its Hall subgroups) satisfy (*). By Lemma
3.7(2) for the case where 6 does not divide the order of G, or by Lemma 3.10 for
the case where 6 does divide |G|, there exists a prime p which divides |G| such that
the pp -Hall subgroup Gpp is a proper normal subgroup of G. We have
(3.15)

G = Gpp ⋊ Gp ∼
= Gpp ⋊ (Cp × Cp ).

Next, Theorem 3.11 tells us that Gpp is of central type. By the induction hypothesis,
(Gpp )p satisfies (*). In particular it is a Hall subgroup of Gpp . Being characteristic
in Gpp , it a normal Hall subgroup of G. Again, by Theorem 3.6, there exists a Hall
subgroup (not necessarily proper) Gk < G such that
(3.16)

G = (Gpp )p ⋊ν Gk ,

where the action ν is symplectic. If (Gpp )p is trivial, then (3.15) certainly describes
G as a semidirect product of abelian Hall subgroups of central type. Applying
Lemma 3.20(1) it is not hard to check that in this case Gp is the direct product

26

YUVAL GINOSAR AND OFIR SCHNABEL

of the q-Sylow subgroups Gq such that the pq-Hall subgroups Gpq are non-abelian.
This is just to say that G satisfies (*).
We may hence assume that (Gpp )p is nontrivial, that is Gk is a proper subgroup
of G. Since Gk is of central type, it satisfies the induction hypothesis (*). In
particular, the commutator (Gk )p is a Hall subgroup. Theorem 3.6 ascertains again
the existence of another Hall subgroup Gl such that
Gk = (Gk )p ⋊ Gl .
Mutual inclusion verifies that (3.16) yields
(3.17)

Gp = (Gpp )p ⋊ν (Gk )p

(we keep the notation ν also for its restriction to (Gk )p ). By the induction hypothesis, both (Gpp )p and (Gk )p are direct sums of commutator subgroups of the
form (Gpi pj )p . Therefore, to complete the proof, we need to show that the action
in (3.17) is trivial. These groups are abelian and hence admit prime decomposition. Therefore, in order to establish triviality of this action, it is enough to show
that under the symplectic action ν every Sylow subgroup Gq1 < (Gk )p centralizes
every Sylow subgroup Gq2 < (Gpp )p . Assume that this is not true. Namely, there
exist prime divisors q1 and q2 of |(Gk )p | and |(Gpp )p | respectively such that Gq1 acts
nontrivially on Gq2 . By Lemma 3.20(2), the center of Gq1 ·q2 is cyclic of order q1 .
Recall that by the induction hypothesis on Gk , there exists a prime q3 (dividing
l) such that Gq1 = (Gq1 ·q3 )p for every Hall subgroup Gq1 ·q3 < Gk . In particular,
there is an element t ∈ Gq3 (< Gl ) conjugating the elements of Gq1 nontrivially (by
a symplectic action, as Gq1 ·q3 = hGq1 , Gq3 i is of central type). Since this nontrivial
action has a cyclic kernel of order q3 , then by Lemma 3.20(1) we obtain
(3.18)

Gq1 = [Gq1 , t].

Let νq2 : Gq1 ·q3 → SL2 (q2 ) be the restriction of the action ν (see (3.16)) from
the abelian group (Gpp )p to its q2 -Sylow subgroup Gq2 . Our goal is to show that
νq2 (Gq1 ) commutes with νq2 (t). Using (3.18), this will show that
νq2 (Gq1 ) = νq2 ([Gq1 , t]) = [νq2 (Gq1 ), νq2 (t)]
is trivial, contradicting our assumption that Gq1 acts nontrivially on Gq2 .
Consider the action of t on Gq1 ·q2 = hGq1 , Gq2 i. Let
s1 ∈ Z(Gq1 ·q2 )
be any non-trivial element in the cyclic center of the Hall subgroup Gq1 ·q2 . Since
this center is characteristic, there exists an integer i1 such that
(3.19)

ts1 t−1 = si11 .

Furthermore, since t acts on Gq1 via SL2 (q1 ) with an eigenvector s1 ∈ Cq1 × Cq1
and since its order q3 is prime to q1 , this action is diagonalizable. Hence, there is
another eigenvector s2 ∈ Cq1 × Cq1 and another integer i2 such that
(3.20)

ts2 t−1 = si22 .

Let
T = νq2 (t), S1 = νq2 (s1 ), S2 = νq2 (s2 ).
Clearly, since the elements s1 and s2 generate the group Cq1 × Cq1 , then the operators S1 and S2 generate νq2 (Gq1 ). It is then enough to show that these operators
commute with T . Suppose first that q1 = 2 (and then q2 > 2). Then T is the

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

27

unique operator of order 2 in SL2 (q2 ), namely the one taking any element to its
inverse, which is central in SL2 (q2 ). We may hence assume that the prime q1 is odd.
Now, the operators S1 and S2 are in SL2 (q2 ) and of order q1 , which is prime to q2 .
Again, this is enough to ensure that they are diagonalizable. Moreover, (3.19) and
(3.20) yield
i
T Sj T −1 = Sjj , j = 1, 2.
This permits us to apply Lemma 3.23 (with F = Fq2 ) so as to establish that both
S1 and S2 commute with T 2 . Since the order of T is q1 , which is prime to 2, then
T is a power of T 2 and so S1 and S2 commute with T itself. This completes the
proof.

3.4.2. Proof of Corollary B. If {pi }i∈λ is a set of distinct primes, then clearly
Y
Y
(3.21)
|SL2 ( pi )| =
(pi − 1)pi (pi + 1).
i∈λ

i∈λ

Corollary B is a consequence of Theorem A, Lemma 3.19 and (3.21).



6
π2

in the natural
Remark 3.24. The family of square-free numbers is of density
numbers (see [14, Theorem 2.1]). The family of numbers Λ is of density 0 in N.
However, using the Chinese Reminder Theorem and Dirichlet’s theorem, one can
show that this family is big in the sense that for any n ∈ Λ there exist infinitely
many primes p such that np ∈ Λ.
3.5. The automorphism action on non-degenerate classes is not necessarily transitive. The following examples are of groups G of central type such
that the action of Aut(G) on the non-degenerate cohomology classes in H 2 (G, C∗ )
admits more than one orbit.
Example 3.25. The action on the non-degenerate classes may be non-transitive
even when the corresponding groups of central type are of cube-free order. Theorem
A says that any such group G is a semidirect product
hxi

hyi

(Cm × Cm ) ⋊η (Ck × Ck ),
where (m, k) = 1 and where the action η is via SL2 (m). By Lemma 3.16(1), all the
classes in H 2 (Cm × Cm , C∗ ) are stabilized by η, and so by (3.10) we have
H 2 (G, C∗ ) = H 2 (Cm × Cm , C∗ ) × H 2 (Ck × Ck , C∗ )(∼
= Cmk ).
Any cohomology class [f ] ∈ H 2 (G, C∗ ) can be decomposed to its m and k-parts and
so can be given as a pair (α[f1 ] , α[f2 ] ) of the alternating forms (see (3.1)) associated
to its restrictions to the corresponding subgroups [f1 ] ∈ H 2 (Cm × Cm , C∗ ) and
[f2 ] ∈ H 2 (Ck ×Ck , C∗ ). The following result can be proven using the fact that m and
k are coprime and is left to the reader: Let n1 , n2 ∈ Cm × Cm and h1 , h2 ∈ Ck × Ck
such that n1 h1 and n2 h2 commute (that is (n1 h1 , n2 h2 ) ∈ AG , see §3.1). Then for
every [f ] ∈ H 2 (G, C∗ )
(3.22)

α[f ] (n1 h1 , n2 h2 ) = α[f ] (h1 , h2 ).

Let k be an odd prime and let m = p1 · p2 · p3 , where p1 , p2 , p3 are distinct primes
that are congruent to ±1(mod k). Then there are nontrivial actions
ηi : hx, yi → SL2 (pi ), i = 1, 2, 3,

28

YUVAL GINOSAR AND OFIR SCHNABEL

where the kernels of η1 , η2 and η3 are hxi, hyi and hxyi respectively. Let
η : hx, yi → SL2 (m) =

3
Y

SL2 (pi )

i=1

be the combined (faithful) action (see (3.21)).
Let g ∈ ker(ηi ) < Ck × Ck . Then its image under any automorphism of G should
obviously be inside (Cm × Cm )⋊ ker(ηi ). In particular, for any ψ ∈Aut(G) we have
(3.23)

ψ(x) ∈ (Cm × Cm ) ⋊ hxi,
ψ(y) ∈ (Cm × Cm ) ⋊ hyi,
ψ(xy) ∈ (Cm × Cm ) ⋊ hxyi.

and

Using (3.23), it is not hard to check that there exists 1 ≤ j ≤ k − 1 depending only
on ψ, such that every g ∈ Ck ×Ck is mapped to ψ(g) = ng g j for some ng ∈ Cm ×Cm .
Let [f ] ∈ H 2 (G, C∗ ) be given by the pair (α[f1 ] , α[f2 ] ) of alternating forms associated
to the m and k-parts of [f ]. Then by the above, there exist 1 ≤ j ≤ k − 1 and
nx , ny ∈ Cm × Cm such that
αψ([f ]) (x, y) = α[f ] (ψ −1 (x), ψ −1 (y)) = α[f ] (nx xj , ny y j ).
Applying (3.22) we get
2

αψ([f ]) (x, y) = α[f ] (xj , y j ) = α[f ] (x, y)j .
Now, by Lemma 3.1, α[f ] (x, y) is a k-th root of 1. For any such root ξk , the set
2

k−1
{ξkj }j=1
does not cover the entire set of k-th roots of 1 (it contains exactly half of
them since α[f ] (x, y) is primitive). It follows that there is a non-degenerate class in
H 2 (G, C∗ ) which is not in the Aut(G)-orbit of [f ]. For example, take k = 3. Then,
2
for any ψ ∈Aut(G), the above j is either 1 or 2. In both cases ξ3j = ξ3 and so if
[f ], [f ′ ] ∈ H 2 (G, C∗ ) satisfy α[f ] (x, y) = ξ3 and α[f ′ ] (x, y) = ξ32 , then they do not
belong to the same Aut(G)-orbit.


Notice that although the above cohomology classes are not in the same Aut(G)orbit, one cannot distinguish between them in practice. These classes do belong
to the same orbit under the following action of Aut(G)×Aut(C∗ ) on the (second)
cohomology of any group which generalizes (1.5). Let [f ] ∈ H 2 (G, C∗ ) and let
(φ, ρ) ∈Aut(G)×Aut(C∗ ). Then
(3.24)

(φ, ρ)([f ]) = [(φ, ρ)(f )], where
(φ, ρ)(f )(g1 , g2 ) : = ρ(f (φ−1 (g1 ), φ−1 (g2 ))).

Certainly, the classes [f ], [f ′ ] ∈ H 2 (G, C∗ ) in Example 3.25 are in the same orbit
under the action (3.24). This is not the case in the next two examples, where
non-degenerate classes of the same group may behave totally different.
Example 3.26. This example is of a family of groups G of A-type, i.e. which
admit only abelian p-Sylow subgroups, that are also of central type. In particular,
the action of Aut(Gp ) on the non-degenerate cohomology classes in H 2 (Gp , C∗ ) is
transitive for every p-Sylow subgoup Gp < G (see §1).

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

29

Let q1 , q2 , q3 be distinct1 primes such that qi ≡ 1(mod q3 ), i = 1, 2, and let
!
!
hxi i

hyi i

hσi i

Cqi × Cqi

Gi =

⋊ηi

hτi i

Cq3 × Cq3

,

i = 1, 2.

The actions are given by

(3.25)

ηi : hσi , τi i → Aut(hxi , yi i)
ηi (τi ) :
xi 7→ xi ,
yi 7→ yi ,
i
ηi (σi ) :
xi 7→ xm
i ,
ni
yi 7→ yi ,

where for i = 1, 2, mi , ni ∈ Z satisfy
mi · ni ≡ 1(mod qi )

(3.26)
and

mqi 3 ≡ 1(mod qi ), mi 6≡ 1(mod qi ).
Condition (3.26) says that for i = 1, 2, the actions ηi take their images in SL2 (qi )
(identified as before as a subgroup of Aut(hxi , yi i)), and therefore by Lemma 3.16(2)
both are symplectic. By Theorem 3.17, the groups G1 and G2 are of central type
and by Lemma 3.22 so is their direct product
G := G1 × G2 .
Since mi and ni are not congruent to 1(mod qi ), there are no non-trivial elements
in Cqi × Cqi which are fixed under the action ηi . Hence, the center of G is
Z(G) = hτ1 , τ2 i.

(3.27)

We can write the group G as a semidirect product of its Hall subgroups
G = Gq1 ·q2 ⋊η Gq3 ,
where
Gq3 = hσ1 , σ2 , τ1 , τ2 i ∼
= Cq1 ·q2 × Cq1 ·q2 ,
= Cq43 , Gq1 ·q2 = hx1 · x2 , y1 · y2 i ∼
and the action η : Gq3 →SL2 (q1 · q2 ) is determined by the actions η1 and η2 in an
obvious way.
Let [f1 ], [f2 ] ∈ H 2 (Gq3 , C∗ ) be two cohomology classes determined by their associated Gq3 -form (see (3.1)) on the generators σ1 , τ1 , σ2 , τ2 .
(3.28)

αf1 : (τ1 , σ1 ), (τ2 , σ2 ) 7→ ξq3 ,
αf2 : (τ1 , τ2 ), (σ1 , σ2 ) 7→ ξq3 ,

(τ1 , σ2 ), (τ2 , σ1 ), (τ1 , τ2 ), (σ1 , σ2 ) 7→ 1,
(τi , σj ) 7→ 1, 1 ≤ i, j ≤ 2.

Here, ξq3 is a primitive q3 -th root of unity. By (3.5), the two cohomology classes
[f1 ] and [f2 ] are non-degenerate.
Next, since the action η of Gq3 on Gq1 ·q2 is via SL2 (q1 · q2 ), then by Lemma
3.16(1) we have
(3.29)

H 2 (Gq1 ·q2 , C∗ )Gq3 = H 2 (Gq1 ·q2 , C∗ ).

By (3.10) and (3.29) we get
H 2 (G, C∗ ) = H 2 (Gq1 ·q2 , C∗ ) × H 2 (Gq3 , C∗ ).
1The example holds also when q = q , the argument should be modified accordingly
1
2

30

YUVAL GINOSAR AND OFIR SCHNABEL

Thus, every cohomology class of G is given by a pair of classes [f ] ∈ H 2 (Gq1 ·q2 , C∗ )
and [f ′ ] ∈ H 2 (Gq3 , C∗ ). By Theorem 3.11, ([f ], [f ′ ]) ∈ H 2 (G, C∗ ) is non-degenerate
if and only if so are both classes [f ] and [f ′ ].
Now, the group Gq1 ·q2 is of central type and so admits non-degenerate cohomology classes. For every such non-degenerate class [f ] ∈ H 2 (Gq1 ·q2 , C∗ ), the
cohomology classes
([f ], [f1 ]), ([f ], [f2 ]) ∈ H 2 (G, C∗ )
(where the classes [f1 ], [f2 ] are given in (3.28)) are non-degenerate. We claim that
these two classes lie in different Aut(G)-orbits. Indeed, examine the restriction
of the symplectic forms associated to both classes to the center hτ1 , τ2 i of G (see
(3.27)). We have α([f ],[f1 ]) (τ1 , τ2 ) = 1, whereas α([f ],[f2 ]) (τ1 , τ2 ) = ξq3 . That is, on
this subgroup one form is trivial while the other is not (it is even non-degenerate).
Since the center is characteristic, there exists no G-automorphism taking one of the
above classes to the other.

Example 3.27. Next, we present another, essentially different example of a 2group G of central type such that the action of Aut(G) on the non-degenerate
cohomology classes in H 2 (G, C∗ ) is not transitive. The group G = Ǎ ⋊ Q is a
semidirect product of a group Q acting on the character group Ǎ of a Q-module A.
Here Ǎ :=Hom(A, C∗ ) is endowed with the diagonal Q-action
hq(χ), ai := hχ, q −1 (a)i,

(3.30)

for every q ∈ Q, χ ∈ Ǎ, and evaluated at any a ∈ A. We apply a technique
developed in [25] to construct a non-degenerate 2-cocycle on the above semidirect
product from a bijective 1-cocycle π : Q → A. Let Q0 := C4 = hxi act on the
Klein 4-group A0 := C2 × C2 = hσi × hτ i as follows. The generator x interchanges
the generators σ and τ of A0 . Then it is not hard to check that the following
correspondence is a bijective 1-cocycle
π0 : Q0 → A0
1 7→ 1, x 7→ σ, x2 7→ στ, x3 7→ τ.
Next, we extend the 1-cocycle π0 to
π : Q0 × Q0 → A0 × A0
(q1 , q2 ) 7→ (π0 (q1 ), π0 (q2 )),
where A := A0 × A0 is endowed with the componentwise Q := Q0 × Q0 -action,
inducing the diagonal Q-action (3.30) on Ǎ. Then π is a bijective 1-cocycle, such
that [π] ∈ H 1 (Q, A) is of order 2. Let
G := Ǎ ⋊ Q = (Ǎ0 × Ǎ0 ) ⋊ (Q0 × Q0 ).
Using the terminology of [10, (3.6)], the class
[cπ ] ∈ H 2 (G, C∗ )
is non-degenerate. Note that
(3.31)

resG
Q [cπ ] = 1,

and that the order of [cπ ] is 2, since the values of cπ are either 1 or −1. On
the other hand, let [c] ∈ H 2 (Q, C∗ ) be the cohomology class determined by its
associated Q-form (see (3.1)) on the generators (x, 1) and (1, x)
αc ((x, 1), (1, x)) = i.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

31

The class [c] is of order 4 (the fact that it is also non-degenerate is irrelevant). By
the splitting of Q in G we have
Q
resG
Q (infG [c]) = [c].

(3.32)

2
∗
Hence, infQ
G [c] is also of order 4 in H (G, C ).
By [10, §4], the class
2
∗
[β] := [cπ ] · infQ
G [c] ∈ H (G, C )

is non-degenerate. Moreover, by (3.31) and (3.32)
Q
G
G
resG
Q [β] = resQ [cπ ] · resQ (infG [c]) = 1 · [c] = [c]

is of order 4 in H 2 (Q, C∗ ), then so is the order of [β] in H 2 (G, C∗ ).
To sum up, H 2 (G, C∗ ) admits two non-degenerate classes, [cπ ] and [β], which
cannot be in the same orbit under the Aut(G)-action for they are of distinct orders2 and 4 respectively.

4. Maximal connected gradings of semisimple algebras
Our objective in this section is to study the maximal connected grading classes,
first of finite-dimensional simple complex algebras (§4.1), and then of general finitedimensional semisimple complex algebras (§4.2). Special semisimple families, namely
diagonal, bisimple and completely graded decomposition algebras are discussed in
§4.3, §4.4 and §4.5 respectively.
By Theorem 2.18, any grading of such an algebra A admits a decomposition as a
direct sum of graded-simple algebras. When the grading of A is connected, we may
think of all the graded-simple summands as connected by appropriate well-defined
subgroups (see §2.1). The following claim is straightforward.
Lemma 4.1. Let (2.10) be connected gradings of finite-dimensional semisimple algebras A and B. Then any graded equivalence (ψ, φ) between these gradings determines a bijection between the graded-simple summands {Ai }ri=1 of A and {Bj }sj=1
of B (in particular r = s), as well as graded-equivalences (ψi , φi ) between the
connected-gradings of the summands Ai and ψ(Ai ) for every 1 ≤ i ≤ r.
The next result is somehow counterintuitive.
Let (ψ, φ) be a quotient
L gradedL
morphism from a graded algebra A = g∈G Ag to a graded algebra B = h∈H Bh .
If I is a non-trivial graded ideal of A then ψ(I) is a non-trivial graded ideal of B.
Consequently, we have
L
L
Lemma 4.2. Let GB : B = h∈H Bh be a quotient-grading of GA : A = g∈G Ag .
If the H-grading of B is simple, then so is the G-grading of A.

4.1. Maximal connected simple gradings. With the notation of Theorem 2.19,
let m = ǫ(x) and let (1.4) be the decomposition of the twisted group algebra Cf G
to its simple summands, each of which corresponds to an irreducible f -projective
representation of the subgroup G of Γ. The following claim is clear.

Lemma 4.3. With the above notation, x Cf G is a Γ-simple grading class of the
semisimple algebra
M
Mn(W ) (C),
(4.1)
A=
[W ]∈Irr(G,f )

where n(W ) = m · dimC (W ).

32

YUVAL GINOSAR AND OFIR SCHNABEL


We now specify a group Γ as well as a Γ-simple grading class x Cf G of the
semisimple algebra A given in (4.1). Fix any set of generators {x1 , · · · , xm−1 } of
the free group Fm−1 of rank m − 1. Let
Γ = Fm−1 ∗ G

(4.2)

be the free product of G and Fm−1 , and let
x̃ = 1 +

m−1
X

xi ∈ NΓ.

i=1


Obviously, the Γ-simple grading class x̃ Cf G of A is connected. In fact, we claim
that it is maximal connected. To prove it we need
Lemma 4.4. With the above notation, if x̂(Cf G) is the same grading class as
P
x̃(Cf G), then (x̃, x̂) ∈ RG . In particular, x̂ = g + m−1
j=1 x̂j , where g ∈ G, and x̂j
are torsion-free for every 1 ≤ j ≤ m − 1.

Proof. The lemma follows from the condition for graded-equivalence in Theorem
2.20, bearing in mind that the normalizer of G in (4.2) is G itself.

We can now claim
Lemma 4.5. (see [24, Proposition 2.31]) With the above notation, the Γ-simple
grading class
(4.3)

(1 +

m−1
X

xi )(Cf G)

i=1

is maximal.

Proof. Suppose that the class (4.3) is a quotient of some Γ̂-grading class [G]. By
ˆ
Lemma 4.2, the grading class [G] is simple and hence is of the form ŷ(Cf Ĝ). Let
φ : Γ̂ → Fm−1 ∗ G
be a surjective group homomorphism realizing the quotient morphism. Since graded
morphisms respect induction (see Lemma 2.14), the graded subalgebra (see §2.5)
ˆ
Cf Ĝ is mapped to a class x(Cf G) for some x ∈ Nφ(Ĝ) such that (4.3) is the same
grading class as φ̄(ŷ) · x(Cf G) (with the extension notation (2.9)). Now, by the
Pǫ(ŷ)−1
normalization as described in Remark 2.21 we may assume that ŷ = 1 + j=1 ŷj .
Consequently,
ǫ(ŷ)−1

(4.4)

φ̄(ŷ) · x = (1 +

X
j=1

ǫ(ŷ)−1

φ(ŷj )) · x = x + (

X

φ(ŷj )) · x.

j=1

Next, x ∈ Nφ(Ĝ), hence its support consists of elements of finite orders. Therefore,
by (4.4), the class φ̄(ŷ) · x(Cf G) is induced from the twisted group algebra Cf G
Pǫ(ŷ)−1
by an element x + ( j=1 φ(ŷj )) · x, which consists at least ǫ(x)-many group
elements of finite order. Since it represents the same grading class as (4.3), Lemma
4.4 implies that ǫ(x) = 1, moreover, x is an element of G. The fact that the graded
ˆ
subalgebra Cf Ĝ is mapped to a class x(Cf G) with ǫ(x) = 1 says that the restriction
φ|Ĝ to the subgroup Ĝ < Γ̂ is an isomorphism and φ([fˆ]) = [f ]. Thus, both grading
classes are induced from the same twisted group algebra grading class - one by ŷ

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

and the other by x̃ = 1 +
vector spaces we now get

Pm−1
i=1

33

xi . Comparing dimensions of the inducing graded
ǫ(ŷ) = ǫ(x̃) = m.

Furthermore, Lemma 4.4 also implies that (φ̄(ŷ) · x, x̃) ∈ RG . Since x ∈ G we have
(φ̄(ŷ), x̃) ∈ RG .
That is, there exist g1 , · · · , gm−1 ∈ G such that
m−1
X
j=1

φ(ŷj )gj =

m−1
X

xi .

i=1

For every 1 ≤ j ≤ m − 1 let ĝj be a pre-image of gj in Ĝ. Then
{ŷj ĝj }m−1
j=1
is a set of pre-images of the set {xi }m−1
i=1 of generators of Fm−1 whose cardinality
is also m − 1. Clearly,
∼
hŷj ĝj im−1
j=1 = Fm−1 .
Furthermore, since Γ is a free product of G and a free group of rank m−1 generated
by {xi }m−1
i=1 , then
Γ̂ = hĜ, ŷ1 gˆ1 , · · · , ŷm−1 ĝm−1 i ∼
= Fm−1 ∗ G.
It is then easy to deduce that φ is a group isomorphism and so any quotient morphism to (4.3) is actually a graded equivalence. In other words, (4.3) is maximal
connected.

The grading classes of the form (4.3) are the only maximal graded-simple classes
of a finite-dimensional complex semisimple algebra. This is a consequence of the
following claim, whose proof is given in the more general setup of Lemma 4.8 later
on.
Lemma 4.6. (see [24, Corollary 2.34]) Let G be a connected Γ1 -simple grading of
a finite-dimensional complex semisimple algebra A, where Γ1 is any group. Then,
with the above notation G is a quotient of a grading in some class (4.3).
At this point, the one-to-one correspondence in Theorem 1.3 is straightforward:
Proof of Theorem 1.3. Let (G, γ) ∈ Pn , where G is a group of central type of
order d2 (dividing n2 ) and γ is an Aut(G)-orbit of non-degenerate classes. This
pair corresponds to the F nd −1 ∗ G-grading class (4.3) of Mn (C) with m = nd and
[f ] ∈ H 2 (G, C∗ ) in the orbit γ. Firstly, it is not hard to deduce from Theorem 2.20
that distinct pairs in Pn correspond to distinct grading classes. Secondly, Lemma
4.5 says that the grading classes (4.3) are indeed maximal. Finally, by Lemma 4.6
any connected grading class of Mn (C) is a quotient of at least one grading class
that corresponds to a pair in Pn .

The following two observations are direct consequences of the definition of elementary gradings and the above description of the correspondence in Theorem
1.3.
Corollary 4.7. (see [15, Proposition 4.11, Proposition 4.14]) Let {x1 , · · · , xn−1 }
Pn−1
be any set of generators of the free group Fn−1 , and let x̃ = 1 + i=1 xi ∈ NFn−1 .
Then

34

YUVAL GINOSAR AND OFIR SCHNABEL

(1) The grading class x̃(C) = x̃(C{e}) is the unique maximal connected grading
class of Mn (C) which is elementary.
(2) Any connected elementary grading class of Mn (C) is a quotient of the elementary grading class x̃(C).
4.2. Proof of Theorem C. We extend the graded-simple case to general connected group gradings of finite-dimensional semisimple complex algebras.
For that we go back to the free product grading (2.13), focusing on the case
where the gradings Gj of Aj are simple. For every 1 ≤ j ≤ r, let Gj be a finite
group and let
fj ∈ Z 2 (Gj , C∗ )
be any 2-cocycle. Let
Γj = Fmj −1 ∗ Gj
be the free product of Gj and the free group
(j)

(j)

Fmj −1 = hx1 , · · · , xmj −1 i
of rank mj − 1. For every 1 ≤ j ≤ r, let
mj −1

x̃(j) = 1 +

X

(j)

xi

∈ NΓj .

i=1

Lemma 4.5 tells us that for every 1 ≤ j ≤ r, the connected simple grading classes
x̃(j) (Cfj Gj ) of the semisimple algebras
M
Mn(W ) (C), n(W ) = mj · dimC (W )
Aj =
[W ]∈Irr(Gj ,fj )

are maximal. These grading classes give rise to a connected grading class
(4.5)

r
a

x̃(j) (Cfj Gj )

j=1

of the semisimple algebra A =
in (2.13).

Lr

j=1

Aj by the free product

`r

j=1

Γj as described

Lemma 4.8. Any connected grading class of a finite-dimensional complex semisimple algebra A is a quotient of a grading class of the form (4.5).
Proof. Let [H] be a connected grading class ofL
A by a group Γ. By Theorem 2.18,
r
this grading class admits a decomposition A = j=1 Aj to graded-simple ideals Aj ,
each of which endowed with a connected simple grading class (by an appropriate
subgroup) [H]j . Theorem 2.19 now says that for every 1 ≤ j ≤ r there exist yj ∈ NΓ
˜
and finite groups Hj < Γ such that [H]j is the grading class yj (Cfj Hj ) for some
f˜j ∈ Z 2 (Hj , C∗ ). Let mj = ǫ(yj ). Using once again the normalization as described
Pmj −1 (j)
in Remark 2.21, we can assume that yj = 1 + zj for some zj = i=1
gi ∈ NΓ.
For every 1 ≤ j ≤ r let Gj be finite groups isomorphic to Hj via φj : Gj → Hj .
Then the result follows by applying the surjective group homomorphism
r
a

j=1

Fmj −1 ∗ Gj → Γ,

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS
(j)

35
(j)

which extends the isomorphisms φj : Gj → Hj by choosing generators x1 , · · · , xm−1
(j)
(j)
of Fmj −1 for every 1 ≤ j ≤ l and sending them to g1 , · · · , gm−1 respectively. 
By Lemma 4.8, the maximal connected grading classes of the semisimple algebras
are of the form (4.5). The following example shows that not every such grading
class is maximal.
Example 4.9. The ordinary group algebra CG of an abelian group G of order
n > 1 is isomorphic to the commutative algebra A = ⊕nj=1 C. Let 1(C{e}) be the
induction of the trivial
the above
`n group algebra by a 1-dimensional space. Then`with
n
notation, the class j=1 1(C{e}) is grading A by the trivial group j=1 {e} = {e}.
This class is of the form (4.5), but is a quotient of the G-grading class 1(CG) under
the forgetful morphism (see §2.3). More generally, if a grading class (4.5) admits n
factors of the form 1(C{e}), then this grading class can be written as
n
a

1(C{e}) ∗

r
a

x̃(j) (Cfj Gj ).

j=n+1

j=1

This class is a quotient grading of
CG ∗

r
a

x̃(j) (Cfj Gj ),

j=n+1

for some abelian group G of order n. Clearly, if n > 1, this quotient is proper and
thus the grading class (4.5) is not maximal.
In order to grasp the maximal grading classes of our algebras, consider quotients
of the maximal graded-simple classes x̃(Cf G). By Theorem 2.18 and Theorem 2.19,
such quotients are represented by
r
M

(4.6)

ˆ

yj (Cfj Hj ).

j=1

In the following lemma we assume that these quotients are of the form (4.5).
Lemma 4.10. Let
(4.7)

[(ψ, φ)] : x̃(Cf G) →

r
a

x̃(j) (Cfj Gj )

j=1

be a quotient morphism class between
`r a simple connected Fm−1 ∗ G-grading class of
the form (4.3) and a connected j=1 Fmj −1 ∗ Gj -grading class of the form (4.5).
If r > 1, then x̃(Cf G) is equivalent to a twisted group algebra Cf G, where G is
abelian and [f ] ∈ H 2 (G, C∗ ) is trivial. Moreover, [(ψ, φ)] is the forgetful morphism
class.
Proof. By Lemma 2.14,
(4.8)

r
a

j=1

x̃(j) (Cfj Gj ) = φ̄(x̃) ·

r
a

j=1

y (j) (Cfj Gj ),

36

YUVAL GINOSAR AND OFIR SCHNABEL

where
φ̄ is the extension (see (2.9)) of a group morphism representative φ and
`r
(j)
y
(Cfj Gj ) is the corresponding quotient grading class of the graded subalj=1
gebra Cf G. For every j = 1, · · · , r we denote ǫj = ǫ(y (j) ) and normalize
ǫj −1

y

(j)

=1+

(j)

X

yi

i=1

according to Remark 2.21. Then by (4.8), for every j, the grading class x̃(j) (Cfj Gj )
is the same as the class
ǫj −1

φ̄(x̃) · y (j) (Cfj Gj ) = [φ̄(x̃) +

X

(j)

yi

· φ̄(x̃)](Cfj Gj ).

i=1

By Lemma 4.4, for every j = 1, · · · , r
ǫj −1
(j)

(x̃

, φ̄(x̃) +

X

(j)

yi

· φ̄(x̃)) ∈ RGj .

i=1

(j)

(j)

So, for every j = 1, · · · , r there exist partial sums z̃1 , z̃2
(j)
(j)
that z̃1 + z̃2 = x̃(j) and

∈ N[Fmj −1 ∗ Gj ] such

(j)

(z̃1 , φ̄(x̃)) ∈ RGj .

(4.9)
From (4.9) we get
(4.10)

φ̄(x̃) ∈

r
\

N[Fmj −1 ∗ Gj ] ⊂ N[

r
\

Fmj −1 ∗ Gj <

r
a

Fmj −1 ∗ Gj ].

j=1

j=1

Since the intersection
r
a

Fmj −1 ∗ Gj

j=1

j=1

is trivial, then (4.10) can hold only if φ̄(x̃) is in N. In other words ǫ(φ̄(x̃)) = 1,
yielding
(4.11)

ǫ(x̃) = 1.

Condition (4.11) says that x̃(Cf G) is graded by the group G which is finite. Thus,
(4.7) is a quotient morphism of algebras graded by finite groups. Now, a free
product of groups can be finite only if all, perhaps except one, of them are trivial.
Suppose then that G1 , · · · , Gr−1 are trivial and so the quotient is graded by Gr ,
which might as well be trivial. Comparing dimensions we get
(4.12)

|G| = r − 1 + |Gr |.

Let N ⊳ G be the kernel of the group morphism φ. Then on one hand, the order of
N is equal to the dimension of the trivial component of the quotient G/N -grading,
that is
|N | = r.

(4.13)
On the other hand, by connectivity,
(4.14)

Gr ∼
= G/N.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

37

Combining (4.12), (4.13) and (4.14), we get
r − 1 + |Gr | = |G| = |N | · |G/N | = r · |Gr |.
Hence, if r > 1 then |Gr | = 1, and so the quotient is graded by the trivial group.
This means that any representative (ψ, φ) is the forgetful morphism of the twisted
group algebra Cf G. Moreover, since the simply-graded components of the quotient
are all 1-dimensional, the underlying algebra is commutative, saying that G is
abelian and, by Lemma 4.22, f is cohomologically trivial.

Lemma 4.10 is complementary to Lemma 4.5. These two claims say a quotient
morphism (4.7) is either a graded-equivalence for r = 1, or a forgetful morphism of
an abelian group algebra for r > 1. In order to move to the general case, that is
a quotient morphism between two grading classes of the form (4.5), we say that a
factor x̃(j) (Cfj Gj ) of (4.5) is trivial if it grades a trivial summand C, that is if
ǫ(x̃(j) ) · |Gj | = 1.
Corollary 4.11. A grading class (4.5) is maximal if and only if it contains no
more than one factor x̃(j) (Cfj Gj ) which is trivial.
Proof. Example 4.9 shows that if the grading class (4.5) contains more than one
trivial factor x̃(j) (Cfj Gj ) = 1(C{e}) (graded by the trivial group {e}), then it is a
nontrivial quotient of a class which admits a graded-simple factor 1(CG), the ordinary group algebra of a nontrivial abelian group G. It is thus not `
maximal, proving
r
the “only if” part. Conversely, suppose that the grading class j=1 x̃(j) (Cfj Gj )
admits no more than one trivial summand. Assume also that it is a quotient of another grading class. By Lemma 4.8, we may assume that it is a quotient of another
grading class of the form (4.5)
(4.15)

[(ψ̂, φ̂)] :

s
a

(k)

x̂

fˆk

(C Ĝk ) →

r
a

x̃(j) (Cfj Gj ).

j=1

k=1

Both gradings determine decompositions of the underlying semisimple algebras to
their simply graded parts. Any algebra isomorphism representative ψ̂ yields a
partition
s
[
ψ ′ (k)
{1, · · · , r} =
k=1

and partial quotient morphism classes
ˆ

[(ψ̂k , φ̂k )] : x̂(k) (Cfk Ĝk ) →

a

x̃(j) (Cfj Gj )

j∈ψ ′ (k)

for every 1 ≤ k ≤ s. Fix k ∈ {1, · · · , s}. If |ψ ′ (k)| > 1, then by Lemma
ˆ
4.10 [(ψ̂k , φ̂k )] is the forgetful morphism class of a twisted group algebra Cfk Ĝk
for
abelian`
group Ĝk and fˆk cohomologically trivial. In particular,
` a nontrivial
′
(j)
fj
j∈ψ ′ (k) 1(C{ej }) is a product of (1 <)|ψ (k)|-many trivial
j∈ψ ′ (k) x̃ (C Gj ) =
factors. But this is impossible, because
the hypothesis does not allow more than one
`
trivial factor in the grading class j∈ψ′ (k) x̃(j) (Cfj Gj ). We deduce that |ψ ′ (k)| = 1

and so by Lemma 4.9, (ψ̂k , φ̂k ) is a graded-equivalence for every k = 1, · · · , s. We
get that the entire quotient morphism class (4.15) is the identity. By the definition
of the quotient-grading partial order, the grading class (4.5) is maximal.


38

YUVAL GINOSAR AND OFIR SCHNABEL

We are now ready to prove Theorem C. As can be expected, the formal term
γ m is assigned to the maximal connected simple grading class (4.3), where γ is the
Aut(G)-orbit of [f ] ∈ H 2 (G, C∗ ). This can naturally be extended to a one-to-one
correspondence
mj −1
r
r
X
X (j)
a
m
γj j
xi )(Cfj Gj ) ←→
(1 +
j=1

i=1

j=1

between the connected gradingPclasses (4.5) of a finite-dimensional semisimple algebra A, and the formal sums
a(γ, m)γ m such that
X
χA (z) =
a(γ, m)m−z ζγ (z).

By Theorem 2.20 and Lemma 4.1, two grading classes of the form (4.5) are the
same if and only if they are mapped to the same formal sum. Next, by Lemma
4.8, any maximal connected grading class of A is of the form (4.5), while Corollary
4.11 tells us that grading class are maximal if and only if they contain atP
most one
m
r
non-trivial factor, which in turn says that the corresponding formal sum j=1 γj j
admits no more than one non-trivial terms. This completes the proof.

4.3. Diagonal algebras. In his paper [20], S. Dăscălescu studies the group gradings of the so called diagonal algebra, that is the direct sum of a certain field.
He tacitly classifies those of them which are maximal connected. Let us describe
these maximal classes over the field of complex numbers using the above notation.
Obviously, an induction of any graded algebra by the endomorphisms of a graded
space of dimension higher than d admits graded ideals of dimension higher than
d2 . Hence, by Theorem 2.19 every graded-simple class of a diagonal algebra Cn is a
twisted group algebra graded-class. Furthermore, if a twisted group algebra Cf G is
commutative then G is obviously abelian and, by Lemma 4.22, f is cohomologically
trivial. By the discussion in §4.2 we obtain
Theorem 4.12. (see [20, Theorem 5]) With the above notation, the maximal
con`r
nected grading classes of the diagonal algebra Cn are free products j=1 CGj of
Pr
ordinary group algebras, where Gj are abelian groups with
j=1 |Gj | = n, such
that no more than one group Gj is trivial.
Note that Theorem 4.12 generalizes [15, Proposition 6.1, Corollary 6.2]. In particular, it shows that for every n ≥ 3 (n can be square-free) there is no universal
covering of Cn .
4.4. Bisimple algebras. A finite-dimensional complex algebra is bisimple if it is
of the form
(4.16)

A = Mn1 (C) ⊕ Mn2 (C).

Our investigation of maximal connected grading classes of a bisimple algebra (4.16)
starts with those classes which are graded-simple. Any graded-simple class of a
bisimple algebra is of the form x(Cf G), where the twisted group algebra Cf G
is itself a bisimple algebra, that is |Irr(G, f )| = 2. A group G satisfying this
property is termed of 2f -central type in [29], or just of double central type. For
example, the cyclic group C2 is 2f -central simple for any f ∈ Z 2 (C2 , C∗ ) (they are
all cohomologous). In the spirit of Corollary 3.4, apply Theorem 3.3 to obtain the
following alternative definition.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

39

Lemma 4.13. A cocycle f ∈ Z 2 (G, C∗ ) satisfies |Irr(G, f )| = 2 if and only if there
is a unique nontrivial g ∈ G, up to conjugation, such that res|G
CG (g) αf (g, −) = 1.
Next, a class which is not graded-simple clearly decomposes to a direct sum of
two graded-simple algebras, both are matrix algebras. Applying the discussion in
§4.2 we get
Theorem 4.14. There is a one-to-one correspondence between the maximal connected grading classes of a non-diagonal bisimple algebra (4.16) and
(1) the pairs (G, γ), where γ are Aut(G)-orbits of classes [f ] ∈ H 2 (G, C∗ ) for
groups G of 2f -central type whose orders divide n21 + n22 , as well as
(2) the quadruples of the form (G1 , γ1 , G2 , γ2 ), where for i = 1, 2, Gi are groups
of central type and of orders dividing n2i , and γi are Aut(Gi )-orbits of nondegenerate cohomology classes in H 2 (Gi , C∗ ). If additionally n1 = n2 , then
the quadruples (G1 , γ1 , G2 , γ2 ) and (G2 , γ2 , G1 , γ1 ) are identified.
The diagonal algebra C ⊕ C is not covered by Theorem 4.14. Here, by Theorem
4.12, there is a unique maximal connected grading class, namely by the 2f -central
type C2 .
Remark 4.15. It is proven [29, Theorem A] that if G is 2f -central type, then the
two non-equivalent irreducible f -projective representations of G are of the same
dimension (in particular G is of order 2m2 for some positive integer m), i.e.
Cf G = Mq |G| (C) ⊕ Mq |G| (C).
2

2

Consequently, the first family of classes in Theorem 4.14 is empty unless n1 = n2 .
In fact, as we shall soon see in Proposition 4.19, the equality n1 = n2 is also a
sufficient condition for a bisimple algebra (4.16) to admit graded-simple classes.
Let us study some special groups of double central type.
Proposition 4.16. Suppose that the restriction of a cocycle f ∈ Z 2 (G, C∗ ) to a
subgroup of N < G of index 2 is non-degenerate. Then G is of 2f -central type.
Proof. Let V be an f -projective representation of G. Then V decomposes over N
as a direct sum of copies of the unique irreducible f |N -projective representation
W,
p
that is V |N = W r for some r ≥ 1. Lemma 1.2 says that dimC (W ) = |N | and
hence
|G|
.
|G| ≥ dimC (V )2 = r2 dimC (W )2 = r2 |N | = r2
2
q
We get that r = 1, and so V |N = W is irreducible over N , that is dimC (V ) = |G|
2 .
Therefore, G admits precisely two irreducible f -representations. This proves the
claim.


In the following two theorems we use again the notation fd for the restriction of
f ∈ Z 2 (G, C∗ ) to a Hall subgroup Gd < G.
Theorem 4.17. Let G be of 2f -central type. Then for every odd d, fd is nondegenerate.
Proof. The theorem is proven in a similar way to the proof of Theorem 3.11 given
in [38, Lemma 2.7]. Let W1 and W2 be the two non-equivalent irreducible f projective representations of G. By Remark 4.15, W1 and W2 are of the same

40

YUVAL GINOSAR AND OFIR SCHNABEL

q
f
dimension, namely m := |G|
2 . This is also the multiplicity of W1 and W2 in C G,
viewed as the regular module over itself. It can hence be written as
(4.17)

Cf G = W1m ⊕ W2m .

Next, consider Cf G as a free module over Cfd Gd of rank [G : Gd ] (the index of Gd
in G). Then any irreducible fd -projective representation W of Gd is of multiplicity
dimC (W ) · [G : Gd ] in the Cfd Gd -module Cf G. Any such irreducible fd -projective
representation appears as a constituent of the restriction to Gd of either W1 or
W2 . By (4.17), the multiplicity of an irreducible fd -projective representation in the
Cfd Gd -module Cf G is divisible by m. Consequently, m divides dimC (W ) · [G : Gd ].
We compute the d-part of both sides, taking into account that the index [G : Gd ] is
2
prime to d. The d-part md divides dimC (W ), and hence ( |G|
2 )d divides dimC (W ) .
2
Since d is odd we obtain that |G|d = |Gd | divides dimC (W ) . This can happen
when the order of Gd is exactly equal to dimC (W )2 , equivalently, when the regular
module Cfd Gd is decomposed as
Cfd Gd = W dimC (W ) .
In other words, Irr(Gd , fd ) = {[W ]}, and fd is non-degenerate.



Theorem 4.18. Let m be an odd integer. A double central type group of order
2m2 is a semidirect product G = G2′ ⋊η C2 , where the 2′ -Hall subgroup G2′ is of
central type and the action η is symplectic.
Proof. Let G = G2′ ⋊η C2 , where the action η stabilizes some non-degenerate
cohomology class [f2′ ] ∈ H 2 (G2′ , C∗ ). Then by (3.10), [f2′ ] is restricted from a
class [f ] ∈ H 2 (G, C∗ ). From Proposition 4.16 we deduce that G is of 2f -central
type. Conversely, a 2f -central type group G is solvable [29, Theorem B], therefore
it has a 2′ -Hall subgroup G2′ . This subgroup is of index 2 in G, and hence it is
normal. By Theorem 3.6, G = G2′ ⋊η C2 for some action η : C2 →Aut(G2′ ). By
Theorem 4.17, the restriction f2′ of f to G2′ is non-degenerate. In particular, G2′

is of central type and f2′ is η-invariant, that is η is symplectic.
4.5. Completely graded decomposition algebras. We say that a connected
grading of a finite-dimensional semisimple complex algebras is completely decomposed if all its graded-simple summands are simple. An algebra (1.7) is completely
graded decomposition (CGD) if all its connected gradings are completely decomposed. A primal family of examples would be bisimple algebras (4.16) with n1 6= n2 .
Theorem 4.14 and Remark 4.15 ensure that these algebras are CGD.
Proposition 4.19. An algebra (1.7) is CGD only if all the multiplicities b(n) are
at most 1.
Proof. Assume that there exists a multiplicity b(n) which is larger than 1. Then the
subalgebra Mn (C)b(n) is not simple but admits the graded-simple class n(CG) for
any abelian group G of order b(n). Extending this class to a connected G-grading
class of A by grading all the other components by, say, the trivial element, we
deduce that A is not CGD.

The converse direction of Proposition 4.19 is likely to hold.
Conjecture 4.20. An algebra (1.7) is CGD if all the multiplicities b(n) are at
most 1.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

41

Conjecture 4.20 is actually a different way to formulate a conjecture of R.J.
Higgs [30], which says that a cocycle f ∈ Z 2 (G, C∗ ) (G is finite) is either nondegenerate, or there exist distinct [W1 ], [W2 ] ∈Irr(G, f ) of the same dimension.
Indeed, if f ∈ Z 2 (G, C∗ ) refutesLHiggs’ conjecture, then the simple components of
the (non-simple) algebra A =
[W ]∈Irr(G,f ) EndC (W ) are of distinct dimensions.
Nevertheless, the connected grading class Cf G of A is certainly not completely
decomposed. Hence the semisimple algebra A is not CGD, and a counterexample
to Conjecture 4.20 is found. Conversely, suppose that all the multiplicities b(n)
of an algebra (1.7) are 1. If A is not CGD, and by that is a counterexample
to Conjecture 4.20, then it admits a connected grading which is not completely
decomposed. Then one of its graded-simple summands is not simple. Then the
grading on this summand is induced from a twisted group algebra which refutes
Higgs’ conjecture.
By the discussion in §4.2 and Proposition 4.19 we get
Theorem 4.21. There is a one-to-one correspondence
between the maximal conLs
nected grading classes of a CGD algebra A =
M
ni (C) and the 2s-tuples of
i=1
the form (G1 , γ1 , G2 , γ2 , · · · , Gs , γs ), where for i = 1, · · · , s, Gi are groups of central type and of orders dividing n2i , and γi are Aut(Gi )-orbits of non-degenerate
cohomology classes in H 2 (Gi , C∗ ).
To provide evidence to Conjecture 4.20, we need the following folklore result.
Lemma 4.22. (see [29, Lemma 1.2(i)]) Let G be a finite group. The order of
any cohomology class [f ] ∈ H 2 (G, C∗ ) divides the dimension of each f -projective
representation. In particular, if there is an f -projective representation of dimension
1, then f is cohomologically trivial.
Theorem 4.23. Let n1 , · · · , ns be distinct positive integers
Ls such that every prime
p is a factor of no more than two of them. Then A = i=1 Mni (C) is CGD.

Proof. Suppose, by negation, that there exists a connected grading of A which is not
completely decomposed. Then it admits a graded-simple ideal which is not simple.
By Theorem 2.19, this graded ideal is induced from a twisted group algebra, say
Cf G, which decomposes to at least two simple algebras, all of distinct dimensions.
By Remark 4.15, this decomposition must admit strictly more than two simple
summands. Now, by Lemma 4.22, the order of [f ] in H 2 (G, C∗ ) must divide the
dimensions of all the simple summands of Cf G. However, there are more than two of
those, and so by the hypothesis no prime number divides them all. Consequently,
f is cohomologically trivial. This is one of the cases where Higgs’ conjecture is
known to hold. More precisely, by [30, Lemma 1.1] Cf G must admit two simple
summands of the same dimension, which is a contradiction.

Theorem D is a consequence of Theorem 4.23 and the following claim.
Ls
Theorem 4.24. Let A = i=1 Mni (C) be a CGD algebra. Then
π1 (A) =

s
a

π1 (Mni (C)).

i=1

Proof. By induction on s, using Lemma 2.11 and the CGD definition.



42

YUVAL GINOSAR AND OFIR SCHNABEL

References
[1] A. Adem and R. J. Milgram. Cohomology of finite groups, volume 309 of Grundlehren
der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences].
Springer-Verlag, Berlin, second edition, 2004.
[2] E. Aljadeff and D. Haile. Simple G-graded algebras and their polynomial identities. Trans.
Amer. Math. Soc., 366(4):1749–1771, 2014.
[3] E. Aljadeff, D. Haile, and M. Natapov. Projective bases of division algebras and groups of
central type. Israel J. Math., 146:317–335, 2005.
[4] E. Aljadeff, D. Haile, and M. Natapov. On fine gradings on central simple algebras. In Groups,
rings and group rings, volume 248 of Lect. Notes Pure Appl. Math., pages 1–9. Chapman &
Hall/CRC, Boca Raton, FL, 2006.
[5] E. Aljadeff, D. Haile, and M. Natapov. Graded identities of matrix algebras and the universal
graded algebra. Trans. Amer. Math. Soc., 362(6):3125–3147, 2010.
[6] E. Aljadeff and Y. Karasik. Crossed products and their central polynomials. J. Pure Appl.
Algebra, 217(9):1634–1641, 2013.
[7] Y. A. Bahturin, S. K. Sehgal, and M. V. Zaicev. Group gradings on associative algebras. J.
Algebra, 241(2):677–698, 2001.
[8] Y. A. Bahturin and M. V. Zaicev. Group gradings on matrix algebras. Canad. Math. Bull.,
45(4):499–508, 2002.
[9] Y. A. Bahturin, M. V. Zaicev, and S. K. Sehgal. Finite-dimensional simple graded algebras.
Mat. Sb., 199(7):21–40, 2008.
[10] N. Ben David and Y. Ginosar. On groups of central type, non-degenerate and bijective cohomology classes. Israel J. Math., 172:317–335, 2009.
[11] N. Ben David, Y. Ginosar, and E. Meir. Isotropy in group cohomology. Bull. Lond. Math.
Soc., 46(3):587–599, 2014.
[12] F. A. Bogomolov. The Brauer group of quotient spaces of linear representations. Izv. Akad.
Nauk SSSR Ser. Mat., 51(3):485–516, 688, 1987.
[13] S. Caenepeel, S. Dăscălescu, and C. Năstăsescu. On gradings of matrix algebras and descent
theory. Comm. Algebra, 30(12):5901–5920, 2002.
[14] F. Cellarosi and Y. G. Sinai. Ergodic properties of square-free numbers. J. Eur. Math. Soc.
(JEMS), 15(4):1343–1374, 2013.
[15] C. Cibils, M. J. Redondo, and A. Solotar. Connected gradings and the fundamental group.
Algebra Number Theory, 4(5):625–648, 2010.
[16] C. Cibils, M. J. Redondo, and A. Solotar. The intrinsic fundamental group of a linear category.
Algebr. Represent. Theory, 15(4):735–753, 2012.
[17] C. Cibils, M. J. Redondo, and A. Solotar. Full and convex linear subcategories are incompressible. Proc. Amer. Math. Soc., 141(6):1939–1946, 2013.
[18] C. Cibils, M. J. Redondo, and A. Solotar. On universal gradings, versal gradings and Schurian
generated categories. J. Noncommut. Geom., 8(4):1101–1122, 2014.
[19] M. Cohen and S. Montgomery. Group-graded rings, smash products, and group actions.
Trans. Amer. Math. Soc., 282(1):237–258, 1984.
[20] S. Dăscălescu. Group gradings on diagonal algebras. Arch. Math. (Basel), 91(3):212–217,
2008.
[21] S. Dăscălescu, B. Ion, C. Năstăsescu, and J. Rios Montes. Group gradings on full matrix
rings. J. Algebra, 220(2):709–728, 1999.
[22] F. R. DeMeyer and G. J. Janusz. Finite groups with an irreducible representation of large
degree. Math. Z., 108:145–153, 1969.
[23] A. Elduque and M. Kochetov. Weyl groups of fine gradings on matrix algebras, octonions
and the Albert algebra. J. Algebra, 366:165–186, 2012.
[24] 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.
[25] P. Etingof and S. Gelaki. The classification of triangular semisimple and cosemisimple Hopf
algebras over an algebraically closed field. Internat. Math. Res. Notices, (5):223–234, 2000.
[26] S. M. Gagola, Jr. Characters fully ramified over a normal subgroup. Pacific J. Math., 55:107–
126, 1974.

MAXIMAL CONNECTED GRADINGS AND INTRINSIC FUNDAMENTAL GROUPS

43

[27] M. Golasiński and D. L. Gonçalves. On automorphisms of finite abelian p-groups. Math.
Slovaca, 58(4):405–412, 2008.
[28] M. Havlı́cek, J. Patera, and E. Pelantova. On Lie gradings. II. Linear Algebra Appl., 277(13):97–125, 1998.
[29] R. J. Higgs. Groups with two projective characters. Math. Proc. Cambridge Philos. Soc.,
103(1):5–14, 1988.
[30] R. J. Higgs. On projective characters of the same degree. Glasgow Math. J., 40(3):431–434,
1998.
[31] R. B. Howlett and I. M. Isaacs. On groups of central type. Math. Z., 179(4):555–569, 1982.
[32] G. Karpilovsky. Projective representations of finite group. Pure and applied mathematics, A
series of monographs and textbooks, 1985.
[33] G. Karpilovsky. The Schur multiplier. Oxford science publications, 1987.
[34] R. A. Liebler and J. E. Yellen. In search of nonsolvable groups of central type. Pacific J.
Math., 82(2):485–492, 1979.
[35] C. Năstăsescu and F. van Oystaeyen. Graded ring theory, volume 28 of North-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam-New York, 1982.
[36] 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.
[37] O. T. O’Meara. Symplectic groups, volume 16 of Mathematical Surveys. American Mathematical Society, Providence, R.I., 1978.
[38] 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.
[39] J. Rotman. An introduction to the Theory of Groups Fourth Edition. Springer-Verlag, 1995.
[40] J. Schur. Untersuchungen über die darstellung der endlichen gruppen durch gebrochene lineare substitutionen. Journal für die reine und angewandte Mathematik., (132):85–137, 1907.
[41] S. Shahriari. On central type factor groups. Pacific J. Math., 151(1):151–178, 1991.
[42] M. Suzuki. On finite groups with cyclic Sylow subgroups for all odd primes. Amer. J. Math.,
77:657–691, 1955.
[43] R. G. Swan. The p-period of a finite group. Illinois J. Math., 4:341–346, 1960.
[44] D. R. Taunt. On A-groups. Proc. Cambridge Philos. Soc., 45:24–42, 1949.
[45] H. J. Zassenhaus. The theory of groups. 2nd ed. Chelsea Publishing Company, New York,
1958.
Department of Mathematics, University of Haifa, Haifa 3498838, Israel
E-mail address: ginosar@math.haifa.ac.il
Institute of Algebra and Number Theory, Pfaffenwaldring 57, University of Stuttgart,
Stuttgart 70569, Germany
E-mail address: os2519@yahoo.com

