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$).

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: (expand/hide all)