show · group.chief_series all knowls · up · search:

If $G$ is a group, the chief series of $G$ is a normal series $\langle e\rangle=N_0 \lhd N_1 \lhd \cdots \lhd N_k=G$ where each $N_{i+1}/N_i$ is a minimal normal subgroup of $G/N_i$.

The factor groups $N_{i+1}/N_i$ are each isomorphic to a product of some number of copies of a single simple group (which depends on $i$).

Authors:
Knowl status:
• Review status: beta
• Last edited by John Jones on 2019-05-24 17:34:41
Referred to by:

Not referenced anywhere at the moment.

History: