Теорема Жордана — Гёльдера

Если у группы $\displaystyle G$ существует композиционный ряд $\{1\}=G_0\varsubsetneq G_1\varsubsetneq\cdots\varsubsetneq G_n=G$, то его длина $\displaystyle n$ и все факторы $\displaystyle G_{i+1}/G_i$ определены однозначно, с точностью до перестановок и изоморфизмов. Это классический вариант теоремы Жордана-Гёльдера. Он относится к случаю, когда композиционный ряд конечен, то есть включает конечное число подгрупп группы $\displaystyle G$. Теорема Жордана-Гёльдера остается справедливой и в случае восходящих трансфинитных композиционных рядов.

См. также

• Простая группа