Additive group of a field implies monolith in holomorph

From Groupprops

Statement

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

Then, the holomorph of is a monolithic group with its monolith.

Related facts

Analogues for other kinds of groups

Other related facts

Facts used

  1. Abelian implies self-centralizing in holomorph
  2. Every group is normal fully normalized in its holomorph
  3. Characteristically simple and NSCFN implies monolith

Proof

Proof using given facts

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