# Semantic search

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