Characteristically simple implies CSCFN-realizable

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

Statement

Any characteristically simple group can be realized as a CSCFN-subgroup (?) of some group.

Related facts

• Characteristically simple and non-abelian implies automorphism group is complete
• Additive group of a field implies monolith in holomorph

Facts used

1. Characteristically simple implies center is a direct factor
2. Center is a direct factor implies NSCFN-realizable
3. Characteristically simple and NSCFN implies monolith
4. Monolith is characteristic

Proof

The proof follows from facts (1)-(4).