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

If $G$ is a group, a subnormal series for $G$ is a chain of subgroups \[ \langle e\rangle =H_0 \lhd H_1 \lhd \cdots \lhd H_k=G\] where each subgroup $H_i$ is normal in $H_{i+1}$ for all $i$.

A subnormal series where $H_i$ is normal in $G$ for all $i$ is a normal series.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by John Jones on 2022-07-20 17:58:35
Referred to by:
History: (expand/hide all) Differences (show/hide)