Ciąg kompozycyjny
Z Wikipedii
Niech G będzie grupą. Ciąg podgrup grup G:
nazywamy ciągiem kompozycyjnym grupy G, gdy dla każdego i grupa Hi jest podgrupą normalną grupy Hi + 1 oraz grupy ilorazowe Hi + 1 / Hi (zwane faktorami) są grupami prostymi dla. Jest to równoważne następującemu warunkowi: dla każdego i grupa Hi jest maksymalną podgrupą normalną grupy Hi + 1.
Liczbę k nazywa się długością ciągu kompozycyjnego.
Dla każdej grupy skończonej można znaleźć ciąg kompozycyjny. Jednakże istnieją także grupy, które go nie posiadają. Przykładem takiej grupy jest nieskończona grupa cykliczna.
Ciąg kompozycyjny jest szczególnym przypadkiem ciągu subnormalnego.