Additive group of a field implies characteristic in holomorph

From Groupprops
Jump to: navigation, search
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

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).