Groups with a covering condition on commutators

Abstract

Given a group G and positive integers k,n, we let B_n=B_n(G) denote the set of all elements x in G such that |x^G|\leq n, and we say that G satisfies the (k,n)-covering condition for commutators if there is a subset S in G such that |S|\leq k and all commutators of G are contained in the product SB_n. The importance of groups satisfying this condition was revealed in the recent study of probabilistically nilpotent finite groups of class two. The main result obtained in this paper is the following theorem. Let G be a group satisfying the (k,n)-covering condition for commutators. Then G' contains a characteristic subgroup B such that [G':B] and |B'| are both (k,n)-bounded. This extends several earlier results of similar flavour.