arXiv:1707.04643v1 [math.GR] 14 Jul 2017

SET-DIRECT FACTORIZATIONS OF GROUPS
DAN LEVY AND ATTILA MARÓTI
Abstract. We consider factorizations G = XY where G is a general group,
X and Y are normal subsets of G and any g ∈ G has a unique representation
g = xy with x ∈ X and y ∈ Y . This definition coincides with the customary
and extensively studied definition of a direct product decomposition by subsets
of a finite abelian group. Our main result states that a group G has such a
factorization if and only if G is a central product of hXi and hY i and the
central subgroup hXi ∩ hY i satisfies certain abelian factorization conditions.
We analyze some special cases and give examples. In particular, simple groups
have no non-trivial set-direct factorization.

1. Introduction
Factorizations of groups is an important topic in group theory that has many
facets. The most basic and best studied type of factorization is the direct product
factorization of a group into two normal subgroups. If G is a group and H and K
are two normal subgroups of G then G = H × K if and only if each g ∈ G has a
unique representation g = hk with h ∈ H and k ∈ K. One possibility to generalize
this definition is to relax the condition that both H and K are normal. This leads
to the well-known concept of a semi-direct product of subgroups (only one of the
factors is assumed to be normal) and also to the consideration of factorizations
G = HK where neither of the two subgroups H and K is normal, and even the
unique representation condition is not necessarily assumed. To get a glimpse of the
possibilities see the seminal classification result in [10] of maximal decompositions
G = HK where G is a finite simple group and H and K are two maximal subgroups
of G.
Another generalization arose from a geometry problem of Minkowski [12]. In
1938 Hajós [6] reformulated this problem as an equivalent factorization problem of
a finite abelian group, where the factors need not be subgroups. More precisely,
if G is an abelian group written additively then a (set) factorization of G is a
representation of G in the form G = H + K where H and K are subsets of G and
for each g ∈ G there is a unique pair h ∈ H and k ∈ K such that g = h + k.
Four years later, Hajós [7] solved Minkowski’s problem by solving the equivalent
group factorization problem. This initiated the investigation of set factorizations
of abelian groups. The interested reader is referred to the book [13] by Szabó and
Date: July 18, 2017.
2000 Mathematics Subject Classification. 20K25, 20D40.
Key words and phrases. direct factorizations of groups, central products.
A.M. has received funding from the European Research Council (ERC) under the European
Union’s Horizon 2020 research and innovation program (grant agreement No. 648017), was supported by the János Bolyai Research Scholarship of the Hungarian Academy of Sciences, and
by the National Research, Development and Innovation Office (NKFIH) Grant No. ERC HU 15
118286 and No. K115799.
1

2
Sands for a comprehensive account of problems, techniques, results and applications
of this field.
In the present paper we consider set factorizations of a general group. For abelian
groups our definition coincides with the one described above. Some specialized
results which apply to our definition appeared in [8]. Another related concept which
is studied in the literature, is the concept of a logarithmic signature. This concept
found use in the search for new cryptographic algorithms which are based on finite
non-abelian groups, and this application motivates the bulk of the available results.
A logarithmic signature of a group G is a sequence [α1 , ..., αs ] of ordered subsets
αi ⊆ G (not necessarily normal) such that each g ∈ G has a unique representation
g = g1 · · · gs with gi ∈ αi for all 1 ≤ i ≤ s. The first proposal for a cryptosystem
which is based on logarithmic signatures can be found in [11]. Results on short
logarithmic signatures can be found in [9].
Definition 1.1. Let G be a group, and let X and Y be two non-empty subsets of G.
We shall say that the setwise product XY is direct, and denote this fact by writing
X × Y for the set XY , if both X and Y are normal in G, and if every g ∈ XY has
a unique representation g = xy with x ∈ X and y ∈ Y .
We shall say that the group G has a set-direct factorization (decomposition) or
is a set-direct product, if G = X × Y for some X, Y ⊆ G. A set-direct factorization
of G will be called non-trivial, if and only if none of X or Y is a singleton consisting
of a central element (whereby the second factor must be G).
Our main result is a necessary and sufficient condition for a group G and an
unordered pair X, Y of normal subsets of G to satisfy G = X × Y . This condition
involves a certain central subgroup Z of G, and a family of set-direct factorizations
of Z. Recall (see Section 2.2) that a group G is a central product of two normal
subgroups M and N if G = M N and Z := M ∩ N is central in G. In this case we
write G = M ◦Z N .
Theorem 1.2. Let G be a group and let X, Y be normal subsets of G. Set M = hXi,
N = hY i, Z := M ∩ N . For every m ∈ M set Xm := m−1 X ∩ Z and for every
n ∈ N set Yn := n−1 Y ∩ Z. Then G = X × Y if and only if the following two
conditions are met.
(a) G = M ◦Z N .
(b) Z = Xm × Yn for every m ∈ M and n ∈ N .
Corollary 1.3. Simple groups have no non-trivial set-direct factorization.
Condition (b) of Theorem 1.2 specifies a family of set-direct factorizations of Z,
and the next definition characterizes the families of set-direct factorizations of Z
that arise in this way. Recall that if H is an abelian group, and S ⊆ H then the
kernel of S in H is defined by KH (S) := {h ∈ H|hS = S} (we also write K (S) if
H is clear from the context). One can easily check that KH (S) is a subgroup of
H.
Definition 1.4. Let Z be an abelian group and let M = {Mi }i∈I and N = {Nj }j∈J
be two multisets (i.e., repetitions allowed) of subgroups of Z. An MN -direct factorization system of Z is a pair of multisets A = {Ai }i∈I and B = {Bj }j∈J of
subsets of Z which satisfy for all i ∈ I and j ∈ J
Z = Ai × Bj , Mi ≤ K (Ai ) , Nj ≤ K (Bj ) .

3
To make the connection between Condition (b) of Theorem 1.2 and Definition
1.4, we need the following fact (see Section 2.1, Lemma 2.1). Let G be a group,
N E G, and Z ≤ N a central subgroup of G. Then Z acts by multiplication on the
set ΩN of all conjugacy classes of G contained in N .
Theorem 1.5. Let G be a group and let X, Y be normal subsets of G. Set M = hXi,
N = hY i, Z := M ∩ N , and assume that G = M ◦Z N . For each m ∈ M and
n ∈ N let Mm and Nn be, respectively, the stabilizers of the conjugacy classes of
m and n with respect to the multiplication action of Z. Set M = {Mm }m∈M
and N = {Nn }n∈N .  Then G = X × Y if and only if the pair of multisets
{Xm }m∈M , {Yn }n∈N is an MN -direct factorization
for every
 system of Z, where
−1
−1
m ∈ M and for every n ∈ N , we set Xm := m X ∩ Z and Yn := n Y ∩ Z.

The next theorem shows that starting from a central product G = M ◦Z N
and an appropriate set-direct factorization system of Z, one can obtain a set-direct
decomposition of G. We denote by O (ΩM ) and O (ΩN ) the set of all orbits of the
multiplication action of Z on ΩM and ΩN respectively. Note (Lemma 2.1 part 3)
that the stabilizer of an orbit is the stabilizer of any conjugacy class belonging to
the orbit.

Theorem 1.6. Let G = M ◦Z N . Set I := O (ΩM ) and J := O (ΩN ). For
each i ∈ I and j ∈ J let Mi and Nj be the stabilizers of the orbits i and j. Set
M := {Mi }i∈I and N := {Nj }j∈J . Assume that A := {Ai }i∈I and B := {Bj }j∈J
is an MN -direct factorization system of Z. For each i ∈ I and j ∈ J fix conjugacy
classes Ci and Dj belonging to the orbits i and j respectively. Then G = X × Y is
a set-direct decomposition of G, where
S
S
Bj D j .
Ai Ci and Y :=
X :=
i∈I

j∈J

Thus, the set-direct factorizations of a general group G can be obtained, in
principle, from the knowledge of the central subgroups of G, the central product
decompositions of G in which they are involved (each central Z ≤ G is involved in
at least one such decomposition - G = G◦Z Z), the stabilizers of their multiplication
action on the set of conjugacy classes of G contained in the factors of the central
products, and the associated factorization systems.
Now we consider some special cases of this general observation. The first case
is when one of the factors is a group (and then the second factor is a normal
transversal for this group). If G is finite, denote by k (G) the number of conjugacy
classes of G.
Theorem 1.7. Let G be a group and let X and Y be normal subsets of G. Suppose
that X is a group. Set N := hY i and Z :=X ∩ N , and for each m ∈ M and n ∈ N
set Xm := m−1 X ∩ Z and Yn := n−1 Y ∩ Z. Then the following two conditions
are equivalent:
(1) G = X × Y .
(2) G = X ◦Z N and for any m ∈ X and n ∈ N we have Xm = Z and |Yn | = 1.
Furthermore, if either of (1) or (2) holds, Y is a normal transversal of Z in N
and Z acts semi-regularly on ΩN . If N is finite then k (N ) = k (Z) k (N/Z).
Corollary 1.8. Let G := M ◦Z N and suppose that Z has a normal transversal Y
in N . Then G = M × Y . In particular, if N is an abelian group, and Y is any
transversal of Z in N , then G = M × Y .

4
The second special case we consider is a central product over a finite cyclic
group (our non-standard commutator notation is explained in the first paragraph
of Section 2).
Theorem 1.9. Let G = M ◦Z N be a group such that Z is finite and cyclic, and let
Z = X0 ×Y0 be a set-direct decomposition of Z. Assume that [M, M ]∩Z ⊆ KZ (X0 )
and [N, N ] ∩ Z ⊆ KZ (Y0 ). Then G has a set-direct factorization G = X × Y with
X ⊆ M , Y ⊆ N , X ∩Z = X0 and Y ∩Z = Y0 if and only if [M, M ]∩[N, N ] = {1G }.
Corollary 1.10. Let G be a group with a non-trivial central element z of prime
power order which is not a prime. Suppose that z does not fix any conjugacy class of
G by multiplication. Then G has a non-trivial set-direct factorization. Furthermore,
if G is also perfect, then G has a non-trivial normalized (see Remark 2.10) set-direct
factorization such that none of the factors is a group.
Concrete examples of non-trivial set-direct factorizations of the type described
by Corollary 1.10, where G is a non-abelian finite quasi-simple group, are provided
by the following theorem whose proof rests on the work of Blau in [3].
Theorem 1.11. Let G be a finite quasi-simple group. Then G has a non-trivial
normalized set-direct decomposition if and only if G/Z (G) ∼
= P SL (3, 4) and Z (G)
is non-cyclic. Moreover, G has a non-trivial normalized set-direct decomposition
such that none of the two factors is a group if and only if G/Z (G) ∼
= P SL (3, 4)
and Z (G) is non-cyclic with more than 4 elements.
2. Notation and Background Results
Let G be any group. For x ∈ G we denote the conjugacy class of x in G by
xG . For any normal subset S of G let ΩS denote the set of all conjugacy classes
of G contained in S. We set k (G) := |ΩG | in the case that G is finite. For
any two subsets A and B of G, we denote by [A, B] the set of all commutators
[a, b] := a−1 b−1 ab where a and b vary over all elements of A and B respectively.
Note that for subgroups A and B our notation differs from the common practice
to denote by [A, B] the subgroup generated by all [a, b] with a ∈ A and b ∈ B. If
A = {a} we may write [a, B] for [{a} , B] and similarly [A, b] := [A, {b}].
2.1. The action of a central subgroup on conjugacy classes. In this subsection we summarize basic properties of the multiplication action of a central
subgroup Z ≤ G on the conjugacy classes of G.
Lemma 2.1. Let G be a group, N E G, and Z ≤ N a central subgroup of G.
(1) Z acts by multiplication on ΩN , namely, for any z ∈ Z and D ∈ ΩN we
have zD = Dz ∈ ΩN . Denote this action by α.
(2) For any D ∈ ΩN denote by ZD ≤ Z the stabilizer of D with respect to α.
Then z ∈ ZD if and only if there exists some d ∈ D such that dz ∈ D.
(3) For any D ∈ ΩN denote by OD the orbit of D under α. Then for any
D1 , D2 ∈ OD we have ZD1 = ZD2 .
(4) Let n ∈ N and let D = nG . Then ZD = [n, G] ∩ Z.
(5) Let Y be a normal subset of G contained in N . Let n ∈ N and let D = nG .
Set Yn := n−1 Y ∩ Z. If Yn is non-empty then ZD ≤ K (Yn ) (equivalently,
Yn is a union of cosets of ZD in Z).

5
(6) Suppose that G is a finite group. Then k (G/Z) is equal to the number
of orbits of the multiplication action of Z on ΩG . It follows that Z acts
semi-regularly on ΩG if and only if k (G) = k (Z) k (G/Z).
Proof.

(1) Note that N is the union of all elements of ΩN and hence ΩN 6= ∅.
Let D ∈ ΩN and z ∈ Z. Since Z ≤ N we have Dz ⊆ N . We have to show
that Dz is also a conjugacy class of G. Let y ∈ Dz and g ∈ G. Then there
exists d ∈ D such that y = dz. Using the fact that Z is central, we have
g

y g = (dz) = dg z ∈ Dz.

(2)

(3)
(4)

(5)

(6)

Thus, Dz is a normal subset of G. Now suppose that d1 , d2 ∈ D. Then
g
there exists g ∈ G such that d2 = dg1 , and hence d2 z = (d1 z) . Thus, any
two elements in Dz are conjugate in G. This completes the proof that Dz
is also a conjugacy class of G.
One direction is trivial. In the other direction let d ∈ D be such that
dz ∈ D. Then D ∩ Dz 6= ∅ and since both sets are conjugacy classes this
forces Dz = D.
Since Z acts transitively on OD , the stabilizers ZD1 and ZD2 are conjugate
in Z, and since Z is abelian, this implies ZD1 = ZD2 .
Let z ∈ ZD ≤ Z. Then nz ∈ D. This implies that there exists x ∈ G
such that nz = x−1 nx. Hence z = n−1 x−1 nx = [n, x] ∈ [n, G]. Therefore
z ∈ [n, G] ∩ Z. Conversely, let z ∈ [n, G] ∩ Z. Then there exists x ∈ G such
that z = [n, x] = n−1 x−1 nx. It follows that nz = x−1 nx ∈ D. By part 2,
this implies z ∈ ZD .
We have to show Yn ZD = Yn . Let Yen := nYn = Y ∩ nZ. Set U := Y ∩ DZ.
Then, since nZ ⊆ DZ we have Yen = U ∩ nZ. On the other hand, since Y
is normal in G , we get that U is a union of classes in OD , and hence, by
part 3, U ZD = U . This together with (nZ) ZD = nZ implies Yen ZD = Yen .
Finally, this implies Yn ZD = n−1 Yen ZD = n−1 Yen = Yn .
We first prove that k (G/Z) is equal to the number of orbits of the multiplication action of Z on ΩG . Let D ∈ ΩG . It is easy to check that the set DZ,
viewed as a set of cosets of Z in G is a conjugacy class of G/Z. By part 1,
DZ can also be viewed as a disjoint union of conjugacy classes of G which
e ∈ ΩG then
form one orbit under the multiplication action of Z. Hence if D
e ⊆ DZ or DZ
e is a distinct conjugacy class of G/Z. Moreover, every
either D
conjugacy class of G/Z is of the form DZ for some D ∈ ΩG . Therefore,
k (G/Z) is equal to the number of orbits of the multiplication action of Z on
ΩG . Now, the length of each orbit is at most |Z|, and k (G) equals the sum
of the lengths of all of the Z-orbits. Since the action of Z is semi-regular
if and only if all of the lengths equal |Z| = k (Z), we get that the action is
semi-regular if and only if k (G) = k (Z) k (G/Z).


Remark 2.2. We make two notational remarks in relation to Lemma 2.1.
(1) Let G be a group and let X be a set of conjugacy classes of G. In some
discussions (e.g., X is an orbit of Z) it is convenient
to abuse notation
S
C. Conversely, if X is
and let X stand also for the normal G-subset
C∈X

a normal subset of G we may use the same letter X to denote the set of all

6
conjugacy classes of G which are contained in X. We trust the reader to
figure out the correct interpretation from the context.
(2) In view of the third claim of Lemma 2.1, we also write ZOC instead of ZC .
2.2. Central products and their conjugacy classes. The following theorem is
at the basis of the construction of central products of groups.
Theorem 2.3 ([5], Theorem 2.5.3). Let M, N, Z be groups with Z ≤ Z (M ), and
suppose that there is an isomorphism θ of Z into Z (N ). Then, if we identify Z with
its image θ (Z), there exists a group G of the form G = M N , with Z = M ∩ N ≤
Z (G) such that M centralizes N .
Any group G with M, N, Z as in the theorem is said to be the central product
of M and N (with respect to Z), and we will write G = M ◦Z N .
Next we consider the structure of the conjugacy classes of a central product
G = M ◦Z N , and the multiplication action of Z on them (see Section 2.1).
Lemma 2.4. Let G be a group and M and N normal subgroups of G, such that
G = M ◦Z N , where Z := M ∩ N . Let C be a conjugacy class of G. Then:
(1) There exist a conjugacy class CM of M and a conjugacy class CN of N
suchn
that C = Co
M CN .
(i)
(i)
(2) Let
CM , CN
be the set of all the distinct pairs of conjugacy classes
i∈I
(i)

(i)

(i)

(i)

CM ∈ ΩM and C
CN for all i ∈ I. Then each
nN ∈oΩN such that C =n CM o
(i)
(i)
one of OM := CM
and ON := CN
is a single orbit of the
i∈I

i∈I

multiplication action of Z on ΩM and ΩN respectively.
(3) OC = OM ON and ZOC = ZOM ZON .
(4) The equality OC = OM ON from part 3 defines a bijection O (ΩG ) →
O (ΩM ) × O (ΩN ).

Proof. 1. Let g ∈ C. Then, since G = M N , there exist m ∈ M and n ∈ N such
that g = mn. Hence:
xy

C = g G = {(mn)

|x ∈ M, y ∈ N } = {mx ny |x ∈ M, y ∈ N } = mM nN ,

where the third equality relies on the fact that M and N centralize each other.
Now we can take CM := mM and CN := nN .
2. Let
 CM and CN be as in the first part. Note that for any z ∈ Z, C =
z −1 CM (zCN ). On the other hand, suppose that C = A1 B1 where A1 ∈ ΩM and
B1 ∈ ΩN . Then there exist m1 ∈ A1 and n1 ∈ B1 such that g = mn = m1 n1 .
−1
Hence z := m−1
∈ Z and m1 = z −1 m while n1 = zn. This implies
1 m = n1 n
−1
A1 = z CM and B1 = zCN . We have proved:
n
o


(i)
(i)
(∗)
CM , CN
= z −1 CM , zCN |z ∈ Z ,
i∈I

which implies the claim.
3. Let CM and CN be as in the first part. We have OM = {z1 CM |z1 ∈ Z} and
ON = {z2 CN |z2 ∈ Z}. This gives
OM ON

=

{z1 CM z2 CN |z1 , z2 ∈ Z} = {z1 z2 CM CN |z1 , z2 ∈ Z}

=

{zC|z ∈ Z} = OC .

For the second claim, let z ∈ ZC . Then
CM CN = C = zC = (zCM ) CN .

7
This implies that the pairs (zCM , CN ) , (CM , CN ) ∈ ΩM × ΩN yield the same
conjugacy class C. By (∗) there exist z ′ ∈ Z such that z ′−1 zCM = CM and
z ′ CN = CN . Hence z ′ ∈ ZCN and z ′−1 z ∈ ZCM , and since z = z ′ z ′−1 z we
get z ∈ ZCM ZCN . This proves that ZC ≤ ZCM ZCN . On the other hand, for any
z1 ∈ ZCM and z2 ∈ ZCN we get
z1 z2 C = z1 CM z2 CN = CM CN = C.
This proves that ZCM ZCN ≤ ZC and altogether we get ZC = ZCM ZCN .
4. By part 3, OC = OM ON with OM ∈ O (ΩM ) and ON ∈ O (ΩN ). Moreover,
the proofs of parts 2 and 3 show that OC uniquely determines (OM , ON ), and that
each pair (OM , ON ) uniquely determines an orbit OC of G-conjugacy classes under
the multiplication action of Z.

The following type of subset plays an important role in the analysis of the action
of a central subgroup on the conjugacy classes of central products.
Definition 2.5. Let G be a group, Z a central subgroup of G and K E G. We set
Z[K] := [K, K] ∩ Z.
Lemma 2.6. Let G be a group and M and N normal subgroups of G, such that
G = M ◦Z N , where Z := M ∩ N .
(a)
[M, M ] ∩ [N, N ] = Z[M] ∩ Z[N ] .
(b) Let I and J be indexing sets such that O (ΩM ) := {Xi }i∈I and O (ΩN ) =
{Yj }j∈J . Then:
S S
S
S
ZXi Yj = Z[M] Z[N ] .
ZYj and Z[G] =
ZXi , Z[N ] =
Z[M] =
i∈I j∈J

j∈J

i∈I


Furthermore, if Z is finite then {ZXi }i∈I and ZYj j∈J are finite sets of
as
sizes r ≥ 1 and s ≥ n
1 respectively, and
relabel the
o we can
n ZXi and ZYj o

(X)
(X)
(Y )
(Y )
and ZYj j∈J = Z1 , . . . , Zs
follows: {ZXi }i∈I = Z1 , . . . , Zr
.
In this case
(X)

Z[M] = Z1
(X)

Z1

(Y )

· · · Zr(X) , Z[N ] = Z1
(Y )

· · · Zr(X) Z1

· · · Zs(Y )

· · · Zs(Y ) = Z[G] .

Proof. (a) Since G = M ◦Z N , we have [M, M ]∩[N, N ] ⊆ Z and hence, by Definition
2.5,
[M, M ] ∩ [N, N ] = [M, M ] ∩ [N, N ] ∩ Z = Z[M] ∩ Z[N ] .
S
ZYj . First note that since M centralizes N , we have,
(b) We prove Z[N ] =
j∈J

for any n ∈ N , [n, G] = [n, N ]. Let j ∈ J. By Lemma 2.1 parts (3) and (4) and
Remark 2.2 part 2, if n ∈ N belongs to a conjugacy class in the orbit Yj then
ZYj = [n, G] ∩ Z = [n, N ] ∩ Z. Therefore
S
S
S
[n, N ] = Z[N ] .
([n, N ] ∩ Z) = Z ∩
Z Yj =
j∈J

n∈N

n∈N

S

S S

The proof that Z[M] =

ZXi and Z[G] =

i∈I

Z[M] Z[N ] follows from Lemma 2.4 part (3).

i∈I j∈J

ZXi Yj is similar, and Z[G] =

8
Finally, if Z is finite then Z[M] =

S

i∈I
(X)

follows from the fact that the Zi
and Z[G] are similar.

ZXi =

r
S

i=1

(X)

Zi

(X)

, and Z[M] = Z1

(X)

· · · Zr

are pairwise commuting. The claims for Z[N ]


2.3. Basic properties of a set-direct product. The following lemma states
several equivalent conditions for the directness of a setwise product. Although the
group is not assumed to be abelian the proof is essentially the same as that of
[13, Lemma 2.2], and is therefore omitted.
Lemma 2.7. Let G be a group, and let X and Y be two non-empty normal subsets
of G. The following conditions are equivalent.
(a) XY = X × Y .
(b) XX −1 ∩ Y Y −1 = {1G }.
(c) {Xy|y ∈ Y } or {xY |x ∈ X} is a partition of XY .
Furthermore, if X and Y are finite sets then XY is direct if and only if |XY | =
|X| · |Y |.
Remark 2.8. Let G be a group, and let X and Y be two non-empty normal subsets
of G. Then XY = X × Y implies |X ∩ Y | ≤ 1. To see this observe that if a, b ∈
X ∩ Y , then ab = ba are two factorizations in X × Y , and hence, by uniqueness of
factorization, a = b.
Lemma 2.9. Let G be a group, and let G = X × Y be a set-direct decomposition
of G. Then:
(a) If C is a conjugacy class of G contained in X, and |C| > 1 then Y ∩ C =
Y ∩ C −1 = ∅.
(b) There exists a central element z of G such that z ∈ X and z −1 ∈ Y .
(c) If z is any central element of G then G = (zX) × Y = X × (zY ).
Proof. (a) Since |C| > 1 then C −1 C = CC −1 must contain non-trivial elements,
and hence, if Y contains C or C −1 we get a contradiction with Lemma 2.7(b).
(b) By part (a), if C is a conjugacy class, C ⊆ X and C −1 ⊆ Y , then C must
consist of a single central element. On the other hand, since 1G ∈ G, we must have
at least one class C such that C ⊆ X and C −1 ⊆ Y .
(c) Since z is central, the normality of X implies the normality of zX and
−1
(zX) (zX) = X −1 X. Similar claims hold when X is replaced by Y . Now apply
Lemma 2.7.

Remark 2.10. Following [13, p.5], we shall say that a subset X of a group G is
normalized if 1G ∈ X, and that the set-direct factorization G = X ×Y is normalized
if both X and Y are normalized. In view of Lemma 2.9(c), Z (G) × Z (G) acts
on the set of all direct factorizations of G via X × Y 7−→ (z1 X) × (z2 Y ) where
z1 , z2 ∈ Z (G) and by Lemma 2.9(b), each orbit of this action contains at least one
normalized factorization. Note that if X ⊆ G is normalized and X is not a subgroup
of G then gX is not a subgroup of G for any g ∈ G. For suppose by contradiction
that gX is a subgroup for some g ∈ G. Then, since 1G ∈ X we get that g ∈ gX
and hence g −1 ∈ gX, implying gX = g −1 (gX) = X, whereby X is a subgroup - a
contradiction.

9
Lemma 2.11. Let G be a group, and let A, B, C be three non-empty normal subsets
of G. Suppose that the products AB and (AB) C are direct. Then the products BC
and A (BC) are also direct.
Proof. First we show that A (BC) is direct. For this we have to show that if
a1 , a2 ∈ A, b1 , b2 ∈ B and c1 , c2 ∈ C and
a1 (b1 c1 ) = a2 (b2 c2 ) ,
then a1 = a2 , and b1 c1 = b2 c2 . By associativity, (a1 b1 ) c1 = (a2 b2 ) c2 . Since (AB) C
is direct, we get c1 = c2 and a1 b1 = a2 b2 . Since AB is direct we further get a1 = a2
and b1 = b2 . These three equalities give b1 c1 = b2 c2 . Now we show that AB is
direct. Let a1 , a2 ∈ A, b1 , b2 ∈ B, and suppose that a1 b1 = a2 b2 . Multiplying on
the right by some c ∈ C (recall that by assumption C 6= ∅) and using associativity,
we have
a1 (b1 c) = a2 (b2 c) .
Since A (BC) is direct, this gives a1 = a2 and b1 c = b2 c, which yields b1 = b2 . 
3. Set-direct factorizations of groups
In this section we prove the various conditions stated in the Introduction for
set-direct decompositions of groups. We begin by showing that if the product of
two subsets of a group is direct then they must centralize each other.
Theorem 3.1. Let G be a group and let X and Y be two normal subsets of G. If
XY = X × Y then [X, Y ] = {1G }.
Proof. Let X and Y be two normal subsets of G, and assume that XY = X × Y .
It is immediate that if X1 ⊆ X and Y1 ⊆ Y are also normal subsets of G then
X1 Y1 = X1 ×Y1 . Since X and Y are normal in G, each one of X and Y is a union of
conjugacy classes. Hence it would suffice to show that for any two conjugacy classes
C and D of G, the directness of CD implies that C and D centralize each other.
Thus let C and D be two arbitrary conjugacy classes of G such that CD = C × D.
Let x ∈ C and y ∈ D be arbitrary. We have to show that x and y commute. Set
t := xy. First we shall prove that CG (t) = CG (x) ∩ CG (y). We certainly have
CG (x) ∩ CG (y) ≤ CG (t). It remains to prove that CG (t) ≤ CG (x) ∩ CG (y). Let
h ∈ CG (t). Then xy = t = th = xh y h . Since xh ∈ C and y h ∈ D and the product
CD is direct, we have, by uniqueness of factorization, that xh = x and y h = y.
This shows that h ∈ CG (x) ∩ CG (y). Thus CG (t) = CG (x) ∩ CG (y). In particular,
t ∈ CG (x) ∩ CG (y). Hence t commutes with both x and y. But t = xy implies
y = x−1 t. Using the fact that x commutes with both x−1 and t we get that x and
y commute.

Using Theorem 3.1, we obtain Theorem 1.2 as a consequence of an apparently
more general statement.
Let G be a group and let X and Y be subsets of G. We write G = X ×c Y if
every element g ∈ G can uniquely be expressed as g = xy where x ∈ X and y ∈ Y ,
and if X centralizes Y . Clearly, for an abelian G, G = X ×c Y and G = X × Y is
the same.
Theorem 3.2. Let G be a group and let X and Y be subsets of G. Set M :=hXi,
−1
N := hY i and Z :=
 M ∩ N . For every m ∈ M and n ∈ N set Xm := m X ∩ Z
−1
and Yn := n Y ∩ Z. Then G = X ×c Y if and only if

10
(a) G = M ◦Z N ; and
(b) Z = Xm × Yn for every m ∈ M and n ∈ N .
Proof. Assume that G = X ×c Y . Then M is centralized by Y and hence M E
G. Similarly, N E G. Furthermore, M centralizes N . Thus (a) follows. In
order to prove (b) we first consider the case m = n = 1G . We have to prove
Z = (X ∩ Z) × (Y ∩ Z). The r.h.s. is clearly contained in the l.h.s. Let z ∈
Z. Then G = X ×c Y implies z = xy for some x ∈ X and y ∈ Y . But this
gives x−1 z = y. Since x−1 z ∈ M we get y ∈ M ∩ N = Z so y ∈ Y ∩ Z. A
similar argument gives x ∈ X ∩ Z. Finally, uniqueness of representation follows
from that of G = X ×c Y . Now let m ∈ M and
n ∈ N . Using (a), m−1 X
 −1
−1
−1 −1
−1
centralizes n Y and G = m n G = m X n Y . Moreover, uniqueness
of factorization
= m−1 X n−1 Y follows from that of G = X ×c Y . Thus
 for G−1
−1
G = m X ×c n Y . Furthermore, M := hXi = m−1 X and similarly
N = n−1 Y . Hence Z = Xm × Yn follows from Z = (X ∩ Z) × (Y ∩ Z).
Conversely, assume that conditions (a) and (b) hold true. By (a) we get that
X ⊆ M centralizes Y ⊆ N . Let g ∈ G. By (a) there exist m ∈ M and n ∈ N such
that g = mn. Using (b) and the fact that Xm and Yn are central we get:
gZ = (mn) Xm Yn = (mXm ) (nYn ) = (X ∩ mZ) (Y ∩ nZ) ⊆ XY .
Since g ∈ gZ this implies the existence of x ∈ X and y ∈ Y such that g = xy.
It remains to prove uniqueness of representation. Suppose that we also have x1 ∈
X and y1 ∈ Y such that g = x1 y1 . Then xy = x1 y1 implying x−1
1 xy = y1 .
−1
−1
−1
Since x−1
x
∈
M
and
y
∈
N
,
this
implies
yx
x
=
y
from
which
x
y1
1
1
1
1 x = y
follows. Since the l.h.s. of the last equality is in M and the r.h.s. is in N we
−1
y1 ∈ Yy , hence
get x1−1 x = y −1 y1 ∈ Z. It now follows that x−1
1 x ∈ Xx1 and y
−1
−1
x1 x = y y1 ∈ Xx1 ∩ Yy . Now, since x1 ∈ X we have 1G ∈ Xx1 and similarly
1G ∈ Yy . Therefore 1G ∈ Xx1 ∩ Yy . By (b), the product Xx1 Yy is direct, therefore,

by Remark 2.8, Xx1 ∩ Yy = {1G }. This implies x1 = x and y1 = y.
Proof of Theorem 1.2. Combine Theorems 3.1 and 3.2.



Proof of Theorem 1.5. Since condition (a) of Theorem 1.2 holds by assumption, we
have that G = X × Y if and only if Z = Xm × Yn for every m ∈ M and n ∈ N .
Hence, by Definition 1.4, it remains to show that for any m ∈ M and n ∈ N we
have Mm ≤ K (Xm ) and Nn ≤ K (Yn ). This is immediate from Lemma 2.1 (5). 
Remark 3.3. There is a considerable redundancy
in the description of the fac
torization system {Xm }m∈M , {Yn }n∈N of Z used in Theorem 1.5. First of all,
since Z is central we get that Xm1 = Xm2 for any two conjugate m1 , m2 ∈ M ,
or equivalently, Xm depends only on the conjugacy class of m in G. Furthermore,
suppose that C1 and C2 are two conjugacy classes of M which belong to the same
Z-orbit. Let mi ∈ Ci for i = 1, 2 and let c12 ∈ Z be such that C2 = c12 C1 . Then
by Lemma 2.1 (3) we have Mm1 = Mm2 . Furthermore, we have Xm2 = c−1
12 Xm1 .
Since similar claims hold true for the Yn it follows that one can replace the indexing
sets M and N by, respectively, the set of orbits of the
 multiplication action of Z on
ΩM and on ΩN , and replace {Xm }m∈M , {Yn }n∈N by a ”trimmed” factorization
system.

11
Theorem 3.4. Let Z be an abelian group and let M = {Mi }i∈I and N = {Nj }j∈J
be two multisets of subgroups of Z. Let (A, B) be an MN -direct factorization system
of Z where A = {Ai }i∈I and B = {Bj }j∈J . Then:
(a) For any i ∈ I and j ∈ J, any two distinct elements a1 , a2 ∈ Ai belong to
distinct cosets of Nj in Z and any two distinct elements b1 , b2 ∈ Bj belong
to distinct cosets of Mi in Z.
(b) Suppose that Z is finite. Then (A, B) has to satisfy the following arithmetical conditions:
|Z| = |Ai | |Bj | , ∀1 ≤ i ≤ r, ∀1 ≤ j ≤ s,

(3.1)
which imply

|A1 | = · · · = |Ar | , |B1 | = · · · = |Bs | ,

(3.2)
and also
(3.3)

lcm (|M1 | , ..., |Mr |) divides |A1 | and lcm (|N1 | , ..., |Ns |) divides |B1 | .

Proof.

(a) We prove the first part of the claim. The proof of the second part
is essentially the same. Suppose, by contradiction, that there exist i ∈ I
and j ∈ J, and two elements a1 6= a2 ∈ Ai which belong to the same coset
of Nj in Z. Then a1 = n1 x and a2 = n2 x, where n1 6= n2 are elements of
Nj and x ∈ Z. Since Bj is a non-empty union of cosets of Nj , there exists
some y ∈ Z, such that Nj y ⊆ Bj . Hence b1 := n1 y and b2 := n2 y belong to
Bj and a1 b2 = a2 b1 are two distinct factorizations in Ai × Bj of the same
element - a contradiction.
(b) Equation 3.1 is immediate from Lemma 2.7. For Equation 3.3 note that
|K (A)| divides |A| for any finite, non-empty A. Hence, by Definition 1.4,
|Mi | divides |Ai | for all 1 ≤ i ≤ r. Similarly, |Nj | divides |Bj | for all
1 ≤ j ≤ s. Now Equation 3.3 follows from Equation 3.2.


Proof of Theorem 1.6. Fix arbitrary i ∈ I and j ∈ J. Since Mi ≤ K (Ai ) we
get that Ai is a union of cosets of S
Mi , and similarly, Bj is a union of cosets of
Nj . Therefore we can write Ai = ais Mi where the ais ∈ Z represent distinct
Ss
cosets of Mi and similarly Bj = bjt Nj , with bjt representing distinct cosets of
t

Nj . Hence all the M -conjugacy classes ais Ci , which are contained in Ai Ci , are
distinct for distinct values of s, and similarly, the N -conjugacy classes bjtSDj which
are contained in Bj Dj are distinct for distinct values of t. We claim that {ais bjt }
s,t

is a transversal of Zij in Z, where ij is the unique Z-orbit formed by the product
of i and j (see Lemma 2.4 (3)). In the first place, using Zij = Mi Nj (Lemma 2.4
(3)), we get
!



S
S
S
{ais bjt } Zij =
ais Mi
bjt Nj = Ai Bj = Z.
s,t

s

t

Next, suppose that ais bjt Zij = ais′ bjt′ Zij . This yields ais bjt ∈ (ais′ Mi ) (bjt′ Nj )
which implies the existence of z1 ∈ Mi and z2 ∈ Nj such that ais bjt = (ais′ z1 ) (bjt′ z2 ).
Observe that ais′ z1 ∈ Ai and bjt′ z2 ∈ Bj . By uniqueness of factorization in Ai × Bj
we get ais = ais′ z1 and bjt = bjt′ z2 . If s 6= s′ , we have, by our choice, that ais and
ais′ belong to distinct Mi cosets in contradiction to ais = ais′ z1 . Hence s = s′ and

12
similarly t = t′ . Now it S
follows that ais bjt Ci Dj are distinct conjugacy classes for
distinct pairs (s, t), and {ais bjt } Ci Dj = ij. This shows that G = X × Y .

s,t

The next theorem is needed for the proof of Theorem 1.7.

Theorem 3.5. Let N be a group and Z a central subgroup of N . Then the following
conditions are equivalent:
(1) Z has a normal transversal Y in N .
(2) Z acts semi-regularly on ΩN .
Furthermore, if N is finite then each one of (1) and (2) is equivalent to k (N ) =
k (Z) k (N/Z).
Proof. Suppose that Z has a normal transversal Y in N . Then every element of Y
meets every coset of Z in N in precisely one element which is equivalent to |Yn | = 1
for every n ∈ N . Let D ∈ ΩN . By Lemma 2.1 (5) we have ZD ≤ K (Yn ). Since
|Yn | = 1, we get that K (Yn ) = {1Z } and therefore ZD = {1Z } for all D ∈ ΩN
which is the claim of (2).
Conversely, assume (2). Let J denote the set of all distinct orbits of the multiplication action of Z on ΩN . For each
S j ∈ J let Dj be a conjugacy class belonging
Dj is a normal transversal of Z in N . The
to the orbit j. We claim that T :=
j∈J

normality of T in N is clear as it is a union of conjugacy classes. Since Z acts
transitively by multiplication on each orbit we have ZDj = j and hence ZT = N .
Now suppose that t1 , t2 ∈ T satisfy Zt1 = Zt2 . Then there exist z ∈ Z such that
t2 = zt1 . If z 6= 1 then, by the semi-regularity assumption, t1 and t2 belong to
two distinct conjugacy classes of N , say D1 and D2 respectively, but, on the other
hand, D1 and D2 belong to the same Z-multiplication orbit. This contradicts the
construction of T . Hence z = 1 and t2 = t1 .
Finally, the last claim of the theorem follows from Lemma 2.1 (6).


Proof of Theorem 1.7. Suppose that G = X × Y . Then G = X ◦Z N follows from
Theorem 1.2(a). By Theorem 1.2(b) we have Z = Xm × Yn for every m ∈ M and
n ∈ N . Since M = X we have Z ⊆ X and mZ ⊆ X for every m ∈ M and hence
Xm = Z. By uniqueness of representation in the set-direct product Z = Xm × Yn ,
this forces |Yn | = 1 for all n ∈ N .
Conversely, assume condition (2). Let m ∈ M and n ∈ N . Then Xm = Z and
|Yn | = 1 implies Z = Xm × Yn . Now (1) follows by Theorem 1.2.
The condition that for any n ∈ N we have |Yn | = 1, is equivalent to the statement
that Y intersects every coset of Z in N in precisely one element, which is equivalent
to Y being a transversal of Z in N . The remaining claims follow from Theorem
3.5.

Proof of Corollary 1.8. Let Y be a normal transversal of Z in N . Set N1 = hY i.
Clearly N1 ≤ N is a normal subgroup of G and Z1 := M ∩ N1 is a subgroup of Z.
We have G = M N = M ZY = M Y and hence G = M N1 implying G = M ◦Z1 N1 .
Now, since Y is a normal transversal of Z in N it follows that |Yn | = 1 for all
n ∈ N (see last paragraph of the proof of Theorem 1.7) and hence for all
 n ∈ N1 .
Furthermore, Z1 ≤ M and hence, setting X := M , we get Xm = m−1 X ∩Z1 = Z1
for all m ∈ M . Thus, condition (2) of Theorem 1.7 is satisfied when substituting
N1 for N and Z1 for Z. Consequently G = M × Y . Finally, if N is abelian, any
transversal of Z in N is normal in N .


13
In order to prove Theorem 1.9 we need the following results.
Lemma 3.6. Let Z be an abelian group and Z1 , ..., Zr subgroups of Z. Let X ⊆ Z
r
S
Zi . The following two conditions are equivalent:
and S :=
i=1

1. For each 1 ≤ i ≤ r, X is a union of cosets of Zi .
2. X is a union of cosets of hSi = Z1 · · · Zr .

Proof. (1) is equivalent with S ⊆ KZ (X) which is equivalent with hSi ≤ KZ (X),
which is equivalent with (2).

Lemma 3.7. Let Z be an abelian group and let M := {Mi }i∈I and N := {Nj }j∈J
be two multisets of subgroups of Z. If there exists an MN -direct factorization
system of Z, then Mi ∩ Nj = {1G } for any i ∈ I and j ∈ J.
Proof. Let A := {Ai }i∈I and B := {Bj }j∈J be an MN -direct factorization system
of Z. Let i ∈ I and j ∈ J be arbitrary. Let g ∈ Mi ∩ Nj , a ∈ Ai and b ∈ Bj .
By definition of an MN -direct factorization system of Z, g ∈ K (Ai ) ∩ K (Bj ) and
therefore (ga) b = a (gb) are two factorizations of an element of Z in Ai × Bj . By
uniqueness ga = a implying g = 1Z . This proves Mi ∩ Nj = {1G }.

Lemma 3.8. Let G be a group and M and N normal subgroups of G, such that
G = M ◦Z N . Let G = X × Y such that X ⊆ M and Y ⊆ N . Then
M = X × (Y ∩ Z) and N = Y × (X ∩ Z) .
Proof. Clearly, X and (Y ∩ Z) are normal subsets of M . Since G = X × Y any
m ∈ M has a unique factorization m = xy with x ∈ X ⊆ M and y ∈ Y ⊆ N . This
implies y = x−1 m ∈ M so y ∈ Z. Thus we have proved that every m ∈ M has a
unique factorization m = xy with x ∈ X and y ∈ Y ∩ Z, so M = X × (Y ∩ Z). The
proof that N = Y × (X ∩ Z) is similar.

The next theorem relates the subsets Z[M] and Z[N ] (see Definition 2.5) to setdirectness conditions on a central product M ◦Z N .
Theorem 3.9. Let G be a group and M and N normal subgroups of G, such that
G = M ◦Z N .
(1) Let G = X ×Y such that M = hXi and N = hY i. Then Z[M] ∩Z[N ] = {1Z }.
(2) Assume that Z is finite. Suppose that Z[M] ∩ Z[N ] = {1Z } and that Z =
X0 × Y0 is a set-direct decomposition of Z such that Z[M] ≤ KZ (X0 ) and
Z[N ] ≤ KZ (Y0 ). Then there exists a set-direct factorization G = X × Y ,
such that X ⊆ M , Y ⊆ N, X0 = X ∩ Z and Y0 = Y ∩ Z.
Proof. 1. By Lemma 2.6(b) (using its notation), Z[M] ∩ Z[N ] = {1Z } is equivalent
to ZXi ∩ ZYj = {1Z } for all i ∈ I and j ∈ J, which holds true by Theorem 1.5 and
Lemma 3.7.
2. Apply the notation of Lemma 2.6(b). Set M = {Mi }i∈I where Mi := ZXi for
all i ∈ I, and N = {Nj }j∈J where Nj := ZYj for all j ∈ J. Let A = {Ai }i∈I where
Ai = X0 for all i ∈ I, and B = {Bj }j∈J where Bj = Y0 for all j ∈ J. By Lemma
2.6(b) and Lemma 3.6 we have Mi ≤ K (Ai ) for each i ∈ I and Nj ≤ K (Bj ) for
all j ∈ J. Hence, by Definition 1.4, (A, B) is an MN -direct factorization system
of Z. Now apply Theorem 1.6. Note that Z itself is an orbit of conjugacy classes
in both M and N . Using the notation of Theorem 1.6, let i ∈ I and j ∈ J be the

14
labels of Z as an orbit of conjugacy classes. Choose in the proof of that theorem
Ci = Dj = {1G }. This choice ensures that X0 = X ∩ Z and Y0 = Y ∩ Z.

Corollary 3.10. Let G be a group such that G = M ◦Z N , where Z is a finite
cyclic group. Suppose that Z[M] ∩ Z[N ] = {1Z } and that Z = X0 × Y0 is a set-direct
decomposition of Z such that Z[M] ⊆ KZ (X0 ) and Z[N ] ⊆ KZ (Y0 ). Then there
exists a set-direct factorization G = X × Y such that X ⊆ M , Y ⊆ N , X0 = X ∩ Z
and Y0 = Y ∩ Z.
Proof. By Theorem 3.9 part (2) we only need to prove that Z[M] ∩ Z[N ] = {1Z }
implies Z[M] ∩ Z[N ] = {1Z }. By Lemma 2.6(b), Z[M] and Z[N ] are unions of
the distinct stabilizers of orbits of the multiplication action of Z on ΩM and ΩN
respectively. These stabilizers are subgroups of Z and hence cyclic. Let p be any
prime. Recall that for any two p-subgroups of a finite cyclic group, one of the
subgroups contains the other. Hence, if Z[M] contains a non-trivial p-element, Z[N ]
does not contain any such element and vice versa. Furthermore, since Z[M] and
Z[N ] are abelian, we get that p divides Z[M] if and only if Z[M] contains a nontrivial p-element, and a similar statement holds for Z[N ] . Therefore, Z[M] ∩ Z[N ] =
{1Z } implies, since Z is abelian, gcd Z[M] , Z[N ]
= 1 which implies that
Z[M] ∩ Z[N ] = {1Z }.

Proof of Theorem 1.9. 1. Suppose that G = X × Y with X ⊆ M , Y ⊆ N . We
have to prove that [M, M ] ∩ [N, N ] = {1G }. Set M1 := hXi, N1 := hY i and
Z1 := M1 ∩ N1 . Since G = X × Y , we get by Theorem 1.2, G = M1 ◦Z1 N1 ,
which implies, by Lemma 2.6(a) and Theorem 3.9 (1), [M1 , M1 ] ∩ [N1 , N1 ] = {1G }.
Again, since G = X ×Y with X ⊆ M , Y ⊆ N , we get from Lemma 3.8, that for any
m1 , m2 ∈ M there exist x1 , x2 ∈ X and z1 , z2 ∈ Z such that m1 = x1 z1 , m2 = x2 z2 .
Since Z is central in G this implies [m1 , m2 ] = [x1 , x2 ]. Thus we have proved that
[M, M ] = [X, X]. However, we clearly have [X, X] ⊆ [M1 , M1 ] so we conclude that
[M, M ] ⊆ [M1 , M1 ] and, similarly, [N, N ] ⊆ [N1 , N1 ]. Now [M1 , M1 ] ∩ [N1 , N1 ] =
{1G } implies [M, M ] ∩ [N, N ] = {1G }.
2. Suppose that [M, M ] ∩ [N, N ] = {1G }. This implies, by Lemma 2.6(a),
Z[M] ∩ Z[N ] = {1G }. Furthermore, by the assumption of the theorem, Z[M] ⊆
KZ (X0 ) and Z[N ] ⊆ KZ (Y0 ). Hence, Corollary 3.10 yields the existence of X and
Y with the desired properties.

Proof of Corollary 1.10. Set M := G and N := Z := hzi. Then G = M ◦Z N and
k
by assumption
where p is a prime and k ≥ 2 an integer. Let X0 = hz p i
 o (z)2 = p p−1
and Y0 = 1Z , z, z , ..., z
. Then X0 is a subgroup of Z of order pk−1 and
Y0 is a transversal of X0 in Z whereby Z = X0 × Y0 . It is immediate to check
that KZ (X0 ) = X0 and KZ (Y0 ) = {1Z }. Consider the multiplication action of
Z on ΩG . Since, by assumption, this action has no fixed point, the stabilizer of
any conjugacy class is proper in Z. But X0 is the unique maximal subgroup of Z
and hence it contains all of the point stabilizers. By Lemma 2.6(b) this implies
Z[M] = [M, M ] ∩ Z ⊆ X0 = KZ (X0 ). The condition [N, N ] ∩ Z ⊆ KZ (Y0 ) is
immediate to verify. Thus all the conditions of Theorem 1.9 are satisfied and we
can deduce the existence of a set-direct factorization G = X × Y with X ⊆ M ,
Y ⊆ N , X ∩ Z = X0 and Y ∩ Z = Y0 , which is non-trivial since Z = X0 × Y0 is nontrivial. Observe that both Y = Y0 and X are normalized, and that Y is not a group.
Now assume that G is perfect. We will show that under this assumption also X is

15
not a group. Suppose by contradiction that X is a group. Since G = X × Y and Y
is central, we have [G, G] = [X, X] and hence X = hXi contains all commutators in
G and hence also the derived subgroup G′ = h[G, G]i. But G′ = G by assumption
and hence X = G. This contradicts Y = Y0 * X.

4. Finite quasi-simple groups
In this section we prove Theorem 1.11 which states conditions for the existence
of non-trivial set-direct decompositions of finite quasi-simple groups. The proof
demonstrates the use of some of the results of the previous sections. Recall that a
group G is quasi-simple if G = G′ and G/Z (G) is a simple group. The center of a
finite quasi-simple group G must be isomorphic to a factor group of the Schur multiplier of G/Z (G) ([1, Section 33]). Information on the relevant Schur multipliers
is given in [2].
Lemma 4.1. Let G be a finite quasi-simple group such that G = X × Y with
|X| > 1 and |Y | > 1. Then precisely one of X and Y is central and the second
factor, which has non-central elements, is not a group.
Proof. Set M := hXi, N := hY i and Z := M ∩ N . By Theorem 1.2, G = M ◦Z N
and Z ≤ Z (G). We have G/Z = (M/Z) × (N/Z) and both M/Z and N/Z are
perfect groups. Since G/Z (G) ∼
= (G/Z) / (Z (G) /Z) is simple, we must have that
one of M/Z and N/Z is trivial. Assume without loss of generality that N = Z.
Then Y is central. Now suppose by contradiction that X is a group. Then, since
Y is central we get [G, G] = [X, X] (see the first paragraph of Section 2). But this
gives, using the fact that G is perfect
G = G′ = h[X, X]i = X ′ ≤ X,
in contradiction to |Y | > 1.



Let G be a finite quasi-simple group. We shall call an element y ∈ Z (G) such
that y does not fix (by multiplication) any conjugacy class of G, a semi-regular
element. Blau [3] has classified the semi-regular elements of all finite quasi-simple
groups. By [3, Theorem 1], z ∈ Z (G) is semi-regular if and only if one of the
following holds:
(i) G/Z(G) = A6 , A7 , Fi22 , PSU(6, 4), or 2 E6 (4) and o (z) = 6.
(ii) G/Z(G) = PSU(4, 9), M22 , or G/Z(G) = PSL(3, 4) with Z (G) cyclic, and
o (z) ∈ {6, 12}.
(iii) G/Z(G) = PSL(3, 4), Z (G) is non-cyclic and o (z) ∈ {2, 4, 6, 12}.
This classification is the key result for the proof of Theorem 1.11.
Proof of Theorem 1.11. Suppose that G = X × Y with |X| > 1 and |Y | > 1. Set
M = hXi, N = hY i, Z := M ∩ N . By Theorem 1.2, G = M ◦Z N , and by Lemma
4.1 we can assume N = Z = hY i and M = G. By Theorem 1.5, using its notation,
there exists an associated MN -direct factorization system {Xm }m∈M , {Yn }n∈N
of Z. Since N = Z we get Yn = Y for all n ∈ N . By Remark 2.10 we may
assume 1 ∈ Y , and since 1 ∈ Mm for every m ∈ M we get, by Theorem 3.4(a),
that for all 1 6= y ∈ Y and all m ∈ M , y ∈
/ Mm . Thus, all non-trivial elements
of Y must be semi-regular, and it suffices to consider groups G which fall into one
of the cases (i)-(iii) listed above. First we deal with cases (i) and (ii). Here all
non-trivial y ∈ Y satisfy o (y) ∈ {6, 12}. Since Y ⊆ Z this implies that |Z| is

16
divisible by 6. Therefore, Z has an element of order 2 and an element of order 3.
These elements must fix non-trivial conjugacy classes of G, whereby we must have
m1 , m2 ∈ M (not necessarily distinct!) such that 2| |Mm1 | and 3| |Mm2 |. Now, by
Equation 3.3, 6| |Xm | for all m ∈ M . Hence, since |Y | > 1 we can conclude that
|Z| = |Xm | |Y | ≥ 12 (for any m ∈ M ). Suppose that |Z| = 12. In this case |Y | = 2
and since Z = N = hY i and 1 ∈ Y , the single non-trivial element of Y must be a
generator of Z and hence has order 12. In this case Z has an element of order 4,
and Equation 3.3 implies 12| |Xm | in contradiction to |Y | = 2. Thus, we must have
|Z| > 12. Examining the relevant Schur multipliers of G/Z (G), we are left with the
possibility G/Z (G) = PSU(4, 9). The Schur multiplier of this group is isomorphic
to C3 × C3 × C4 . The condition |Z| > 12 and the fact that |Z| divides the order of
the Schur multiplier leave two possibilities for Z.
1. Z ∼
= C3 × C3 × C2 . Choose generators for the direct factors so that Z =
hg1 i × hg2 i × hg3 i with o (g1 ) = o (g2 ) = 3 and o (g3 ) = 2. We have Z = hY i, and all
non-trivial elements of Y have order 6. As argued above, 6 | |Xm | for all m ∈ M ,
and hence 6 |Y | | |Xm | |Y | = |Z| = 18, forcing |Y | = 3. Thus Y = {1, y1 , y2 } with
o (y1 ) = o (y2 ) = 6. Note that yi = θi g3 where θ 1 and θ2 are elements of order 3.
Since Z = hY i we get that θ1 and θ2 belong to two distinct order 3 subgroups. Note
that Z has 4 distinct subgroups of order 3, and fixing any two of them, the other
two are the two diagonal subgroups of the direct product of the first two. Therefore
we can assume, without loss of generality, that y1 := g1 g3 and y2 := g2 g3 . Observe
that g1 , being of order 3, must fix a conjugacy class of G. We will now prove
that there is no m ∈ M such that Z = Xm × Y and hg1 i ≤ K (Xm ). Assume
by contradiction that such m ∈ M exists. Note that the cyclic group hg2 g3 i of
order 6 is a transversal of hg1 i, and hence Xm = hg1 i ∪ hg1 i α, where α is a nontrivial element of hg2 g3 i, which does not belong to the coset hg1 i g3 nor to the coset
hg1 i g2 g3 (since Xm ∩ Y = {1}). We get:
Xm Y = (hg1 i ∪ hg1 i α) Y
= hg1 i ∪ hg1 i α ∪ hg1 i g3 ∪ hg1 i αg3 ∪ hg1 i g2 g3 ∪ hg1 i αg2 g3 .
Checking the three possible values of α ∈ hg2 g3 i \ {1, g3 , g2 g3 } one verifies that
for all of them we have |Xm Y | < 18 - a contradiction. Hence the possibility
Z∼
= C3 × C3 × C2 is ruled out.
2. Z ∼
= C3 × C3 × C4 . Choose generators for the direct factors so that Z =
hg1 i × hg2 i × hg4 i with o (g1 ) = o (g2 ) = 3 and o (g4 ) = 4. In this case, every element
in Z of order 3 or 4 must fix a conjugacy class of G. Hence, by Equation 3.3,
12| |Xm | for all m ∈ M . By similar arguments to those of case 1, Y = {1, y1 , y2 }
with {o (y1 ) , o (y2 )} ⊆ {6, 12}. If o (y1 ) = o (y2 ) = 6 then hY i < Z - a contradiction.
For the remaining cases we prove that there is no m ∈ M such that Z = Xm × Y
and hg1 i ≤ K (Xm ).
Suppose that o (y1 ) = o (y2 ) = 12. Arguing as before, we can assume, without
loss of generality, that y1 := g1 g4ε1 and y2 := g2 g4ε2 with ε1 , ε2 ∈ {−1, 1}. Using
−1
the fact that Z = Xm × Y if and only if Z = Xm
× Y −1 implies that it would
suffice to check (ε1 , ε2 ) = (1, 1) and (ε1 , ε2 ) = (1, −1). The cyclic group hg2 g4 i of
order 12 is a transversal of hg1 i, and hence Xm = hg1 i ∪ hg1 i α1 ∪ hg1 i α2 ∪ hg1 i α3 ,
where αi represent the 9 non-trivial cosets of hg1 i in Z which are contained in
hg2 g4 i hg1 i \ hg1 i Y . Here we used GAP [4] to verify that |Xm Y | < 36 for all possible
choices of Xm and Y .

17
The last case to check is Y = {1, y1 , y2 } with o (y1 ) = 6 and o (y2 ) = 12. In
this case, using similar arguments to the above, we need to consider two possible
choices of Y . The first one is y1 := g1 g42 and y2 := g2 g4 and the second one is
y1 := g2 g42 and y2 := g1 g4 . Again, a GAP [4] calculation verifies that |Xm Y | < 36
for all possible choices of Xm and Y .
Thus we have proved that if G is a finite quasi-simple group then G has no nontrivial normalized set-direct decomposition, except, possibly, G/Z(G) = PSL(3, 4),
and Z(G) is non-cyclic (case (iii) above). Now we consider this case and prove the
existence of such a set-direct decomposition. First we discuss the possibilities for
Z(G). Since the Schur multiplier of PSL(3, 4) is isomorphic to C3 × C4 × C4 , a
non-cyclic Z (G) is isomorphic to one of the following:
C × C4 × C4 , C × C4 × C2 , C × C2 × C2 ,
where C is either the trivial group or a group of order 3.
Choose Z ≤ Z (G) with Z = hzi ∼
= C2 . Clearly G = M ◦Z N with M = G
and N = Z. Notice that each orbit of conjugacy classes of G with respect to the
multiplication action of Z has length 2. Setting I := O (ΩM ) and J := O (ΩN ),
we have |J| = 1, and all of the point stabilizers, Mi with i ∈ I and the single Nj
with j ∈ J are trivial. Thus A := {Ai }i∈I and B := {Bj }j∈J is an MN -direct
factorization system of Z, where M = {Mi }i∈I , N = {Nj }j∈J , Ai = {1} for all
i ∈ I and Bj = Z. By Theorem 1.6 we get a normalized set-direct factorization
G = X × Z, where X contains precisely one conjugacy class from each Z-orbit,
and X is not a group by Lemma 4.1. This proves the first claim of Theorem 1.11
concerning case (iii) above.
In order to prove the second claim of Theorem 1.11 concerning case (iii) above,
note that |Z (G)| ≥ 4, and that |Z (G)| = 4 if and only if Z (G) ∼
= C2 × C2 . If
|Z (G)| = 4 then any normalized subset of Z (G) whose size divides |Z (G)| = 4 is a
subgroup of Z (G). This proves one direction of the claim. For the other direction
assume that |Z (G)| > 4. If Z (G) contains a cyclic group of order 4 then G has
a non-trivial normalized set-direct factorization such that none of the factors is a
group by Corollary 1.10. Otherwise, Z (G) ∼
= C3 × C2 × C2 . In this case take
Z = Z (G). Choose elements g1 , g2 , g3 ∈ Z such that Z = hg1 i × hg2 i × hg3 i with
o (g1 ) = 3, o (g2 ) = o (g3 ) = 2. Let Y = {1, g1 g2 , g1 g3 , g1 g2 g3 }. This is a normalized
transversal of hg1 i in Z, so Z = hg1 i× Y . Furthermore, Z = hY i, and, in particular,
Y is not a group. Since every non-trivial stabilizer of a conjugacy
 class of G in Z is

equal to hg1 i, we obtain a suitable direct factorization system {Ai }i∈I , {Bj }j∈J
of Z by setting Ai = hg1 i for all i ∈ I and Bj = Y for all j ∈ J. By Theorem 1.6
there exists a normalized direct set factorization G = X × Y , where neither X nor
Y is a group.

5. Products of two conjugacy classes
In this section we consider the directness of products of two conjugacy classes.
Theorem 5.1. Let G be a group having a unique minimal normal subgroup N .
Suppose in addition that N is non-abelian. Let C and D be any two non-trivial
conjugacy classes of G. Then the product CD is non-direct. In particular, if G is a
finite almost simple group then the product of any two non-trivial conjugacy classes
of G is non-direct.

18
In order to prove Theorem 5.1 we need the following lemma.
Lemma 5.2. Let G be a group and let C and D be two non-trivial conjugacy classes
of G, centralizing each other. Then either hCi = hDi = G is a cyclic group or at
least one of hCi and hDi is a proper non-trivial normal subgroup of G.
Proof. Let C and D be any two non-trivial conjugacy classes of G. Since C and D
are non-trivial conjugacy classes of G, it is clear that hCi and hDi are non-trivial
normal subgroups of G. Suppose that hCi = hDi = G. In this case, since C
centralizes D, each element of hCi centralizes D and hence centralizes hDi = G.
Since hCi = G this forces G to be abelian. But then |C| = |D| = 1 and hence
hCi = hDi = G is cyclic.

Proof of Theorem 5.1. Suppose by contradiction that the product CD is direct.
By Theorem 3.1, C and D centralize each other. By Lemma 5.2, hCi and hDi
are non-trivial normal subgroups of G, and hence N ≤ hCi ∩ hDi. But since C
and D centralize each other we have that hCi ∩ hDi is abelian while N is not - a
contradiction.

Remark 5.3. The conclusion of Theorem 5.1 is false if G has more than one nonabelian minimal normal subgroup. In fact, let G be a group and let N1 and N2
be two minimal normal subgroups of G which are not central. Then there are two
non-trivial conjugacy classes C1 and C2 of G, such that C1 ⊂ N1 and C2 ⊂ N2 and
it is easy to see that C1 C2 is direct. Furthermore, the conclusion of Theorem 5.1
need not be true if G has an abelian minimal normal subgroup which is non-central.
Consider, for example, a dihedral group of order
10. Then G has

 a unique minimal
normal subgroup hgi of order 5. Set C1 := g, g 4 and C2 := g 2 , g 3 . These are
conjugacy classes of G and their product is direct.
Acknowledgement: We are grateful to S. Szabó for a helpful communication.
References
[1] M. Aschbacher, Finite Group Theory, second edition, Cambridge studies in advanced mathematics 10, Cambridge University Press, (2000).
[2] ATLAS of finite group representations - version 3. (http://brauer.maths.qmul.ac.uk/Atlas/v3/).
[3] H.I. Blau, A fixed point theorem for central elements in quasi-simple groups, Proc. Am. Math.
Soc., vol. 122, no. 1 (1994), 79-84.
[4] The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.8.7; 2017.
(http://www.gap-system.org).
[5] D. Gorenstein, Finite Groups, AMS Chelsea Publishing, second edition, (1980).
[6] G. Hajós, Covering multidimensional spaces by cube lattices, Mat. Fiz. Lapok. 45 (1938),
171-190 (in Hungarian)
[7] G. Hajós, Über einfache und merfache Bedeckung des n-dimensionalen Raumes mit einem
Würfelgitter, Math. Zeit. 47 (1942), 427-467
[8] K. Corradi, P.Z. Hermann, and S. Szabó, On factorizations of nonabelian groups, Acta Sci.
Math. (Szeged), 67, (2001), 529–533.
[9] W. Lempken, T.V. Trung, On minimal logarithmic signatures of finite groups. Experiment.
Math. 14 (2005), no. 3, 257–269.
[10] M.W. Liebeck , C.E. Praeger, J. Saxl, ”The maximal factorizations of the finite simple groups
and their automorphism groups”, Memoirs of the American Mathematical Society, (1990),
vol 86, 1-151.
[11] S. S. Magliveras, A cryptosystem from logarithmic signatures of finite groups, in Proceedings
of the 29’th Midwest Symposium on Circuits and Systems, Elsevier Publ. Co. (1986), 972–975.
[12] H. Minkowski, Geometrie der Zahlen, Teubner, Leipzig, 1896.

19
[13] S. Szabó, A.D. Sands, Factoring Groups into Subsets, Lecture notes in pure and applied
mathematics, Chapman & Hall / CRC, (2009).

(Dan Levy) The School of Computer Sciences, The Academic College of Tel-AvivYaffo, 2 Rabenu Yeruham St., Tel-Aviv 61083, Israel
E-mail address: danlevy@mta.ac.il
(Attila Maróti) Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Reáltanoda utca 13-15, H-1053, Budapest, Hungary
E-mail address: maroti.attila@renyi.mta.hu

