Odd-order cyclic group

Definition
An odd-order cyclic group is defined as a defining ingredient::cyclic group that is also an defining ingredient::odd-order group: its order is an odd integer.

Facts

 * Odd-order cyclic group equals commutator subgroup of holomorph
 * Snevily's conjecture for cyclic groups