# Semantic search

Characteristic and self-centralizing implies coprime automorphism-faithful, Maximal among abelian normal implies self-centralizing in nilpotent, Maximal among abelian normal implies self-centralizing in supersolvable, Normal and self-centralizing implies coprime automorphism-faithful, Normal and self-centralizing implies normality-large, Self-centralizing and minimal normal implies characteristic, Self-centralizing and minimal normal implies strictly characteristic