A chief factor of is a quotient with normal in and no -normal subgroup strictly between them. Equivalently, is a minimal normal subgroup of . Such factors are the successive factors of a chief series, and are direct products of isomorphic simple groups when is finite.
New to topics? Read the docs here!