"CA not implies nilpotent"
"Characteristic not implies characteristic-isomorph-free in finite"
"Class two not implies abelian automorphism group"
"Finite not implies composition factor-permutable"
"Modular not implies permutable"
"Nilpotent not implies nilpotent automorphism group"
"Normal-isomorph-free not implies isomorph-free in finite"
"Order-conjugate and Hall not implies order-dominating"
"Order-conjugate not implies order-dominating"
"Pronormality is not finite-upper join-closed"
"Supersolvable not implies nilpotent"
"Transitive normality is not centralizer-closed"
"Transitive normality is not finite-join-closed"
"Transitively normal not implies conjugacy-closed normal"