Commutator-verbal implies divisibility-closed in nilpotent group

From Groupprops
Jump to: navigation, search
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties, when the big group is a nilpotent group. That is, it states that in a Nilpotent group (?), every subgroup satisfying the first subgroup property (i.e., Commutator-verbal subgroup (?)) must also satisfy the second subgroup property (i.e., Divisibility-closed subgroup (?)). In other words, every commutator-verbal subgroup of nilpotent group is a divisibility-closed subgroup of nilpotent group.
View all subgroup property implications in nilpotent groups | View all subgroup property non-implications in nilpotent groups | View all subgroup property implications | View all subgroup property non-implications

Statement

Suppose G is a nilpotent group and H is a commutator-verbal subgroup of G. Then, H is a divisibility-closed subgroup of G. Explicitly, for any prime number p such that G is a p-divisible, H is also p-divisible.

In particular, this also shows that H is a powering-invariant subgroup of G.