"Cyclic normal implies finite-pi-potentially verbal in finite"
"Cyclic normal implies hereditarily normal"
"Cyclic normal implies potentially verbal in finite"
"Cyclic normal is not join-closed"
"Degree of irreducible projective representation divides index of cyclic normal subgroup"
"Derived subgroup centralizes cyclic normal subgroup"
"Every Sylow subgroup is cyclic implies metacyclic"