Abelian implies self-centralizing in holomorph

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., abelian group) must also satisfy the second group property (i.e., NSCFN-realizable group)
View all group property implications | View all group property non-implications
Get more facts about abelian group|Get more facts about NSCFN-realizable group

Statement

Suppose $G$ is an abelian group and $H=G⋊\mathrm{A}\mathrm{u}\mathrm{t}(G)$ is its holomorph. Then, $C_H(G)=G$. In other words, $G$ is a Self-centralizing subgroup (?) of $H$.

Further, since every group is normal fully normalized in its holomorph, this tells us that $G$ is normal, self-centralizing and fully normalized in its holomorph. In short, $G$ is a NSCFN-subgroup (?) of its holomorph, and thus, is a NSCFN-realizable group (?).

Related facts

Applications

• Additive group of a field implies monolith in holomorph

Other related facts

• Center is a direct factor implies NSCFN-realizable
• Characteristically simple implies NSCFN-realizable
• Centerless implies NSCFN-realizable
• Characteristically simple implies monolith in automorphism group

Proof

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.