Additive group of a field implies characteristic in holomorph
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
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.
- Characteristically simple and non-abelian implies automorphism group is complete
- Characteristically simple implies CSCFN-realizable
Proof using given facts
The proof follows from facts (1)-(2).