Abstract:We deal with an unsolved problem in group theory (question 19.35 of Kourovka Notebook). It asks whether, given a finite group G and a factorization <math>|G|=a1⋯ak</math> one can always find subsets <math>A1,…,Ak</math> such that <math>|A1|=a1,…,|Ak|=ak</math> and <math>G=A1⋯Ak.</math> The case k = 2 is of special interest. We prove that the answer is positive for all finite supersolvable (and so abelian) groups. However, G. Bergman has recently given a counterexample to the question for the case k = 3. Regarding the special case k = 2, at first, we prove that the statement is true for all finite solvable groups, and groups such that for every divisor d of their order, there is a subgroup of order or index d. Thereafter, by proving an extension theorem we show that the answer is positive if it is true for all simple groups with no subgroup of prime index. Also, we give some other theorems and criteria, for checking the property and state a question about some candidates for probable counterexamples. We end by noting some related connections, questions and problems about the topic.

On the Kegel–Wielandt -Problem

Finite Groups with -Subnormal Schmidt Subgroups

Basic results on an unsolved problem about factorization of finite groups

New criteria for -subnormality in -solvable finite groups

On $\mathrm{K}$-$\mathbb{P}_{t}$-subnormal subgroups of finite groups and related formations

Finite Groups All of Whose Subgroups are -Subnormal or -Subgroups

Brauer's problem 21 for principal blocks

On A Permutation Problem for Finite Abelian Groups

ON THE LATTICE OF -SUBNORMAL SUBGROUPS OF A FINITE GROUP

A Generalization of Subnormality

Finite Groups with Frobenius Condition for Non-Normal Primary Subgroups

An Example of a Relatively Maximal Nonpronormal Subgroup of Odd Order in a Finite Simple Group

On groups whose subnormal abelian subgroups are normal

Nonpronormal Subgroups of Odd Index in Finite Simple Linear and Unitary Groups

Nonsolvable Groups Satisfying the Prime-Power Hypothesis

On the conjecture of non-inner automorphisms of finite $p$-groups

Landau's Theorem on conjugacy classes for normal subgroups

Examples of Nonpronormal Relatively Maximal Subgroups of Finite Simple Groups

Finite Groups Whose Prime Graphs Do Not Contain Triangles. III

On -Subnormal Subgroups of Finite Groups

Finite Groups Whose N-Maximal Subgroups Are Σ-Subnormal