Factoring nonabelian finite groups into two subsets
A group is said to be factorized into subsets if every element in can be uniquely represented as , where , . We consider the following conjecture: for every finite group and every factorization of its order, there is a factorization with and . We show that a minimal counterexample to this conjecture must be a nonabelian simple group and prove the conjecture for every finite group the nonabelian composition factors of which have orders less than .