Nilpotent implies every normal subgroup is potentially characteristic

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., Normal subgroup (?)) must also satisfy the second subgroup property (i.e., Potentially characteristic subgroup (?)). In other words, every normal subgroup of nilpotent group is a potentially characteristic 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

In a nilpotent group, every normal subgroup is a potentially characteristic subgroup: it can be realized as a characteristic subgroup inside a possibly bigger group.

Related facts

• Finite normal implies potentially characteristic
• Central implies potentially characteristic
• Subgroup in hypercenter is potentially characteristic
• Hypercentral implies every normal subgroup is potentially characteristic
• Finite implies every normal subgroup is potentially characteristic
• Abelian implies every subgroup is potentially characteristic

Facts used

1. Subgroup in hypercenter is potentially characteristic