Abelian implies every subgroup is potentially characteristic

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 abelian group. That is, it states that in a Abelian group (?), every subgroup satisfying the first subgroup property (i.e., Subgroup (?)) must also satisfy the second subgroup property (i.e., Potentially characteristic subgroup (?)). In other words, every subgroup of abelian group is a potentially characteristic subgroup of abelian group.
View all subgroup property implications in abelian groups | View all subgroup property non-implications in abelian groups | View all subgroup property implications | View all subgroup property non-implications
This fact is related to: NPC conjecture
View other facts related to NPC conjectureView terms related to NPC conjecture |

Statement

In an Abelian group, every subgroup is a potentially characteristic subgroup: it can be realized as a characteristic subgroup inside some bigger group.

Related facts

Facts used

  1. Central implies potentially characteristic
  2. Abelian implies every subgroup is central

Proof

The proof follows directly by piecing together facts (1) and (2).