Self-centralizing and minimal normal implies characteristic

This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., self-centralizing minimal normal subgroup) must also satisfy the second subgroup property (i.e., characteristic subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about self-centralizing minimal normal subgroup|Get more facts about characteristic subgroup

Statement

Any Minimal normal subgroup (?) of a group that is self-centralizing must be characteristic.

Facts used

1. Self-centralizing and minimal normal implies strictly characteristic
2. Strictly characteristic implies characteristic

Related facts

Stronger facts

• Self-centralizing and minimal normal implies strictly characteristic
• Self-centralizing and minimal normal implies monolith

Corollaries

• Characteristically simple and Abelian implies characteristic in holomorph
• Characteristically simple and non-Abelian implies characteristic in automorphism group

Proof

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