Difference between revisions of "Jordan-Hölder Theorem"
(wotw) |
Hashtagmath (talk | contribs) m (→See also) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | |||
The '''Jordan-Hölder Theorem''' is a result in [[group theory]], named for Camille Jordan and Otto Hölder. It states that any two [[Jordan-Hölder series]] of the same group are equivalent. Jordan proved that the cardinalities of the quotients are invariant up to order in 1869 (?); Hölder proved that the quotients are in fact isomorphic in 1889. In 1928, Schreier published an improved proof using [[Schreier's Theorem]]. Six years later, in 1934, Zassenhaus improved Scheier's proof, using [[Zassenhaus's Lemma]]. | The '''Jordan-Hölder Theorem''' is a result in [[group theory]], named for Camille Jordan and Otto Hölder. It states that any two [[Jordan-Hölder series]] of the same group are equivalent. Jordan proved that the cardinalities of the quotients are invariant up to order in 1869 (?); Hölder proved that the quotients are in fact isomorphic in 1889. In 1928, Schreier published an improved proof using [[Schreier's Theorem]]. Six years later, in 1934, Zassenhaus improved Scheier's proof, using [[Zassenhaus's Lemma]]. | ||
| Line 10: | Line 9: | ||
* [[Normal subgroup]] | * [[Normal subgroup]] | ||
| − | [[Category:Group theory]] | + | [[Category:Group theory]] [[Category: Theorems]] |
Latest revision as of 11:12, 9 April 2019
The Jordan-Hölder Theorem is a result in group theory, named for Camille Jordan and Otto Hölder. It states that any two Jordan-Hölder series of the same group are equivalent. Jordan proved that the cardinalities of the quotients are invariant up to order in 1869 (?); Hölder proved that the quotients are in fact isomorphic in 1889. In 1928, Schreier published an improved proof using Schreier's Theorem. Six years later, in 1934, Zassenhaus improved Scheier's proof, using Zassenhaus's Lemma.
Proof
Suppose 
and 
are two Jordan-Hölder series for the same group. By Schreier's Theorem, there exist equivalent composition series 
and 
, finer than and respectively. But since and are Jordan-Hölder composition series, they are obtained from and by removing repetitions; hence they are equivalent. 
