# Additive group of a field implies characteristic in holomorph

From Groupprops

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

## Proof

### Proof using given facts

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