Schur’s theory for partial projective representations

arXiv:1711.06739v1 [] 17 Nov 2017

Mikhailo Dokuchaev and Nicola Sambonet∗
November 21, 2017

Abstract
This article focuses on those aspects about partial actions of groups
which are related to Schur’s theory on projective representations. It
provides an exhaustive description of the partial Schur multiplier, and
this result is achieved by introducing the concept of a second partial
cohomology group relative to an ideal, together with an appropriate
analogue of a central extension. In addition, the new framework is
proved to be consistent with the earlier notion of cohomology over
partial modules.

1

Introduction

It is becoming relatively common to encounter the word partial as a prefix for some classical terminology in algebra. This phenomenon is due to
the increasing awareness about the algebraic relevance of partial symmetries which explicitly or implicitly appear in various local-global aspects of
well-known mathematical topics. It was indeed the theory of C ∗ -algebras
which motivated the introduction of the notions of partial actions and partial representations of groups [17]. In this regard, the most prominent application of the partial actions is their involvement in the construction of
a crossed product, which encloses relevant classes of algebras [7]. Partial
representations are intimately related to partial actions in various ways, in
particular, they play a fundamental role in providing partial crossed product structures on concrete algebras. This can be seen applied to a series
∗

The first author was partially supported by Fapesp of Brazil and by CNPq of Brazil.
The second author was supported by Fapesp of Brazil. Address: Instituto de Matemática
e Estatı́stica da Universidade de São Paulo, Rua do Matão 1010, 05508-090 São Paulo,
Brazil. Email: dokucha@gmail.com and nsambonet@gmail.com

1

of important algebras, among the most recent examples being C ∗ -algebras
related to dynamical systems of type (m, n) [2], the Carlsen-Matsumoto algebras of subshifts [8] and algebras related to separated graphs [1]. In the
latter paper, a partial-global passage was remarkably employed to a problem
on paradoxical decompositions.
The general concept of a twisted partial group action, used to define
more general crossed products, involves a kind of a 2-cocycle (see [9, 16]),
raising the desire to fit it into some cohomology theory. In order to obtain
some testing material for the development of such a theory, partial projective group representations were introduced and studied in [13, 14, 15, 28].
The notion of a partial multiplier naturally appears in analogy with the
classical Schur’s theory of projective representations. Since the algebraic
structures involved in partial representations are not only groups but also
inverse semigroups, the new theory diverges from the original one and the
multiplier results in a semilattice of abelian groups, called components. That
is briefly to say, a collection composed of abelian groups and parametrized by
a meet semilattice, where the operations of group-multiplications are compatible with the partial order. Subsequently, a cohomology theory based on
partial actions was developed in [10, 11, 12]. Notice that partial cohomology
turned out to be useful to deal with the ideal separation property of (global)
reduced C ∗ -crossed products in [25], where partial 2-cocyles appear as factor sets (twists) of partial projective representations (called twisted partial
representations in [25]) naturally related to (global) C ∗ -dynamical systems.
With respect to the partial Schur multiplier, it was shown in [10, Theorem 2.14] that each component is a union of cohomology groups with values
in non-necessarily trivial partial modules. Furthermore, in the case of an
algebraically closed field K, it was proved in [15, Theorem 5.9] that each
component of the partial Schur multiplier is an epimorphic image of a direct
product of copies of K× . However, computations of the partial Schur multiplier of concrete groups show that each component is, in fact, isomorphic
to a direct product of copies of K× (see [6, 15, 26, 27, 28, 29]), raising the
conjecture that this should be true for all groups.
The present article is inspired by the aforementioned conjecture, of which
it provides an affirmative answer for finite groups (Corollary 5.3), and it actuates an essential refinement for our understanding of partial projective
group representations. To this aim, the theory is reformed to encompass a

2

broader setting, specifically to allow arbitrary coefficients and to establish
a partial analogue for Schur’s theory of central extensions (in particular,
see Theorem 3.3). Influenced by known properties of partial factor sets, the
concepts of a pre-cohomology group, of a second partial cohomology group
relative to an ideal, and of a second partial cohomology semilattice of groups
with values in an arbitrary abelian group are introduced. Then the partial Schur multiplier is shown to coincide with the second partial cohomology semilattice of groups with values in K× . This new level of abstraction
conveys standard techniques into the scene, which promptly produce new
theorems.
Most remarkably, in the finite case the pre-cohomology groups are completely determined by minor information about the underlying group (Theorem 4.3).
Also, taking the ideals into accounts, a general statement is established for
the second partial cohomology groups (Theorem 5.2). Furthermore, considering appropriate partial G-modules, one is able to conclude, in particular,
that each component of the partial Schur multiplier is isomorphic to a single
partial cohomology group (see Theorem 6.1) in the sense of [10], bringing
thus the partial Schur theory closer to the classical one.
The text is structured as follows: in section 2 some fundamental concepts in the theory of partial actions of groups and in Schur’s theory will
be recalled; in section 3 new concepts will be introduced, and the partial
analogue for Schur’s theory with arbitrary coefficients will be developed;
in section 4 and, respectively, in section 5 the pre-cohomology groups and
the second partial cohomology semilattice of groups will be studied in details; lastly, in section 6 the consistency with the previous notion of partial
cohomology will be proved.

2
2.1

Prerequisites
The universal inverse semigroup of a group

Inverse semigroups are the algebraic structures which capture the idea of
partial symmetry [21]. In an inverse semigroup S the system of equations
xyx = x ∧ yxy = y

(1)

admits a unique solution for y in terms of x, commonly denoted by y = x−1 .
This is easily recognized to be a generalization of groups, still it incorporates
3

the semilattices, which are the semigroups consisting of commuting idempotents. A partial bijection over a set X is any bijection between subsets of X.
Multiplication of partial bijection is defined as follows: if α : A → Aα and
β : B → B β , then β ◦ α is their composition on the largest subset where it
makes sense, i. e. α−1 (Aα ∩ B). Necessarily, one has to admit the existence
of the map ∞ : ∅ → ∅, and this serves as the zero element. As the reader
has noticed, we convene to denote with ∞ the zero element of a semigroup,
if this ever exists, coherently with the additive notation for abelian groups.
The set of partial bijections over X turns out to be an inverse semigroup
in the obvious way, that is by inversion of functions, which is named the
symmetric inverse semigroup I(X).
We recall that, given an ideal I of a semigroup S, the Rees congruence
is defined by setting x ∼ y when either x = y or both x and y belong to I.
The corresponding quotient is denoted by S/I. In general, if ϑ : S → T is a
homomorphism of semigroups and T admits the zero ∞, then ϑ−1 (∞) is an
ideal of S.
Inverse semigroups apply to the theory of groups through the notion
of partial actions and partial homomorphisms of groups [17]. A partial
action is a map ψ : G → I(X) satisfying the compatibility conditions that
ψ(1) = idX and the composition ψ(g) ◦ ψ(h) coincides with the restriction
of ψ(gh). In turn, this notion results to be a special case of the following.
A partial homomorphism is a map ψ from a group G into a semigroup M
satisfying the conditions
ψ(1) · ψ(g) = ψ(g) = ψ(g) · ψ(1)

(2)

ψ(g−1 ) · ψ(g) · ψ(h) = ψ(g −1 ) · ψ(gh)

(3)

ψ(g) · ψ(h) · ψ(h−1 ) = ψ(gh) · ψ(h−1 )

(4)

for any pair of elements g and h of G. These relations, which openly emerge
from the compatibility requirement of partial action, are used to introduce
the universal inverse semigroup S(G) associated with G (see [17]). Precisely,
S(G) is the abstract semigroup generated by symbols Π(g) subject to relations analogue to (2)-(4), so that the map Π : G → S(G) is an injective
partial homomorphism, and this construction is universal in sense that
S(G)

③<<
Π ③③
③
ψ̄
③③

③③ ψ
// M
G

4

(5)

every partial homomorphism ψ extends to a semigroup homomorphism ψ̄
uniquely by means of Π.
In fact, S(G) is isomorphic to the Birget-Rhodes expansion of G [24] (see
also [3, 4]). Thus, a generic element of S(G) is identified with a pair (R, g)
where R is a finite subset of G containing 1 and g, whereas multiplication
obeys to the rule
(R, g) · (S, h) = (R ∪ gS, gh) .
The result is an inverse semigroup since the system of equations (1) admits
the unique solution (R, g)−1 = (g−1 R, g −1 ), and the universal partial homomorphism Π associates an element g of the group with Π(g) = ({1, g}, g). It
is convenient to extend the definition of Π to a higher number of elements
as Π(g1 , . . . , gk ) = Π(g1 ) · · · Π(gk ). In particular, considering two elements
yields
Π(g, h) = ({1, g}, g) · ({1, h}, h) = ({1, g, gh}, gh) ,
(6)
whereas considering three elements yields
Π(x, y, z) = ({1, x}, x) · ({1, y}, y) · ({1, z}, z) = ({1, x, xy, xyz}, xyz) . (7)
One may notice how these relations confirm that Π satisfies (2)-(4).
It is important to describe the ideals of S(G) since these determine the
vanishing of a partial homomorphism. Precisely, in the notation of (5) the
equality ψ(g1 ) · · · ψ(gk ) = ∞ occurs if and only if Π(g1 , . . . , gk ) belongs to
I = ψ̄ −1 (∞). To begin with, the principal ideals in S(G), which we will
denote by h·iS , can be characterized as follows [14, Corollary 2]:
h(R, g)iS = h(S, h)iS ⇐⇒ (S, h) = (x−1 R, x−1 y) for some x, y ∈ R . (8)
For our purpose, one may just consider the following relations which are
direct consequences of the definition of a partial representation:
hΠ(g, g−1 )iS = hΠ(g)iS = hΠ(g−1 )iS = hΠ(g−1 , g)iS ,

(9)

and more generally, for any 1 ≤ j ≤ r and 1 ≤ k ≤ r,
hΠ(g1 , . . . , gr )iS

= hΠ((g1 · · · gj )−1 , g1 , . . . , gr )iS
= hΠ(g1 , . . . , gr , (gk · · · gr )−1 )iS
= hΠ((g1 · · · gj )−1 , g1 , . . . , gr , (gk · · · gr )−1 )iS .

5

(10)

In addition, with respect to (6), taking y = 1 and either x = g or x = gh in
the above characterization (8) yields
hΠ(g, h)iS = hΠ(h, h−1 g −1 )iS = hΠ(h−1 , g −1 )iS .

(11)

These identities prove that, given a partial homomorphism ψ, the subset of
G × G consisting of those pairs (g, h) for which ψ(g) · ψ(h) = ∞ is invariant
under the action of the symmetric group S3 generated by the transformations
(g, h) 7→ (h, h−1 g−1 ) , (g, h) 7→ (h−1 , g−1 ) .

(12)

This action, which has been discovered in [13], will be central in the present
essay.
Another family of ideals can be described by the simple observation that,
for any pair of elements (R, g) and (S, h) of S(G), since |R ∪ gS| ≥ |S| and
|R∪gS| ≥ |R|, left and right multiplication are “non-decreasing operations”.
Consequently, for any positive integer k, the set
Nk = {(R, g) ∈ S(G) | |R| ≥ k + 1}
is an ideal of S(G).
In the present essay the crucial case is when k = 3. Indeed, in the notation of (5), for any partial homomrphisms ψ considered hereby it will be
assumed that the ideal I = ψ̄ −1 (∞) is proper in S(G) and it contains N3 .
This assumption is motivated by the theory on partial projective representations where the semilattice
Λ = (Λ, ∪) , Λ = {I | N3 ≤ I ⊳ S(G)}

(13)

plays a prominent role (see [15]).
Taking this into account, suppose that Π(x, y, z) is not contained in I, for
I = ψ̄ −1 (∞) lying in Λ. Accordingly with (7), one has |{1, x, xy, xyz}| ≤ 3,
which can be rewritten as
1 ∈ {x, y, z, xy, yz, xyz} .

(14)

Therefore, the failure on this condition implies ψ(x) · ψ(y) · ψ(z) = ∞.

2.2

A sketch of classical Schur’s theory

The ordinary multiplier is the fundamental object in the theory of projective
representations and central extensions [22, 23, 31]. Hereby, few of the very
6

elementary concepts are mentioned in order to fix the notation and facilitate
the description of their partial analogue.
A central extension of a group M is a group E endowed with a surjective
homomorphism π : E → M such that A = ker π is contained in the center
Z(P ). This situation is summarized in the diagram
A

ι

π

// E

// M

(15)

The interest is to consider such a central extension together with a group G
and a homomorphism ψ : G → M . The archetypes are:
i. When M = G and ψ is the identity, then E is a central extension of G.
ii. When E = GL(n, C) and M = PGL(n, C) for some positive integer n,
then ψ is a projective representation of G.
Hence, the choice of a section ϕ : G → E completes the commutative diagram:
G
(16)
ϕ

A

ι

// E

~~

ψ
π



// M

One can not expect that the map ϕ is a homomorphism. However, the
failure for this to happen is encoded in the equation
ϕ(g) · ϕ(h) = ϕ(gh) · σ(g, h)

(17)

where σ is a function in AG×G . Clearly, not any function is admissible:
adopting the additive notation for group multiplication in A, associativity
of E proves that σ satisfies the equality
σ(x, y) + σ(xy, z) = σ(x, yz) + σ(y, z)
for any x, y and z in G. In connection with cohomology this fact is restated
as follows. The coboundary homomorphism
δ2 : AG

×2

→ AG

×3

is defined by means of the relation
δ2 σ(x, y, z) = σ(y, z) − σ(xy, z) + σ(x, yz) − σ(x, y) ,

7

(18)

and the group of cocycles is the kernel of this homomorphism
Z 2 (G, A) = {σ ∈ AG×G | δ2 σ = 0} .
Thus, the function σ determined by (17) is an element of Z 2 (G, A). Luckily
enough the process is reversible and any σ ∈ Z 2 (G, A) defines a central
extension (15) of the group G as follows. The underlying set is A × G and
multiplication is given by
(λ, g) · (µ, h) = (λ + µ + σ(g, h), gh) .

(19)

Therefore, there is a correspondence between the central extensions and the
cocycles of G which, however, depends on the choice of section. Nonetheless,
any change of section, as it can be seen easily, corresponds to addition of a
coboundary
δ1 ζ(g, h) = ζ(h) − ζ(gh) + ζ(g) .
(20)
Hence, it is of interest to introduce the group
B 2 (G, A) = {δ1 ζ | ζ ∈ AG } ,
and to consider the second cohomology group
H 2 (G, A) = Z 2 (G, A)/B 2 (G, A) .
The terminology Schur multiplier applies to the case when G is a finite
group and A = C× , which answers to the original problem of classifying the
projective representations. For general coefficients, the facts here discussed
provide a one-to-one correspondence between the isomorphism classes of the
central extensions of G by A and the elements of H 2 (G, A)
Of course, the above definition is a special case in the theory of group
cohomology (see [5]). Indeed, in the present manuscript it is always assumed
that the (global) group actions over the coefficient modules are trivial. In
view of this, the first cohomology group simply is
H 1 (G, A) = ker δ1 = Hom(G, A) .

3

The partial analogue notions

Also the partial counterpart of the theory originates with the study of partial projective representations in K× -cancellative monoids [13, 14, 15] (previously named K-cancellative). However, the most general situation can be
extended to semigroups and partial homomorphisms.
8

Firstly, referring to the diagram (15), in the current framework E will be
taken as an A-cancellative central extension of a semigroup M by an abelian
group A, in the following sense. A central extension is a semigroup E which
contains A as a central subgroup, and M is the quotient semigroup E/A
with respect to the following congruence: x ∼ y whenever there exist a and
b in A such that ax = by. Given a central extension E endowed with zero
∞, this extension is called A-cancellative if, for every a, b in A and every x
in E \ {∞}, the equality ax = bx implies a = b. Observe that, this condition
yields that, for every a in A, the equation ax = ∞ has no solution for x in
E other than x = ∞.
In second place, the due modification in the diagram (16) is given by an
A-cancellative central extension of M together with a group G and a partial
homomorphism ψ : G → M . Notice that, when ∞ ∈ E, then M has at least
two elements. In this case, it is convenient to assume that ψ(1) 6= ∞ since,
otherwise, ψ(g) = ∞ for all g. With respect to (3)-(4) and (17), this time
the failure for the section ϕ to be a partial homomorphism can be shown to
be encoded in the equations
ϕ(g−1 ) · ϕ(g) · ϕ(h) = ϕ(g −1 ) · ϕ(gh) · σ(g, h)
−1

ϕ(g) · ϕ(h) · ϕ(h

−1

) = ϕ(gh) · ϕ(h

) · σ(g, h)

(21)
(22)

where σ(g, h) is an element of A. Actually, it is convenient to regard σ(g, h)
as an element of the semigroup A∞ = A ∪ {∞}, obtained adjoining the
zero ∞ to the abelian group A, and set σ(g, h) = ∞ whenever the above
equations reduce to the triviality ∞ = ∞.
Similarly with the case of a partial projective representation over a field,
the fact that the same function σ appears in both (21) and (22) is not
obvious, but the arguments given in the proof of [13, Theorem 3] can be
easily adapted to this case. Moreover, also in the current situation the map
σ has not to satisfy the cocycle identity [13, page 260]. However, by means of
(10), associativity of E applied to the relation ϕ(x−1 )·ϕ(x)·ϕ(y)·ϕ(z)·ϕ(z −1 )
shows that δ2 σ(x, y, z) = 0 whenever Π(x, y, z) does not belong to the ideal
I = ψ −1 (∞). Accordingly to (14), it is of interest to introduce the following:
Definition 1. A pre-cocycle of G with values in A is a function σ in AG×G
satisfying the weak cocycle condition:
1 ∈ {x, y, z, xy, yz, xyz} ⇒ δ2 σ(x, y, z) = 0 .
9

The group of pre-cocycles is denoted by pZ 2 (G, A), and
pH 2 (G, A) = pZ 2 (G, A)/B 2 (G, A)
is the pre-cohomology group of G.
The zero ∞, which does not appear in the above definition, is reintroduced as follows. Any fixed ideal I in the semilattice Λ, introduced in (13),
defines an additive characteristic function ǫI : G × G → A∞ obeying to
(
∞ Π(g, h) ∈ I
ǫI (g, h) =
0 otherwise.
associating α 7→ α + ǫI is a homoIn these terms, the map AG×G → AG×G
∞
morphism of semigroups.
Definition 2. In the current notation, define
Z 2 (G, I; A) = pZ 2 (G, A) + ǫI , B 2 (G, I; A) = B 2 (G, A) + ǫI .
Then, the quotient
H 2 (G, I; A) = Z 2 (G, I; A)/B 2 (G, I; A) ,
is the second partial cohomology group relative to I with coefficients in A.
We shall see below (Theorem 6.1) that this definition is coherent with
the notion of partial cohomology groups given in [10]. Moreover, the fact
Z 2 (G, N3 ; A) = pZ 2 (G, A)
justifies that only ideals containing N3 are considered.
Clearly, the identity element of H 2 (G, I; A) is the class [ǫI ]. In addition,
in AG×G
one has ǫI + ǫJ = ǫI∪J . Thus, by allowing external sums, that is
∞
[σ + ǫI ] + [τ + ǫJ ] = [σ + τ + ǫI∪J ], it is possible to join all of these groups
as follows:
Definition 3. The second partial cohomology semilattice of groups of G is
a
H 2 (G, Λ; A) =
H 2 (G, I; A)
I∈Λ

The semigroup of idempotents in H 2 (G, Λ; A) consists of the classes [ǫI ]
as I varies in Λ, and it is canonically isomorphic with (Λ, ∪). Furthermore,
the definition of Z 2 (G, −; A) and B 2 (G, −; A) immediately yields:
10

Proposition 3.1. For any pair of ideals I and J in Λ, the homomorphism
H 2 (G, J; A) → H 2 (G, I ∪ J; A) mapping µ 7→ µ + [ǫI ] is surjective.
From the above discussion, it follows that a map σ defined by (21)-(22)
is an element of Z 2 (G, I; A) for I = ψ(∞)−1 . The following construction,
which is analogue to (19), provides the converse of this statement. Namely,
for any ideal I in Λ, every element of Z 2 (G, I; A) can be obtained as a map
σ arising from an A-cancellative central extension together with a partial
homomorphism, as in (21)-(22).
Lemma 3.2. Given σ in Z 2 (G, I; A), then the set E = (A × S(G) \ I)∪{∞}
endowed with multiplication
(
(λ + µ + σ(x, y), R ∪ xS, xy) if (R ∪ xS, xy) ∈
/I
(λ, R, x) · (µ, S, y) =
∞
otherwise
results in an A-cancellative central extension of S(G)/I. Moreover, E is a
monoid with identity element (−σ(1, 1), Π(1)), and the natural partial homomorphism G → S(G)/I admits the section
(
(−σ(1, 1), Π(g)) if Π(g) ∈
/I
ϕ : G → E , g 7→
∞
otherwise
which is associated with σ.
Proof. To prove the associativity of E, given X = (R, x), Y = (S, y) and
Z = (T, z) in S(G) \ I together with λ, µ and ν in A, one considers the two
ways for computing the product (λ, X)·(µ, Y )·(ν, Z). There is no loss of generality assuming that XY Z does not belong to I, since otherwise the product
results ∞. In particular, associativity corresponds to the cocycle identity
δ2 σ(x, y, z) = 0 under this condition. Write XY Z = (R ∪ xS ∪ xyT, xyz).
Since {1, x, xy, xyz} is contained in R ∪ xS ∪ xyT and N3 is contained in
I, it follows that |{1, x, xy, xyz}| ≤ 3, that is 1 ∈ {x, y, z, xy, yz, xyz}. This
proves the associativity of E since, by hypothesis, σ = σ ′ + ǫI for some
σ ′ ∈ pZ 2 (G, A). Finally, denoting by ψ the canonical partial homomorphism G → S(G)/I, sending g to Π(g) whenever the latter is not in I, and
to ∞ otherwise, and taking the section ϕ : G → E which accordingly maps
g either to (−σ(1, 1), ψ(g)) or to ∞, it is evident that the associated map is
σ = σ ′ + ǫI .

11

It is routine to check that the isomorphism class of the extension E only
depends on the partial cohomology class of σ in H 2 (G, I; A), consequently:
Theorem 3.3. For any ideal I in Λ, there is a one-to-one correspondence between the equivalence classes of A-cancellative central extensions
of S(G)/I and the elements of H 2 (G, I; A).
In particular, in the case A = K× , any partial cocycle in Z 2 (G, Λ; K× )
defines a K× -cancellative monoid together with a partial projective representation, and vice-versa. Therefore, the partial multiplier pM (G) introduced
in [13] turns out to be a partial cohomology semilattice of groups:
Proposition 3.4. Let G be a group and K a field. Then the partial multiplier pM (G) over K coincides with H 2 (G, Λ; K× ).

4

Pre-cohomology

The pre-cocycles can be characterized in several different ways:
Lemma 4.1. Let σ ∈ AG×G . The following properies are equivalent:
i. σ is a pre-cocycle.
ii. 1 ∈ {xy, xyz} ⇒ δ2 σ(x, y, z) = 0
iii. For every g, h ∈ G the following holds:
a. σ(h, h−1 g−1 ) = σ(g, h) + σ(gh, h−1 g−1 ) − σ(g, g −1 )
b. σ(h−1 , g−1 ) = −σ(h, h−1 g−1 ) + σ(h, h−1 ) + σ(1, 1)
Moreover, if the above properties are satisfied, then:
c. σ(g, 1) = σ(1, 1) = σ(1, g)
d. σ(g, g−1 ) = σ(g −1 , g)
e. σ(h−1 g−1 , g) = σ(g, h) + σ(gh, h−1 g−1 ) − σ(h, h−1 )
f. σ(gh, h−1 ) = −σ(g, h) + σ(h, h−1 ) + σ(1, 1)
g. σ(g−1 , gh) = −σ(g, h) + σ(g, g −1 ) + σ(1, 1)
Proof. Denote by i.x the property [x = 1 ⇒ δ2 σ(x, y, z) = 0, ∀y, z], and
so on, so that the property i is the conjunction of the properties: i =
i.x ∧ i.y ∧ i.z ∧ i.xy ∧ i.yz ∧ i.xyz. The proof is divided in eight steps.
12

I) i ⇒ ii. This is trivial, since ii = i.xy ∧ i.xyz.
II) i.xyz = iii.a. Indeed, iii.a = [δ2 σ(g, h, h−1 g−1 ) = 0, ∀g, h] = i.xyz.
III) i.xyz ⇒ c. Observe that g−1 ·g ·1 = 1·g ·g −1 = 1, ∀g. Thus, i.xyz ⇒
[σ(g, 1)−σ(1, 1) = δ2 σ(g−1 , g, 1) = 0]∧[σ(1, 1)−σ(1, g) = δ2 σ(1, g, g−1 ) = 0].
IV) ii ⇐⇒ iii. Write down
δ2 σ(h, h−1 , g−1 ) = σ(h−1 , g−1 ) − σ(1, g −1 ) + σ(h, h−1 g −1 ) − σ(h, h−1 ) .
Then, by c one has σ(1, g−1 ) = σ(1, 1), so that i.xy ∧ c ⇒ iii.b, as well as
iii.b ∧ c ⇒ i.xy. Therefore, the result follows by II and III.
V) i.xyz ⇒ i.x ∧ i.y ∧ i.z. It is easily seen that c ⇒ i.x ∧ i.y ∧ i.z, simply
by consideration of δ2 σ(1, y, z), δ2 σ(x, 1, z), and δ2 σ(x, y, 1). Therefore, this
statement follows by III.
VI) ii ⇒ d. Firstly, i.xy ⇒ [δ2 (g, g −1 , g) = 0, ∀g]. Thus, writing down
explicitly 0 = δ2 σ(g, g−1 , g) = σ(g −1 , g) − σ(1, g) + σ(g, 1) − σ(g, g−1 ), the
claim follows by III.
VII) iii ⇒ i. In view of IV and V, it is left to prove that iii ⇒ i.yz.
Observe that i.yz = [δ2 σ(x, y, y −1 ) = 0, ∀x, y], and explicitly write down
δ2 σ(x, y, y −1 ) = σ(y, y −1 ) − σ(xy, y −1 ) + σ(x, 1) − σ(x, y) .

(23)

Setting h = xy and g = x−1 in iii.b, yields
σ(y −1 x−1 , x) = −σ(xy, y −1 ) + σ(xy, y −1 x−1 ) + σ(1, 1) .
By the use of c, which is allowed by III, σ(1, 1) = σ(x, 1), so that
−σ(xy, y −1 ) + σ(x, 1) = σ(y −1 x−1 , x) − σ(xy, y −1 x−1 ) .

(24)

Therefore, substituting (24) in (23), one obtains
δ2 σ(x, y, y −1 ) = σ(y, y −1 ) + σ(y −1 x−1 , x) − σ(xy, y −1 x−1 ) − σ(x, y) . (25)
Now, setting g = y −1 x−1 and h = x in iii.a, yields
σ(x, y) = σ(y −1 x−1 , x) + σ(y −1 , y) − σ(y −1 x−1 , xy) ,
that is
σ(y −1 , y) + σ(y −1 x−1 , x) − σ(y −1 x−1 , xy) − σ(x, y) = 0 .

13

(26)

The use of d, which is allowed by VI, yields σ(y −1 , y) = σ(y, y −1 ), and
σ(xy, y −1 x−1 ) = σ(y −1 x−1 , xy). Thus, (26) implies that (24) vanishes, that
is δ2 σ(x, y, y −1 ) = 0.
VIII) i ⇒ e ∧ f ∧ g. Writing down the equalities δ2 σ(h−1 g−1 , g, h) = 0,
δ2 σ(g, h, h−1 ) = 0, and δ2 σ(g−1 , g, h) = 0 explicitly, which are guaranteed
by i.xyz, i.yz, and i.xy respectively, it can be easily seen that the result just
requires the use of c and d, which is allowed by III and VI.
The above description of the pre-cocycles allows one to relate these functions with the action of S3 defined in (12).
Proposition 4.2. Let G be any group. Introduce on G × G the following
equivalence relation: for any element g of G set
(g, 1) ∼ (1, 1) ∼ (1, g) , (g, g −1 ) ∼ (g −1 , g)
and, for any pair of elements g and h of G satisfying g 6= 1 6= h 6= g −1 set
(g, h) ∼ (h, h−1 g −1 ) ∼ (h−1 , g −1 ) .
Then the group of pre-cocycles pZ 2 (G, A) is isomorphic with the group of
functions AΩ over the set of equivalence classes Ω = G × G/ ∼.
Proof. Fix a choice of representatives ∆ : Ω → G × G satisfying, for convenience, ∆(1, 1)∼ = (1, 1). As for the homomorphism pZ 2 (G, A) → AΩ
simply take the composition σ 7→ σ ◦ ∆. Whereas, the homomorphism
AΩ → pZ 2 (G, A), such that f 7→ σ, is defined as follows. First, set
σ(g, 1) = σ(1, g) = f (1, 1)∼

, σ(g, g −1 ) = σ(g −1 , g) = f (g, g −1 )∼

for any g ∈ G. Then, for any other class ω of Ω, that is ∆(ω) = (g, h) where
g 6= 1 6= h 6= g −1 , set
σ(g, h) = f (ω) ,
and, in accordance with the relations iii.a, iii.b iii.e, iii.f iii.g of Lemma 4.1,
define the values of σ over the remaining elements of the orbit as follows:
σ(h, h−1 g−1 ) = f (ω) + σ(gh, h−1 g−1 ) − σ(g, g −1 )
σ(h−1 , g−1 ) = −f (ω) + σ(g, g −1 ) + σ(h, h−1 ) − σ(gh, h−1 g−1 ) + σ(1, 1)
σ(h−1 g−1 , g) = f (ω) + σ(gh, h−1 g−1 ) − σ(h, h−1 )
σ(gh, h−1 ) = −f (ω) + σ(h, h−1 ) + σ(1, 1)
σ(g−1 , gh) = −f (ω) + σ(g, g −1 ) + σ(1, 1) .
14

It is easy to check that these homomorphisms are inverse of each other.
In the case of a finite group G, the previous result proves that pZ 2 (G, Z)
is a finitely generated abelian group of functions, so that standard techniques
can be used (see [19, §97]).
Theorem 4.3. Let G be a group of order n < ∞, and denote by G(k) the
set of elements of order k in G. Then, for any abelian group A,
pH 2 (G, A) ≃ Am−n ⊕ A ⊗ G/[G, G] ,
where m = (n2 + 2|G(3) | + 3|G(2) | + 5)/6.
Proof. Since G is finite then Ω is also finite and, consequently, the group
AΩ is a finitely generated A-module. Denoting m = |Ω|, the above formula
for m in terms of n, |G(2) |, and |G(3) | can be easily achieved (a similar
computation is given in [6]). Furthermore, if Ω = {ω1 , . . . , ωm } then
AΩ = Ahω1 ⊕ · · · ⊕ Ahωm ,
where hωi denotes the characteristic function hωi : ωj 7→ δij (the Kronecker
symbol). Hence,
AΩ ≃ A ⊗ ZΩ , ZΩ = Zhω1 ⊕ · · · ⊕ Zhωm .
By Proposition 4.2, unlike the analogue case in the classical theory, it follows
that
pZ 2 (G, A) ≃ A ⊗ pZ 2 (G, Z) .
In view of this fact, one first considers the case A = Z. Hence, in
the subgroup Z 2 (G, Z) admits a complement: indeed, given any
σ ∈ ZG×G , and a positive integer q, one has δ2 (qσ) = 0 if and only if δ2 σ = 0,
so that Z 2 (G, Z) is a pure subgroup and thus, since pZ 2 (G, Z) is finitely
generated, it is complemented [18, Theorem 28.2]. Hence, denoting by r the
free-abelian rank of Z 2 (G, Z), one has pZ 2 (G, Z) = Zm−r ⊕ Z 2 (G, Z), and
so
pH 2 (G, Z) = Zm−r ⊕ H 2 (G, Z) .

pZ 2 (G, Z)

It is well known that, since G is finite, H 2 (G, Z) ≃ H 1 (G, Q/Z) ≃ G/[G, G]
(see [5, Proposition 6.1, Corollary 10.2]). Therefore, in order to prove the
theorem’s claim for A = Z it is left to show that r = n. To see this, it is
15

sufficient to find a finite index subgroup of Z 2 (G, Z) isomorphic with Zn ,
and this goal is achieved by taking B 2 (G, Z). Indeed, since |H 2 (G, Z)| <
∞, it has finite index and, since n < ∞ implies that H 1 (G, Z) = 0, the
desired isomorphism is given by the differential δ1 : C1 (G, Z) = ZG ≃ Zn →
B 2 (G, Z).
Returning to the case of generic coefficients one has to consider the
quotient pZ 2 (G, A)/B 2 (G, A) and, more precisely, to describe B 2 (G, A) as
a subgroup of pZ 2 (G, A). The only difficulty is that, denoting by hg the
characteristic function relative to g in C 1 (G, Z) = ZG , the canonical (finite)
set {δ1 hg | g ∈ G} freely generates B 2 (G, Z) as a Z-module, but in B 2 (G, A)
the corresponding generating set {1A ⊗ δ1 hg | g ∈ G} is not necessarily free.
Consequently, a more delicate analysis of pZ 2 (G, Z) is needed in order to find
a basis presenting a good behavior. To this aim, one considers the inclusion
B 2 (G, Z) ⊆ Z 2 (G, Z) of finitely generated free Z-modules, and uses Smith’s
normalization theorem to obtain simultaneous basis (see [30, Theorem 8.61]);
therefore, there exists elements f1 , . . . , fn of Z 2 (G, Z) together with nonnegative integers λ1 , . . . , λn , which are uniquely determined by imposing
the condition that λi divides λi+1 for every i < n, satisfying
Z 2 (G, Z) = Zf1 ⊕ · · · ⊕ Zfn , B 2 (G, Z) = λ1 Zf1 ⊕ · · · ⊕ λn Zfn .
As already remarked, there is an isomorphism in cohomology which allows
to compute the integral coefficients as follows:
Zλ1 ⊕ · · · ⊕ Zλn = H 2 (G, Z) ≃ G/[G, G] .
At this moment one chooses a basis {gm+1 , . . . , gn } of the complement Zm−n
to obtain a decomposition pZ 2 (G, Z) = Zf1 ⊕ · · · ⊕ Zfn ⊕ Zgn+1 ⊕ · · · ⊕ Zgm .
It is readily seen that 1A ⊗ f1 , . . . , 1A ⊗ gm freely generates pZ 2 (G, A) as
an A-module. Therefore, denoting by T = λ1 Af1 ⊕ · · · ⊕ λn Afn , it is left
to prove that B 2 (G, A) = T . Since each δ1 hg ∈ B 2 (G, Z) can be expressed
as an integral combination of the elements λ1 f1 , . . . , λn fn , it follows that
1A ⊗ δ1 hg ∈ T for every g ∈ G, so that B 2 (G, A) ≤ T . On the other
hand, since the elements {δ1 hg | g ∈ G} constitute a basis of B 2 (G, Z),
then every λi fi is an integral combination of these elements, proving that
λi 1A ⊗ fi ∈ B 2 (G, A), so that T ≤ B 2 (G, A).

16

5

Partial cohomology relative to an ideal

In this section the results about the pre-cohomology groups are generalized
to the partial cohomology groups relative to ideals I ∈ Λ.
In the above notation, let ∆ : Ω → G × G denote a choice of representatives satisfying ∆(1, 1)∼ = (1, 1), and let Ω∗ = Ω \ {(1, 1)∼ }. Then the map
Π : G × G → S(G) defined in (6) induces a map
Π∼ : Ω∗ → Λ , ω 7→ hΠ ◦ ∆(ω)iS ∪ N3 ,
which, in view of the equalities (9) and (11), does not depend on the choice
of ∆. In this regard the relative pre-cocycles are characterized as follows:
Lemma 5.1. A function σ in AG×G
lies in Z 2 (G, I; A) if and only if it
∞
satisfies
i. Π(g, h) ∈ I ⇐⇒ σ(g, h) = ∞,
ii. Π(x, y, z) ∈
/ I ⇒ δ2 σ(x, y, z) = 0.
Moreover, the group Z 2 (G, I; A) is isomorphic with the group of function
AΩI where ΩI = {(1, 1)∼ } ∪ {ω ∈ Ω∗ | Π∼ (ω) 6⊆ I}.
Proof. Clearly, any function of the form σ = σ ′ + ǫI where σ ′ ∈ pZ 2 (G, A)
satisfies i. To see that σ also satisfies ii, firstly one has to show that no
summand of δ2 σ is equal to ∞. Equivalently, that no-one among Π(x, y),
Π(xy, z), Π(x, yz), and Π(y, z) is contained in I. To this aim, the cases of
Π(x, y) and Π(y, z) are trivial; on the other hand, assuming that Π(xy, z) ∈
I yields Π(x−1 , x, y, z) = Π(x−1 , xy, z) ∈ I, but then also Π(x, y, z) =
Π(x, x−1 , x, y, z) ∈ I contradicting the hypothesis, and the case of Π(x, yz) is
similar. Therefore, when Π(x, y, z) ∈
/ I then δσ(x, y, z) = δσ ′ (x, y, z). However, since I contains N3 , Π(x, y, z) ∈
/ I implies that 1 ∈ {x, xy, xyz, yz, z},
′
so that δσ (x, y, z) = 0.
Vice versa, given σ satisfying the properties i and ii, one has to produce
a pre-cocycle σ ′ for which σ = σ ′ + ǫI . Accordingly to Proposition 4.2, one
defines f in AΩ by setting f (ω) = 0 if σ ◦ ∆(ω) = ∞, and f (ω) = σ ◦ ∆(ω)
otherwise. Then, the desired σ ′ is obtained by means of the isomorphism
AΩ → pZ 2 (G, A) as f 7→ σ ′ .
Finally, the above defined function f ∈ AΩ can be regarded as an element of AΩI simply by restriction. Conversely, any function in AΩI can be
17

extended to an element f of AΩ by imposing the value 0 over the complementary set Ω \ ΩI , resulting as above in an element σ ∈ Z 2 (G, I; A).
For the general case of partial cohomology groups relative to ideals, one
is able to come at a weaker form of Theorem 4.3:
Theorem 5.2. Let G be a finite group. Then
H 2 (G, I; Z) ≃ ZmI −nI ⊕ Z/µ1 Z ⊕ · · · ⊕ Z/µnI Z
where mI = |ΩI | ≥ nI = rkZ B 2 (G, I; Z), and µ1 , . . . , µnI are positive integers ordered by recursive division. Moreover,
H 2 (G, I; A) ≃ A ⊗ H 2 (G, I; Z) ≃ AmI −nI ⊕ A/µ1 A ⊕ · · · ⊕ A/µnI A
for any abelian group A.
Proof. The result follows in a way similar to the proof of Theorem 4.3, with
the following minor modification. In this case, using Lemma 5.1, one also
has Z 2 (G, I; A) ≃ A ⊗ Z 2 (G, I; Z). Then, applying Smith’s normalization
theorem, one obtains a free basis f1 , . . . , fmI of Z 2 (G, I; Z) together with
positive integers µ1 , . . . , µnI such that µ1 f1 , . . . , µnI fnI is a free basis of
B 2 (G, I; Z). Finally, the fact B 2 (G, I; A) = µ1 Af1 ⊕ · · · ⊕ µnI Afni is proved
considering the canonical generating set {δhg + ǫI | g ∈ G}.
In particular, when A is a divisible group, then for every ideal I in Λ
each summand A/µi A in the decomposition of H 2 (G, I; A) is trivial. This
observation confirms the conjecture mentioned in the introduction:
Corollary 5.3. If G is finite and K is an algebraically closed field, then any
component of the partial multiplier is a finite direct sum of copies of K× .

5.1

An example

It can be seen in the proof of Theorem 4.3 that the torsion part of pH 2 (G, Z)
comes from the classical cohomology group H 2 (G, Z). A similar statement
can not be formulated for a generic ideal I. Moreover, the next example
shows that the torsion part of H 2 (G, I; Z) is not necessarily a quotient of
H 2 (G, Z). The general procedure to compute H 2 (G, I; Z) explicitly, which
can be reproduced for various small groups using GAP [20], is summarized

18

as follows: one determines m = |Ω| together with a set of representatives
∆(ω1 ), . . . , ∆(ωm ) for the classes of Ω; the matrix
M = (δ1 hgi ◦ ∆(ωj ))i,j ∈ Matn×m (Z)
yields the coefficients of the natural basis δ1 hg1 , . . . , δ1 hgn of B 2 (G, Z) in
terms of the characteristic functions hω1 , . . . , hωm ; given an ideal I in Λ,
one determines Ω \ ΩI = {ωi1 , . . . , ωim−mI } to obtain, removing from A
the columns i1 , . . . , im−mI , a matrix MI ; finally, the coefficients µ1 , . . . , µnI
which describe the torsion part of H 2 (G, I; Z) in Theorem 5.2 are the nonzero diagonal entries of the Smith’s normal form of the matrix MI .
Example 4. Consider the cyclic group G = Z6 . It is directly seen that G
admits 8 = (62 + 2 · 2 + 3 · 1 + 5)/6 classes in Ω, which are represented by
the following pairs:
ω1

ω2

ω3

ω4

ω5

ω6

ω7

ω8

∆ (0, 0) (1, 5) (2, 4) (3, 3) (1, 1) (1, 2) (1, 3) (2, 2)
Thus, the coefficients of the matrix M = (δ1 hgi ◦ ∆(ωj ))i,j ∈ Mat6×8 (Z) can
be read in the following table:
ω1
δh0
δh1
δh2
δh3
δh4
δh5

ω2

ω3

ω4

ω5

ω6

ω7

ω8

1 −1 −1 −1
·
·
·
·
·
1
·
·
2
1
1
·
·
·
1
· −1
1
·
2
·
·
·
2
· −1
1
·
·
·
1
·
·
· −1 −1
·
1
·
·
·
·
·
·

It can be checked that the Smith’s normalization algorithm provides two
matrices P ∈ GL(6, Z) and Q ∈ GL(8, Z), such that the diagonal entries
of D = P M Q are λ1 = · · · = λ5 = 1 and λ6 = 6. In accordance with
Theorem 4.3, then pH 2 (Z6 , Z) ≃ Z ⊕ Z ⊕ Z6 .
Consider now I = N3 ∪ hΠ(1, 2), Π(1, 3)iS , so that Ω \ ΩI = {ω6 , ω7 }.
In particular nI = |ΩI | = 6, and Smith’s normalization for MI provides
a matrix with diagonal entries µ1 = . . . = µ4 = 1, µ5 = 2 and µ6 = 6.
Therefore, H 2 (Z6 , I; Z) ≃ Z2 ⊕ Z6 that, as anticipated, is not a quotient of
H 2 (Z6 , Z) = Z6 .

19

N3 : Z ⊕ Z❋ ⊕
❘ Z6

❋❋❘❘❘❘
❋❋ ❘❘❘
❋❋
❘
❋❋ ❘❘❘❘❘
❘❘❘
❋❋
❘❘❘
❋❋
❘❘
❋

①①
①①
①
①①
①①
①
①①
①①

ω5 : Z ⊕❋Z6

ω6 : Z ⊕❋Z❘6
ω7 : Z ⊕ ◆Z6 ω8 : Z ⊕
✼✼ Z6
◆◆◆❧❧❧
❋❋
❋❋❘❘❘❘❦❦❦❦
♠♠
✂✂
✼✼
❧
❋❋♠♠♠♠♠
❋❦❋❦❦ ❘❘❘
◆
❧
✂
❧ ◆◆
✼
◆◆◆
✂✂
❦❦❦ ❋❋❋ ❘❘❘❘❧❧❧❧❧
♠♠ ❋❋❋
❦
♠
✂
❦
♠
◆◆◆ ✼✼✼
❋❋ ❦❦❦❦
❋❋ ❧❧❧❧ ❘❘❘❘
✂
♠♠
♠
✂
♠
❋
❋
❦
❧
◆
❘
❧ ❋
❘❘❘
◆◆◆ ✼✼✼
❦❦ ❋
✂✂ ♠♠♠
❧❧❧ ❋❋
❘❘❘
❦❦❦ ❋❋
❧
◆◆
❦
❧
✂♠✂♠♠♠♠
❦
❘
❦❦
Z
⊕
Z
Z6 ❁
Z
Z ⊕ Z2
Z6 ❋
❤
2
6
6
❤
✐✐ Z6
❇❇ ❤❤❤❤❤
❋❋
①
❁❁
✂
❤❤❤❤
✐✐✐✐ ✞✞
❤❇
❤
①
✐
❇
❤
❤
✂
✐
❤
❤
❋
①
✐
❤
❤
❁❁ ✂✂
❤
❋❋ ①①
✞
❤❤
❇❇ ✐✐✐✐
❤❤❤❤
❋❋①①❤❤❤❤❤❤❤❤
❁❁✂✂
✞✞
✐✐✐❇✐❇❇
❤❤❤❤
❋
✐
❤
✞
①
❤
✐
❤
❁
❤
✂
❋
❤
✐
❤
①
✞
✂ ❁
❇❇
❤❤❤
❤❤❤① ❋
✐✐✐
✞✞
✂✂ ❁❤❁❁❤❤❤❤❤①❤①①① ❤❤❤❋❤❋❤❋❤❋❤❤
❇❇
✐✐✐✐
✐
✞
✂
✐
❤
✐
❤
❤
✞
✂ ❤❤❤
①❤❤❤❤
✐✐✐✐
ω4 : Z❇6
Z2
Z2 ❤
Z6 ❁◗❤◗◗
❤ Z2
❤
❤
❤
❤
❁❁ ◗◗◗
①①
①①
❤❇❇❤❤❤
❁❁ ◗◗◗◗
①①
①❤①❤❤❤❤❤❤ ❇❇❇
①
①
❤
①
◗◗◗
❁❁
❇❇
①①❤
❤❤❤①❤
◗◗◗ ①①①
❁❁
❇❇
❤❤❤❤①①①
①◗◗◗
❤
❤
①
❁❁
❇❇
❤
❤
①
①
❇❇
❁ ①①①① ❤❤❤❤◗❤◗❤◗❤
①
◗
①
❤
◗
❤
❤
Z3
0
Z2 ❤
ω2 : Z6 ◗
◗◗◗
◗◗◗
◗◗◗
◗◗◗
◗◗◗
◗◗◗
◗◗◗
◗
ω3 : Z2 ❙
Z2 ❁
0
Z3
❙❙❙
❁❁
⑤⑤
❙❙❙
⑤
❁❁
❙❙❙
⑤⑤
❁❁
❙❙❙
⑤⑤
❙❙❙
❁❁
⑤
❙❙❙
⑤⑤
❁❁
❙❙❙
⑤⑤
❁
❙❙❙
⑤
❙❙ ⑤
Z2 ●
●

●●
●●
●●
●●
●●
●●
●

0

✇0
✇✇
✇
✇✇
✇✇
✇
✇
✇✇
✇✇
✇
✇

Figure 1: The partial cohomology semilattice of groups H 2 (Z6 , Λ; Z). The
semilattice structure is the same of (Λ, ∪). At the vertex corresponding to
the ideal I appears H 2 (Z6 , I; Z). The principal-modulo-N3 ideals are marked
by their generator, thus “ω5 : Z⊕Z6 ” stands for H 2 (G, Π∼ (ω5 ); Z) ≃ Z⊕Z6 .

20

For another instance, consider I = N3 ∪hΠ(2, 4), Π(3, 3)iS . Since, by (9),
hΠ(2, 4)iS = hΠ(2)iS = hΠ(4)iS and hΠ(3, 3)iS = hΠ(3)iS , it immediately
follows that Ω \ ΩI = {ω3 , . . . , ω8 }. Thus, only the first and the second
column in the above table are relevant, and one sees that δ1 h5 +ǫI = hω2 +ǫI
and δ1 (h0 + h5 ) + ǫI = hω1 + ǫI . Consequently, H 2 (G, I; Z) = 0 in this case.
The full description of H 2 (Z6 , Λ; Z) is shown in Figure 1.

6

Consistency with the previous notion

It is left to show that for any abelian group of coefficients A and any ideal
I in Λ, the group H 2 (G, I; A) is a partial cohomology group according to
[10]. To this aim, one has to associate the pair (I; A) with a unital partial
G-module B (that is to say, a commutative monoid together with a unital
partial G-action).
Theorem 6.1. For any pair (I; A), there exists a unital partial G-module
B such that H 2 (G, I; A) ≃ H 2 (G, B).
Proof. The construction is similar to that of Lemma 3.2: let E(S(G) \ I)
denote the collection of the idempotents in S(G) \ I, then the set
B = (A × E(S(G) \ I)) ∪ {∞}
endowed with zero element ∞ and multiplication
(
(a + b, εη) if εη ∈
/I
(a, ε) · (b, η) =
∞
otherwise,
results in an A-cancellative central extension of the semilattice E(S(G)/I).
Moreover, B is a commutative monoid with identity element (0A , Π(1)),
and it is naturally endowed with the following unital partial action: for any
g ∈ G, one considers the idempotent
(
(0A , Π(g, g−1 )) if Π(g) ∈
/I
eg =
∞
otherwise
together with the ideal Bg = Beg of B, and the partial action ϑ is given by
the family of isomorphisms {ϑg : Bg−1 → Bg | g ∈ G}, defined by:
(
(a, Π(g)εΠ(g−1 )) if Π(g)εΠ(g−1 ) ∈
/I
ϑg (a, ε) =
∞
otherwise.
21

Thus, for any x1 , . . . , xn ∈ G, the ideal B(x1 ,...,xn ) = Bx1 Bx1 x2 · · · Bx1 x2 ···xn
is either reduced to the trivial semigroup {∞}, or it is generated by the
idempotent

ex1 ex1 x2 · · · ex1 ···xn = 0A , Π(x1 , x2 , . . . , xn , (x1 x2 · · · xn )−1 ) ,
which obviously plays the role of the identity element. In the latter case,
the subgroup of B(x1 ,...,xn ) consisting of invertible elements is


U (B(x1 ,...,xn ) ) = a, Π(x1 , x2 , . . . , xn , (x1 x2 · · · xn )−1 ) | a ∈ A ,

which is isomorphic to A by means of the projection on the first component
π : B \ {∞} → A. It is convenient to extend π to the whole B by the
assignment of π(∞) = ∞. Therefore, an n-cochain σ ∈ C n (G, B), which
is by definition a map σ : Gn → B satisfying σ(x1 , . . . , xn ) ∈ U (B(x1 ,...,xn ) )
for every x1 , . . . , xn ∈ G, can be identified with the composite function
σ̄ = π ◦ σ : Gn → A∞ . Clearly, one has that σ̄(x1 , . . . , xn ) = ∞ if and
only if Π(x1 , . . . , xn , (x1 . . . xn )−1 ) ∈ I, which indeed corresponds to the
case B(x1 ,...,xn ) = {∞}. By the above construction of the partial action of G
over B, the coboundary map δn : C n (G, B) → C n+1 (G, B) is given by the
relation
(
(δn σ̄(x1 , . . . , xn+1 ), η) if η ∈
/I
δn σ(x1 , . . . , xn+1 ) =
∞
otherwise,
where
η = Π(x1 , . . . , xn+1 , (x1 · · · xn+1 )−1 )
and δn : C n (G, A) → C n+1 (G, A) is the standard coboundary homomorphism relative to the the trivial (global) G-module A. Notice that, in
view of (10), the condition η ∈
/ I is equivalent to Π(x1 , . . . , xn+1 ) ∈
/ I.
2
Therefore, taking n = 2, Lemma 5.1 shows that σ ∈ Z (G, B) if and only
if σ̄ ∈ Z 2 (G, I; A). Finally, one checks the case n = 1 to conclude that
σ ∈ B 2 (G, B) if and only if σ̄ ∈ B 2 (G, I; A), so that the map σ → σ̄ induces
the desired isomorphism of cohomology groups.

References
[1] P. Ara and R. Exel. Dynamical systems associated to separated graphs,
graph algebras, and paradoxical decompositions. Advances in Mathematics, 252:748–804, 2014.
22

[2] P. Ara, R. Exel, and T. Katsura. Dynamical systems of type (m, n) and
their C∗ -algebras. Ergodic Theory and Dynamical Systems, 33(5):1291–
1325, 2013.
[3] J. C. Birget and J. Rhodes. Almost finite expansions of arbitrary semigroups. Journal of Pure and Applied Algebra, 32(3):239–287, 1984.
[4] J. C. Birget and J. Rhodes. Group theory via global semigroup theory.
Journal of Algebra, 120(2):284–300, 1989.
[5] K. S. Brown. Cohomology of groups, volume 87 of Graduate Texts in
Mathematics. Springer-Verlag, New York-Berlin, 1982.
[6] H. G. G. de Lima and H. Pinedo. On the total component of the partial Schur multiplier. Journal of the Australian Mathematical Society,
100(3):374–402, 2016.
[7] M. Dokuchaev. Partial actions: a survey. In Groups, algebras and
applications, volume 537 of Contemp. Math., pages 173–184. Amer.
Math. Soc., Providence, RI, 2011.
[8] M. Dokuchaev and R. Exel. Partial actions and subshifts. Journal of
Functional Analysis, 272(12):5038–5106, 2017.
[9] M. Dokuchaev, R. Exel, and J. J. Simón. Crossed products by twisted
partial actions and graded algebras. Journal of Algebra, 320(8):3278–
3310, 2008.
[10] M. Dokuchaev and M. Khrypchenko. Partial cohomology of groups.
Journal of Algebra, 427:142–182, 2015.
[11] M. Dokuchaev and M. Khrypchenko. Twisted partial actions and extensions of semilattices of groups by groups. International Journal of
Algebra and Computation, online-ready, pages 1–47, 2016.
[12] M. Dokuchaev and M. Khrypchenko. Partial cohomology of groups
and extensions of semilattices of abelian groups. Journal of Pure and
Applied Algebra, to appear, arXiv:1705.09654, 2017.
[13] M. Dokuchaev and B. Novikov. Partial projective representations and
partial actions. Journal of Pure and Applied Algebra, 214(3):251–268,
2010.
23

[14] M. Dokuchaev and B. Novikov. Partial projective representations and
partial actions II. Journal of Pure and Applied Algebra, 216(2):438–455,
2012.
[15] M. Dokuchaev, B. Novikov, and H. Pinedo. The partial Schur multiplier
of a group. Journal of Algebra, 392:199–225, 2013.
[16] R. Exel. Twisted partial actions: a classification of regular C ∗ -algebraic
bundles. Proceedings of the London Mathematical Society. Third Series,
74(2):417–443, 1997.
[17] R. Exel. Partial actions of groups and actions of inverse semigroups.
Proceedings of the American Mathematical Society, 126(12):3481–3494,
1998.
[18] L. Fuchs. Infinite abelian groups. Vol. I. Pure and Applied Mathematics, Vol. 36. Academic Press, New York-London, 1970.
[19] L. Fuchs. Infinite abelian groups. Vol. II. Academic Press, New YorkLondon, 1973. Pure and Applied Mathematics. Vol. 36-II.
[20] The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.8.8, 2017.
[21] J. M. Howie. An introduction to semigroup theory. Academic Press
[Harcourt Brace Jovanovich, Publishers], London-New York, 1976.
L.M.S. Monographs, No. 7.
[22] I. M. Isaacs. Character theory of finite groups. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1976. Pure
and Applied Mathematics, No. 69.
[23] G. Karpilovsky. The Schur multiplier, volume 2 of London Mathematical Society Monographs. New Series. The Clarendon Press, Oxford
University Press, New York, 1987.
[24] J. Kellendonk and M. V. Lawson. Partial actions of groups. International Journal of Algebra and Computation, 14(1):87–114, 2004.
[25] M. Kennedy and C. Schafhauser. Noncommutative boundaries and the
ideal structure of reduced crossed products, 2017.

24

[26] B. Novikov and H. Pinedo. On components of the partial Schur multiplier. Communications in Algebra, 42(6):2484–2495, 2014.
[27] H. Pinedo. A calculation of the partial Schur multiplier of S3 . Int. J.
Math. Game Theory Algebra, 22(4):405–417, 2014.
[28] H. Pinedo. Partial projective representations and the partial Schur
multiplier: a survey. Bol. Mat., 22(2):167–175, 2015.
[29] H. Pinedo. The total component of the partial Schur multiplier of the
elementary abelian 3-group. Rev. Colombiana Mat., 50(1):75–83, 2016.
[30] J. J. Rotman. Advanced modern algebra. Part 1, volume 165 of Graduate
Studies in Mathematics. American Mathematical Society, Providence,
RI, third edition, 2015.
[31] I. Schur. Über die darstellung der endlichen gruppen durch gebrochen
lineare substitutionen. Journal für die reine und angewandte Mathematik, 127:20–50, 1904.

25

