4. Ryhmien sisäinen rakenne

Samankaltaiset tiedostot
4. Ryhmien sisäinen rakenne

1. Tarkastellaan esimerkissä 4.9 esiintynyttä neliön symmetriaryhmää

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen

HN = {hn h H, n N} on G:n aliryhmä.

Äärellisesti generoitujen Abelin ryhmien peruslause

5. Ryhmän kompositiotekijät

Laitos/Institution Department Matematiikan ja tilastotieteen laitos. Aika/Datum Month and year Huhtikuu 2014

5. Ryhmän kompositiotekijät

Eräitä ratkeavuustarkasteluja

Esko Turunen MAT Algebra1(s)

Ryhmäteoriaa. 2. Ryhmän toiminta

π πρ = ρ, π πρ 3 = ρ 3, πρ 2 πρ = ρ 3 πρ 2 πρ 3 = ρ.

Sylowin lauseet äärellisten ryhmien luokittelussa

TIIVISTELMÄ OPINNÄYTETYÖSTÄ (liite FM-tutkielmaan) Luonnontieteellinen tiedekunta

H = H(12) = {id, (12)},

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin 8 (7 sivua)

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d.

Algebra I, Harjoitus 6, , Ratkaisut

Tehtävä 4 : 2. b a+1 (mod 3)

6 A 5, alternoiva ryhmä ja muita yksinkertaisia ryhmiä

Cauchyn ja Sylowin lauseista

Tekijäryhmiä varten määritellään aluksi sivuluokat ja normaalit aliryhmät.

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 9 (6 sivua) OT

a 2 ba = a a + ( b) a = (a + ( b))a = (a b)a, joten yhtälö pätee mielivaltaiselle renkaalle.

3 Ryhmäteorian peruskäsitteet ja pienet ryhmät, C 2

Esimerkki A1. Jaetaan ryhmä G = Z 17 H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4 4 = 16 = 1}.

[E : F ]=[E : K][K : F ].

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013

Lisää ryhmästä A 5 1 / 28. Lisää ryhmästä

Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät sivua Heikki Koivupalo ja Rami Luisto

Ensimmäinen induktioperiaate

Ensimmäinen induktioperiaate

MS-A0401 Diskreetin matematiikan perusteet

ÄÄRELLISTEN RYHMIEN VAIHDANNAISUUSVERKOT MIIKKA SILFVERBERG

Ryhmäteoreettinen näkökulma Rubikin kuutioon Harjoitus 6, ratkaisuehdotus (5 sivua)

MS-A0402 Diskreetin matematiikan perusteet

Äärellisten mallien teoria

Ratkeavista ryhmistä: teoriaa ja esimerkkejä

Tarkastellaan aluksi permutaatioryhmiin liittyvää esimerkkiä.

g : R R, g(a) = g i a i. Alkio g(a) R on polynomin arvo pisteessä a. Jos g(a) = 0, niin a on polynomin g(x) nollakohta.

15. Laajennosten väliset homomorfismit

a b 1 c b n c n

802355A Algebralliset rakenteet Luentorunko Syksy Markku Niemenmaa Kari Myllylä Topi Törmä Marko Leinonen

Esko Turunen Luku 3. Ryhmät

Sylowin lauseet äärellisten ryhmien teoriassa

Tekijäryhmän määrittelemistä varten määritellään aluksi sivuluokat ja normaalit aliryhmät. gh = {gh h H}.

x gxg 1 Esimerkin 3-sykli saatiin siis konjugoimalla siirretyksi toimimaan lukujen 1, 2 ja 3 sijasta luvuilla 5, 8 ja 6.

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori

HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI. Matematiikan ja tilastotieteen laitos. Matemaattis-luonnontieteellinen

Syklinen ryhmä Pro Gradu -tutkielma Taava Kuha Matemaattisten tieteiden laitos Oulun yliopisto 2016

15. Laajennosten väliset homomorfismit

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään

ei ole muita välikuntia.

Peruskäsitteet. 0. Kertausta

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

2017 = = = = = = 26 1

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

6. Tekijäryhmät ja aliryhmät

Approbatur 3, demo 5, ratkaisut

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä

Algebra I, harjoitus 8,

H = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b.

802354A Lukuteoria ja ryhmät Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä, Antti Torvikoski, Topi Törmä

Algebra II. Syksy 2004 Pentti Haukkanen

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

4 Konjugointi. 4.1 Konjugoinnin määritelmä

Algebra I, harjoitus 5,

Frobeniuksen lauseesta ja sen yleistyksistä

Matematiikan mestariluokka, syksy

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

Johdatus matematiikkaan

Algebra I. Jokke Häsä ja Johanna Rämö. Matematiikan ja tilastotieteen laitos Helsingin yliopisto

Renkaat ja modulit. Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit

kaikille a R. 1 (R, +) on kommutatiivinen ryhmä, 2 a(b + c) = ab + ac ja (b + c)a = ba + ca kaikilla a, b, c R, ja

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

1. Tekijärakenteet. 1. R on refleksiivinen, eli xrx. 2.R on symmetrinen, eli josxry, niinyrx. 3.R on transitiivinen, eli josxry jayrz, niinxrz.

{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja

6.4 Ryhmät, joiden kertaluku on pienempi kuin 60

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

(xa) = (x) (a) = (x)0 = 0

7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi

Alternoivien ryhmien ominaisuuksista

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

Transversaalit ja hajoamisaliryhmät

Hänessä kaikki viisauden ja tiedon aarteet ovat kätkettyinä. Vrt. Paavalin kirje kolossalaisille 2:2-3.

Äärellisten mallien teoria

Liite 2. Ryhmien ja kuntien perusteet

Hamiltonin sykleistä Cayley-verkoissa

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

Äärellisistä ryhmistä, transversaaleista ja luupeista

14. Juurikunnat Määritelmä ja olemassaolo.

LUKUTEORIA johdantoa

Tekijäryhmät ja homomorsmit

Tekijä Pitkä Matematiikka 11 ratkaisut luku 2

Teema 4. Homomorfismeista Ihanne ja tekijärengas. Teema 4 1 / 32

a ord 13 (a)

1 Algebralliset perusteet

11. Jaollisuudesta. Lemma Oletetaan, että a, b R.

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Transkriptio:

3.5. Sisäiset symmetriat. Kuution väritysesimerkissä 3.14 tarkasteltiin yksittäisten alkioiden sijaan niiden konjugaattiluokkia ja todettiin, että konjugaattiluokkia vastaavat luonnollisella tavalla erityyppiset kiertoakselit ja eri kiertokulmat. Tarkastellaan vielä lähemmin tätä konjugointia. Otetaan esimerkiksi kaksi eri kiertoakselia A ja B, joista kumpikin kulkee eräiden vastakkaisten nurkkien kautta. Kierto B:n ympäri saadaan kääntämällä kuutio ensin symmetrialla g niin, että B siirtyy akselin A paikalle, suorittamalla sitten kiertohakselin A ympäri, ja kääntämällä kuutio lopuksi takaisin. Nähdään, että kierto B:n ympäri on itse asiassag 1 hg, eli A:n ympäri tapahtuvan kierron konjugaatti. Ryhmän alkiolla g G konjugointi tuottaa ryhmän sisäisen isomorfismin h g h, eli niin sanotun automorfismin. Automorfismit ovat ryhmän symmetrioita: ne ovat permutaatioita, jotka säilyttävät ryhmän laskutoimitusrakenteen. Konjugoinnista saatavia automorfismeja kutsutaan sisäisiksi, ja ne muodostavat ryhmän Inn(G). Ryhmällä voi olla muitakin kuin sisäisiä automorfismeja. Kaikkien automorfismien ryhmää merkitään Aut(G). Sisäiset automorfismit ovat kuitenkin sellaisia, jotka säilyttävät myös ryhmän toiminnan ominaisuudet. Väritysesimerkissä todettiin, että esimerkiksi Fix(g) = Fix(h), jos g ja h ovat samassa konjugaattiluokassa eli saadaan toisistaan jotain sisäistä symmetriaa käyttämällä. On mahdollista osoittaa, että kuution symmetriaryhmän kaikki automorfismit ovat sisäisiä. Kaikille ryhmille tämä ei kuitenkaan päde. Helppo esimerkki saadaan Kleinin neliryhmästäv 4. Koska se on vaihdannainen, millä tahansa alkiolla konjugointi pitää kaikki alkiot paikallaan, joten Inn(V 4 ) ={id}. Toisaalta kaikki ryhmänv 4 neutraalialkiosta poikkeavat alkiot ovat keskenään täysin samanarvoisia, ja mikä tahansa niiden permutaatio on kyseisen ryhmän automorfismi. Täten Aut(V 4 ) =S 3. 4. Ryhmien sisäinen rakenne Tässä luvussa tarkastellaan joitakin tapoja päästä käsiksi ryhmien sisäiseen rakenteeseen. Useimmat tuloksista ovat erityisen käyttökelpoisia äärellisten ryhmien tapauksessa. 4.1. Sylowin 9 lauseet. Lagrangen lause kertoo, että äärellisen ryhmän jokaisen aliryhmän kertaluku jakaa ryhmän kertaluvun. Voidaanko sitten jokaista ryhmän kertaluvun tekijää p kohti löytää aliryhmä, jonka kertaluku olisi p? Vastaus on yleisessä tapauksessa kielteinen, sillä esimerkiksi ryhmälläa 4 ei ole kuuden alkion aliryhmää, vaikka A 4 = 12. Kuitenkin, jospsattuu olemaan alkuluku, tällainen aliryhmä löytyy. Tämän tuloksen todisti Augustin Louis Cauchy vuonna 1845. Peter Sylow paransi tulosta vuonna 1872 osoittamalla, että itse asiassa jokaista sellaista p:n potenssia kohti, joka jakaa ryhmän kertaluvun, löytyy kyseistä kertalukua oleva aliryhmä, ja suurimmat niistä ovat kaikki keskenään isomorfisia, jopa konjugaatteja. 9 Peter Ludwig Mejdell Sylow (1832 1918), norjalainen ryhmäteoreetikko. 32

4. RYHMIEN SISÄINEN RAKENNE 33 Sylowin lauseet liittyvät aliryhmiin, joiden kertaluku on jonkin alkuluvun potenssi. Tällaisilla ryhmillä on muutenkin monia kiinnostavia ominaisuuksia; esimerkiksi niillä on aina epätriviaali keskus. Määritelmä 4.1. Olkoon p alkuluku. Äärellistä ryhmää sanotaan p-ryhmäksi, jos sen kertaluku onp m jollainm 1. Määritelmä 4.2. Oletetaan, että ryhmän kertaluku onp k m, missäpon alkuluku,k 1, jamei ole jaollinenp:llä. Sellaista aliryhmää, jonka kertaluku on p k, kutsutaan Sylowinp-aliryhmäksi. Sylow käytti lauseidensa todistamisessa yllä mainittua Cauchyn tulosta, mutta sittemmin lauseet on todistettu uudestaan monellakin eri tavalla. Tässä luvussa seurataan Helmut Wielandtin kombinatoriseen havaintoon perustuvaa esitystä, jota varten tarvitaan ensin yksinkertainen aputulos. Lemma 4.3. Oletetaan, ettäpon alkuluku, joka ei jaa lukuam N, jakon positiivinen kokonaisluku. Tällöin binomikerroin ( p k m p k ) ei ole jaollinen luvullap. Todistus. Tarkasteltava binomikerroin on ( ) p k m = pk m(p k m 1) (p k m i) (p k m p k + 1) p k (p k 1) (p k i) (p k p k. + 1) p k Koska lukumei sisällä yhtään tekijääp, riittää tutkia osoittajan termejäp k m i, missä 1 i<p k. Olkooni =p l q, missäl N jap q. Nyt p k m i =p l (p k l m q), japei jaa lukuap k l m q, koskak l>0. Siispä korkeinp:n potenssi, joka jakaa terminp k m i, onp l. Samalla päättelylläp l jakaa kuitenkin myös nimittäjän terminp k i. Koska osoittajassa ja nimittäjässä on yhtä monta termiä, jokainen tekijä p supistuu pois, joten binomikertoimeen ei jää yhtään tekijää p. Lause 4.4 (Sylow). Oletetaan, että G =p k m, missäk 1, japon alkuluku, joka ei jaa lukuam. Tällöin (i) Ryhmällä G on Sylowin p-aliryhmä. (ii) Ryhmän G Sylowin p-aliryhmät ovat keskenään konjugaatteja. (iii) Joss p on Sylowinp-aliryhmien lukumäärä, niins p 1 (modp), jas p jakaa luvun m. Todistus. (i) OlkoonA p ={A G: A =p k }. MääritelläänG:n toiminta tässä joukossa kertolaskulla:ga ={ga a A} kaikillaa A p. Lemman 4.3 perusteella joukona p koko ei ole jaollinenp:llä. Tämän vuoksi jollekin radalle GB päteep GB. ToisaaltaB:n kiinnittäjälle pätee G B = G / GB, joten G B on jaollinen luvullap k. Olkoon sittenb 0 B. Josg G B, niingb 0 B. Näin saadaan kuvausg gb 0 kiinnittäjältäg B joukolleb. Tämä kuvaus on injektio, joten G B p k. Siispä G B =p k, jag B on vaadittu Sylowin aliryhmä. (ii) Olkoon P jokin Sylowin p-aliryhmä, ja Q mikä tahansa p-aliryhmä. Tarkastellaan ryhmän Q kertolaskutoimintaa P:n sivuluokkien joukossa. Näiden sivuluokkien määrä on m, joka ei ole jaollinen p:llä. Koska jokaisen radan koko

34 kuitenkin jakaa ryhmän Q kertaluvun (jälleen lause 2.7) eli on p:n potenssi, täytyy ratojen joukossa olla jokin yksiö{ap}. TällöinQaP =ap, jotena 1 Qa P. Täten jokaisella p-aliryhmällä on konjugaatti, joka sisältyy annettuun Sylowin p- aliryhmään. JosQon itse Sylowin aliryhmä eli Q = P, täytyy ollaa 1 Qa =P. (iii) Olkoon P edelleen jokin Sylowin p-aliryhmä. Nyt P toimii konjugoimalla kaikkien Sylowinp-aliryhmien joukossa{p,q 1,...,Q r }. Kuten aikaisemmin, ratojen (eli konjugaattiluokkien) koot jakavat toimivat ryhmän kertaluvun P =p k. Koska P P =P, ryhmänp rata on yksiö. Osoitetaan, että jokaisen muun radan P Q i koko on jaollinenp:llä. Tällöin nimittäin s p = 1 + i p k i, missäikäy läpi kaikki radat jak i 1 kaikillai. Tästä seuraa ensimmäinen väite. Jos P Q i = 1, niinp sisältyy normalisoijaann G (Q i ). Selvästi sekäp ettäq i ovat tämän normalisoijan Sylowinp-aliryhmiä. ToisaaltaQ i N G (Q i ), jotenq i jap eivät ole konjugaatteja ryhmässän G (Q i ). Tämä on ristiriidassa kohdan (ii) kanssa, joten P Q i > 1, mikä oli todistettava. Viimeinen väite seuraa siitä, että ryhmän G konjugointitoiminta kaikkien Sylowinp-aliryhmien joukossa on transitiivista. Tällöin nimittäins p = [G :N G (P)], jotens p jakaa ryhmängkertaluvunp k m. Koskas p 1 (modp), niin Eukleideen lemman perusteellas p m. Kaikki Sylowin p-aliryhmät ovat keskenään konjugaatteja, mistä seuraa, että ne ovat myös keskenään isomorfisia. Toisaalta jokainen Sylowin p-aliryhmän konjugaatti on itse Sylowinp-aliryhmä. Jos tällaisia löytyy vain yksi, kyseinen aliryhmä on silloin väistämättä normaali. Sylowin lauseet auttavat tällä tavoin ns. yksinkertaisten ryhmien löytämisessä. Ryhmää sanotaan yksinkertaiseksi, jos sillä ei ole aitoja epätriviaaleja normaaleja aliryhmiä. Esimerkki 4.5. Oletetaan, että ryhmä, jonka kertaluku on 30, ei voi olla yksinkertainen. Kertaluvun alkutekijähajotelma on 2 3 5. Tarkastellaan ensin Sylowin 5-aliryhmiä. Niitä löytyy Sylowin lauseen mukaans 5 kappaletta, missä s 5 1 (mod 5) ja s 5 6. Täytyy siis päteä jokos 5 = 1 tais 5 = 6. Ensimmäisessä tapauksessa aliryhmä olisi normaali, joten tarkastellaan jälkimmäistä. Viiden alkion aliryhmät leikkaavat toisiaan vain neutraalialkion kohdalla, joten näihin ryhmiin sisältyy neutraalialkio poisluettuna yhteensä 24 alkiota. Tarkastellaan sitten Sylowin 3-aliryhmiä. Niitä ons 3 kappaletta, missäs 3 1 (mod 3) jas 3 10. Näin ollens 3 = 1 tais 3 = 10. Keskitytään jälleen jälkimmäiseen tapaukseen, jolloin näistä kolmen alkion aliryhmistä saadaan yhteensä 20 neutraalialkiosta poikkeavaa alkiota. Lisäksi mikään näistä ei voi sisältyä Sylowin 5-aliryhmään, joten yhteensä on löydetty jo 24 + 20 = 44 alkiota. Tämä on ristiriita, joten ryhmällä on normaali aliryhmä. Sylowin lauseet auttavat muutenkin ryhmien rakenteen selvittämisessä. Esimerkki 4.6. Tarkastellaan ryhmiä, joiden kertaluku on 35 = 5 7. Niiden Sylowin 5-aliryhmien lukumäärälle pätees 5 1 (mod 5) jas 5 7, joten

4. RYHMIEN SISÄINEN RAKENNE 35 näitä ryhmiä on vain yksi. Merkitään sitä kirjaimella P. Samalla tavoin Sylowin 7-aliryhmiä on vain yksi; olkoon se Q. Sekä P että Q ovat normaaleja aliryhmiä, ja niiden leikkaus on triviaali. Tästä seuraa, että koko ryhmä on isomorfinen tuloryhmänp Q = Z 5 Z 7 kanssa (todistetaan myöhemmin). Lisäksi Z 5 Z 7 = Z35, joten ryhmä on itse asiassa syklinen. Sylowin lauseesta saadaan seurauksena Cauchyn lause. Lause 4.7 (Cauchy). Olkoon p jokin ryhmän G kertaluvun alkutekijä. Tällöin G:ssä on alkio, jonka kertaluku on p. Todistus. Harjoitustehtävä. Ääretön p-ryhmä määritellään niin, että sen jokaisen alkion kertaluku on jaollinenp:llä. Äärellisessä tapauksessa tämä määritelmä on yhtäpitävä aiemman kanssa. Lagrangen lauseesta nimittäin seuraa, ettäp-ryhmän jokaisen alkion kertaluku on jaollinen p:llä. Toisaalta, jos ryhmän kertaluvulla on alkutekijä q p, niin Cauchyn lauseen perusteella se sisältää alkion, jonka kertaluku on q. 4.2. Tuloryhmät. Olkoot A ja B ryhmän G aliryhmiä. Tutkitaan, milloin niiden tulojoukko AB ={ab a A,b B} on aliryhmä. Tulojoukon alkioideng 1 =a 1 b 1 jag 2 =a 2 b 2 tulo ong 1 g 2 =a 1 b 1 a 2 b 2. Jos tämä tulo on joukossaab, niin b 1 a 2 =a 1 1 (g 1 g 2 ) b 1 }{{} 2 AB. AB Siispä vähimmäisvaatimus sille, että tulojoukko olisi aliryhmä, on ettäb 1 a 2 on muotoaa b joillaina A jab B. Koska tämän täytyy päteä kaikille alkioille, ehdoksi tulee AB = BA. Tämä toteutuu esimerkiksi silloin, kun jokainen A:n alkio kommutoi jokaisen B:n alkion kanssa. Vähempikin kuitenkin riittää. Lemma 4.8. OlkootH jan ryhmängaliryhmiä. JosN on normaalig:ssä, niinhn G. Todistus. Käytetään aliryhmäkriteeriä. Selvästi HN on epätyhjä. Olkoot a 1,a 2 Hjab 1,b 2 N. KoskaN on normaali, niinna 1 2 = a 1 2 N, joten b 1 b 1 2 a 1 2 =a 1 2 b jollainb N. Tällöin Siispä HN on aliryhmä. a 1 b 1 (a 2 b 2 ) 1 =a 1 b 1 b 1 2 a 1 2 = (a 1 a 1 2 )b HN. Keskitytään jatkossa siihen tapaukseen, missä molemmat aliryhmät ovat normaaleja. Lause 4.9. Oletetaan, että H ja K ovat ryhmän G normaaleja aliryhmiä. Jos HK =G jah K ={1}, niing =H K.

36 Todistus. Näytetään ensin, että H:n ja K:n alkiot ovat keskenään vaihdannaisia. Olkoota H jab K. Nyt (aba 1 )b 1 K, koskak on normaali. Samoin kuitenkina(ba 1 b 1 ) H, jotenaba 1 b 1 H K ={1}. Tästä seuraa, että ba =ab. Harjoitustehtävänä on osoittaa, että jokaisella G:n alkiolla on yksikäsitteinen tuloesitys g = ab, missä a H ja b K. Tällöin on mahdollista määritellä kuvaus f :G H K kaavallaf(ab) = (a,b). Kuvaus on selvästi bijektio. Olkoot a 1,a 2 H jab 1,b 2 K, jolloin Täten f on homomorfismi. f(a 1 b 1 a 2 b 2 ) =f(a 1 a 2 b 1 b 2 ) = (a 1 a 2,b 1 b 2 ) = (a 1,b 1 ) (a 2,b 2 ) =f(a 1 a 2 ) f(b 1 b 2 ). Jos edellisen lauseen ehdot pätevät, sanotaan, että G on aliryhmiensä H ja K sisäinen suora tulo. Tällöin ei yleensä erotella sisäistä tuloa HK ja ulkoista tuloa H K, koska nämä ovat keskenään isomorfiset. 4.3. Isomorfialauseet. Seuraavat Emmy Noetherin muotoilemat tulokset selvittävät tekijäryhmien välisiä suhteita. Niiden todistukset nojaavat vahvasti homomorfialauseeseen. Vastaavat tulokset pätevät myös renkaille. Lause 4.10 (1. isomorfialause 10 ). OlkootH jan ryhmängaliryhmiä, ja olkoonn normaali. TällöinH N H, jah/(h N) =HN/N. Huomaa, että lemman 4.8 nojallahn on ryhmä. LisäksiN on normaali ryhmässähn, koskahn GjaN on normaalig:ssä. Alla oleva Hassen kaavio voi helpottaa lauseen muistamista. Kaksinkertainen viiva viittaa normaaliin aliryhmään. Yhdensuuntaiset kaksoisviivat viittaavat isomorfisiin tekijäryhmiin. HN N H H N Todistus. Olkoonπ:G G/N kanoninen surjektio, ja olkoonπ sen rajoittuma ryhmäänh. Kuvauksenπ arvot ovat siis sivuluokkiahn, missäh H. Tällaiset sivuluokat kuuluvat tekijäryhmään HN/N, koska hn HN jokaisella n N. Selvästi Kerπ ={g H g N} =H N, jotenh N on normaali, ja homomorfialauseen perusteellah/(h N) = Imπ. Toisaalta, josgn HN/N, niing=hn joillainh H jan N. Nyt saadaan π (h) =hn =gn, joten Imπ =HN/N. 10 Monissa lähteissä homomorfialausetta nimitetään ensimmäiseksi isomorfialauseeksi. Tällöin ensimmäisestä isomorfialauseesta tuleekin toinen isomorfialause, ja toisesta kolmas.

4. RYHMIEN SISÄINEN RAKENNE 37 HN / N N H N H H / (H N) Kuva 8. Noetherin 1. isomorfialause Lause 4.11 (2. isomorfialause). Olkoot H ja K ryhmän G normaaleja aliryhmiä, joille päteek H. TällöinH/K on normaali ryhmässäg/k, ja (G/K)/(H/K) =G/H. Todistus. Olkoon π : G G/H kanoninen surjektio. Koska K H, kaikilla k Kpäteeπ(k) =H. Lauseen 1.14 perusteella on olemassa homomorfismi f :G/K G/H, jolle päteef(gk) =gh. Tämä kuvaus ikään kuin laajentaa sivuluokkia ja on selvästi surjektio. Lisäksif(gK) =gh =H jos ja vain josg H, ja tämä on yhtäpitävää sen kanssa, ettägk H/K. Täten Kerf =H/K, ja tulos seuraa homomorfialauseesta. K G / H H / K H Kuva 9. Noetherin 2. isomorfialause