Ryhmäteoria. Jyrki Lahtonen. Turun yliopisto, helmikuu 2019 keskeneräinen versio

Koko: px
Aloita esitys sivulta:

Download "Ryhmäteoria. Jyrki Lahtonen. Turun yliopisto, helmikuu 2019 keskeneräinen versio"

Transkriptio

1 Ryhmäteoria Jyrki Lahtonen Turun yliopisto, helmikuu 2019 keskeneräinen versio

2 Sisältö 1 Ryhmäteorian peruskäsitteitä Ryhmä, aliryhmä, homomorfismi Generointi, sivuluokat, normaali aliryhmä, tekijäryhmä Vapaa ryhmä, generaattorit ja relaatiot Ryhmän toiminta joukossa Toiminta, peruskäsitteet Luokkayhtälö, Cauchyn lause Peittoryhmistä Sovellus kombinatoriikkaan, Burnsiden lemma Aliryhmät, sivuluokat ja toiminta Rakenneteoriaa Isomorfialauseet, vastaavuusperiaate Sylowin teoriaa Puolisuora tulo Yksinkertainen ryhmä, Kompositiotekijöistä Ratkeavat ryhmät, kommutaattorialiryhmä, johdettu sarja Yksinkertaisia ryhmiä Alternoivien ryhmien yksinkertaisuus

3 Luku 1 Ryhmäteorian peruskäsitteitä Kerrataan Algebran peruskurssien materiaalia. 1.1 Ryhmä, aliryhmä, homomorfismi Määritelmä 1.1. Joukkoa G, jossa on määritelty laskutoimitus (kuvaus G G G, merkitään (a, b) ab), sanotaan ryhmäksi, jos (ab)c = a(bc) kaikille a, b, c G (assosiátiivisuus), löytyy sellainen alkio 1 = 1 G G, että 1a = a1 = a kaikille a G (neutraalialkio), jokaista a G kohti löytyy alkio a 1 G, jolle aa 1 = 1 = a 1 a (käänteisalkio). Jos lisäksi ab = ba kaikille a, b G (kommutatiivisuus), niin sanotaan, että G on abelin ryhmä. Neutraalialkiota kutsutaan myös ykkösalkioksi. Joskus laskutoimitus on luonteeltaa yhteenlaskua. Tällöin puhutaan additiivisesta ryhmätä. Sen laskutoimituksesta käytään merkintää a + b. Ykkösalkion asemesta puhutaan tällöin nolla-alkiosta (0 + a = a) ja käänteisalkion asemesta vasta-alkiosta (a + ( a) = 0). Additiivinen ryhmä oletetaan aina Abelin ryhmäksi. Esimerkki 1.2. Lukujoukot R, C, Q ja Z ovat ryhmiä yhteenlaskun suhteen. Luku 0 on kunkin nolla-alkio. Joukot R = R \ {0}, C = C \ {0} ja Q = Q \ {0} ovat ryhmiä kertolaskun suhteen. Neutraalialkiona on luku 1. Koska alkio a 0, niin käänteisluku 1/a sopii käänteisalkion rooliin. Esimerkki 1.3. Oletetaan, että n on jokin luonnollinen luku, n > 1. Jäännösluokkien joukko Z n = {0, 1,..., n 1} 3

4 on Abelin ryhmä jäännösluokkien yhteenlaskun suhteen. Neutraalialkiona on jäännösluokka 0, ja jäännösluokan a vasta-alkio on jäännösluokka a = n a. Alkuluokkien joukko Z n = {a Z n syt(a, n) = 1} puolestaan on ryhmä jäännösluokkien kertolaskun suhteen. Neutraalialkio on jäännösluokka 1. Alkion a käänteisalkio on jäännösluokka a, missä kokonaisluku a on jokin kongruenssin aa 1 (mod n) ratkaisu. Esimerkki 1.4. (Yleinen lineaarinen ryhmä) Kiinnitetään positiivinen kokonaisluku n. Käytetään kompleksisten n n neliömatriisien joukosta merkintää M n (C) = {(a ij ) n n a ij C i, j}. Tällöin säännöllisten n n matriisien joukko GL n (C) = {A M n (C) det A 0} muodostaa ryhmän matriisien kertolaskun suhteen. Neutraalialkiona on identiteettimatriisi I n, ja matriisin A GL n (C) käänteisalkio on sen käänteismatriisi. Tätä ryhmää kutsutaan yleiseksi lineaariseksi ryhmäksi (yli C:n), (eng. general linear group). Huomautus 1.5. Edellisessä esimerkissä voidaan C korvata millä tahansa kunnalla K (vrt. PK II). Esimerkiksi R ja Q ovat kuntia lukujen yhteen- ja kertolaskun suhteen. Jäännösluokkarengas Z n on kunta jäännösluokkien yhteen- ja kertolaskun suhteen silloin ja vain silloin, kun n = p on alkuluku. Muista kunnista enemmän muilla kursseilla. Matriisit muodostavat ryhmän myös jos sen alkiot ovat kommutatiivisen renkaan R alkioita. Tällöin matriisin säännöllisyys voidaan tarkistaa varmistumalla siitä, että sen determinantilla on käänteisalkio renkaassa R. Yksityiskohtia lisää kurssilla Algebra. Tällä kurssilla tarvittavin osin luentoesimerkeissä. Esimerkki 1.6. (Symmetrinen ryhmä) Olkoon X jokin joukko. Joukon X permutaatioiden joukko Sym(X) = {f : X X f on bijektio} on ryhmä funktioiden yhdistämisen suhteen, fg = f g. Neutraalialkio on identiteettikuvaus id X : x x kaikille x X. Funktion f käänteisalkio on sen käänteiskuvaus f 1. Ryhmää Sym(X) kutsutaan joukon X symmetriseksi ryhmäksi. Usein esiintyvä erikoistapaus on X = J n = {1, 2, 3,..., n}. Tällöin käytetään symmetrisestä ryhmästä merkintää S n = Sym(J n ). Kerrataan symmetristä ryhmää S n koskeva Algebran Peruskurssi II:lla esitelty sykliesitys. PK I:lle permutaatio α S n kuvattiin taulukkomuodossa eli 2-rivisenä matriisina, jossa ylärivissä lueteltiin lähtöjoukon alkiot 1, 2,..., n ja alkion i alapuolella sen kuva α(i) permutaatiossa α. Permutaation sykliesityksessä säästetään tilaa ensinnäkin siten, että ehdon α(i) = i toteuttavat luvut i jätetään kokonaan merkitsemättä, ja 4

5 muut luvut puolestaan kootaan sykleiksi. Ns. m-sykli σ = (i 1 i 2 i 3... i m ) on permutaatio, jolle σ(i 1 ) = i 2, σ(i 2 ) = i 3, σ(i 3 ) = i 4,..., σ(i m 1 ) = i m ja σ(i m ) = i 1. Jotta σ olisi hyvinmääritelty on syklissä esiintyvien lukujen oltava parittain erisuuria, eli i k i l aina, kun k l. Jokainen permutaatio voidaan kirjoittaa erillisten syklien tulona (=yhdistettynä kuvauksena). Esimerkiksi joukon J 6 permutaation ( ) α = sykliesitys on α = (134)(2)(56) = (134)(56). Esimerkki 1.7. Olkoot α S 6 yo. permutaatio ja β = (123)(456). Muodostetaan ryhmän S 6 alkioiden α 2, β 1 ja αβ sykliesitykset. Ratkaisu. Aloitetaan muodostamalla permutaatio α 2 = α α. Käydään läpi joukon J 6 alkiot. α 2 (1) = α(α(1)) = α(3) = 4. Sykliesitystä varten kannattaa seuraavaksi laskea α 2 (4) = α(α(4)) = α(1) = 3. Sitten α 2 (3) = α(α(3)) = α(4) = 1. Tässä vaiheessa palasimme jo käsiteltyyn alkioon, eli sykli sulkeutui. Ensimmäinen permutaation α 2 sykli on siis (143). Selvästi α 2 (2) = 2. Lisäksi α 2 (5) = α(α(5)) = α(6) = 5, joten 5 on sekin permutaation α 2 kiintopiste. Samoin nähdään 6 kiintopisteeksi. Siis α 2 = (143) on 3-sykli. Koska β(2) = 3, niin β 1 (3) = 2. Edelleen β(1) = 2 = β 1 (2) = 1 ja β 1 (1) = 3. Näin ollen β 1 sisältää 3-syklin (321). Samaan tapaan nähdään (näin käy aina), että myös toinen 3-sykli pyörii käänteispermutaatiossa β 1 päinvastaiseen suuntaan. Vastaukseksi saamme β 1 = (321)(654) = (132)(465). Yhdistetty permutaatio αβ kuvaa α(β(1)) = α(2) = 2, sitten α(β(2)) = α(3) = 4, α(β(4)) = α(5) = 6, α(β(6)) = α(4) = 1, eli sykli sulkeutui muotoon (1246). Käsittelllän seuraavaksi luku 3. Sille α(β(3)) = α(1) = 3. Edelleen α(β(5)) = α(6) = 5, joten 3 ja 5 ovat permutaation αβ kiintopisteitä. Siis αβ = (1246)(3)(5) = (1246). Määritelmä 1.8. Jos ryhmän G osajoukko H muodostaa ryhmän saman laskutoimituksen suhteen sanomme, että H on ryhmän G aliryhmä, merkitään H G. Assosiatiivilaki ja muut ryhmäaksioomat ovat automaattisesti voimassa osajoukon H alkioille, koska ne ovat voimassa isommassa joukossa. Oleellista onkin, ettei H:n alkioilla laskutoimituksia tekemällä ajauduta osajoukon H ulkopuolelle. Palautetaan mieleen seuraava käyttökelpoinen tulos PK I:ltä. 5

6 Lause 1.9. (Aliryhmäkriteeri) Oletetaan, että G on ryhmä ja H. Tällöin H G, joss seuraavat 2 ehto toteutuvat H aina, kun a, b H, myös ab 1 H. Jos lisäksi H on äärellinen joukko, niin jälkimmäisen ehdon asemesta riittää tarkistaa implikaatio a, b H = ab H (eli että H on suljettu laskutoimituksen suhteen). Esimerkki Jos G on mikä tahansa ryhmä, niin sillä on ns. triviaalit aliryhmät {1 G } ja G. Jos n on mielivaltainen kokonaisluku, niin sen kokonaislukumonikerrat muodostavat (additiivisen) ryhmän Z aliryhmän nz. Esimerkki Palauta mieleesi, että kiinnittämällä n-ulotteiselle vektoriavaruudelle V (yli kunnan K) jokin kanta, n n-matriisit vastaavat bijektiivisesti lineaarikuvauksia T : V V. Tällöin lineaarikuvaus on bijektio sjvsk sen matriisi on säännöllinen. Koska lineaarikuvausten yhdistäminen vastaa niiden matriisien kertolaskua, tässä mielessä ryhmästä GL n (K) tulee symmetrisen ryhmän Σ(V ) aliryhmä. Esimerkki Olkoon n positiivinen kokonaisluku ja K kunta. Matriisijoukko SL n (K) = {A GL n (K) det A = 1} on ryhmän GL n (K) aliryhmä. Nimittäin I n SL n (K) joten SL n (K) on epätyhjä. Lisäksi säännöistä i) det(ab) = det(a) det(b) ja ii) det(a 1 ) = (det A) 1 seuraa, että SL n (K) suljettu ryhmätoimitusten suhteen. Ryhmää SL n (K) kutsutaan erikoiseksi lineaariseksi ryhmäksi (yli kunnan K). Esimerkki Kiinnitetään kokonaisluku m > 1. Jos a Z toteuttaa ehdon syt(a, m) = 1, niin kongruenssiopin nojalla kuvaus f a,b : Z m Z m, f a,b (x) = ax + b on bijektio. Helposti nähdään, että joukko Aff(m) = {f a,b a Z m, b Z m } on suljettu kuvausten yhdistämisen suhteen, joten se on symmetrisen ryhmän Sym(Z m ) aliryhmä. Määritelmä Olkoot G ja G ryhmiä. Funktio f : G G on (ryhmä)homomorfismi, jos kaikilla x, y G on voimassa yhtälö f(xy) = f(x)f(y). Homomorfismin ydin Ker f = {x G f(x) = 1 G } 6

7 on tällöin ryhmän G aliryhmä, ja kuva Im f = {f(x) x G} ryhmän G aliryhmä. Jos f on bijektio, niin sitä kutsutaan isomorfismiksi. Sanotaan, että ryhmät G ja G ovat keskenään isomorfisia, jos on olemassa jokin isomorfismi f : G G. Esimerkki Kiinnitetään kokonaisluku n. Kokonaisluvun kuvaaminen sen jäännösluokaksi modulo n f : a a on homomorfismi ryhmästä Z ryhmään Z n. Tämä homomorfismi on surjektio, eli Im f = Z n. Sen ydin on aliryhmä nz. Esimerkki Kuvaus f(x) = e x on homomorfismi additiiviselta ryhmältärmultiplikatiiviseen ryhmään R. Tuttu sääntö e x+y = e x e y on juurikin homomorfiaehto. Esimerkki Jos K on mikä tahansa kunta, niin neliömatriiseja koskeva sääntö det(ab) = det A det B tarkoittaa, että determinantin laskeminen on homomorfismi yleisestä lineaarisesta ryhmästä GL n (K) ryhmään K. Tämän homomorfismin ytimenä saadaan erikoinen lineaarinen ryhmä SL n (K). Esimerkki Palautetaan mieleen permutaation pariteetin käsite. Jos σ S n, ja i, j J n, niin sanotaan, että (i, j) on permutaation σ käännetty pari, jos i < j ja σ(i) > σ(j). Merkitään käännettyjen parien lukumäärää l(σ):lla. Permutaatiota σ sanotaan parilliseksi tai parittomaksi sen mukaan, onko l(σ) parillinen vai pariton. PK II:lla osoitettiin, että kuvaus sgn : σ ( 1) l(σ) on homomorfismi ryhmästä S n multiplikatiiviseen ryhmään {1, 1} R. Tämän homomorfismin ydintä kutsutaan alternoivaksi ryhmäksi A n = {σ S n σ on parillinen}. Muistisääntö: jos α on r-sykli, niin sgn(α) = ( 1) r 1, eli parillisen mittainen sykli on pariton ja päinvastoin. 1.2 Generointi, sivuluokat, normaali aliryhmä, tekijäryhmä Määritelmä Oletetaan, että G on ryhmä, ja S G jokin osajoukko. Pienintä aliryhmää H, joka sisältää joukon S kutsutaan joukon S generoimaksi aliryhmäksi, H = S. Jos S = {c} sisältää vain yhden alkion, niin ryhmää c kutsutaan sykliseksi ryhmäksi. Huomautus PK I:llä näimme, että aliryhmän S muodostavat tulot x 1 x 2 x l, missä l 0, ja tekijät x i ovat kaikki joko joukon S alkioita tai S:n alkioiden käänteisalkioita. 7

8 Esimerkki Ryhmä Z on syklinen, generoijana luku 1. Kun n > 0, niin ryhmä Z n on syklinen, generoijana 1. Jokainen syklinen ryhmä on isomorfinen jonkin luetellun ryhmän kanssa. Esimerkki Ryhmä Z 8 = {1, 3, 5, 7} ei ole syklinen. Jos nimittäin x on sen mielivaltainen alkio, niin x 2 = 1. Tällöin {1, x} on aliryhmä, ja aliryhmässä x on näin enintään kaksi alkiota. Määritelmä Oletetaan, että G on ryhmä, ja H G sen jokin aliryhmä. Jos x G, niin joukkoa xh = {xh h H} G kutsutaan aliryhmän H vasemmaksi sivuluokaksi. Vasempien sivuluokkien joukosta käytetään merkintää G/H = {xh x G} Vastaavasti joukkoa Hx = {hx h H} G kutsutaan aliryhmän H oikeaksi sivuluokaksi, ja oikeiden sivuluokkien joukosta käytetään merkintää H\G. Sanotaan, että H on ryhmän G normaali aliryhmä, jos xh = Hx kaikilla x G, merkitään H G. Huomautus Aliryhmän H vasemmat sivuluokat muodostavat ryhmän G partition. Jos x, y G, niin joko xh = yh (näin käy sjvsk xy 1 H) tai sitten xh yh =. Jos H on äärellinen, niin jokaisessa sen sivuluokassa on yhtä monta alkiota. Tämän seurauksena saatiin Lagrangen lause: aliryhmän H alkioiden lukumäärä (= H:n kertaluku = H ) on koko ryhmän G kertaluvun G tekijä. Vastaavat faktat ovat voimassa myös oikeille sivuluokille. Esimerkki Osoitetaan, että permutaatiot α = (123) ja β = (23) yhdessä generoivat symmetrisen ryhmän S 3. Ratkaisu. Merkitään H = {α, β}. Tavoitteena on perustella, miksi H = S 3. Alkion α potenssit α 0 = 1 S3, α ja α 2 = (132) kuuluvat ilman muuta aliryhmään H. Kuten myös β, joka ei ole mikään mainituista α:n potensseista. Näin ollen aliryhmässä H on vähintään neljä alkiota. Koska S 3 = 3! = 6, niin H on luvun 6 tekijä. Näin ollen on pakko olla H = 6 = S 3. Siis H ei voi olla aito aliryhmä. Määritelmä Oletetaan, että G on ryhmä, ja N G normaali aliryhmä. Tällöin sivuluokkien joukosta G/N tulee ryhmä, kun määritellään siellä kertolasku (xn)(yn) = (xy)n ( ) kaikille sivuluokille xn, yn G/N. Tämän ryhmän neutraalialkio on sivuluokka 1N = N. Sivuluokan xn käänteisalkio on x 1 N. Huomautus Yllä aliryhmän normaalisuutta tarvittiin siihen, että sääntö ( ) antaa hyvinmääritellyn laskutoimituksen. Vastauksena saatava sivuluokka (xy)n voisi muutoin riippua sivuluokkien xn ja yn edustajien x ja y valinnasta. Asia selvitettiin PK:lla tarkistamalla, että jos xn = x N ja yn = y N, niin tällöin myös (xy)n = (x y )N. Jos N ei ole ryhmän G normaali aliryhmä, niin tämä sääntö ei pidä paikkaansa kaikissa tapauksissa. 8

9 Esimerkki Hyvin luonnollisella tavalla Z/nZ = Z n kaikilla positiivisilla kokonaisluvuilla n. Esimerkki Koska suuntakulmat α ja α + n2π edustavat samaa suuntaa (ja samaa yksikköympyrän kehäpistettä) kaikilla kokonaisluvun n arvoilla, niin voimme ajatella suuntia tekijäryhmän R/2πZ alkioina. Tässä 2πZ = {n2π n Z} on ryhmän R syklinen aliryhmä, jonka luku 2π generoi. Lause (Homomorfialause) Oletetaan, että f : G G on ryhmähomomorfismi. Tällöin N := ker f G ja sääntö F : xn f(x) antaa isomorfismin tekijäryhmältä G/N kuvaryhmään Im f. Todistus. Käsiteltiin PK:lla. Esimerkki Näimme aiemmin, että det : GL n (K) K on ryhmähomomorfismi, jonka ydin on ker det = SL n (K). Jos x K on mielivaltainen, niin diagonaalimatriisin D = diag(x, 1, 1,..., 1) determinantti on det D = x. Näin ollen det on surjektio, ja Im det = K. Homomorfialauseen nojalla determinantin laskeminen antaa isomorfismin GL n (K)/SL n (K) K. 1.3 Vapaa ryhmä, generaattorit ja relaatiot Tarkastellaan pintapuolisesti tapaa määritellä ryhmä generaattorien ja relaatioiden avulla. Määritelmä Olkoon X = {x 1, x 2,..., x n } äärellinen joukko muuttujia. Tuotetaan näille "käänteisalkiot"esittelemällä symbolit X 1 = {x 1 1, x 1 2,..., x 1 n }. Merkitään S = X X 1. Aakkoston S sana on mikä tahansa nollan tai useamman (kuitenkin äärellisen monen) symbolin merkkijono. Tällainen sana on redusoitu, jos siinä ei missään kohtaan ole peräkkäin symbolia ja sen käänteistä symbolia. Jokainen sana voidaan redusoida poistamalla siitä tarpeellinen määrä tällaisia kahden toisilleen käänteisen peräkkäisen symbolin pareja. Käytetään redusoitujen sanojen joukosta merkintää F(X). Joukosta F(X) saadaan ryhmä, kun määritellään sanojen kertolasku operaationa, jossa ensin kirjoitetaan sanat peräkkäin, ja sitten redusoidaan näin saatu sana. Joukko F(X) muodostaa ryhmän kuvaillun operaation suhteen. Ryhmän neutraalialkio on ns. tyhjä sana ε, jossa ei ole yhtään merkkiä. Sanojen kirjoittaminen peräkkäin on selvästi assosiatiivinen operaatio, ja helposti nähdään, ettei redusointi muuta tätä. Sanan s = c 1 c 2 c 3 c l, c i S kaikilla i, käänteisalkioksi tulee sana s = c 1 l c3 1 c 1 2 c 1 1, sillä sekä tulosta ss että tulosta s s voidaan redusoida kaikki l merkkiparia yksi kerrallaan. Muodostuvaa ryhmää kutsutaan n:n generaattorin vapaaksi ryhmäksi. Käytetään myös merkintää F(n) tarkoittaa mitä tahansa n:n symbolin generoimaa vapaata ryhmää. 9

10 Huomautus Selvästi F(X) on joukon X generoima. Tässä "vapaus"tarkoittaa lähinnä sitä, ettei joukon X alkioita sido toisiinsa mikään "salattu"yhtälö. Edes joukon S alkioita ei sido toisiinsa mitkään muut relaatiot kuin ilmeiset x i x 1 i = ε = xi 1 x i. Tämä vapaus ilmenee kohta kuvattavassa ryhmän F(X) universaalisuusominaisuudessa. Vapaus on jossain määrin analogista vektorien lineaarisen riippumattomuuden kanssa lineaarisesti riippumaton vektorijoukkohan ei toteuta mitään ei-triviaalia vektoriavaruusoperaatioiden avulla määritelty yhtälöä. Esimerkki Jos n = 1, X = {x}, niin joukon F(X) alkiot ovat sanoja xx x tai sanoja x 1 x 1 x 1, joissa kummassakin on äärellinen määrä (nolla tai useampi) tekijöitä. Jos nimittäin sanassa esiintyy sekä symboli x että symboli x 1, niin jossakin kohtaa ne esiintyvät peräkkäin, ja tällöin ne voidaan poistaa: xxx 1 xx 1 x = xx(x 1 x)(x 1 x)x = x 2 ε 2 x = x 3. Lopulta jää jäljelle vain sana, jossa on jäljellä jompaa kumpaa symbolityyppiä. Näin saatu ryhmä on isomorfinen äärettömän syklisen ryhmän C Z kanssa. Jos taas n > 1, niin ryhmä F(X) ei ole Abelin ryhmä, nimittäin x 1 x 2 ja x 2 x 1 ovar eri sanoja. Lause (Vapaan ryhmän universaalisuusominaisuus) Olkoot X = {x 1, x 2,..., x n } ja G jokin ryhmä. Olkoon f : X G mikä tahansa funktio. Tällöin on olemassa yksikäsitteinen sellainen homomorfismi F : F(X) G, jolle F(x i ) = f(x i ) kaikille i = 1, 2,..., n. Huomautus Vertaa tätä lineaarialgebran tulokseen, jonka mukaan minkä tahansa kannan vektorit voidaan kuvata toiseen vektoriavaruuteen mielivaltaisella tavalla, ja täydentää näin saatu funktio lineaarikuvaukseksi. Todistus. Selvästi on määriteltävä F(x i ) = f(x i ) kaikille i = 1, 2,..., n, sekä F(ε) = 1 G. Jotta F olisi ryhmähomomorfismi, on määriteltävä F(x 1 i ) = f(x i ) 1 kaikille i = 1, 2,..., n. Edelleen, jos s = c 1 c 2 c m, m 0, on jokin sana, missä c j S kaikilla j:n arvoilla, niin homomorfismitavoite pakottaa meidät määrittelemään F(s) = F(c 1 )F(c 2 ) F(c m ). Jos sana s ei ollut redusoitu, niin siinä jollakin indeksin j arvolla c j+1 = c 1 j. Näin ollen aiemmin tehtyjen valintojen perusteella F(c j+1 ) = F(c j ) 1 joten tulo F(c j )F(c j+1 ) = 1 G. Tästä seuraa, että sanan redusointi ei muuta kaavan ( ) antamaa kuvaa F(s). Näin ollen F on hyvinmääritelty funktio. Homomorfiaehto seuraa helposti. ( ) Esimerkki Näimme, että vapaa ryhmä F(x) on isomorfinen ryhmän Z kanssa, ja isomorfismissa x 1, x n n, x n n. Jos G on mielivaltainen ryhmä ja g G mielivaltainen alkio, niin universaalisuusominaisuus tarkoittaa yksinkertaisesti sitä, että funktio f : Z G, f(n) = g n 10

11 on ryhmähomomorfismi, eli f(n 1 + n 2 ) = f(n 1 )f(n 2 ). Tässä Im f = g, ja ker f = mz, missä m on alkion g kertaluku eli pienin positiivinen kokonaisluku, jolle g m = 1 G, jos sellainen on olemassa, ja m = 0 muulloin (jos g:n kertaluku on ääretön). Esimerkki Esimerkissä 1.25 näimme, että alkiot ťα = (123) ja β = (23) generoivat ryhmän S 3. Lause 1.35 kertoo nyt, että on olemassa homomorfismi f : F(2) S 3, jolle f(x 1 ) = (123) ja f(x 2 ) = (23). Koska S 3 = α, β, niin Im f = S 3. Homomorfialauseen nojalla sitten S 3 F(2)/ ker f. Edellisen esimerkin tulos yleistyy tulokseski: Jos ryhmä G on n:n alkion generoima, niin G voidaan esittää vapaan ryhmän F(n) tekijäryhmänä. Pohdimme tätä hieman tarkemmin. Homomorfismin f : F(n) G ydin N on vapaan ryhmän normaali aliryhmä. On useinkin helppoa kuvailla joitakin ytimen N alkioita. Edellisessä esimerkissä esimerkiksi α 3 = 1, joten koska f(x 1 ) = α, niin x 3 1 N. Samoin x 2 2 N koska β 2 = 1. Laskemalla näemme myös, että βαβ 1 = (132) = α 1, joten x 2 x 1 x 1 2 x 1 N. Tulkitsemme nämä havainnot siten, että jokainen generaattorien toteuttama relaatio (tai yhtälö) vastaa tällaisen homomorfismin ytimen alkiota. Tämä johtaa ideaan määritellä ryhmä generaattoreiden ja relaatioiden avulla. Määritelmä Olkoon S jokin joukko symboleita. Olkoon R jokin joukko relaatioita, eli vapaan ryhmän F(S) sanoja. Olkoon N = N(R) F(S) pienin normaali aliryhmä, joka sisältää kaikki joukon R sanat. Tällöin tekijäryhmää G = F(S)/N kutsutaan generaattoreiden S ja relaatioiden R määrittelmäksi ryhmäksi. Käytetään merkintää G = S R. Esimerkki Ääretön syklinen ryhmä Z C F({a}) on yhden alkion generoima vapaa ryhmä. Tässä N on triviaali aliryhmä, joten relaatioiden joukko R on tyhjä. Voidaan siis kirjoittaa C = a, missä merkintä kertoo, että ko. ryhmällä on yksi generaattori, joka ei toteuta mitään relaatioita. Tyhjä relaatioiden joukko voidaan jättää pois, ja kirjoittaa lyhyesti C = a. Esimerkki Kertalukua n oleva syklinen ryhmä C n saatiin tekijäryhmänä F({x 1 })/ x n 1. Näin ollen C n = a a n. Huomautus Yllä generaattorien toteuttamat relaatiot kirjoitettiin sellaiseen muotoon, jossa toisella puolella oli ykkösalkio. Esimerkiksi ryhmän S 3 relaatio βαβ 1 = α 1 kirjattiin muodossa βαβ 1 α = 1, mistä oli helppo lukea ytimen alkio. Usein on tarkoituksenmukaisempaa jättää generoivien alkioiden väliset yhtälöt alkuperäiseen muotoon. Tällöin tulee G = S R merkinnässä kirjoittaa kaikki relaatiot yhtälöinä. Esimerkiksi C n = a a n = 1. 11

12 Määritelmä Olkoon S = {x 1, x 2,..., x n } ja s = c 1 c 2 c k F(S) jokin sana, missä c i = x ei f(i), e i {±}, f(i) {1, 2,..., n}. Olkoon G jokin ryhmä. Sanotaan, että ryhmän G alkiot a 1, a 2,..., a n toteuttavat relaation s, jos a e1 f(1) ae2 f(2) a f(k) = 1 G. Huomautus Erityisesti siis ryhmän G = S R alkiot x 1 N, x 2 N,..., x n N toteuttavat kaikki joukon R relaatiot. Lemma Olkoot S = {x 1, x 2,..., x n } joukko generaattoreita, ja R F(S) joukko relaatioita. Olkoot edelleen G jokin ryhmä, ja a 1, a 2,..., a n G alkioita, jotka toteuttavat joukon R relaatiot. Tällöin on olemassa sellainen homomorfismi F : S > R G, jolle F(x i N) = a i kaikille i = 1, 2,..., n. Todistus. Vapaan ryhmän universaalisuusominaisuuden nojalla on olemassa homomorfismi f : F(S) G, jolle f(x i ) = a i kaikille i = 1, 2,..., n. Koska alkiot a 1, a 2,..., a n toteuttavat joukon R relaatiot, niin kaikille s R on f(s) = 1 G. Siis R ker f F(S). Koska N = N(R) on pienin ryhmän F(S) normaali aliryhmä, joka sisältää kaikki joukon R sanat, niin voimme päätellä, että N ker f. Näin ollen kuvaus f : F(S)/N G, f(sn) = F(S) on hyvinmääritelty. Se on selvästi myös homomorfismi (viittaus sopivaan aiempaan lemmaan). Esimerkki Osoitetaan, että S 3 a, b a 3 = 1 = b 2, bab 1 = a 1. Ratkaisu. Olkoon G = a, b a 3 = 1 = b 2, bab 1 = a 1. Aiemmin jo näimme että ryhmän S 3 generoivat permutaatiot α = (123) ja β = (23) toteuttavat luetellut relaatiot. Näin ollen Lemman 1.45 nojalla on olemassa ryhmähomomorfismi f : G S 3, jolle f(a) = α ja f(b) = β. Koska α ja β generoivat ryhmän S 3 (Esimerkki 1.25), niin f on surjektio. Osoitamme, että f on myös injektio. Tämä seuraa, jos voimme päätellä, että ryhmässä G on enintään kuusi alkiota. Kirjoitetaan viimeinen relaatio muodossa ba = a 1 b. Käytämme tätä sanojen s F({a, b}) muokkaamiseen seuraavalla tavalla. Jos sanassa s on jossakin kohtaa b ja a peräkkäin, b ensin, niin korvaamme merkkijonon ba merkkijonolla a 1 b. Väite on, ettei tämä operaatio muuta vastaavaa ryhmän G alkiota. Perustelu on seuraava, Jos s = s 1 bas 2, missä s 1, s 2 F(s), ja vastaavasti s = s 1 a 1 bs 2, niin tällöin ss 1 = (s 1 bas 2 )(s 1 2 b 1 as 1 1 ) = s 1(bab 1 a)s 1 1 on relaation bab 1 a konjugaatti, ja näin ollen aliryhmän N = N(R) alkio. Näin ollen sn = s N, eli sanat s ja s määräävät edustavat samaa ryhmän G = F({a, b})/n alkiota. Soveltamalla tätä operaatiota toistuvasti nähdään helposti, että ryhmän G jokainen alkio voidaan kirjoittaa muodossa a i b j, missä i, j Z. Ideana on yksinkertaisesti siirtää kaikki b:n esiintymät kaikkien a:n 12

13 esiintymien jälkeen korvaamalla aina symbolipari ba parilla a 1 b. Huomaa, että koska ryhmässä G on voimassa b 2 = 1, niin b = b 1, ja samoin a 1 = a 2, joten emme tarvitse lisärelaatioita käänteisalkioiden käsittelemistä varten. Esimerkiksi a 1 ba 2 b = a 1 (ba)ab = a 1 (a 1 b)ab = a 2 (ba)b = a 2 (a 1 b)b = a 3 b 2, mikä itse asiassa on ryhmän G neutraalialkio, näetkö miksi? Loppu on helppoa. Koska a 3 = 1, alkiolla a on enintään kolme erisuurta potenssia. Koska b 2 = 1, alkiolla b on eri potensseja enintään kaksi. Näin ollen muotoa a i b j olevia alkioita on enintään kuusi kappaletta. Huomaa, ettemme ole vielä perustelleet, että nämä kuusi alkiota ovat kaikki eri alkioita! Näimme kuitenkin, että ryhmältä G on surjektiivinen homomorfismi f ryhmälle S 3. Koska S 3 = 6, voimme päätellä, että ryhmässä G on oltava ainakin kuusi alkiota. Siis G = 6 jolloin f on bijektio, siis isomorfismi, ja G S 3. 13

14 Luku 2 Ryhmän toiminta joukossa 2.1 Toiminta, peruskäsitteet Useat ryhmien sovellukset liittyvät siihen, miten ryhmä permutoi jonkin muun joukon alkioita. Tämä tarjoaa myös tavan tutkia ryhmän rakennetta. Ideana on tällöin, että meillä on käytössämme laskutoimituksen luonteinen funktio : G X X, jossa syötteenä on pari (g, x), ja tuloksena joukon X alkio. Tästä käytetään usein merkintää g x Määritelmä 2.1. Olkoon G ryhmä ja X joukko, X. Sanotaan, että funktio : G X X määrittelee ryhmän G toiminnan joukossa X, jos säännöt (i) 1 x = x, ja (ii) g (h x) = (gh) x ovat voimassa kaikille x X ja kaikille g, h G. Huomautus 2.2. Ensimmäinen aksiooma tarkoittaa, että neutraalialkio toimii triviaalista (=ei liikuta mitään joukon X alkioita), ja jälkimmäinen aksiooma puolestaan on eräänlainen assosiatiivilaki, ja sitoo ryhmän laskutoimituksen ja sen toiminnan toisiinsa. Esimerkki 2.3. Ryhmä Sym(X) toimii joukossa X luonnollisella tavalla: σ x = σ(x). Erityisesti siis permutaatio ryhmä S n toimii joukossa J n. Toiminta tapahtuu aina joukon X permutaatioiden välityksellä. Seuraava tulos kirjaa tämän ja muitakin perusajatuksia. Lemma 2.4. Oletetaan, että ryhmä G toimii joukossa X. Kiinnittämällä alkio g G saadaan funktio ρ(g) : X X, x g x. Funktio ρ(g) on tällöin välttämättä bijektio. Funktio ρ(g 1 ) on sen käänteiskuvaus. Lisäksi kuvaus ρ : G Sym(X) on ryhmähomomorfismi. Kääntäen, jos meillä on annettu ryhmähomomorfismi ρ : G Sym(X), 14

15 niin sääntö g x = ρ(g)(x) määrittelee tällöin ryhmän G toiminnan joukossa X. Todistus. Tutkitaan yhdistettyä kuvausta ρ(g 1 ) ρ(g). Olkoon x X mielivaltainen. Tällöin (ρ(g 1 ) ρ(g))(x) = ρ(g 1 )(ρ(g)(x)) = ρ(g 1 )(g x) = g 1 (g x) = (g 1 g) x = 1 x = x. Näin ollen yhdistetty kuvaus ρ(g 1 ) ρ(g) on joukon X identiteettikuvaus id X. Soveltamalla tätä alkioon g 1 nähdään, että myös yhdistetty kuvaus ρ(g) ρ(g 1 ) = id X. Näin ollen ne ovat toistensa käänteiskuvauksia ja siten bijektioita. Kuvauksen g ρ(g) homomorfisuus seuraa suoraan toiminta-aksioomista. Käänteinen versio jätetään harjoitustehtäväksi. Esimerkki 2.5. Ryhmä G voi toimia joukossa X monella eri tavalla. Aina on mahdollista määritellä ns. triviaali toiminta, jossa g x = x kaikilla g G, x X. Esimerkki 2.6. Jos ryhmä G toimii joukossa X, ja H G, niin rajoittamalla toimintakuvaus aliryhmään H saadaan ryhmän H toiminta joukossa X. Erityisesti siis jokainen ryhmän S n aliryhmä toimii joukossa J n. Määritelmä 2.7. Oletetaan, että ryhmä G toimii joukossa X. Kiinnitetään alkio x X. Joukkoa Stab G (x) = {g G g x = x} kutsutaan alkion x stabilisaattoriksi. Helposti nähdään, että Stab G (x) G. Joukkoa O G (x) = {g x g G} X kutsutaan alkion x radaksi. Lause 2.8. (Rata stabilisaattori -lause) Oletetaan, että äärellinen ryhmä G toimii joukossa X. Kiinnitetään x X. Merkitään H = Stab G (x). Tällöin kaikilla a, b G on voimassa a x = b x silloin ja vain silloin, kun a bh. Erityisesti O G (x) = G H. Todistus. Toiminta-aksioomista seuraa, että a x = b x silloin ja vain silloin, kun (b 1 a) x = x eli, joss b 1 a H. Tämä on yhtäpitävää ehdon a bh kanssa (PK I). Näin ollen radan O G (x) alkiot vastaavat bijektiivisesti aliryhmän H sivuluokkia ryhmässä G. Näiden lukumäärä on G / H. Huomautus 2.9. Erityisesti näemme, että radan alkioiden lukumäärä on äärellisen ryhmän tapauksessa aina ryhmän kertaluvun tekijä. Esimerkki Ryhmä G operoi itsellään (X = G) seuraavilla tavoilla: Vasemmalta kertomalla, kun määritellään g x = gx. Tähän liittyvää toimintahomomorfismia ρ : G Sym(X) kutsutaan Cayleyn toiminnaksi (tai homomorfismiksi). Sitä käytettiin peruskurssilla osoittamaan, että G on isomorfinen symmetrisen ryhmän aliryhmän kanssa. Tässä toiminnassa on vain yksi rata, O G (x) = G kaikilla x G. Stabilisaattorit ovat triviaaleja, sillä ehdosta gx = x seuraa g = 1. 15

16 Oikealta kertomalla, kun määritellään g x = xg 1. Tässä käänteisalkion käyttö on välttämätöntä. Toiminta-aksioomat seuraavat säännöstä (gh) 1 = h 1 g 1. Konjugoimalla, kun määritellään g x = gxg 1. Tämän toiminnan ratoja kutsutaan konjugaattiluokiksi [x] = {gxg 1 g G}. ja stabilisaattoreja kutsutaan sentralisaattoreiksi C G (x) = {g G gx = xg}. Rata stabilisaattori -lauseen nojalla [x] = G / C G (x). Esimerkki Jos G on abelin ryhmä, niin sen jokainen alkio muodostaa yksinään konjugaattiluokan, [x] = {x}. Sentralisaattori on tällöin koko G. Yleisemminkin, jos alkio x kuuluu ryhmän G keskukseen Z(G) = {x G gx = xg kaikilla g G}, niin jälleen [x] = {x}. Esimerkki PK II:n mukaan ryhmän S n permutaatiot ovat samassa konjugaattiluokassa silloin ja vain silloin, kun ne ovat samaa tyyppiä. Esimerkiksi ryhmässä S 4 2-syklin α = (12) konjugaattiluokka muodostuu kaikista 2-sykleistä: [α] = {(12), (13), (14), (23), (24), (34)}. Esimerkiksi (34) = βαβ 1 kun valitaan β = (13)(24). Konjugaattiluokassa [α] on kuusi alkiota, joten rata stabilisaattori -lauseen nojalla alkion α sentralisaattorissa on oltava S 4 /6 = 4 alkiota. Pienen kokeilun jälkeen huomaammekin, että C S4 (α) = {1, (12), (34), (12)(34)}. Seuraava tulos valaisee samaan rataan kuuluvien alkioiden stabilisaattorien välistä suhdetta. Lause Oletetaan, että ryhmän G toimii joukossa X. Oletetaan, että g x = y joillekin x, y X, g G. Tällöin g 1 Stab G (y)g = Stab G (x), eli alkioiden x ja y stabilisaattorit ovat konjugaattialiryhmiä. Todistus. Jos h Stab G (y) on mielivaltainen, niin tällöin (g 1 hg) x = g 1 (h (g x)) = g 1 (h y) = g 1 y = x, joten g 1 hg Stab G (x). Näin ollen g 1 Stab G (y)g Stab G (x). Soveltamalla samaa faktaa relaatioon g 1 y = x saadaan käänteisen sisältymisrelaation kanssa ekvivalentti tulos g Stab G (x)g 1 Stab G (y). Väite seuraa tästä. 16

17 Usein törmätään tilanteeseen, jossa ryhmä G luonnollisesti toimii joukossa X, mutta meitä kiinnostaakin funktiojoukko F(X, M) = {f : X M f on funktio} tai funktiojoukko F(M, X). Tässä M on jokin toinen joukko. Seuraavan havainnon nojalla G toimii myös tällaisessa funktiojoukossa. Lause Oletetaan, että ryhmä G toimii joukossa X. Olkoon ρ : G Sym(X) vastaava toimintahomomorfismi. Olkoon M jokin toinen joukko. Tällöin (i) G toimii joukossa F(M, X) säännön (g f)(m) = g f(m) mukaisesti. Tässä f F(M, X) ja m M ovat mielivaltaisia. (ii) G toimii joukossa F(X, M) säännön (g f)(x) = f(g 1 x) mukaisesti. Tässä f F(X, M) ja x X ovat mielivaltaisia. Todistus. Todistuksen idea tullee selkeämmäksi, kun kirjoitamme toimintasäännön uudellee toimintahomomorfismin ρ avulla. Ensimmäisessä tapauksessa toimintasääntö voidaan kirjoittaa muodossa g f = ρ(g) f. Koska kuvausten yhdistäminen on assosiatiivista, niin toiminta-aksioomat seuraavat helposti. 1 f = ρ(1) f = id X f = f, ja (gh) f = ρ(gh) f = (ρ(g) ρ(h)) f = ρ(g) (ρ(h) f) = g (h f) kaikilla g, h G, f F(M, X). Jälkimmäisessä tapauksessa, kun G toimiikin lähtöjoukossa, sääntö voidaan kirjoittaa muodossa g f = f ρ(g 1 ). Tällöin (gh) f = f ρ((gh) 1 ) = f ρ(h 1 ) ρ(g 1 ) = g (h f). Käänteisalkion käyttö on tässä tarpeen samasta syystä kuin ryhmän toimiessa itsellään oikealta kerrottaessa käänteisalkion käyttö kääntää tulon tekijöiden järjestyksen. 17

18 2.2 Luokkayhtälö, Cauchyn lause Tutkitaan tarkemmin tarkemmin, mitä rata stabilisaattori -lause sanoo äärellisen ryhmän G konjugointitoiminnasta itsellään. Valitaan jokin konjugaattiluokkien edustajisto D, eli ryhmän G sellainen osajoukko, jossa on mukana jokaisesta konjugaattiluokasta tarkalleen yksi alkio. Koska jokainen keskuksen Z(G) alkio on konjugaattiluokkansa ainoa edustaja, niin välttämättä Z(G) D. Jos x D, niin konjugaattiluokassa [x] on kaavan G / C G (x) osoittama määrä alkioita. Koska konjugaattiluokissa on yhteensä G alkiota, olemme perustelleet ns. luokkayhtälön. Lause (Luokkayhtälö) Ryhmän G, sen keskuksen, ja konjugaattiluokkien alkioiden lukumääriä sitoo toisiinsa yhtälö G = Z(G) + Tässä summalausekkeen jokainen termi on > 1. x D\Z(G) G C G (x). Luokkayhtälöstä seuraa yllättävän monia tuloksia.ťtarkastelemme niistä ensimmäisenä Cauchyn lausetta, joka sanoo, että jos jokin alkuluku p jakaa äärellisen ryhmän G kertaluvun, niin ryhmästä G löytyy ainakin yksi kertalukua p oleva alkio. Todistamme tämän ensin äärellisille Abelin ryhmille, ja sitten luokkayhtälön avulla yleisesti. Lemma Oletetaan, että G on äärellinen Abelin ryhmä, ja että p G. Tällöin on olemassa alkio x G, jonka kertaluku on p. Todistus. Todistamme tämän induktiolla ryhmän kertaluvun n = G suhteen. Induktion lähtökohtana on tapaus n = p. Tällöin Lagrangen lauseen nojalla ryhmän G minkä tahansa alkion x 1 kertaluku on väistämättä p, ja väite pitää paikkansa tässä tapauksessa. Oletetaan sitten, että G on mielivaltainen. Valitaan alkio x 1. Koska G on äärellinen, ord G (x) = m on jokin äärellinen luku. Jos tässä p m, niin tällöin m = pl, missä l on luonnollinen luku. Peruskurssin syklisiä ryhmiä koskevan tuloksen perusteella alkio x l on kertalukua m/ syt(m, l) = m/l = p. Väite on siis todistettu tässä tapauksessa. Jos taas m ei ole jaollinen luvulla p, niin tällöin m G (Lagrange), ja G /m on p:llä jaollinen. Merkitään H = x. Tällöin tekijäryhmän G/H alkioiden lukumäärä on G /m < G. Lisäksi p G / H. Voimme soveltaa induktio-oletusta tekijäryhmään G/H, joten on olemassa sivuluokka ah, jonka kertaluku ryhmässä G/H on p. Tutkitaan alkiota a G. Oletuksemme tarkoittaa, että pienin ehdon a n H toteuttava eksponentti n = p. Jos k = ord G (a), niin tietenkin myös a k H. Bezout n identiteetin nojalla myös a syt(p,k) H, joten voimme päätellä, että p k. Kuten yllä, tästä seuraa, että alkio a k/p on kertalukua p. Lause (Cauchyn lause) Oletetaan, että G on äärellinen ryhmä, jonka kertaluku on jaollinen alkuluvulla p. Tällöin on olemassa alkio x G, jolle ord G (x) = p. 18

19 Todistus. Todistamme väitteen induktiolla ryhmän G kertaluvun suhteen. Jos G = p, niin väite seuraa Lagrangen lauseesta. Muussa tapauksessa päättelemme seuraavasti. Jos p Z(G), niin väite seuraa Lemmasta Keskus Z(G) on selvästi Abelin ryhmä. Muutoin tutkimme luokkayhtälöä G = Z(G) + x D\Z(G) G C G (x). Siinä vasen puoli on jaollinen luvulla p. Oikealta puolelta tiedämme, ettei Z(G) ole jaollinen luvulla p. Näin ollen summalausekkeessa on oltava ainakin yksi sellainen termi, joka ei ole p:llä jaollinen. Olkoon G / C G (x) eräs tällainen. Tässä siis osamäärä ei ole jaollinen p:llä, mutta osoittaja on. Voimme päätellä, että p C G (x). Koska tässä x / Z(G), niin C G (x) on aito aliryhmä, jonka kertaluku on p:llä jaollinen. Induktio-oletuksen nojalla aliryhmässä C G (x) on kertalukua p oleva alkio y. Tämä y on vaadittu alkio. Esimerkki Ryhmän S 3 kertaluku on jaollinen alkuluvuilla 2 ja 3. Vaadittuja kertalukuja olevia alkioita on useita, (12) on kertalukua kaksi, ja (123) kertalukua kolme. Jos p on alkuluku, niin ryhmän S p jokainen p- sykli on kertalukua p. Harjoitustehtävänä voit perustella, miksi kaikki ryhmän S p kertalukua p olevat alkiot ovat p-syklejä. Toisena luokkayhtälön seurauksena esittelen seuraavan tuloksen. Määritelmä Olkoon p jokin alkuluku. Sanotaan, että äärellinen ryhmä G on p-ryhmä, jos p on sen kertaluvun ainoa alkutekijä. Väistämättä tällöin G = p n jollekin kokonaisluvulle n > 0. Esimerkki Harjoitustehtävänä voit osoittaa, että affiinissa ryhmässä Aff(4) on kahdeksan alkiota. Koska 8 = 2 3, niin Aff(4) on 2-ryhmä. Lause Olkoon p jokin alkuluku, ja G jokin p-ryhmä. Tällöin sen keskus Z(G) ei ole triviaali. Todistus. Tutkitaan ryhmän G luokkayhtälöä G = Z(G) + x D\Z(G) G C G (x). Jälkimmäisessä summassa kaikki termit ovat suurempia kuin yksi ja lisäksi kertaluvun G = p n tekijöitä. Erityisesti ne ovat siis kaikki jaollisia luvulla p. Koska luokkayhtälön vasen puoli on sekin jaollinen luvulla p, voimme päätellä, että vimmeinenkin termi, Z(G), on sekin jaollinen luvulla p. Erityisesti siis Z(G) > Peittoryhmistä Klassinen tilanne, jossa ryhmiin törmätään on tasokuvion tai 3-ulotteisen kappaleen K (kyseessä voi olla myös korkeampiulotteisen avaruuden objekti) symmetrioiden muodostama joukko. Objektin K symmetrioita ovat sellaiset ympäröivän avaruuden R n (yleensä siis n = 2 tai n = 3) sellaiset etäisyyden säilyttävät kuvaukset ρ : R n R n, joille lisäksi on voimassa ehto ρ(k) = K. 19

20 Yleensä objektilla K on jokin keskipiste, joka kaikissa symmetrioissa pysyy paikallaan. Kun ajatellaan origo siirretyksi tuohon keskipisteeseen, niin geometrinen päättely osoittaa, että etäisyydet säilyttävä kuvaus on välttämättä lineaarikuvaus ρ : R n R n. Tyydymme tässä lyhyesti perustellen luetellemaan tarvittavia faktoja, ja tarkastelemme lähemmin muutamien geometristen objektien symmetrioita. Lemma Lineaarikuvaus ρ : R n R n säilyttää pisteiden väliset etäisyydet silloin ja vain silloin, kun sen matriisi M avaruuden R n luonnollisen kannan (tai minkä tahansa ortonormaalin kannan suhteen) on ortogonaalinen, eli toteuttaa ehdon MM T = I n. Tällöin väistämättä det M = ±1. Erityisesti ρ on aina säännöllinen lineaarikuvaus. Todistus. Oletetaan, että kaikille x R n on voimassa ρ(x) = x. Koska kaikille x, y R n on voimassa x + y 2 = x 2 + 2(x, y) + y 2, näemme, että vektorien pituudet säilyttävä lineaarikuvaus säilyttää myös niiden väliset sisätulot, ja edelleen siis niiden väliset kulmat. Jos ajattelemme vektoreita x, y pystyvektoreina, niin niiden sisätulo voidaan kirjoittaa matriisikertolaskuna (x, y) = x T y. Koska oletamme, että kertominen matriisilla M säilyttää sisätulot, niin yhtälö (M x, M y) = (x, y) on voimassa kaikille vektoreille. Sen seurauksena yhtälö xm T My = (Mx) T (My) = (Mx, My) = (x, y) = x T y on sekin voimassa kaikille vektoreille. Kun annamme tässä x:n ja y:n käydä läpi luonnollisen kannan vektorit, saamme matriisiyhtälön M T M = I n. Determinanttia koskeva väite seuraa tästä. Jos det M = 1 sanotaan, että ρ on avaruuden R n (aito) rotaatio. Jos det M = 1 puhutaan epäaidosta rotaatiosta. Helposti nähdään, että ehdon M T M = I n toteuttavat reaalikertoimiset matriisit muodostavat ryhmän. Tätä ryhmää kutsuttan ortogonaalisten lineaarikuvausten ryhmäksi, ja siitä käytetään merkintää O n (R). Aidot rotaatiot muodostavat sen aliryhmän SO n (R) = {M O n (R) det M = 1}. Lemma Tason R 2 aito rotaatio on rotaatio! Tason epäaito rotaatio on peilaus jonkin origon kautta kulkevan suoran suhteen. Todistus. Tutkitaan ensin epäaito tapaus. Oletetaan, että M O 2 (R) ja det M = 1. Tällöin det(i 2 + M) = det(mm T + M) = det(m(m T + I 2 )) = det M det(m T + I 2 ) = det(i 2 + M), mistä voimme päätellä, että det(i 2 + M) = 0. Näin ollen λ 1 = 1 on matriisin M ominaisarvo. Olkoon x tähän ominaisarvoon kuuluva ominaisvektori, jonka voimme rajoituksetta olettaa olevan yksikkövektori. Olkoon y vektoria x vastaan kohtisuorassa oleva vektori. Koska M säilyttää kulmat, niin M x M y. Tästä seuraa, että myös y on M:n ominaisvektori. Koska matriisin determinantti on sen ominaisarvojen tulo, niin toinen ominaisarvo λ 2 = +1, ja siis My = y. Tämä tarkoittaa juurikin sitä, että M pitää y:n generoiman aliavaruuden (=origon kautta kulkeva suora L) pisteet paikallaan, ja kuvaa sitä vastaan kohtisuorat vektorit vastavektoreikseen. Näin ollen M on peilaus suoran L suhteen. 20

21 Jos M onkin aito rotaatio, niin tutkitaan vektoreita M i ja M j. Molemmat ovat yksikkövektoreita. Näin ollen on olemassa sellaiset kulmat α ja β, että Mi = (cos α, sin α) T ja Mj = (cos β, sin β) T. Koska Mi Mj, niin β = α ± π/2. Valinta β = α π/2 johtaa siihen, että det M = 1, joten β = α + π/2. Näin ollen M on kierto kulman α verran. 3-ulotteisessa avaruudessa peilaus origon kautta kulkevan tason suhteen on tällainen etäisyydet säilyttävä det = 1 kuvaus. Epäaidot rotaatiot ovat siinä mielessä epäfysikaalisia, että ne edellyttävät kappaleen purkamista atomeiksi, koska ne muuttavat avaruuden kätisyyden. Lemma Oletetaan, että M SO 3 (R). Tällöin λ = 1 on sen ominaisarvo. Jos x R 3 on vastaava ominaisvektori, niin tällöin M on kierto vektorin x määräämän suoran ympäri. Todistus. Kuten Lauseen 2.23 todistuksessa, näemme, että det(i 3 M) = 0. Yksityiskohdat harjoitustehtävänä. Koska M säilyttää vektorien väliset kulmat, niin M kuvaa vektoria x vastaan kohtisuoran tason T pisteet tasoon T. Näin ollen lineaarikuvauksen M rajoittuma tasoon T on sen etäisyydet säilyttävä lineaarikuvaus. Lauseen 2.23 nojalla kyseessä on tason T kierto. Väite seuraa tästä. Ympäröivän avaruuden R n identiteettikuvaus on minkä tahansa objektin K symmetria. Jos ρ 1 ja ρ 2 ovat objektin K symmetrioita, niin tällöin selvästi myös ρ 1 ρ 1 2 on symmetria, joten objektin K symmetriat muodostavat lineaarikuvausten ryhmän aliryhmän, jota kutsumme objektin K peittoryhmäksi. Esimerkki Määrätään tason säännöllisen n-kulmion symmetrioiden ryhmä, eli diedriryhmä D n, kun n > 2. 3 B 2 C A 4 1 D F 5 E 6 Kuva 2.1: Säännöllisen 6-kulmion osien nimilaput 21

22 Ratkaisu. Kaikki alla sanottu yleistyy jokaisella n:n arvolla. Kuvaan 2.1 viitattaessa kuitenkin oletetaan, että n = 6. Säännöllisen n-kulmion kärjet ovat tarkalleen ne pisteet, jotka ovat kauimpana sen keskipisteestä (jonka asetamme origoon yllä kuvatuista syistä). Näin ollen kaikki symmetriat permutoivat kärkien joukkoa. Oletamme lisäksi n-kulmion oleva sellaisessa asennossa, että yksi kärjistä on x-akselilla. Koska origosta kärkiin osoittavat vektorit generoivat koko avaruuden R 2, niin kuvien tunteminen määrää lineaarikuvauksen täysin. Näin ollen peittoryhmän D n alkio määräytyy yksikäsitteisesti, kun tiedämme, miten se permutoi kärkien joukkoa. Numeroimme kärjet, jolloin niitä esittää joukko X 1 = J n, jossa D n toimii. Rajoituksetta voimme olettaa, että kärki numero 1 on x-akselilla. Itse asiassa jo origosta kärkiin 1 ja 2 osoittavat vektorit generoivat koko avaruuden R 2, joten ρ D n määräytyy täysin, kun tunnemme kärjet ρ(1) ja ρ(2). Tason rotaatio ( cos 2π r = n sin 2π n sin 2π n permutoi kärkiä n-syklin r = (123 n) mukaisesti. Selvästi r D n. Koska sopiva rotaation r potenssi kuvaa kärjen 1 miksi tahansa halutuksi kärjeksi, niin näemme, että joukossa X 1 ryhmällä D n on vain yksi rata. Näin ollen rata stabilisaattori -lauseen nojalla D n = n Stab Dn (1). cos 2π n ) Koska n-kulmiomme symmetriat säilyttävät kärkien väliset etäisyydet, niin vierekkäiset kärjet kuvautuvat välttämättä vierekkäisiksi. Näin ollen kärjellä ρ(2) on vain kaksi vaihtoehtoa, jos olemme ensin kiinnittäneet kärjen ρ(1). Erityisesti, jos ρ(1) = 1, niin ainoat vaihtoehdot ovat ρ(2) = 2 ja ρ(2) = n. Näin ollen stabilisaattorin Stab Dn (1) kertaluku on enintään kaksi. Kuitenkin peilaus x-akselin suhteen on sekin selvästi peittoryhmän D n alkio, ja lisäksi pitää kärjen 1 paikallaan. Käytämme tästä peilauksesta nimeä s. Näin ollen Stab Dn (1) = s on kertalukua kaksi, ja D n = 2n. Ryhmässä D 6 peilaus s toimii kärkien joukossa X 1 permutaationa s = (26)(35). Rotaation r generoimassa aliryhmässä r on selvästi n alkiota. Koska peilauksen determinantti on 1 ja rotaation +1, niin ryhmän D n muut alkiot ovat sivuluokassa s r = {sr i i = 0, 1, 2..., n 1}. Laskujen helpottamiseksi johdamme vielä säännön, jonka avulla laskut diedriryhmissä helpottuvat. Tarvitsemamme sääntö on visuaalisesti perusteltavissa seuraavasti: jos tason pistettä x R 2 kierretään kulman α verran positiiviseen kiertosuuntaan pisteeseen r(x), niin sen peilikuva s(x) kiertyy saman verran negatiiviseen kiertosuuntaan. Siis sr(x) = r 1 s(x) kaikille x R 2. Yhtälö sr = r 1 s voidaan ekvivalentista kirjoittaa muodossa srs 1 = r 1. Tässä muodossa kirjoitettuna näemme, että itse asiassa konjugoimme alkiota r alkiolla s. Koska konjugointi on ryhmähomomorfismi, tästä seuraa heti relaatiot sr i s 1 = r i sr i = r i s 22

23 kaikille eksponentin i arvoille. Kuvan tapauksessa n = 6 voimme vielä tarkistaa relaation käyttämällä alkioiden r ja s sykliesityksiä: srs 1 = (26)(35)(123456)(62)(53) = (165432) = r 1. Peittoryhmän D n alkiot toimivat myös monikulmiomme sivujen joukossa X 2 = {A, B, C,...}. Kuvan perusteella tällöin r = (ABCDEF) ja s = (AF)(BE)(CD). Peilauksen s syklirakenne on tässä hieman erilainen kuin sen toimiessa joukossa X 1. Tässä ei tietenkään ole mitään hämmentävää, koska toiminta on siirtynyt eri joukkoon. Alkioita sr i, i = 0, 1, 2,..., n 1, vastaavien lineaarikuvausten determinantit ovat kaikki = 1. Lemman 2.23 nojalla ne ovat kaikki peilauksia. Pohditaan tätä hetki. Suoralla laskulla näemme, että sr = (26)(35)(123456) = (16)(25)(34). Kuvan 2.1 perusteella näyttää siltä, että sr on peilaus sivujen C ja F keskipisteitä yhdistävän janan suhteen. Samaan havaintoon päästään tekemällä sama lasku ryhmässä Sym(X 2 ): sr = (AF)(BE)(CD)(ABCDEF) = (AE)(BD), millä on alkiot C ja F kiintopisteinä. Edellisen kappaleen havainto yleistyy seuraavasti (mieti sitä harjoitustehtävänä). Kun n on parillinen, peilauksista sr i puolet on peilauksia kahta vastakkaista kärkeä yhdistävän janan suhteen, ja puolet peilauksia kahden vastakkaisen sivun keskipisteitä yhdistävän suoran suhteen. Kun n on puolestaan pariton, jokainen peilaussuora yhdistää yhden kärjen ja sille vastakkaisen sivun keskipisteen. Esimerkki Selvitetään millaisia symmetrioita kuutiolla on. Ratkaisu. Valitaan koordinaatisto siten, että kuution keskipiste on origossa, ja kärjet pisteissä (±1, ±1, ±1). Olkoon G O 3 (R) kuution symmetrioiden ryhmä. Kuutiolla on kahdeksan kärkeä, joita symmetriat selvästi permutoivat. Helposti (esimerkiksi käyttämällä alla kuvattuja kiertoja) nähdään, että ryhmän G toiminnassa kärkien joukossa on vain yksi rata. Sanomme, että kaksi kärkeä ovat naapureita, jos niitä yhdistävä jana on kuution särmä. Kuten Esimerkissä 2.25, symmetriat säilyvät kärkien naapuruussuhteen, ja jos tunnemme yhden kärjen ja sen kahden naapurin kuvat symmetriassa ρ, niin ρ määräytyy yksikäsitteisesti. Jokaisella kärjellä on 3 naapuria, joita voidaan permutoida enintään 3! = 6 eri tavalla. Näin ollen kärjen stabilisaattorissa on enintään 6 alkiota, ja siis G 8 6 = 48. Tulemme näkemään, että itse asiassa G = 48, eli kaikki kuusi naapurikärkien permutaatiota voidaan realisoida koko kuution symmetrioina. Aloitetaan selvittämällä millaisia rotaatiosymmetrioita SO 3 (R). Lemman 2.24 nojalla rotaatiolla on jokin akseli. Olkoon G + = G SO 3 (R) rotaatiosymmetrioiden ryhmä. Symmetria-akseleita on kolmea eri tyyppiä. Käyn ne läpi geometriseen havaintoon vedoten (luentokalvoissa vastaavat kierrot on animoitu). Eräs ilmeinen symmetria-akseli, Kuva 2.2, yhdistää kahden vastakkaisen tahkon keskipisteet. Tällaisia 23

24 Kuva 2.2: Kertalukua neljä olevan kiertosymmetrian akseli symmetria-akseleita kuutiolla on 3 kappaletta, yksi kutakin vastakkaisten tahkojen paria kohti. Kuutio kuvaa itselleen, kun sitä kierretään tällaisen akselin ympäri minkä tahan 90 asteen monikerran verran. Tällainen 90 asteen kierto on kertalukua neljä. Sen käänteisalkio on kierto vastakkaiseen suuntaan. Sen neliö on 180 asteen kierto saman akselin ympäri, mikä on oma käänteiskuvauksensa. Kaiken kaikkiaan kuutiolla on siis 6 kappaletta 90 asteen kiertosymmetrioita ja 3 kappaletta 180 asteen kiertoja tällaisten akselien ympäri. Vähemmän ilmeinen symmetria-akseli, Kuvassa 2.3, yhdistää kahden vastakkaisen särmän keskipisteet. Kuutio kuvautuu itselleen, kun sitä kierretään tämän akselin ympäri 180 astetta. Nämä kierrot ovat siis Kuva 2.3: Kertalukua kaksi olevan kiertosymmetrian akseli ryhmän G + kertalukua kaksi olevia alkioita. Särmiä on kaiken kaikkiaan 12 kappaletta, ja ne jakautuvat 24

25 kuuteen vastakkaisten särmien pariin. Tällaisia kiertoja on ryhmässä G + siis 6 kappaletta. Kuution avaruuslävistäjä on sekin symmetria-akseli, joka yhdistää kaksi vastakkaista kärkeä, Kuva 2.4. Tällaisen akselin päissä kohtaa kolme kuution särmää, ja 120 asteen kierto tämän akselin ympäri on kuution Kuva 2.4: Kertalukua kolme olevan kiertosymmetrian akseli symmetria. Ilman animaatiota sen hahmottaminen voi olla vaikeaa, joten kerron, että vastaava lineaarikuvaus, kun akselin päätepisteet ovat ±(1, 1, 1) on ρ : (x, y, z) (y, z, x). Tämän kuvauksen perusteella on ilmeistä, että ρ kuvaa kuution [ 1, 1] [ 1, 1] [ 1, 1] itselleen, ja että se on kertalukua kolme. Tällaisia avaruuslävistäjiä on neljä kappaletta, kahdeksan kärkeä jakautuvat neljäksi pariksi, ja tällaisia kiertosymmetrioita on siten 8 kappaletta. Kun otamme huomioon identiteettikuvauksen, olemme löytäneet kaikkiaan = 24 symmetriaa SO 3 (R). Selvästi peilaus tason z = 0 suhteen, eli kuvaus s : (x, y, z) (x, y, z) on sekin kuution symmetria. Sen determinantti on 1, joten kyseessä on epäaito rotaatio. Näin ollen olemme löytäneet 48 symmetriaa, G + sg +, joten tässä on kaikki. On suhteellisen helppo osoittaa, että samaa kertalukua olevat samantyyppisen akselin ympäri tehtävät kierrot ovat samassa konjugaattiluokassa. Eräs huomionarvoinen asia on, että kaikkien näiden symmetriakuvaukset ovat muotoa (x 1, x 2, x 3 ) (±x σ(1), ±x σ(2), x σ(3) ), missä kaikki kahdeksen merkkikombinaatiota, ja kaikki koordinaattien permutaatiot σ S 3 ovat mahdollisia. Tämä tarjoaa toisen tavan päätellä, että kuution peittoryhmässä G on 48 alkiota, joista tasan puolet on kiertoja. 25

26 2.4 Sovellus kombinatoriikkaan, Burnsiden lemma Kun G toimii joukossa X, merkitään ratojen joukkoa X/G. Tietyn tyyppisissä kombinatorisissa sovelluksissa tarvitaan menetelmä ratojen lukumäärän X/G laskemiseksi. Sanomme, että x X on alkion g G kiintopiste, jos g x = x. Käytetään alkion g kiintopisteiden joukosta merkintää X g = {x X g x = x}. Kaava ratojen lukumäärälle perustuu ryhmän kaikkien alkioiden kiintopisteiden lukumäärien laskemisella. Tulos tunnetaan Burnsiden lemmana, mutta se oli ainakin Burnsiden itsensä mukaan tunnettu jo aikaisemmin. Esimerkki Oletetaan, että äärellinen ryhmä G toimii joukossa X. Jos M on jokin äärellinen joukko, niin Lauseessa 2.14 näimme, miten G toimii funktiojoukossa F(X, M) = {f : X M}. Oletetaan, että g G, ja että syklisellä ryhmällä H = g on k rataa joukossa X. Tällöin alkion g kiintopisteitä joukossa F(X, M) ovat ne funktiot f, jotka saavat saman arvon jokaisella aliryhmän H radalla O H (x). Jos nimittäin g f = f, niin f(x) = (g f)(x) = f(g 1 x) kaikille x X. Radan O H (x) mielivaltainen alkio nimittäin saadaan toimimalla pisteeseen x alkiolla g 1 riittävän monta kertaa. Koska jokaista rataa O H (x) kohti voidaan valita mielivaltainen kuva joukosta M, niin kiintopistefunktioiden lukumääräksi saadaan F(X, M) g = M X/ g. Lause (Burnsiden lemma) Oletetaan, että ryhmä G toimii joukossa X ratojen lukumäärän ja kiintopisteiden lukumäärien välillä on yhteys Todistus. Tutkitaan joukkoa S G X X/G = 1 G X g, g G S = {(g, x) G X g x = x}. Siis (g, x) S silloin ja vain silloin, kun g Stab G (x tai yhtäpitävästi x X g. Laskemme joukon S alkioiden lukumäärän kahdella eri tavalla. Ensimmäisessä laskutavassa kiinnitämme ensin alkion g G. Käytämme sitten havaintoa, että (g, x) S tarkalleen X g :lla eri x:n valinnalla, nimittäin g:n kiintopisteille. Näin ollen S = X g. g G Toisessa laskutavassa kiinnitämme ensin alkion x X, ja toteamme sitten sen esiintyvän joukon S alkiossa (g, x) tarkalleen Stab G (x) kertaa. Rata stabilisaattori -lauseen nojalla saamme tuloksen S = x X Stab G (x) = x X G O G (x). ( ) 26

Esko Turunen MAT Algebra1(s)

Esko Turunen MAT Algebra1(s) Määritelmä (4.1) Olkoon G ryhmä. Olkoon H G, H. Jos joukko H varustettuna indusoidulla laskutoimituksella on ryhmä, se on ryhmän G aliryhmä. Jos H G on ryhmän G aliryhmä, merkitään usein H G, ja jos H

Lisätiedot

Esko Turunen Luku 3. Ryhmät

Esko Turunen Luku 3. Ryhmät 3. Ryhmät Monoidia rikkaampi algebrallinen struktuuri on ryhmä: Määritelmä (3.1) Olkoon joukon G laskutoimitus. Joukko G varustettuna tällä laskutoimituksella on ryhmä, jos laskutoimitus on assosiatiivinen,

Lisätiedot

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

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen anton.mallasto@aalto.fi. 1. 2. Muista. Ryhmän G aliryhmä H on normaali aliryhmä, jos ah = Ha kaikilla a G. Toisin

Lisätiedot

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara Kuvauksista ja relaatioista Jonna Makkonen Ilari Vallivaara 20. lokakuuta 2004 Sisältö 1 Esipuhe 2 2 Kuvauksista 3 3 Relaatioista 8 Lähdeluettelo 12 1 1 Esipuhe Joukot ja relaatiot ovat periaatteessa äärimmäisen

Lisätiedot

4. Ryhmien sisäinen rakenne

4. Ryhmien sisäinen rakenne 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.

Lisätiedot

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

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013 Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013 Sisältö Johdanto 2 1 Ryhmä 3 2 Symmetrinen ryhmä 6 3 Symmetriaryhmä 10 4 Dihedraalinen ryhmä 19 Lähdeluettelo

Lisätiedot

a b 1 c b n c n

a b 1 c b n c n Algebra Syksy 2007 Harjoitukset 1. Olkoon a Z. Totea, että aina a 0, 1 a, a a ja a a. 2. Olkoot a, b, c, d Z. Todista implikaatiot: a) a b ja c d ac bd, b) a b ja b c a c. 3. Olkoon a b i kaikilla i =

Lisätiedot

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

Lisää ryhmästä A 5 1 / 28. Lisää ryhmästä 14A.1 14A.2 14A.3 14A.4 14A.5 14A.6 14A.7 14A.8 14A.9 14A.10 14A.11 14A.12 14A.13 1 / 28 14A.1 14A.1 14A.2 14A.3 14A.4 14A.5 14A.6 14A.7 14A.8 14A.9 14A.10 14A.11 14A.12 14A.13 Tehtävä: Määrää ryhmän karakteritaulu,

Lisätiedot

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

Esimerkki A1. Jaetaan ryhmä G = Z 17 H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4 4 = 16 = 1}. Jaetaan ryhmä G = Z 17 n H = 4 sivuluokkiin. Ratkaisu: Koska 17 on alkuluku, #G = 16, alkiona jäännösluokat a, a = 1, 2,..., 16. Määrätään ensin n H alkiot: H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4

Lisätiedot

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

{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja 5. Aliryhmät Luvun 4 esimerkeissä esiintyy usein ryhmä (G, ) ja jokin vakaa osajoukko B G siten, että (B, B ) on ryhmä. Määrittelemme seuraavassa käsitteitä, jotka auttavat tällaisten tilanteiden käsittelyssä.

Lisätiedot

Algebra I, Harjoitus 6, , Ratkaisut

Algebra I, Harjoitus 6, , Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut (MV 6 sivua 1. Olkoot M ja M multiplikatiivisia monoideja. Kuvaus f : M M on monoidihomomorfismi jos 1 f(ab = f(af(b

Lisätiedot

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

HN = {hn h H, n N} on G:n aliryhmä. Matematiikan ja tilastotieteen laitos Algebra I Ratkaisuehdoituksia harjoituksiin 8, 23.27.3.2009 5 sivua Rami Luisto 1. Osoita, että kullakin n N + lukujen n 5 ja n viimeiset numerot kymmenkantaisessa

Lisätiedot

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

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) 31.1.-4.2.2011 OT 1. Määritellään kokonaisluvuille laskutoimitus n m = n + m + 5. Osoita, että (Z, ) on ryhmä.

Lisätiedot

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori Jarkko Peltomäki Aliryhmän sentralisaattori ja normalisaattori Matematiikan aine Turun yliopisto Syyskuu 2009 Sisältö 1 Johdanto 2 2 Määritelmiä ja perusominaisuuksia 3 2.1 Aliryhmän sentralisaattori ja

Lisätiedot

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

Teema 4. Homomorfismeista Ihanne ja tekijärengas. Teema 4 1 / 32 1 / 32 Esimerkki 4A.1 Esimerkki 4A.2 Esimerkki 4B.1 Esimerkki 4B.2 Esimerkki 4B.3 Esimerkki 4C.1 Esimerkki 4C.2 Esimerkki 4C.3 2 / 32 Esimerkki 4A.1 Esimerkki 4A.1 Esimerkki 4A.2 Esimerkki 4B.1 Esimerkki

Lisätiedot

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

802355A Algebralliset rakenteet Luentorunko Syksy Markku Niemenmaa Kari Myllylä Topi Törmä Marko Leinonen 802355A Algebralliset rakenteet Luentorunko Syksy 2016 Markku Niemenmaa Kari Myllylä Topi Törmä Marko Leinonen Sisältö 1 Kertausta kurssilta Algebran perusteet 3 2 Renkaat 8 2.1 Renkaiden teoriaa.........................

Lisätiedot

6. Tekijäryhmät ja aliryhmät

6. Tekijäryhmät ja aliryhmät 6. Tekijäryhmät ja aliryhmät Tämän luvun tavoitteena on esitellä konstruktio, jota kutsutaan tekijäryhmän muodostamiseksi. Konstruktiossa lähdetään liikkeelle jostakin isosta ryhmästä, samastetaan alkioita,

Lisätiedot

Eräitä ratkeavuustarkasteluja

Eräitä ratkeavuustarkasteluja Eräitä ratkeavuustarkasteluja Pro gradu-tutkielma Milla Jantunen 2124227 Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2014 Sisältö 1 Ryhmät ja aliryhmät 3 1.1 Ryhmä...............................

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 5: Ryhmät ja permutaatiot Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Ryhmät ja permutaatiot Väritysongelma Jos meillä

Lisätiedot

jonka laskutoimitus on matriisien kertolasku. Vastaavasti saadaan K-kertoiminen erityinen lineaarinen ryhmä

jonka laskutoimitus on matriisien kertolasku. Vastaavasti saadaan K-kertoiminen erityinen lineaarinen ryhmä 4. Ryhmät Tässä luvussa tarkastelemme laskutoimituksella varustettuja joukkoja, joiden laskutoimitukselta oletamme muutamia yksinkertaisia ominaisuuksia: Määritelmä 4.1. Laskutoimituksella varustettu joukko

Lisätiedot

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

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 Renkaat Tarkastelemme seuraavaksi rakenteita, joissa on määritelty kaksi binääristä assosiatiivista laskutoimitusta, joista toinen on kommutatiivinen. Vaadimme muuten samat ominaisuudet kuin kokonaisluvuilta,

Lisätiedot

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

H = H(12) = {id, (12)}, 7. Normaali aliryhmä ja tekijäryhmä Tarkastelemme luvun aluksi ryhmän ja sen aliryhmien suhdetta. Olkoon G ryhmä ja olkoon H G. Alkiong G vasen sivuluokka (aliryhmän H suhteen) on gh = {gh : h H} ja sen

Lisätiedot

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

Laitos/Institution Department Matematiikan ja tilastotieteen laitos. Aika/Datum Month and year Huhtikuu 2014 Tiedekunta/Osasto Fakultet/Sektion Faculty Matemaattis-luonnontieteellinen tiedekunta Laitos/Institution Department Matematiikan ja tilastotieteen laitos Tekijä/Författare Author Anna-Mari Pulkkinen Työn

Lisätiedot

Äärellisesti generoitujen Abelin ryhmien peruslause

Äärellisesti generoitujen Abelin ryhmien peruslause Tero Harju (2008/2010) Äärellisesti generoitujen Abelin ryhmien peruslause Merkintä X on joukon koko ( eli #X). Vapaat Abelin ryhmät Tässä kappaleessa käytetään Abelin ryhmille additiivista merkintää.

Lisätiedot

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

Tekijäryhmiä varten määritellään aluksi sivuluokat ja normaalit aliryhmät. 3 Tekijäryhmät Tekijäryhmän käsitteen avulla voidaan monimutkainen ryhmä jakaa osiin. Ideana on, että voidaan erikseen tarkastella, miten laskutoimitus vaikuttaa näihin osiin kokonaisuuksina, ja jättää

Lisätiedot

Symmetrisistä ryhmistä symmetriaryhmiin

Symmetrisistä ryhmistä symmetriaryhmiin Symmetrisistä ryhmistä symmetriaryhmiin 16. marraskuuta 2006 1 Symmetrisistä ryhmistä... Bijektiivistä kuvausta {1,..., n} {1,..., n} kutsutaan n-permutaatioksi. Merkitään n-permutaatioden joukkoa S n.

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet

MS-A0401 Diskreetin matematiikan perusteet MS-A0401 Diskreetin matematiikan perusteet Osa 5: Ryhmät ja permutaatiot Riikka Kangaslampi Syksy 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Ryhmät ja permutaatiot Väritysongelma Jos

Lisätiedot

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

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään 5. Primitiivinen alkio 5.1. Täydennystä lukuteoriaan. Olkoon n Z, n 2. Palautettakoon mieleen, että kokonaislukujen jäännösluokkarenkaan kääntyvien alkioiden muodostama osajoukko Z n := {x Z n x on kääntyvä}

Lisätiedot

Ryhmäteoriaa. 2. Ryhmän toiminta

Ryhmäteoriaa. 2. Ryhmän toiminta Ryhmäteoriaa 2. Ryhmän toiminta Permutaatiot kuvaavat jonkin perusjoukon alkioita toisikseen. Eräät permutaatiot jättävät joitain alkioita paikalleen, toiset liikuttavat kaikkia joukon alkioita. Kaikki

Lisätiedot

802320A LINEAARIALGEBRA OSA I

802320A LINEAARIALGEBRA OSA I 802320A LINEAARIALGEBRA OSA I Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 72 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä

Lisätiedot

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

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä 802354A Algebran perusteet Luentorunko Kevät 2017 Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä Sisältö 1 Lukuteoriaa 3 1.1 Jakoalgoritmi ja alkuluvut.................... 3 1.2 Suurin yhteinen tekijä......................

Lisätiedot

1 Lineaariavaruus eli Vektoriavaruus

1 Lineaariavaruus eli Vektoriavaruus 1 Lineaariavaruus eli Vektoriavaruus 1.1 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä V epätyhjä joukko. Oletetaan, että joukossa V on määritelty laskutoimitus

Lisätiedot

Algebran ja lukuteorian harjoitustehtäviä. 1. Tutki, ovatko seuraavat relaatiot ekvivalenssirelaatioita joukon N kaikkien osajoukkojen

Algebran ja lukuteorian harjoitustehtäviä. 1. Tutki, ovatko seuraavat relaatiot ekvivalenssirelaatioita joukon N kaikkien osajoukkojen Algebran ja lukuteorian harjoitustehtäviä Versio 1.0 (27.1.2006) Turun yliopisto Lukuteoria 1. Tutki, ovatko seuraavat relaatiot ekvivalenssirelaatioita joukon N kaikkien osajoukkojen joukolla: a) C D

Lisätiedot

Kuvaus. Määritelmä. LM2, Kesä /160

Kuvaus. Määritelmä. LM2, Kesä /160 Kuvaus Määritelmä Oletetaan, että X ja Y ovat joukkoja. Kuvaus eli funktio joukosta X joukkoon Y on sääntö, joka liittää jokaiseen joukon X alkioon täsmälleen yhden alkion, joka kuuluu joukkoon Y. Merkintä

Lisätiedot

MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen

MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen Tehtävä 1. Onko joukon X potenssijoukon P(X) laskutoimitus distributiivinen laskutoimituksen suhteen? Onko laskutoimitus distributiivinen laskutoimituksen

Lisätiedot

Liite 2. Ryhmien ja kuntien perusteet

Liite 2. Ryhmien ja kuntien perusteet Liite 2. Ryhmien ja kuntien perusteet 1. Ryhmät 1.1 Johdanto Erilaisissa matematiikan probleemoissa törmätään usein muotoa a + x = b tai a x = b oleviin yhtälöihin, joissa tuntematon muuttuja on x. Lukujoukkoja

Lisätiedot

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

Tekijäryhmän määrittelemistä varten määritellään aluksi sivuluokat ja normaalit aliryhmät. gh = {gh h H}. Tekijäryhmät Tekijäryhmän käsitteen avulla voidaan monimutkainen ryhmä jakaa suuriin, helpommin käsiteltäviin osiin. Tämän jälkeen voidaan erikseen tarkastella, miten laskutoimitus vaikuttaa näihin osiin

Lisätiedot

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

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä 802354A Algebran perusteet Luentorunko Kevät 2018 Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä Sisältö 1 Lukuteoriaa 3 1.1 Jakoalgoritmi ja alkuluvut.................... 3 1.2 Suurin yhteinen tekijä......................

Lisätiedot

renkaissa. 0 R x + x =(0 R +1 R )x =1 R x = x

renkaissa. 0 R x + x =(0 R +1 R )x =1 R x = x 8. Renkaat Tarkastelemme seuraavaksi rakenteita, joissa on määritelty kaksi assosiatiivista laskutoimitusta, joista toinen on kommutatiivinen. Vaadimme näiltä kahdella laskutoimituksella varustetuilta

Lisätiedot

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio. Määritelmä Bijektio Oletetaan, että f : X Y on kuvaus. Sanotaan, että kuvaus f on bijektio, jos se on sekä injektio että surjektio. Huom. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin

Lisätiedot

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21 säilyy Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla c b a 1 2 3 5 1 / 21 säilyy Esimerkkirelaatio R = {(1, b), (3, a), (5, a), (5, c)} c b a 1

Lisätiedot

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

rm + sn = d. Siispä Proposition 9.5(4) nojalla e d. 9. Renkaat Z ja Z/qZ Tarkastelemme tässä luvussa jaollisuutta kokonaislukujen renkaassa Z ja todistamme tuloksia, joita käytetään jäännösluokkarenkaan Z/qZ ominaisuuksien tarkastelussa. Jos a, b, c Z ovat

Lisätiedot

MAT Algebra 1(s)

MAT Algebra 1(s) 8. maaliskuuta 2012 Esipuhe Tämä luentokalvot sisältävät kurssin keskeiset asiat. Kalvoja täydennetään luennolla esimerkein ja todistuksin. Materiaali perustuu Jyväskylän, Helsingin ja Turun yliopistojen

Lisätiedot

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.

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. ALGEBRA II 27 on homomorfismi. Ensinnäkin G(a + b) a + b G(a)+G(b) (f), G(ab) ab G(a)G(b) G(a) G(b) (f), ja koska kongruenssien vasempien ja oikeiden puolten asteet ovat pienempiä kuin f:n aste, niin homomorfiaehdot

Lisätiedot

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

Syklinen ryhmä Pro Gradu -tutkielma Taava Kuha Matemaattisten tieteiden laitos Oulun yliopisto 2016 Syklinen ryhmä Pro Gradu -tutkielma Taava Kuha Matemaattisten tieteiden laitos Oulun yliopisto 2016 Sisältö Johdanto 2 1 Ryhmäteoriaa 4 1.1 Ryhmän määritelmä....................... 4 1.2 Kertaluku.............................

Lisätiedot

Tekijäryhmät ja homomorsmit

Tekijäryhmät ja homomorsmit Tekijäryhmät ja homomorsmit LuK-tutkielma Henna Isokääntä 1953004 henna.isokaanta@gmail.com Matemaattiset tieteet Oulun yliopisto Kevät 2019 Sisältö Johdanto 1 1 Tekijäryhmät 1 2 Homomorsmit 3 Lähdeluettelo

Lisätiedot

LUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että

LUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että LUKUTEORIA A Harjoitustehtäviä, kevät 2013 1. Olkoot a, b, c Z, p P ja k, n Z +. (a) Osoita, että jos niin Osoita, että jos niin (c) Osoita, että jos niin (d) Osoita, että (e) Osoita, että a bc ja a c,

Lisätiedot

Algebra 1, harjoitus 9, h = xkx 1 xhx 1. a) Käytetään molemmissa tapauksissa isomorfialausetta. Tarkastellaan kuvauksia

Algebra 1, harjoitus 9, h = xkx 1 xhx 1. a) Käytetään molemmissa tapauksissa isomorfialausetta. Tarkastellaan kuvauksia Algebra 1, harjoitus 9, 11.-12.11.2014. 1. Olkoon G ryhmä ja H G normaali aliryhmä. Tiedetään, että tällöin xhx 1 H kaikilla x G. Osoita, että itse asiassa xhx 1 = H kaikilla x G. Ratkaisu: Yritetään osoittaa,

Lisätiedot

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

7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi 7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi Z p [x]/(m), missä m on polynomirenkaan Z p [x] jaoton polynomi (ks. määritelmä 3.19).

Lisätiedot

[a] ={b 2 A : a b}. Ekvivalenssiluokkien joukko

[a] ={b 2 A : a b}. Ekvivalenssiluokkien joukko 3. Tekijälaskutoimitus, kokonaisluvut ja rationaaliluvut Tässä luvussa tutustumme kolmanteen tapaan muodostaa laskutoimitus joukkoon tunnettujen laskutoimitusten avulla. Tätä varten määrittelemme ensin

Lisätiedot

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

3 Ryhmäteorian peruskäsitteet ja pienet ryhmät, C 2 3 Ryhmäteorian peruskäsitteet ja pienet ryhmät, C 2 Olen valinnut kunkin luvun teemaksi yhden ryhmän. Ensimmäisen luvun teema on pienin epätriviaali ryhmä, eli ryhmä, jossa on kaksi alkiota. Merkitsen

Lisätiedot

Lineaariset ryhmät Pro gradu -tutkielma Miia Lillstrang Matematiikan yksikkö Oulun yliopisto 2016

Lineaariset ryhmät Pro gradu -tutkielma Miia Lillstrang Matematiikan yksikkö Oulun yliopisto 2016 Lineaariset ryhmät Pro gradu -tutkielma Miia Lillstrang 2187044 Matematiikan yksikkö Oulun yliopisto 2016 Sisältö Johdanto 2 1 Esitietoja 3 1.1 Ryhmät.............................. 3 1.1.1 Ryhmä ja aliryhmä....................

Lisätiedot

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

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120 Tehtävä 1 : 1 Merkitään jatkossa kirjaimella H kaikkien solmujoukon V sellaisten verkkojen kokoelmaa, joissa on tasan kolme särmää. a) Jokainen verkko G H toteuttaa väitteen E(G) [V]. Toisaalta jokainen

Lisätiedot

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

1. Tarkastellaan esimerkissä 4.9 esiintynyttä neliön symmetriaryhmää Ryhmäteoreettinen näkökulma Rubikin kuutioon Matematiikan ja tilastotieteen laitos Syksy 2010 Harjoitus 2 Ratkaisuehdotus 1. Tarkastellaan esimerkissä 4.9 esiintynyttä neliön symmetriaryhmää D 8 = { id,

Lisätiedot

Algebra I, harjoitus 8,

Algebra I, harjoitus 8, Algebra I, harjoitus 8, 4.-5.11.2014. 1. Olkoon G ryhmä ja H sen normaali aliryhmä. Todista, että tällöin G/H on ryhmä, kun määritellään laskutoimitus joukossa G/H asettamalla aina, kun x, y G (lauseen

Lisätiedot

ja jäännösluokkien joukkoa

ja jäännösluokkien joukkoa 3. Polynomien jäännösluokkarenkaat Olkoon F kunta, ja olkoon m F[x]. Polynomeille f, g F [x] määritellään kongruenssi(-relaatio) asettamalla g f mod m : m g f g = f + m h jollekin h F [x]. Kongruenssi

Lisätiedot

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

Ryhmäteoreettinen näkökulma Rubikin kuutioon Harjoitus 6, ratkaisuehdotus (5 sivua) Ryhmäteoreettinen näkökulma Rubikin kuutioon Harjoitus 6, ratkaisuehdotus (5 sivua) 10.12.2012 Tehtävä 1. Osoita, että tuloryhmän R np R sp indeksi Rubikin paikkaryhmässä R p on täsmälleen kaksi. (Tarkkaan

Lisätiedot

Alternoivien ryhmien ominaisuuksista

Alternoivien ryhmien ominaisuuksista Alternoivien ryhmien ominaisuuksista Pro gradu -tutkielma Anssi Aska 2257068 Matemaattisten tieteiden laitos Oulun yliopisto 2017 Sisältö 1 Johdanto 2 2 Peruskäsitteitä 3 2.1 Ryhmä ja aliryhmä........................

Lisätiedot

ALGEBRA KEVÄT 2013 JOUNI PARKKONEN

ALGEBRA KEVÄT 2013 JOUNI PARKKONEN ALGEBRA KEVÄT 2013 JOUNI PARKKONEN Algebra käsittelee laskemista. Osin tämä tarkoittaa numeroilla laskemista lukualueissa N, Z, Q, R, C laskutoimituksilla + ja ja niiden käänteisoperaatioilla ja / siinä

Lisätiedot

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141 Lineaarialgebra ja matriisilaskenta II LM2, Kesä 2012 1/141 Kertausta: avaruuden R n vektorit Määritelmä Oletetaan, että n {1, 2, 3,...}. Avaruuden R n alkiot ovat jonoja, joissa on n kappaletta reaalilukuja.

Lisätiedot

(1.1) Ae j = a k,j e k.

(1.1) Ae j = a k,j e k. Lineaarikuvauksen determinantti ja jälki 1. Lineaarikuvauksen matriisi. Palautetaan mieleen, mikä lineaarikuvauksen matriisi annetun kannan suhteen on. Olkoot V äärellisulotteinen vektoriavaruus, n = dim

Lisätiedot

Tensorialgebroista. Jyrki Lahtonen A = A n. n=0. I n, I = n=0

Tensorialgebroista. Jyrki Lahtonen A = A n. n=0. I n, I = n=0 Tensorialgebroista Esitysteorian kesäopintopiiri, Turun yliopisto, 2012 Jyrki Lahtonen Olkoon k jokin skalaarikunta. Kerrataan k-algebran käsite: A on k-algebra, jos se on sekä rengas että vektoriavaruus

Lisätiedot

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx x x x x x x x x Matematiikan johdantokurssi, syksy 08 Harjoitus, ratkaisuista Hanoin tornit -ongelma: Tarkastellaan kolmea pylvästä A, B ja C, joihin voidaan pinota erikokoisia renkaita Lähtötilanteessa

Lisätiedot

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

x gxg 1 Esimerkin 3-sykli saatiin siis konjugoimalla siirretyksi toimimaan lukujen 1, 2 ja 3 sijasta luvuilla 5, 8 ja 6. 4 Konjugointi 4.1 Konjugoinnin määritelmä Usein ryhmän alkiot kuvaavat operaatioita jossain joukossa. Permutaatiot ovat tästä hyvä esimerkki. Tällaisessa tapauksessa voidaan konjugoinnilla siirtää jossain

Lisätiedot

Luupit Pro gradu Anni Keränen Matemaattisten tieteiden laitos Oulun yliopisto 2014

Luupit Pro gradu Anni Keränen Matemaattisten tieteiden laitos Oulun yliopisto 2014 Luupit Pro gradu Anni Keränen Matemaattisten tieteiden laitos Oulun yliopisto 2014 Sisältö Johdanto 2 1 Perusteita 3 1.1 Kuvauksista............................ 3 1.2 Relaatioista............................

Lisätiedot

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

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin 8 (7 sivua) Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin ( sivua).... Nämä ovat kurssin Algebra I harjoitustehtävien ratkaisuehdoituksia. Ratkaisut koostuvat kahdesta osiosta,

Lisätiedot

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

802354A Lukuteoria ja ryhmät Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä, Antti Torvikoski, Topi Törmä 802354A Lukuteoria ja ryhmät Luentorunko Kevät 2014 Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä, Antti Torvikoski, Topi Törmä Sisältö 1 Ekvivalenssirelaatio 3 2 Lukuteoriaa 4 2.1 Lukuteorian

Lisätiedot

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus.

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus. 1 Lineaarikuvaus 1.1 Määritelmä Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V W on lineaarinen, jos (a) L(v + w) = L(v) + L(w); (b) L(λv) = λl(v) aina, kun v, w V ja λ K. Termejä:

Lisätiedot

802320A LINEAARIALGEBRA OSA III

802320A LINEAARIALGEBRA OSA III 802320A LINEAARIALGEBRA OSA III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 56 Määritelmä Määritelmä 1 Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V

Lisätiedot

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

TIIVISTELMÄ OPINNÄYTETYÖSTÄ (liite FM-tutkielmaan) Luonnontieteellinen tiedekunta Oulun yliopisto TIIVISTELMÄ OPINNÄYTETYÖSTÄ (liite FM-tutkielmaan) Luonnontieteellinen tiedekunta Maisterintutkinnon kypsyysnäyte Laitos: Matemaattisten tieteiden laitos Tekijä (Sukunimi ja etunimet) Isopahkala

Lisätiedot

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus 1 / 51 Lineaarikombinaatio Johdattelua seuraavaan asiaan (ei tarkkoja määritelmiä): Millaisen kuvan muodostaa joukko {λv λ R, v R 3 }? Millaisen

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M Hirvensalo mikhirve@utufi V Junnila viljun@utufi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M Hirvensalo mikhirve@utufi V Junnila viljun@utufi Luentokalvot 5 1

Lisätiedot

5 Platonin kappaleet ja niiden symmetriaryhmät

5 Platonin kappaleet ja niiden symmetriaryhmät 5 Platonin kappaleet ja niiden symmetriaryhmät Ensimmäisissä luvussa käsittelimme ryhmäteorian peruskonsepteja niin kuin ne on 1800- ja 1900-luvuilla määritelty. Nyt palaamme ajassa taaksepäin, ja tutkimme,

Lisätiedot

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa.

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa. LINEAARIALGEBRA Harjoituksia 2016 1. Olkoon V = R 2 varustettuna tavallisella yhteenlaskulla. Määritellään reaaliluvulla kertominen seuraavasti: λ (x 1, x 2 ) = (λx 1, 0) (x 1, x 2 ) R 2 ja λ R. Osoita,

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Luentokalvot

Lisätiedot

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on? Harjoitus 1, kevät 007 1. Olkoon [ ] cos α sin α A(α) =. sin α cos α Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?. Olkoon a x y A = 0 b z, 0 0 c missä a, b, c 0. Määrää käänteismatriisi

Lisätiedot

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle. Kombinatoriikka, kesä 2010 Harjoitus 1 Ratkaisuehdotuksia (RT (5 sivua Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle. 1. Osoita, että vuoden

Lisätiedot

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

a 2 ba = a a + ( b) a = (a + ( b))a = (a b)a, joten yhtälö pätee mielivaltaiselle renkaalle. Harjoitus 10 (7 sivua) Ratkaisuehdotuksia/Martina Aaltonen Tehtävä 1. Mitkä seuraavista yhtälöistä pätevät mielivaltaisen renkaan alkioille a ja b? a) a 2 ba = (a b)a b) (a + b + 1)(a b) = a 2 b 2 + a

Lisätiedot

Tenttiin valmentavia harjoituksia

Tenttiin valmentavia harjoituksia Tenttiin valmentavia harjoituksia Alla olevissa harjoituksissa suluissa oleva sivunumero viittaa Juha Partasen kurssimonisteen siihen sivuun, jolta löytyy apua tehtävän ratkaisuun. Funktiot Harjoitus.

Lisätiedot

Lineaarikuvauksen R n R m matriisi

Lineaarikuvauksen R n R m matriisi Lineaarikuvauksen R n R m matriisi Lauseessa 21 osoitettiin, että jokaista m n -matriisia A vastaa lineaarikuvaus L A : R n R m, jolla L A ( v) = A v kaikilla v R n. Osoitetaan seuraavaksi käänteinen tulos:

Lisätiedot

4 Konjugointi. 4.1 Konjugoinnin määritelmä

4 Konjugointi. 4.1 Konjugoinnin määritelmä 4 Konjugointi 4.1 Konjugoinnin määritelmä Usein ryhmän alkiot kuvaavat operaatioita jossain joukossa. Ryhmäteoriassa tätä kutsutaan ryhmän toiminnaksi. Permutaatiot ovat hyvä esimerkki ryhmän toiminnasta.

Lisätiedot

Alkeismuunnokset matriisille, sivu 57

Alkeismuunnokset matriisille, sivu 57 Lineaarialgebra (muut ko) p. 1/88 Alkeismuunnokset matriisille, sivu 57 AM1: Kahden vaakarivin vaihto AM2: Vaakarivin kertominen skalaarilla c 0 AM3: Vaakarivin lisääminen toiseen skalaarilla c kerrottuna

Lisätiedot

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.

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. 10. Kunnat ja kokonaisalueet Määritelmä 10.1. Olkoon K rengas, jossa on ainakin kaksi alkiota. Jos kaikki renkaan K nollasta poikkeavat alkiot ovat yksiköitä, niin K on jakorengas. Kommutatiivinen jakorengas

Lisätiedot

Luuppien ryhmistä Seminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006

Luuppien ryhmistä Seminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006 Luuppien ryhmistä Seminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006 Sisältö 1 Luupeista 2 1.1 Luupit ja niiden kertolaskuryhmät................. 2 2 Transversaalit 5 3

Lisätiedot

Symmetristen ja alternoivien ryhmien yksinkertaisuus ja ratkeavuus

Symmetristen ja alternoivien ryhmien yksinkertaisuus ja ratkeavuus Symmetristen ja alternoivien ryhmien yksinkertaisuus ja ratkeavuus Pro gradu Tuomo Holma 2379771 Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2018 Sisältö Johdanto 2 1 Permutaatiot 3 2 Ryhmistä

Lisätiedot

Sylowin lauseet äärellisten ryhmien teoriassa

Sylowin lauseet äärellisten ryhmien teoriassa TAMPEREEN YLIOPISTO Pro gradu -tutkielma Aleksi Heiskanen Sylowin lauseet äärellisten ryhmien teoriassa Luonnontieteiden tiedekunta Matematiikka Marraskuu 2017 Tampereen yliopisto Luonnontieteiden tiedekunta

Lisätiedot

Sylowin lauseet äärellisten ryhmien luokittelussa

Sylowin lauseet äärellisten ryhmien luokittelussa Sylowin lauseet äärellisten ryhmien luokittelussa Jenna Johansson 21. marraskuuta 2018 Pro gradu -tutkielma Jyväskylän yliopisto Matematiikan ja tilastotieteen laitos Syksy 2018 Merkintöjä: N Luonnollisten

Lisätiedot

MAT Algebra I (s) periodeilla IV ja V/2009. Esko Turunen

MAT Algebra I (s) periodeilla IV ja V/2009. Esko Turunen MAT-41150 Algebra I (s) periodeilla IV ja V/2009. Esko Turunen Tämä tiedosto sisältää kurssin kaikki laskuharjoitukset. viikottain uusia tehtäviä. Tiedostoon lisätään To 05.02.09 pidetyt harjoitukset.

Lisätiedot

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

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 9 (6 sivua) OT Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 9 (6 sivua) 28.3.-1.4.2011 OT 1. a) Osoita, että rengas R = {[0] 10, [2] 10, [4] 10, [6] 10, [8] 10 } on kokonaisalue. Mikä

Lisätiedot

Ratkeavista ryhmistä: teoriaa ja esimerkkejä

Ratkeavista ryhmistä: teoriaa ja esimerkkejä Ratkeavista ryhmistä: teoriaa ja esimerkkejä Pro Gradu-tutkielma Lauri Kangas 2192712 Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2015 Sisältö 1 Perusteita 3 1.1 Ryhmät ja aliryhmät.......................

Lisätiedot

Algebra II. Syksy 2004 Pentti Haukkanen

Algebra II. Syksy 2004 Pentti Haukkanen Algebra II Syksy 2004 Pentti Haukkanen 1 Sisällys 1 Ryhmäteoriaa 3 1.1 Ryhmän määritelmä.... 3 1.2 Aliryhmä... 3 1.3 Sivuluokat...... 4 1.4 Sykliset ryhmät... 7 1.5 Ryhmäisomorfismi..... 11 2 Polynomeista

Lisätiedot

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain Matriisilaskenta LH4 24 ratkaisut 1 Hae seuraavien R 4 :n aliavaruuksien dimensiot jotka sisältävät vain a) Kaikki muotoa (a b c d) olevat vektorit joilla d a + b b) Kaikki muotoa (a b c d) olevat vektorit

Lisätiedot

Algebra I, harjoitus 5,

Algebra I, harjoitus 5, Algebra I, harjoitus 5, 7.-8.10.2014. 1. 2 Osoita väitteet oikeiksi tai vääriksi. a) (R, ) on ryhmä, kun asetetaan a b = 2(a + b) aina, kun a, b R. (Tässä + on reaalilukujen tavallinen yhteenlasku.) b)

Lisätiedot

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista 29 9 Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista Tarkastelemme kertalukua n olevia lineaarisia differentiaaliyhtälöitä y ( x) + a ( x) y ( x) + + a ( x) y( x) + a ( x) y= b( x) ( n) ( n

Lisätiedot

Kantavektorien kuvavektorit määräävät lineaarikuvauksen

Kantavektorien kuvavektorit määräävät lineaarikuvauksen Kantavektorien kuvavektorit määräävät lineaarikuvauksen Lause 18 Oletetaan, että V ja W ovat vektoriavaruuksia. Oletetaan lisäksi, että ( v 1,..., v n ) on avaruuden V kanta ja w 1,..., w n W. Tällöin

Lisätiedot

Transversaalit ja hajoamisaliryhmät

Transversaalit ja hajoamisaliryhmät Transversaalit ja hajoamisaliryhmät Graduseminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006 Motivointi Esimerkki 1 (Ryhmäteorian kurssin harjoitustehtävä). Jos G on ryhmä,

Lisätiedot

sitä vastaava Cliffordin algebran kannan alkio. Merkitään I = e 1 e 2 e n

sitä vastaava Cliffordin algebran kannan alkio. Merkitään I = e 1 e 2 e n Määritelmä 1.1 Algebran A keskus C on joukko C (A) = {a A ax = xa x A}. Lause 1. Olkoon Cl n Cliffordin algebra, jonka generoi joukko {e 1,..., e n }. Jos n on parillinen, niin C (Cl n ) = {λ λ R}. Jos

Lisätiedot

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla. HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 05 Harjoitus 6 Ratkaisut palautettava viimeistään tiistaina.6.05 klo 6.5. Huom! Luennot ovat salissa CK maanantaista 5.6. lähtien. Kurssikoe on

Lisätiedot

Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44

Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44 Lineaarialgebra ja differentiaaliyhtälöt Laskuharjoitus 1 / vko 44 Tehtävät 1-3 lasketaan alkuviikon harjoituksissa, verkkotehtävien dl on lauantaina aamuyöllä. Tehtävät 4 ja 5 lasketaan loppuviikon harjoituksissa.

Lisätiedot

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 5 / vko 48

MS-A0003/A0005 Matriisilaskenta Malliratkaisut 5 / vko 48 MS-A3/A5 Matriisilaskenta Malliratkaisut 5 / vko 48 Tehtävä (L): a) Onko 4 3 sitä vastaava ominaisarvo? b) Onko λ = 3 matriisin matriisin 2 2 3 2 3 7 9 4 5 2 4 4 ominaisvektori? Jos on, mikä on ominaisarvo?

Lisätiedot