# Additive group of a field implies monolith in holomorph

## Contents

## 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

- Characteristically simple implies CSCFN-realizable (analogue for groups in general)
- Characteristically simple and non-abelian implies monolith in automorphism group (analogue for non-abelian groups)

## Facts used

## Proof

### Proof using given facts

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