Odd-order cyclic group is fully invariant in holomorph
Statement
Any Odd-order cyclic group (?) is a Fully characteristic subgroup (?) inside its holomorph.
Facts used
- Odd-order cyclic group equals commutator subgroup of holomorph
- Commutator subgroup is fully characteristic
Proof
The proof follows directly from facts (1) and (2).