Additive group of a field implies characteristic 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., additive group of a field) must also satisfy the second group property (i.e., holomorph-characteristic group)
View all group property implications | View all group property non-implications
Get more facts about additive group of a field|Get more facts about holomorph-characteristic group

Statement

Suppose $G$ is isomorphic to the Additive group of a field (?). Equivalently, $G$ is a Characteristically simple group (?) that is also an abelian group. In particular, $G$ is either an Elementary abelian group (?) or a direct sum of copies of the rationals.

Then, $G$ is a Characteristic subgroup (?) in its holomorph.

Related facts

• Characteristically simple and non-abelian implies automorphism group is complete
• Characteristically simple implies CSCFN-realizable

Facts used

1. Additive group of a field implies monolith in holomorph
2. Monolith is characteristic

Proof

Proof using given facts

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