arxiv: v1 [math.gr] 17 Feb 2021

(1)

arXiv:2102.08605v1 [math.GR] 17 Feb 2021

On factorizations of finite groups

Mikhail I. Kabenyuk

Abstract. Let G be a finite group and let {A1, . . . , Ak} be a collection of

subsets of G such that G = A1. . . Akis the product of all the Aiand card(G) =

card(A₁) . . . card(Ak). We shall write G = A₁· . . . · Ak, and call this a

k-fold factorization of the form (card(A₁), . . . , card(Ak)). We prove that for any

integer k ≥ 3 there exist a finite group G of order n and a factorization of n =

a₁. . . ak into k factors other than one such that G has no k-fold factorization

of the form (a₁, . . . , ak).

Keywords: factorization of a finite group, product of subsets, finite group,

finite simple group, Sylow subgroup, centralizer involution

MSC:20D60

Let G be a finite group and let {A1, . . . , Ak} be a collection of subsets

of G such that G = A1. . . Ak is the product of all the Ai and card(G) =

card(A1) . . . card(Ak). We shall write G = A1· . . . · Ak, and call this a k-fold

factorization of the form (card(A1), . . . , card(Ak)).

In [1] G. M. Bergman proved the following:

Lemma 1(cf. [1, Lemma 2.1]). If G = A1· . . . · Ak is a factorization of

a finite group G and A1 and Ak both contain the identity element e of group

G, then the order of the subgroup generated by A1 is a multiple of card(A1),

and the order of the subgroup generated by Ak is a multiple of card(Ak).

In the same article, the following question is formulated.

Question 2 (cf. [1, Question 2.4]). If a finite group G has a factoriza-tion G = A1· A2· A3, must card(A2) divide the order of the subgroup H of

G generated by A2?

The answer to this question is negative. Let G be the alternating group on 4 elements, a group of order 12. Let’s put A = {e, (14)(23)}, B = {e, (132)}, C = {e, (124), (142)}. Composition of permutations will be performed from left to right as it is accepted in [3]. It is easy to verify that G = A · B · C. The order of the subgroup generated by B is 3 and card(B) = 2.

The following statement is also proved in [1] (see also [5]).

(2)

on 4 elements. Then G has no factorization A · B · C with card(A) = 2, card(B) = 3, card(C) = 2.

This gives a negative answer to a question of M. H. Hooshmand [2, Problem 19.35] for k = 3.

Problem 4. Let G be a finite group of order n.

a) Is it true that for every factorization n = a1. . . ak there exist subsets

A1, . . . , Aksuch that card(A1) = a1, . . . , card(Ak) = akand G = A1·. . .·Ak?

b) The same question for the case k = 2.

If are considered only factorizations of n into factors > 1, then the prob-lem remains open for all k > 3.

Our next goal is to prove the following.

Theorem 5. For any integer k ≥ 3 there exist a finite group G of order n and a factorization of n = a1. . . ak into k factors other than one

such that G has no k-fold factorization of the form (a1, . . . , ak).

Lemma 6(cf. [1, Lemma 2.2]). If for some positive integers a1, . . . , ak,

G has a k-fold factorization with card(Ai) = ai (i = 1, . . . , k), then it has

such a factorization in which all Ai contain e.

Proposition 7. Let G be a finite group with the following properties: (i) All involutions of G are conjugate.

(ii) Each element of G has either order 2 or an odd order.

Then G has no 3-fold factorization A · B · C with card(A) = 2 = card(C) and card(B) = card(G)/4.

Proof. We argue by contradiction. Suppose G = A · B · C were a factorization with card(A) = 2 = card(C) and card(B) = card(G)/4. It follows from Lemma 6 that we can assume without loss of generality that e ∈ A and e ∈ C. Then by Lemma 1 the subgroups generated by A and C are cyclic subgroups of even orders. By the condition (ii) it follows that both these subgroups have order 2, so A and C are subgroups of G.

Recall that the set of elements AxC, where x is some fixed element of G, is called a double coset. Two double cosets AxC and AyC are either disjoint or identical [3, p. 14]. Since the group G is a disjoint union of double cosets of the form AxC and G = A · B · C, then the number of double cosets in G is card(B) and card(AxC) = 4 for any x ∈ G.

By the condition (i) there exists x ∈ G that x−1_{Ax = C. Then}

AxC = x(x−1_{Ax)C = xC}2

= xC.

So, card(AxC) = card(xC) = 2 < 4. This is a contradiction; the proof of the proposition is complete.

Corollary 8. Let G be a finite group of order n satisfying the conditions of Proposition 7 and let Ω(n) be the number of prime factors of n (with

(3)

multiplicity). Then for any integer k in the interval 3 ≤ k ≤ Ω(n) and for any integers a1, . . . , ak such that n = a1. . . ak and a1= ak= 2 the group G

has no k-fold factorization A1· . . . · Ak with card(Ai) = ai (i = 1, . . . , k).

Proof. Suppose that for some k the group G has k-fold factorization G = A1· . . . · Ak with card(A1) = card(Ak) = 2. Then G = A1 · B · Ak,

where B = A2· . . . · A_k−1; a contradiction with Proposition 7.

Proof of Theorem 5. Let q = ps

be a prime power with s ≥ 1 and let GF (q) be Galois field of order q and let GF (q)∗ _{be the multiplicative group}

of the field GF (q) Consider a group G(q) and its the Sylow p-subgroup P : G(q) = GF (q)∗ _{GF (q)} 0 1 , P = 1 GF (q) 0 1 .

It is easy to see that P is a normal subgroup of G(q) and an elementary Abelian p-group. Observe that any two non-trivial elements of P are conju-gate in G. Indeed, if u, v ∈ GF (q), uv 6= 0 and a = v/u then

a 0 0 1 1 u 0 1 a 0 0 1 −1 = 1 au 0 1 = 1 v 0 1 . If g ∈ G(q) and g /∈ P , then gk= a u 0 1 k = ak (1 + a + . . . + ak−1_)u 0 1 = a k ak −1 a−1u 0 1 ! , where a 6= 1. It follows that the elements a ∈ GF (q) and g ∈ G(q) are of the same order. Hence, if g /∈ P , then the order of g is relatively prime to p. It is clear also that if g ∈ P and g 6= e, then the order of g is p.

If q = 2s

, then all the assumptions of Corollary 8 hold. Since n = card(G(q)) = 2s

(2s

− 1) it follows that Ω(n) ≥ s + 1 Therefore, for any integer k in the interval 3 ≤ k ≤ s + 1 and for any integers a1, . . . , ak such

that n = a1. . . akand a1 = ak= 2 the group G(q) has no k-fold factorization

A1· . . . · Ak with card(Ai) = ai (i = 1, . . . , k). Since the choice of s is at our

disposal, Theorem 5 is proved.

Note on simple groups. It is clear that the condition (ii) of Proposi-tion 7 is equivalent to

(ii’) The centralizer of every involution of G is an elementary Abelian group.

The alternating group A5satisfies the conditions (i) and (ii’). This means

(4)

and card(B) = 15. Moreover, A5 has no 4-fold factorizations of the forms

(2 · 3 · 5 · 2) and (2 · 5 · 3 · 2).

We now consider the special linear group SL(2, q), where q = 2s

, s ≥ 2. The order of SL(2, q) is 2s

(2s

− 1). A Sylow 2-subgroup of SL(2, q) is an elementary Abelian group of order 2s

. Let P consists of all the unitriangular matrices of the form

1 u 0 1

, u ∈ GF (q).

Then P is the Sylow 2-subgroup of G. It is easy to see that SL(2, q) satisfies the conditions (i) and (ii’). Therefore, SL(2, q) with q = 2s

, s ≥ 2, has no 3-fold factorization A · B · C with card(A) = 2 = card(C) and card(B) = 2s−2₍₂s

− 1). Thus we get one more proof of Theorem 5.

From the Gorenstein theorem [4, Theorem 2], if a simple group G satisfies the conditions (i) and (ii’), then G is isomorphic to A5 or SL(2, q), where

q = 2s

and s ≥ 2.

We state the next statement without proof as it can be proved exactly as Proposition 7.

Proposition 9. Let p be prime and let G be a finite group with the following properties:

(i) All elements of order p are conjugate in G.

(ii) Each element of G has either order p or an order relatively prime to p.

Then G has no 3-fold factorization A · B · C such that A and C are the subgroups of G and card(A) = p = card(C) and card(B) = card(G)/p2

.

References

[1] G. M. Bergman, A note on factorizations of finite groups, Journal of the Iranian Mathematical Society, Vol. 1 No. 2 (2020), pp. 157 – 161. [2] E.I. Khukhro and V.D. Mazurov (eds.), Unsolved Problems in Group

Theory, The Kourovka Notebook, 19, Sobolev Institute of Math-ematics, Novosibirsk (2018); arXiv:1401.0300 [math.GR], see also https://kourovka-notebook.org/ for the current updates.

[3] M. Hall, The theory of groups, New York, 1959.

[4] D.Gorenstein, Finite groups in which Sylow 2-subgroups are abelian and centralizers of involutions are solvable, Canad. J. Math. 17 (1965), 860 – 906.

(5)

[5] https://mathoverflow.net/questions/316262/is-each-finite-group-multifactorizable

Kemerovo State University, Kemerovo, Russia E-mail address: [email protected]