# Semantic search

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