Commutator-verbal implies divisibility-closed in nilpotent group
Statement
Suppose is a nilpotent group and is a commutator-verbal subgroup of . Then, is a divisibility-closed subgroup of . Explicitly, for any prime number such that is a -divisible, is also -divisible.