Cyclic normal subgroup

Symbol-free definition
A subgroup of a group is termed a cyclic normal subgroup if it is cyclic as a group and normal as a subgroup.

Facts

 * Supersolvable implies every nontrivial normal subgroup contains a cyclic normal subgroup