Semantic search
Characteristic not implies characteristic-isomorph-free in finite, Modular not implies permutable, Normal-isomorph-free not implies isomorph-free in finite, Order-conjugate and Hall not implies order-dominating, Order-conjugate not implies order-dominating, Transitively normal not implies conjugacy-closed normal