Jordanin–Hölderin lause

Jordanin–Hölderin lause on ryhmäteorian lause, joka on nimetty Camille Jordanin ja Otto Hölderin mukaan. Lauseen mukaan annetun ryhmän Jordanin–Hölderin jonot ovat ekvivalentit. Jordan todisti, että tekijöiden mahtavuudet ovat invariantteja vuonna 1869, ja Hölder todisti tekijöiden isomorfisuuden vuonna 1889. Vuonna 1927 Schreier löysi lauseelle yksinkertaisemman todistuksen, joka perustui Schreierin lemmaan. Vuonna 1934 Zassenhaus paransi Schreierin todistusta, ja hän todisti lauseen Zassenhausin lemman avulla.

Lauseen todistus

Olkoon $G$ ryhmä ja ${\mathrm{\Sigma }}_1$ ja ${\mathrm{\Sigma }}_2$ ryhmän $G$ Jordanin–Hölderin jonot. Schreierin lemman nojalla on olemassa ekvivalentit kompositiojonot ${\mathrm{\Sigma }}_1^{\prime }$ ja ${\mathrm{\Sigma }}_2^{\prime }$, jotka ovat hienompia kuin jonot ${\mathrm{\Sigma }}_1$ ja ${\mathrm{\Sigma }}_2$. Mutta koska ${\mathrm{\Sigma }}_1$ ja ${\mathrm{\Sigma }}_2$ ovat Jordanin–Hölderin jonoja, niin ne saadaan jonoista ${\mathrm{\Sigma }}_1^{\prime }$ ja ${\mathrm{\Sigma }}_2^{\prime }$ poistamalla ne ryhmät, jotka esiintyvät jonossa useammin kuin kerran. Siten jonot ${\mathrm{\Sigma }}_1$ ja ${\mathrm{\Sigma }}_2$ ovat ekvivalentit.

Lähteet

• Malline:Kirjaviite