Chief series

This article defines a property that can be evaluated for a subgroup series

View a complete list of properties of subgroup series

Definition

Definition for finite length

Let $G$ be a group. A chief series for $G$ is a subgroup series from $G$ to the trivial subgroup where all members are normal subgroups of $G$, and where the series cannot be refined further. More explicitly:

• A series of subgroups:

$G=N_{0}\geq N_{1}\geq \dots \geq N_{r}=\{e\}$

is termed a chief series if $N_{i}$ are normal in $G$ for all $i$, $N_{i+1}$ is a proper subgroup of $N_{i}$, and there is no normal subgroup of $G$ that properly contains $N_{i+1}$ and is properly contained within $N_{i}$. In other words, the normal series cannot be refined further to another normal series.

• A series of subgroups:

$G=N_{0}\geq N_{1}\geq \dots \geq N_{r}=\{e\}$

is termed a chief series if each $N_{i}$ is normal in $G$ and $N_{i-1}/N_{i}$ is a minimal normal subgroup of $G/N_{i}$.

A group that possesses a chief series is termed a group of finite chief length. The factor groups for a chief series are termed the chief factors. It turns out that for a group of finite chief length, any two chief series have the same length and the lists of chief factors are the same.

Relation with other properties

Weaker properties

• Normal series

Related properties

• Composition series
• Subnormal series

See also

• Chief length