Products of Subgroups Which Are Subgroups

Abstract

We prove conditions for a product of distinct subgroups of an arbitrary group G to be a subgroup of G. In particular, the normal closure of any A ≤ G is equal to the product of some distinct conjugates of A. As an application of the later result we derive constraints on the size of a nontrivial conjugacy class of a finite non-Abelian simple group.