Additive group of a field implies monolith in holomorph
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.
Proof using given facts
The proof follows from facts (1)-(3).