Composition series
From AoPSWiki
A composition series is a way of describing a group.
Definition
A composition series of a group 
with idenitity 
is a finite sequence 
of subgroups of such that 
, 
, and for each integer 
, 
is a normal subgroup of 
.
The quotient groups 
are called the quotients of the series. We call a composition series 
finer than a composition series 
if the terms of are taken from the terms of . Note, however, that in general, a composition series with some terms omitted is no longer a composition series, since in general if 
is a normal subgroup of 
and is a normal subgroup of , then is not necessarily a normal subgroup of .
Two composition series and 
(of not necessarily identical groups and ) are considered equivalent if 
, and there is a permutation 
of the integers in 
such that and 
are isomorphic for all integers .
Resources
This article is a stub. Help us out by expanding it.
