Commutator-verbal implies divisibility-closed in nilpotent group
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
In particular, this also shows that is a powering-invariant subgroup of .