Fitting subgroup is self-centralizing in soluble groups
ID: fitting-subgroup-is-self-centralizing-in-soluble-groups
In a finite soluble group, . Put and . If , choose an elementary abelian minimal normal subgroup of inside , and let be its preimage. Then , so is a nilpotent normal subgroup, contradicting .
New to topics? Read the docs here!