Jordan-Hölder series
Revision as of 13:19, 10 May 2008 by Boy Soprano II (talk | contribs) (New page: A '''Jordan-Hölder series''' of a group <math>G</math> is a composition series <math>(G_i)_{0\le i \le n}</math> of <math>G</math> such that <math>G_i/G_{i+1}</math> is a [[simple...)
A Jordan-Hölder series of a group 
is a composition series 
of such that 
is a simple group for all integers ![$i\in [0,n-1]$](http://latex.artofproblemsolving.com/1/3/a/13a1ac6785686dc1a366c3c564cbec795199931f.png)
. Equivalently, it is a strictly decreasing composition series of for which there exists no finer strictly decreasing composition series of .
The Jordan-Hölder Theorem says that any two Jordan-Hölder series of the same group are equivalent. Unfortunately, non-isomorphic groups can have equivalent Jordan-Hölder series. For instance, 
(the integers mod 4) and the Klein 4-group have equivalent Jordan-Hölder series, but they are not isomorphic.
This article is a stub. Help us out by expanding it.
