# Odd-order cyclic group is 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., odd-order cyclic group) 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 odd-order cyclic group|Get more facts about holomorph-characteristic group

## Contents

## Statement

Any Odd-order cyclic group (?) is a Characteristic subgroup (?) inside its holomorph.

## Related facts

### Related facts about odd-order cyclic groups

- Odd-order cyclic group equals commutator subgroup of holomorph
- Odd-order cyclic group is fully invariant in holomorph
- Odd-order abelian group not is fully invariant in holomorph

### Breakdown for other cyclic groups

- Additive group of a field implies characteristic in holomorph, because additive group of a field is monolith in holomorph (in particular, any elementary abelian group is characteristic in its holomorph).
- Odd-order elementary abelian group is fully invariant in holomorph
- Odd-order abelian group not is fully invariant in holomorph

## Facts used

- Odd-order cyclic group equals commutator subgroup of holomorph
- Commutator subgroup is characteristic

## Proof

The proof follows directly from facts (1) and (2).