Tekijäryhmät ja homomorsmit

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

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

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

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

Cauchyn ja Sylowin lauseista

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

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

Ratkeavista ryhmistä: teoriaa ja esimerkkejä

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

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

a b 1 c b n c n

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

Eräitä ratkeavuustarkasteluja

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

802355A Renkaat, kunnat ja polynomit Luentorunko Syksy 2013

Esko Turunen MAT Algebra1(s)

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

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

Algebra I, Harjoitus 6, , Ratkaisut

800333A Algebra I Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä

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

Algebra I, harjoitus 5,

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

1 Jakajat ja jäännökset. on hyvinjärjestetty, eli jokaisessa epätyhjässä joukossa J N on pienin alkio. Otetaan käyttöön merkintä

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

802328A LUKUTEORIAN PERUSTEET Merkintöjä ja Algebrallisia rakenteita

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

Johdanto 2. 2 Osamääräkunnan muodostaminen 7. 3 Osamääräkunnan isomorfismit 16. Lähdeluettelo 20

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

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 I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 9 (6 sivua) OT

Ryhmän P SL(2, K) yksinkertaisuus

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 6 (8 sivua) OT. 1. a) Määritä seuraavat summat:

Symmetristen ja alternoivien ryhmien yksinkertaisuus ja ratkeavuus

Johdatus matemaattiseen päättelyyn

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

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

4. Ryhmien sisäinen rakenne

Abstraktin algebran rakenteista sekä näiden välisistä morfismeista

Algebra II. Syksy 2004 Pentti Haukkanen

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

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

811120P Diskreetit rakenteet

Liite 2. Ryhmien ja kuntien perusteet

6. Tekijäryhmät ja aliryhmät

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

Lukuteorian kertausta

Transversaalit ja hajoamisaliryhmät

MAT Algebra 1(s)

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

Esko Turunen Luku 3. Ryhmät

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

Algebra I, harjoitus 8,

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

Algebran perusteet. 44 ϕ(105) = (105). Näin ollen

Funktioista. Esimerkki 1

Rationaaliluvun desimaaliesitys algebrallisesta ja lukuteoreettisesta näkökulmasta

ALGEBRA KEVÄT 2013 JOUNI PARKKONEN

Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 2, malliratkaisut

Polynomien suurin yhteinen tekijä ja kongruenssi

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

Avainsanat Nyckelord Keywords algebra, rengas, moduli, Noether, nouseva ketju, äärellisviritteinen

1. Esitä rekursiivinen määritelmä lukujonolle

Rubikin kuutio ja ryhmäteoria

Äärellisesti generoitujen Abelin ryhmien peruslause

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

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

Ideaalit ja tekijärenkaat Ryhmähomomorfismin φ : G G ydin on ryhmän G normaali aliryhmä. Esko Turunen Luku 7. Ideaalit ja tekijärenkaat

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

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

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

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

Algebra kl Tapani Kuusalo

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y.

Lineaariset kongruenssiyhtälöryhmät

Matematiikan tukikurssi, kurssikerta 1

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

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

k=1 b kx k K-kertoimisia polynomeja, P (X)+Q(X) = (a k + b k )X k n+m a i b j X k. i+j=k k=0

Tenttiin valmentavia harjoituksia

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

5.6 Yhdistetty kuvaus

Ensi viikon luennot salissa X. Lineaarialgebra (muut ko) p. 1/66

Modulaarisista laskutaulukoista

Jäännösluokat. Alkupala Aiemmin on tullut sana jäännösluokka vastaan. Tarkastellaan

Matematiikan tukikurssi

Koodausteoria, Kesä 2014

Peruskäsitteet. 0. Kertausta

Luonnollisten lukujen ja kokonaislukujen määritteleminen

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

1 Algebralliset perusteet

a ord 13 (a)

Relaatioista. 1. Relaatiot. Alustava määritelmä: Relaatio on kahden (tai useamman, saman tai eri) joukon alkioiden välinen ominaisuus tai suhde.

Sylowin lauseet äärellisten ryhmien luokittelussa

pdfmark=/pages, Raw=/Rotate 90 1 LUKUTEORIAA JA MUITA TYÖKALUJA SALAUKSEEN Lukujoukot Sekalaisia merkintöjä...

(x + I) + (y + I) = (x + y)+i. (x + I)(y + I) =xy + I. kaikille x, y R.

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg

Alkulukujen harmoninen sarja

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Jarmo Niemelä. Primitiivisistä juurista ja. alkuluokkaryhmistä

Johdatus matematiikkaan

Transkriptio:

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 13

Johdanto Tässä opinnäytetyössä muodostetaan aluksi tekijäryhmän käsite. Toisessa kappaleessa käydään läpi homomorsmin käsite ja sen ominaisuuksia sekä isomora eli rakenneyhtäläisyys. Jokaista aiemmin esitettyä käsitettä avataan työssä esimerkein. Lopuksi konstruoidaan homomorsmin peruslause, johon koko työ kulminoituu. Ennen työn lukemista lukijalta edellytetään abstraktin algebran peruskäsitteiden hallintaa, erityisesti perustietoja ryhmistä. Tärkeitä asioita ymmärtää ennen työhön tutustumista ovat itse ryhmän määritelmä sekä neutraalialkion ja käänteisalkion käsitteet. Lisäksi Abelin ryhmän käsite ja aliryhmäkriteeri on syytä tuntea. Esimerkkien ymmärtämiseksi on hyvä tuntea myös jäännösluokat ja alkuluokat. Työssä pääasiallisina lähteinä käytetään kahta kirjaa: John B. Fraleighin kirjoittamaa A First Course in Abstract Algebra ja Olympia E. Nicodemin, Melissa A. Sutherlandin ja Gary W. Towsleyn kirjoittamaa An Introduction to Abstract Algebra with Notes to the Future Teacher. Lisäksi Algebra I -kurssin luentomateriaalista ja laskuharjoituksista poimitaan tietoja suurimmaksi osaksi esimerkkejä. 1 Tekijäryhmät Määritelmä 1. Olkoot G ryhmä ja N G. Aliryhmää N sanotaan normaaliksi, jos sen vasemmat ja oikeat sivuluokat yhtyvät eli an = Na aina, kun a G. Tällöin käytetään merkintää N G. (Katso [1], s. 169 Denition 3.1.19.) Lause 1. Olkoon N G. Joukko {an a G} on ryhmä seuraavasti määritellyn laskutoimituksen suhteen an bn = abn. Todistus. Todistetaan ensin, että laskutoimitus an bn = abn hyvin määritellyksi. Eli jos a 1 N = a 2 N ja b 1 N = b 2 N, niin a 1 b 1 N = a 2 b 2 N, kun a 1, a 2, b 1, b 2 G. Olkoon a 1, a 2, b 1, b 2 G. Jos a 1 N = a 2 N, niin a 2 a 1 N eli a 2 = a 1 x jollakin x N. Ja jos b 1 N = b 2 N, niin b 2 b 1 N eli b 2 = b 1 y jollakin y N. Tällöin a 2 b 2 = a 1 xb 1 y, missä x, y N. 1

Nyt xb 1 Nb = bn eli xb = bz jollakin z N, sillä N G. Siis a 2 b 2 = a 1 xb 1 y = a 1 b 1 zy, kun x, z, y N, jolloin zy N ja siten a 1 b 1 zy a 1 b 1 N. Näin ollen a 2 b 2 a 1 b 1 N eli a 2 b 2 N = a 1 b 1 N. Osoitetaan seuraavaksi, että ({an a G}, ) on ryhmä. Olkoon a, b, c G. 1. Nyt an bn = abn ja ab G, joten an bn = abn on binäärinen operaatio joukossa {an a G}. 2. Lisäksi (an bn) cn = abn cn = (ab)cn = a(bc)n = an bcn = an (bn cn), koska G on ryhmä. Siis an bn = abn on assosiatiivinen. 3. Ryhmän ({an a G}, ) neutraalialkio on en = N, missä e on ryhmän G neutraalialkio, koska an en = aen = an ja en an = ean = an. 4. Alkion an käänteisalkio on a 1 N, koska an a 1 N = aa 1 N = en ja a 1 N an = a 1 an = en. Kohdista 1.4. seuraa, että ({an a G}, ) on ryhmä. (Katso [2], s. 279 280 Proposition 3&4.) Määritelmä 2. Ryhmää ({an a G}, ) kutsutaan ryhmän G tekijäryhmäksi normaalin aliryhmän N suhteen. Siitä käytetään merkintää G/N. (Katso [1], s. 174 Denition 3.2.6.) Lause 2. Jos G on Abelin ryhmä ja N G, niin N G. Todistus. Olkoon G on Abelin ryhmä, a G ja N G. Nyt an = {an n N} = {na n N} = Na, sillä G on Abelin ryhmänä kommutatiivinen.(katso [3], s. 17.) 2

Esimerkki 1. Ryhmä Z 7 = {[1], [2], [3], [4], [5], [6]} on Abelin ryhmä. Tutkitaan alkion [6] generoimaa aliryhmää [6] = {[1], [6]} =: N Z 7 [6] 0 = [1] [6] 1 = [6] [6] 2 = [36] = [1] Koska Z 7 on Abelin ryhmä, sen aliryhmät ovat normaaleja. Siis N = {[1], [6]} Z 7. Muodostetaan nyt ryhmän Z 7 vasemmat sivuluokat normaalin aliryhmän N suhteen [1]N = {[1], [6]} = [6]N [2]N = {[2], [12]} = {[2], [5]} = [5]N [3]N = {[3], [18]} = {[3], [4]} = [4]N Siis tekijäryhmä Z 7/N = {[1]N, [2]N, [3]N}. (Katso [3], luentomuistiinpanot.) Esimerkki 2. Kokonaisluvut Z on Abelin ryhmä yhteenlaskun suhteen. Olkoon n Z. Nyt joukko nz = {nz z Z} Z. Nyt (Z, +) on Abelin ryhmä, joten nz Z. Tekijäryhmäksi saadaan Z/nZ = {nz, 1 + nz, 2 + nz,..., (n 2) + nz, (n 1) + nz} = {k + nz k {0, 1,..., n 1}} = [k] jäännösluokkien yhteenlaskuryhmä modulo n, missä k {0, 1,..., n 1}. (Katso [1], s. 175 Example 3.2.7.) 2 Homomorsmit Määritelmä 3. Olkoot (G, ) ja (H, ) ryhmiä. Kuvausta f : G H sanotaan (ryhmä)homomorsmiksi, jos f(ab) = f(a) f(b) (1) aina, kun a, b G. (Katso [1], s. 162 Denition 3.1.1.) Ehto (1) voidaan kirjoittaa myös muotoon f(ab) = f(a)f(b), jos kummankin ryhmän laskutoimitukselle käytetään kertolaskumerkintää. 3

Esimerkki 3. Olkoon f : G H, f(g) = e H kaikilla g G, missä e H on ryhmän H neutraalialkio. Olkoon a, b G. Nyt joten f on homomorsmi. f(a)f(b) = e H e H = e H = f(ab), Edellisen esimerkin homomorsmia kutsutaan triviaaliksi homomorsmiksi ja se on olemassa kaikille ryhmille G ja H. (Katso [1], s. 162.) Esimerkki 4. Olkoot G Abelin ryhmä ja f : G G, f(a) = a 2. Olkoon a, b G. Nyt f(ab) = (ab) 2 = abab = aabb = a 2 b 2, koska G on Abelin ryhmänä kommutatiivinen. Lisäksi f(a)f(b) = a 2 b 2. Siis f on homomorsmi. (Katso [3], Harjoitus 10 tehtävä 1.) Esimerkki 5. Tutkitaan kokonaislukuja Z operaation yhteenlasku suhteen. Nyt kuvaus f : Z Z, f(a) = 2a on homomorsmi, sillä f(a + b) = 2(a + b) = 2a + 2b = f(a) + f(b), kun a, b Z. Kuitenkin, jos tutkitaan samaa kuvausta, mutta operaatioksi vaihdetaan kertolasku, niin f ei ole homomorsmi, sillä f(ab) = 2ab, mutta f(a)f(b) = 2a 2b = 4ab. (Katso [2], s. 217 Example 2.) Määritelmä 4. Olkoot f : G H, A G ja B H. Ryhmän G aliryhmän A kuva on f(a) = {f(a) a A} ja ryhmän H aliryhmän B alkukuva (Katso [1], s. 165 Denition 3.1.11.) f 1 (B) = {g G f(g) B}. 4

Lause 3. Olkoon f : G H homomorsmi. 1. Jos e G on ryhmän G neutraalialkio, niin f(e G ) = e H on ryhmän H neutraalialkio. 2. Jos a G, niin f(a 1 ) = f(a) 1. 3. Jos A G, niin f(a) H. 4. Jos B H, niin f 1 (B) G. Todistus. Olkoon f : G H homomorsmi. Olkoon a G. 1. Nyt f(a) = f(ae G ) = f(a)f(e G ), sillä f on homomorsmi. Kerrotaan alkion f(a) käänteisalkiolla f(a) 1, jolloin saadaan f(e G ) = f(a) 1 f(a) = e H. 2. Nyt e H = f(e G ) = f(aa 1 ) = f(a)f(a 1 ), sillä f on homomorsmi. Kerrotaan alkion f(a) käänteisalkiolla f(a) 1, jolloin saadaan f(a) 1 e H = f(a) 1 f(a)f(a 1 ) = e H f(a 1 ) eli f(a) 1 = f(a 1 ). 3. Olkoon A G. Nyt f(a) = {f(a) a A} ja a G, sillä A G, joten f(a) H. Lisäksi f(a), sillä e G A ja f(e G ) = e H f(a). Olkoon c, d f(a). Koska c, d f(a), niin on olemassa sellaiset a, b A, että f(a) = c ja f(b) = d. Koska A G, niin ab 1 A eli f(ab 1 ) f(a). Nyt f(ab 1 ) = f(a)f(b 1 ) = f(a)f(b) 1 = cd 1 f(a), joten aliryhmäkriteerin perusteella f(a) H. 5

4. Olkoon B H. Nyt f 1 (B) = {b G f(b) B} ja f(b) H, sillä B H, joten f 1 (B) G. Lisäksi f 1 (B), sillä f(e G ) = e H B eli e G f 1 (B). Olkoon a, b f 1 (B). Tällöin f(a), f(b) B. Koska B H, niin f(a)f(b) 1 B. Nyt f(a)f(b) 1 = f(a)f(b 1 ) = f(ab 1 ). Tällöin f(ab 1 ) B eli ab 1 f 1 (B). Siis f 1 (B) G. (Katso [1], s. 165 Theorem 3.1.12.) Määritelmä 5. Olkoon f : G H homomorsmi. 1. Ryhmän G aliryhmää f 1 (e H ) = {x G f(x) = e H } kutsutaan homomorsmin f ytimeksi ja käytetään merkintää Ker(f). Kyseistä aliryhmää voidaan kutsua myös kerneliksi. (Katso [1], s. 166 Denition 3.1.13.) 2. Ryhmän H aliryhmää f(g) = {f(x) x G} kutsutaan homomorsmin f kuvaksi ja käytetään merkintää Im(f). (Katso [3], s. 19 Määritelmä 3.6.5.) Esimerkki 6. Olkoon f : Z 7 Z 7, f(a) = a 2. Ryhmä Z 7 = {[1], [2], [3], [4], [5], [6]} on Abelin ryhmä, joten f on homomorsmi, kuten esimerkissä 4 on todistettu. Muodostetaan nyt kyseisen homomorsmin ydin ja kuva ja Siis f([1]) = [1] 2 = [1] f([2]) = [2] 2 = [4] f([3]) = [3] 2 = [9] = [2] f([4]) = [4] 2 = [16] = [2] f([5]) = [5] 2 = [25] = [4] f([6]) = [6] 2 = [36] = [1] Im(f) = f(z 7) = {[1], [2], [4]} Ker(f) = {x Z 7 f(x) = [1]} = {[1], [6]}. (Katso [3], Harjoitus 10 tehtävä 2.) 6

Lause 4. Olkoot f : G H homomorsmi, K = Ker(f) ja a G. Tällöin f 1 ({f(a)}) = {x G f(x) = f(a)} on K:n vasen sivuluokka ak ja oikea sivuluokka Ka. Todistus. Osoitetaan, että {x G f(x) = f(a)} = ak. Oletetaan ensin, että f(a) = f(x). Tällöin f(a) 1 = f(x) 1. Nyt f(a) 1 f(x) = f(x) 1 f(x) = e H, missä e H on ryhmän H neutraalialkio. Lauseen 3 kohdasta 2 seuraa, että f(a) 1 f(x) = f(a 1 )f(x). Nyt f(a 1 )f(x) = f(a 1 x) = e H, koska f on homomorsmi, joten f(a 1 x) = e H. Tästä seuraa, että a 1 x K = Ker(f), joten a 1 x = k jollakin k K. Eli x = ak ak, joten {x G f(x) = f(a)} ak. Olkoon nyt y ak eli y = ak jollakin k K = Ker(f). Nyt f(y) = f(ak) = f(a)f(k) = f(a)e H = f(a). Siis y {x G f(x) = f(a)} eli ak {x G f(x) = f(a)}. Näin ollen {x G f(x) = f(a)} = ak. Osoitetaan sitten, että {x G f(x) = f(a)} = Ka. Oletetaan aluksi, että f(a) = f(x). Tällöin f(a) 1 = f(x) 1. Nyt f(x)f(a) 1 = f(x)f(x) 1 = e H, missä e H on ryhmän H neutraalialkio. Lauseen 3 kohdasta 2 seuraa, että f(x)f(a 1 ) = e H. Nyt f(x)f(a 1 ) = f(xa 1 ) = e H, koska f on homomorsmi, joten f(xa 1 ) = e H. Tästä seuraa, että joten xa 1 = k jollakin k K. xa 1 K = Ker(f), 7

Eli x = ka Ka, joten {x G f(x) = f(a)} Ka. Olkoon nyt y Ka eli y = ka jollakin k K = Ker(f). Nyt f(y) = f(ka) = f(k)f(a) = e H f(a) = f(a). Siis y {x G f(x) = f(a)} eli Ka {x G f(x) = f(a)}. Näin ollen {x G f(x) = f(a)} = Ka. (Katso [1], s. 166 Theorem 3.1.15.) Lause 4 kertoo, että ytimen Ker(f) vasemmat ja oikeat sivuluokat ovat samat eli Ker(f) G. Määritelmä 6. Olkoon f : G H kuvaus. Kuvaus f on injektio, jos f(a) = f(b) vain, kun a = b. Kuvaus f on surjektio, jos sen arvojoukko on H eli jos jokaiselle arvolle y, missä y H, on olemassa alkio x, missä x G, niin, että f(x) = y. Jos kuvaus f on sekä injektio että surjektio, sitä kutsutaan bijektioksi. (Katso [1], s. 11 Denition 0.2.12 ja [2], s. 385.) Määritelmä 7. Ryhmät (G, ) ja (H, ) ovat isomorset eli rakenneyhtäläiset, jos on olemassa kuvaus f : G H, joka täyttää seuraavat ehdot 1. kuvaus f on bijektio, 2. kuvaus f on homomorsmi. Tällöin kuvausta f kutsutaan isomorsmiksi. Ryhmien (G, ) ja (H, ) isomorasta käytetään merkintää G = H. (Katso [2], s. 217 Denition 2.) Jos kaksi ryhmää ovat isomorset keskenään, ne ovat samankokoiset ollessaan ääreellisiä ja niillä on samanlainen algebrallinen rakenne. Ne eroavat toisistaan vain merkintätavaltaan. (Katso [2], s. 217.) Esimerkki 7. Olkoon (E, +) parillisten kokonaislukujen muodostama ryhmä yhteenlaskun suhteen. Nyt ryhmät (E, +) ja (Z, +) ovat isomorset, sillä niiden välille voidaan muodostaa kuvaus f : Z E, f(a) = 2a, joka on bijektio ja homomorsmi. Esimerkissä 5 osoitettiin, että f on homomorsmi. (Katso [2], s. 218 Example 5.) Esimerkki 8. Tutkitaan, ovatko ryhmät (Z 4, +) ja (Z 9, ) isomorset. Nyt Z 4 = {[0], [1, [2], [3]} ja Z 9 = {[1], [2], [4], [5], [7], [8]}. Ryhmässä Z 4 on neljä alkiota ja ryhmässä Z 9 kuusi alkiota. Ryhmissä ei siis ole yhtä monta alkiota, joten ryhmien välille ei voida muodostaa bijektiota. Näin ollen ryhmät (Z 4, +) ja (Z 9, ) eivät ole isomorsia keskenään. (Katso [3], Harjoitus 11 tehtävä 3.) 8

Esimerkki 9. Olkoon G ääreellinen syklinen ryhmä, jonka kertaluku on m, missä m Z +. Tutkitaan, ovatko ryhmät (G, ) ja (Z m, +) isomorset. Nyt ja Z m = {[0], [1],..., [m 1]} G = a = {a 0, a 1, a 2,..., a m 1 } = {e, a, a 2,..., a m 1 }. Määritellään kuvaus f : G Z m, f(a k ) = [k]. 1. Tutkitaan ensin, onko f surjektio. Olkoon [k] Z m, missä k {0, 1, 2,..., m 1}. Nyt f(a k ) = [k], missä a k G, joten jokainen maalijoukon Z m alkio kuvautuu jollakin lähtöjoukon G alkiolla. 2. Tutkitaan sitten, onko f injektio. Olkoon k, l Z, 0 k, l < m ja f(a k ) = f(a l ). Nyt [k] = [l], jolloin k = l, sillä 0 k, l < m. Eli a k = a l, joten f on injektio. 3. Tutkitaan lopuksi, onko f homomorsmi. Olkoon k, l {0, 1, 2,..., m 1}. Nyt f(a k a l ) = f(a k+l ) = [k + l] = [k] + [l] = f(a k ) + f(a l ). Siis f on homomorsmi. Kohtien 1, 2 ja 3 perusteella f : G Z m on isomorsmi, joten (Katso [3], luentomuistiinpanot.) (G, ) = (Z m, +). Lause 5. Olkoon G ja H ryhmiä ja f : G H homomorsmi. Tällöin f on injektio jos ja vain jos Ker(f) = {e G }. (Katso [2], s. 222 Theorem 5(ii).) Todistus. Oletetaan ensin, että f on injektio. Olkoon a Ker(f) = {x G f(x) = e H }. Nyt siis f(a) = e H. Lauseen 3 kohdan 1 mukaan f(e G ) = e H, koska f on homomorsmi. Koska f on injektio ja f(a) = e H = f(e G ), niin a = e G. Siis Ker(f) = {e G }. Oletetaan sitten, että Ker(f) = {e G }. Olkoon a, b G ja f(a) = f(b). Kerrotaan nyt alkion f(b) käänteisalkiolla f(b) 1, jolloin saadaan f(a)f(b) 1 = f(b)f(b) 1 = e H. 9

Lauseen 3 kohdan 2 perusteella Kuvaus f on homomorsmi, joten Siis f(a)f(b) 1 = f(a)f(b 1 ). f(a)f(b 1 ) = f(ab 1 ). e H = f(ab 1 ). Nyt Ker(f) = {x G f(x) = e H }, joten ab 1 Ker(f). Tällöin ab 1 = e G, sillä Ker(f) = {e G }. Kun kerrotaan alkion b 1 käänteisalkiolla b, saadaan Eli ab 1 b = e G b. a = b. Siis jos f(a) = f(b), niin a = b eli f on injektio. (Katso [2], s. 409.) Lause 6. (Homomorsmin peruslause) Olkoon f : G H homomorsmi. Tällöin G/Ker(f) = Im(f). Todistus. Jotta ryhmät G/Ker(f) ja Im(f) olisivat isomorset, niiden välille on löydettävä kuvaus, joka on bijektiivinen homomorsmi eli isomorsmi. Merkitään K = Ker(f). Määritellään sellainen funktio että F (ak) = f(a) kaikilla a G. F : G/K Im(f), 1. Osoitetaan ensiksi, että F on hyvin määritelty. Olkoon a 1, a 2 G ja a 1 K = a 2 K. Tällöin a 1 1 a 2 K. Nyt K = Ker(f) = {a G f(a) = e H }, joten e H = f(a 1 1 a 2 ) = f(a 1 1 )f(a 2 ) = f(a 1 ) 1 f(a 2 ), sillä f on homomorsmi. Kerrotaan alkion f(a 1 ) 1 käänteisalkiolla f(a 1 ), jolloin saadaan f(a 1 )e H = f(a 1 )f(a 1 ) 1 f(a 2 ) eli f(a 1 ) = f(a 2 ). Siis F (a 1 K) = F (a 2 K), jolloin F on hyvin määritelty. 10

2. Osoitetaan seuraavaksi, että F on bijektio eli, että se on surjektio ja injektio. Nyt Im(f) = {f(a) a G} ja F (ak) = f(a) kaikilla a G, joten F : G/K Im(f) on surjektio. Olkoon nyt a 1, a 2 G ja F (a 1 K) = F (a 2 K). Tällöin f(a 1 ) = f(a 2 ). Kerrotaan nyt alkion f(a 1 ) käänteisalkiolla f(a 1 ) 1, jolloin saadaan f(a 1 ) 1 f(a 1 ) = f(a 1 ) 1 f(a 2 ). Eli e H = f(a 1 ) 1 f(a 2 ). Nyt koska f on homomorsmi. f(a 1 ) 1 f(a 2 ) = f(a 1 1 )f(a 2 ) = f(a 1 1 a 2 ), Siis f(a 1 1 a 2 ) = e H, joten a 1 1 a 2 K. Nyt K = ek ja a 1 1 a 2 K, joten a 1 1 a 2 K = ek. Kerrotaan alkion a 1 1 käänteisalkiolla a 1 ja saadaan a 1 a 1 1 a 2 K = a 1 ek. Eli a 2 K = a 1 K. Siis F on injektio. 3. Osoitetaan lopuksi, että F on homomorsmi. Olkoon a 1, a 2 G. Nyt F (a 1 Ka 2 K) = F (a 1 a 2 K) = f(a 1 a 2 ) = f(a 1 )f(a 2 ) = F (a 1 K)F (a 2 K), sillä kuvaus f on homomorsmi. Kohtien 1, 2 ja 3 perusteella F : G/K Im(f) on isomorsmi. Siis G/K = Im(f) eli G/Ker(f) = Im(f). (Katso [2], s. 281 Theorem 5.) 11

Esimerkki 10. Tutkitaan kokonaislukujen yhteenlaskun suhteen muodostamaa ryhmää (Z, +). Olkoon f : Z Z 6, f(a) = 2a (mod 6) homomorsmi. Kuvauksen f ydin Ker(f) = 3Z. Kuvauksen f kuva Im(f) = {0, 2, 4} Z 6. Tämä ryhmän Z 6 aliryhmä on isomornen ryhmän Z 3 kanssa, sillä voidaan muodostaa isomorsmi g : Z 3 Im(f), g(a) = 2a. Nyt Z 3 = {0, 1, 2} ja kuvaus g kuvaa ryhmän Z 3 alkiot seuraavasti: g(0) = 2 0 = 0 g(1) = 2 1 = 2 g(2) = 2 2 = 4. Siis kuvaus g on surjektio ja injektio eli se on bijektio. Esimerkissä 5 on osoitettu, että g on homomorsmi. Nyt homomorsmin peruslauseen perusteella tekijäryhmä Z/3Z on isomornen kuvauksen f kuvan Im(f) kanssa eli Z/3Z = Im(f). Tekijäryhmä Z/3Z on siis myös isomornen ryhmän Z 3 kanssa eli (Katso [2], s. 282 Example 6.) Z/3Z = Z 3. 12

Lähdeluettelo [1] Fraleigh, John B.: A First Course in Abstract Algebra. Addison-Wesley Publishing Company, Inc., USA 1999. [2] Nicodemi, Olympia E. Sutherland, Melissa A. Towsley, Gary W.: An Introduction to Abstract Algebra with Notes to the Future Teacher. Pearson Prentice Hall, USA 2007. [3] Niemenmaa, Markku Myllylä, Kari Tirilä, Juha-Matti: 800333A Algebra I Luentorunko, Oulun yliopisto 2008. 13