ALGEBRA KEVÄT 2013 JOUNI PARKKONEN

Samankaltaiset tiedostot
Esko Turunen Luku 3. Ryhmät

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

MAT Algebra 1(s)

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

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

Algebra 1. Jouni Parkkonen Luentoja Jyväskylän yliopistossa talvella 2019

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

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

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

ALGEBRA KEVÄT 2011 JOUNI PARKKONEN

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

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.

a b 1 c b n c n

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

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

Algebra kl Tapani Kuusalo

Esko Turunen MAT Algebra1(s)

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

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

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

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

Mitään muita operaatioita symbolille ei ole määritelty! < a kaikilla kokonaisluvuilla a, + a = kaikilla kokonaisluvuilla a.

ALGEBRA 2014 JOUNI PARKKONEN

Liite 2. Ryhmien ja kuntien perusteet

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

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

Luonnollisten lukujen ja kokonaislukujen määritteleminen

802320A LINEAARIALGEBRA OSA I

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

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

1 Lineaariavaruus eli Vektoriavaruus

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

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

802328A LUKUTEORIAN PERUSTEET Merkintöjä ja Algebrallisia rakenteita

Kvasiryhmistä ja niiden sovelluksista

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

Algebra I, harjoitus 8,

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

(a, 0) + (c, 0) = (a + c, 0)

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.

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

ja jäännösluokkien joukkoa

Tekijäryhmät ja homomorsmit

Algebra I, Harjoitus 6, , Ratkaisut

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

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

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

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

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

Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi

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

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

(ψ + ζ)φ(a) = ψφ(a) + ζφ(a) = (ψφ + ζφ)(a), φ(ψ + ζ)(a) = φ(ψ(a) + ζ(a)) = φψ(a) + φζ(a) = (φψ + φζ)(a).

Kuvausten hajottaminen

1 Algebralliset perusteet

a) Mitkä seuraavista ovat samassa ekvivalenssiluokassa kuin (3, 8), eli kuuluvat joukkoon

Algebra. Jouni Parkkonen. Lukijalle

Algebra I, harjoitus 5,

Peruskäsitteet. 0. Kertausta

6. Tekijäryhmät ja aliryhmät

Johdatus matematiikkaan

Johdatus matematiikkaan

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

802355A Renkaat, kunnat ja polynomit Luentorunko Syksy 2013

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

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

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo

Lukujoukot luonnollisista luvuista reaalilukuihin

5.6 Yhdistetty kuvaus

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

Joukko-oppi. Joukko-oppi. Joukko-oppi. Joukko-oppi: Mitä opimme? Joukko-opin peruskäsitteet

Lineaarialgebra ja matriisilaskenta I

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

Lukualueet Matemaattiset tieteet Oulun yliopisto 2017

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

802320A LINEAARIALGEBRA OSA III

Matriisit. Määritelmä 1 Reaaliluvuista a ij, missä i = 1,..., k ja j = 1,..., n, muodostettua kaaviota a 11 a 12 a 1n a 21 a 22 a 2n A =

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

Johdatus todennäköisyyslaskentaan Joukko-oppi. TKK (c) Ilkka Mellin (2005) 1

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Algebra II. Syksy 2004 Pentti Haukkanen

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset

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

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

1 Cli ordin algebra. Cli ordin algebron tai geometristen algebrojen tarkoitus on määritellä geometrinen tulo vektoriavaruudessa esim avaruudessa R n :

Algebra, 1. demot,

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

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

9 Matriisit. 9.1 Matriisien laskutoimituksia

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

KOMBINATORIIKKA JOUKOT JA RELAATIOT

1.1. Määritelmiä ja nimityksiä

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

Joukot. Georg Cantor ( )

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

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

Insinöörimatematiikka D

Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.

Lineaariset Lien ryhmät / Ratkaisut 6 D 381 klo

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /310

Transkriptio:

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ä määrin kuin käänteisoperaatiot ovat hyvin määriteltyjä. Tällä kurssilla yleistämme laskutoimituksen käsitteen ja tarkastelemme erilaisia laskutoimitusten määräämiä niinsanottuja algebrallisia rakenteita. Keskeisessä osassa on abstrakti laskeminen, jossa ei tiedetä tai välitetä siitä, millä lasketaan, vaan tehdään päätelmiä, kun laskutoimitusten jotkin ominaisuudet tunnetaan. Lisäksi tarkastelemme kuvauksia, jotka säilyttävät algebralliset rakenteet. Yksi algebran keskeinen ajatus on se, että erilaisissa matemaattisissa yhteyksissä tunnistetaan samankaltaisia rakenteita, esimerkiksi havaitaan, että laskutoimituksilla on sopivia lisäominaisuuksia. Jos osoittautuu, että nämä lisäominaisuudet määrittelevät jonkin algebrallisen rakenteen ryhmä, rengas,..., voidaan tarkasteltavaa tilannetta usein ymmärtää paremmin näille algebrallisille rakenteilletodistettujen yleisten tulosten avulla. Näin voidaan nähdä yleisiä rakenteita teknisten ominaisuuksien takana. Sisältö 1. Laskutoimitukset 2 2. Kompleksiluvut 10 3. Tekijälaskutoimitus, kokonaisluvut ja rationaaliluvut 17 4. Ryhmät 23 5. Aliryhmät 29 6. Symmetrinen ryhmä 35 7. Normaali aliryhmä ja tekijäryhmä 42 8. Renkaat 50 9. Renkaat Z ja Z/qZ 56 10. Ideaalit 60 11. Kunnat ja kokonaisalueet 63 12. Polynomit 68 13. Tekijärenkaat 76 Lukemista 79 Merkinnöistä 79 Kiitokset 79 1

1. Laskutoimitukset Tässä luvussa määrittelemme useita kurssin keskeisiä käsitteitä ja tutustumme niiden perusominaisuuksiin. Määritelmä 1.1. Epätyhjän joukon A laskutoimitus on kuvaus : A A A. Laskutoimituksella varustettu joukko on pari A,, missä on joukon A laskutoimitus. Laskutoimituksen tulosta merkitään yleensä a a = a, a.laskutoimituson siis sääntö, joka liittää kahteen joukon A alkioon a, a joukon A alkion a a. Esimerkki 1.2. Luonnollisten lukujen N ja kokonaislukujen Z, rationaalilukujen Q ja reaalilukujen R yhteen- ja kertolasku ovat laskutoimituksia: m, n + m + n, m, n m n = mn. Tässäkutenlähesainakertolaskunmerkki jätetään kirjoittamatta ja kertolaskun tulosta merkitään mn. Jos A on laskutoimitus joukossa A ja B on laskutoimitus joukossa B, niiden avulla voidaan määritellä laskutoimitus joukossa A B: a, b, a,b a A a,a B b. Tätä laskutoimitusta kutsutaan laskutoimitusten A ja B tuloksi. Laskutoimitusten A ja B tulolla varustettu varustettu joukko A B, on laskutoimituksella varustettujen joukkojen A, A ja B, B tulo. Vastaavallatavallavoidaanmääritellä laskutoimituksia useamman joukon karteesiseen tuloon. Esimerkki 1.3. a Luonnollisten lukujen yhteenlaskun avulla saadaan komponenteittainen yhteenlasku joukkoon N N määrittelemällä se komponenttien yhteenlaskun tulolaskutoimituksena m, n+p, q =m + p, n+ q. b Avaruudessa R n määritellään komponenteittainen yhteenlasku vastaavalla tavalla x + y =x 1,...,x n +y 1,...,y n =x 1 + y 1,...,x n + y n. Edellä tarkastellut esimerkit liittyvät kaikki tavanomaiseen luvuilla laskemiseen. Laskutoimituksen käsite on kuitenkin paljon laajempi, kuten seuraavasta esimerkistä alkaa ilmetä: Esimerkki 1.4. a Joukon X osajoukot muodostavat potenssijoukon Esimerkiksi, kun X = {0, 1}, niin PX ={A : A X}. PX = {, {0}, {1}, {0, 1} }. Joukkojen leikkaus A, B A B ja yhdiste A, B A B ovat laskutoimituksia potenssijoukossa PX. b Olkoon X, jaolkoon F X ={f : X X}. Kuvausten yhdistäminen on laskutoimitus joukossa F X: f,g f g. c Olkoon M n R reaalisten n n matriisien joukko. Kurssilla Lineaarinen algebra ja geometria 1 määriteltiin kaksi laskutoimitusta joukossa M n R. Matriisienyhteenlasku määritellään komponenteittain asettamalla A + B ij =A ij + B ij kaikilla 1 i, j n. Matriisienkertolaskumääritelläänasettamalla n AB ij = A ik B kj k=1 2

kaikilla 1 i, j n. Erityisesti dimensiossa 2 saadaan laskutoimitukset a11 a 12 b11 b + 12 a11 + b = 11 a 12 + b 12 a 21 a 22 b 21 b 22 a 21 + b 21 a 22 + b 22 ja a11 a 12 b11 b 12 a11 b = 11 + a 12 b 21 a 11 b 12 + a 12 b 22 a 21 a 22 b 21 b 22 a 21 b 11 + a 22 b 21 a 21 b 12 + a 22 b 22 d Kahden alkion muodostamassa joukossa X = {0, 1} on 16 eri laskutoimitusta: Joukossa X X = { 0, 0, 0, 1, 1, 0, 1, 1 } on neljä alkiota ja jokaisella alkiolla on kaksi mahdollista arvoa0 tai 1. Laskutoimitusten suorittamisen järjestyksen kanssa on syytä olla huolellinen. Sulut kertovat, missä järjestyksessä operaatiot suoritetaan: Lausekkeessa a b c muodostetaan ensin tulo b c, joka kerrotaan vasemmalta alkiolla a kun taas lausekkeessa a b c muodostetaan ensin tulo a b, jokakerrotaanoikealtaalkiollac. Nämä eivät välttämättä anna samaa tulosta. Seuraava määritelmä antaa muutamia keskeisiä laskutoimitusten lisäominaisuuksia. Määritelmä 1.5. Joukon A laskutoimitus on 1 assosiatiivinen eli liitännäinen, josa b c =a b c kaikilla a, b, c A. 2 kommutatiivinen eli vaihdannainen, josa b = b a kaikilla a, b A. Sulkujen määrää lausekkeissa voi vähentää, jos laskutoimitus on assosiatiivinen: Koska sulkujen paikalla ei ole merkitystä lausekkeessa a b c =a b c, voimme käyttää merkintää a b c =a b c = a b c ilman vaaraa. Huomaa kuitenkin, että kaikki laskutoimitukset eivät ole assosiatiivisia, esimerkiksi Harjoitustehtävässä 8 käsiteltävä ristitulo ei ole assosiatiivinen. Esimerkki 1.6. a Luonnollisten lukujen, kokonais-, rationaali- ja reaalilukujen yhteen- ja kertolaskulle pätee 1 m + n = n + m ja mn = nm kaikilla m, n kommutatiivisuus. 2 m +n + l =m + n+l ja mnl =mnl kaikilla m, n, l assosiatiivisuus. b Kokonaislukujen vähennyslasku ei ole assosiatiivinen eikä kommutatiivinen: ja 1 1 1 = 1 1 =1 1 1 1 0=1 1 =0 1. c Joukon PX laskutoimitukset ja ovat assosiatiivisia: A B C =A B C ja A B C =A B C kaikilla A, B, C PX ja kommutatiivisia: A B = B A ja A B = B A kaikilla A, B PX. d Joukon F X laskutoimitus on assosiatiivinen: Olkoot f,g,h F X. Yhdistetyn kuvauksen määritelmän mukaan f g h x =f g hx = f ghx kaikilla x X ja f g h x =f ghx = f ghx 3

kaikilla x X. Siisf g h =f g h kaikilla f,g,h F X. Laskutoimitus ei kuitenkaan ole kommutatiivinen, jos joukossa X on ainakin kaksi alkiota: Olkoon X = {0, 1}, jaolkoot0, 1 F X, 0x =0ja 1x =1 kaikilla x X. Tällöin1 0 = 1 0 = 0 1. Määritelmä 1.7. Olkoon A, jaolkoon joukon A laskutoimitus. Alkio e A on laskutoimituksen neutraalialkio, jose g = g ja g e = g kaikilla g A. Propositio 1.8. Olkoon X, laskutoimituksella varustettu joukko. Jos on alkiot e X ja e X siten, että e g = g ja g e = g kaikilla g X, niine = e. Erityisesti e on laskutoimituksen neutraalialkio. Todistus. Käyttämällä oletettuja ominaisuuksia ylläolevassa järjestyksessä saadaan e = e e = e.koskae siis toteuttaa e g = g ja g e = g kaikilla g X, e on neutraalialkio. Määritelmä 1.9. Olkoon A, jaolkoon joukon A laskutoimitus. Alkio x A on alkion x A vasen käänteisalkio, jos x x = e, Alkio x A on alkion x A oikea käänteisalkio, josx x = e. Jos x on alkion x vasen ja oikea käänteisalkio, niin se on alkion x käänteisalkio. Esimerkki 1.10. Luku 0 on luonnollisten lukujen, kokonais-, rationaali ja reaalilukujen yhteenlaskun neutraalialkio, ja luku 1 on kertolaskun neutraalialkio. Useimmilla luonnollisilla luvuilla ei ole käänteisalkiota kummankaan laskutoimituksen suhteen, sen sijaan jokaisella kokonais-, rationaali- ja reaaliluvulla x on vastaluku x, joka on luvun x käänteisalkio yhteenlaskun suhteen. Luvulla 0 ei ole käänteisalkiota kertolaskun suhteen: 0 x = x 0 = 0 1 kaikilla luvuilla x. Kaikillanollastapoikkeavillarationaali-jareaaliluvuilla x taas on käänteisluku x 1 =1/x, esimerkiksirationaaliluvullea/b 0pätee a/b 1 = b/a. Esimerkki 1.11. a Identtinen kuvaus id = id X on joukon F X laskutoimituksen neutraalialkio: id f = f = f id kaikilla f F X. Josf F X on bijektio, sen käänteiskuvaus f 1 on kuvauksen f käänteisalkio laskutoimituksen suhteen: f f 1 = id = f 1 f. Muillajoukon F X alkioilla ei ole käänteisalkiota. b Olkoot f,g F N kuvaukset, jotka määritellään asettamalla { 0, kun n =0 fn = n 1, kun n 0 ja gn =n +1. Kuvaukset f ja g eivät ole bijektioita, joten kummallakaan ei ole käänteisalkiota. Kuitenkin pätee f g = id, joten f on kuvauksen g vasen käänteisalkio ja vastaavasti g on kuvauksen f oikea käänteisalkio. c Varustamme nyt joukon X potenssijoukon laskutoimituksella, jokamääritellään A B = {a A : a/ B}. Tällöin jokaisella A PX pätee A = A, joten muistuttaa laskutoimituksen neutraalialkiota. Kuitenkin A = kaikilla A PX, joten ei ole laskutoimituksen neutraalialkio. Neutraalialkiota ei itse asiassa ole, sillä kaikille A PX pätee A X = = X. 4

Jos laskutoimituksesta käytetään tulomerkintää, neutraalialkiolle käytetään usein merkintää 1 ja summamerkintää käytettäessä merkintää 0. Alkion x käänteisalkiota merkitään yleensä x 1,summamerkintääkäytettäessäkuitenkinkäytetäänmerkintää x. Lause 1.12. Olkoon X, laskutoimituksella varustettu joukko. Jos on assosiatiivinen laskutoimitus, jolla on neutraalialkio e, niin 1 alkiolla g X on käänteisalkio, jos ja vain jos sillä on vasen ja oikea käänteisalkio. 2 jos alkiolla g X on käänteisalkio, se on yksikäsitteinen. 3 jos alkiolla g X on käänteisalkio, se on alkion g ainoa vasen/oikea käänteisalkio Todistus. Todistamme kohdan 1: Olkoon g alkion g vasen käänteisalkio, ja olkoon g sen oikea käänteisalkio. Tällöin g = e g =g g g = g g g =g e = g. Tällöin siis g on alkion g käänteisalkio. Toinen suunta seuraa suoraan määritelmästä. Muut kohdat todistetaan harjoituksissa. Olkoon A, laskutoimituksella varustettu joukko. Jos B A, B ja kaikille b, b B pätee b b B,niinB on laskutoimituksella varustetun joukon A, vakaa osajoukko. Laskutoimitus määrittelee indusoidun laskutoimituksen B joukossa B, kunasetetaanb B b = b b.yleensäindusoidullelaskutoimituksellekäytetään samaa merkintää kuin sen indusoivalle laskutoimitukselle : B =. Esimerkki 1.13. a Reaalilukujen ja rationaalilukujen kertolaskut indusoivat laskutoimitukset joukkoihin R {0} ja Q {0}. Näitä laskutoimituksella varustettuja joukkoja R =R {0}, ja Q =Q {0}, kutsutaan kurssin aikana selvenevistä syistä reaalilukujen ja rationaalilukujen multiplikatiivisiksi ryhmiksi. LaskutoimituksellavarustetutjoukotR, + ja Q, + taas ovat reaalilukujen ja rationaalilukujen additiiviset ryhmät. b Olkoon { a b P = c d } M 2 R :c =0 = { } a b M 0 d 2 R. Tällöin kaikille A, B P pätee A + B P ja AB P,jotenmatriisienyhteenlasku ja kertolasku indusoivat kaksi laskutoimitusta joukossa P. Merkintöjä + ja käytetään yleisesti eri laskutoimituksille. Merkintää + käytetään kuitenkin ainoastaan kommutatiiviselle laskutoimitukselle. Usein laskutoimitukselle ei käytetä mitään erityistä merkkiä vaan laskutoimitusta merkitään kirjoittamalla laskutoimituksella varustetun joukon alkioista muodostettuja sanoja kuten tavanomaisessa kertolaskussa on tapana: a b = ab. Kahden laskutoimituksella varustetun joukon väliset kuvaukset, jotka "säilyttävät laskutoimituksen ominaisuudet"ovat algebrassa keskeisessä osassa: 5

Määritelmä 1.14. Olkoot E, ja E, laskutoimituksella varustettuja joukkoja. Kuvaus h: E, E, on homomorfismi, josha b =ha hb kaikille a, b E. Bijektiivinen homomorfismi on isomorfismi. Isomorfismi laskutoimituksella varustetulta joukolta E itselleen on automorfismi. Laskutoimituksella varustetut joukot E, ja E, ovat isomorfisia keskenään, jos on isomorfismi h: E, E,. Edellä määriteltyjen lisäksi käytetään melko usein seuraavia nimityksiä: Injektiivinen homomorfismi on monomorfismi. Surjektiivinen homomorfismi on epimorfismi. Tällä kurssilla käytämme näistä homomorfismityypeistä pääsääntöisesti nimityksiä injektiivinen ja surjektiivinen homomorfismi. Esimerkki 1.15. a Reaalilukujen kertolasku indusoi laskutoimituksen positiivisten reaalilukujen joukossa R + =]0, [. Eksponenttikuvausexp: R, + R +,, expx =e x on homomorfismi: Kaikille x, y R pätee expx + y =e x+y = e x e y =expxexpy Eksponenttifunktio on tunnetusti bijektio, siis se on isomorfismi. Eksponenttifunktion käänteisfunktio log: R +, R, + on myös homomorfismi ja tietysti myös isomorfismi: Kaikille x, y R + pätee logxy = logx + logy. b Yhteenlaskulla varustetut joukot M n R, + ja R n2, + ovat selvästi isomorfisia. c Kuvaus h: Z M 2 R, 1 n hn =, 0 1 on homomorfismi, kun kokonaisluvut varustetaan yhteenlaskulla ja M 2 R varustetaan matriisien kertolaskulla: 1 n + m 1 n 1 m hn + m = = = hnhm. 0 1 0 1 0 1 Isomorfiset laskutoimituksella varustetut joukot ovat algebrallisilta ominaisuuksiltaan samanlaiset vaikka joukot ja laskutoimitukset voivat ulkoisesti olla hyvinkin erilaisia, kuten Esimerkin 1.15 avulla huomaamme. Propositio 1.16. Olkoon h: E, E, surjektiivinen homomorfismi. 1 Jos on kommutatiivinen, niin on kommutatiivinen 2 Jos on assosiatiivinen, niin on assosiatiivinen 3 Jos laskutoimituksella varustetussa joukossa E on neutraalialkio e, niin he on laskutoimituksella varustetun joukon E neutraalialkio. Todistus. 1 Olkoot a,b E.Tällöinona, b E, joilleha =a ja hb =b.siis a b = ha hb =ha b =hb a =hb ha =b a, joten on kommutatiivinen. 2 Harjoitustehtävä 11. 3 Olkoon g E.Tällöing = hg jollain g E ja pätee he g = he hg =he g =hg =g 6

ja g he =hg he =hg e =hg =g, joten he on neutraalialkio. Neutraalialkio ei välttämättä kuvaudu neutraalialkiolle, jos homomorfismi ei ole surjektiivinen. Helppo esimerkki tästä ilmiöstä on homomorfismi h: N, + N,, hn =0kaikilla n N. Kuvaush on todellakin homomorfismi koska kaikille m, n N pätee hn + m =0=00=hmhn. Kuitenkaan neutraalialkio 0 N, + ei kuvaudu neutraalialkioksi 1 N,. Propositio 1.17. 1 Isomorfismin käänteiskuvaus on isomorfismi. 2 Homomorfismien yhdistetty kuvaus on homomorfismi. Todistus. 1 Olkoon φ: A, B, isomorfismi. Olkoot b 1,b 2 B. Koskaφ on bijektio, pätee b 1 b 2 = φφ 1 b 1 φφ 1 b 2. Koska φ on homomorfismi, saamme Siis φφ 1 b 1 φφ 1 b 2 = φφ 1 b 1 φ 1 b 2. φ 1 b 1 b 2 =φ 1 b 1 φ 1 b 2, joten φ 1 on homomorfismi. 2 Harjoitustehtävä 12. Samassa joukossa E voidaan määritellä erilaisia laskutoimituksia kuten Esimerkissä 1.2 havaittiin. Tarkastelemme tällä kurssilla myös renkaiden teoriaa, renkaat ovat kahdella laskutoimituksella varustettuja joukkoja, joiden laskutoimituksilta vaaditaan muutamia lisäominaisuuksia, jotka esimerkiksi kokonais-, rationaali- ja reaalilukujen yhteen- ja kertolaskulla on. Määritelmä 1.18. Olkoon A,, kahdella laskutoimituksella varustettu joukko. Laskutoimitus on vasemmalta distributiivinen laskutoimituksen suhteen, jos a b c =a b a c kaikilla a, b, c A. oikealta distributiivinen laskutoimituksen suhteen, jos b c a =b a c a kaikilla a, b, c A. Jos on oikealta ja vasemmalta distributiivinen laskutoimituksen suhteen, se on distributiivinen laskutoimituksen suhteen. Distributiivisuuden määrittelevää yhtälöä sanotaan usein osittelulaiksi. Esimerkki 1.19. Kokonais-, rationaali ja reaalilukujen kertolasku on distributiivinen yhteenlaskun suhteen: Kaikille m, n, l näissä lukualueissa pätee mn + l =mn + ml =n + lm. 7

Harjoitustehtäviä. Tehtävä 1. Olkoon rationaalilukujen laskutoimitus, joka määritellään asettamalla a b = a + b 2. Onko laskutoimitus assosiatiivinen? Onko laskutoimituksella neutraalialkio? Tehtävä 2. Olkoon positiivisten reaalilukujen joukon R + = {x R : x>0} laskutoimitus, joka määritellään asettamalla a b = ab. Onko laskutoimitus assosiatiivinen? Onko laskutoimituksella neutraalialkio? Tehtävä 3. Onko joukon PX laskutoimitus distributiivinen laskutoimituksen suhteen? Onko laskutoimitus distributiivinen laskutoimituksen suhteen? Tehtävä 4. Onko laskutoimituksilla ja neutraalialkiot? Onko jokaisella A PX käänteisalkiot laskutoimitusten ja suhteen? Tehtävä 5. Onko joukon PX laskutoimitus assosiatiivinen? Tehtävä 6. Onko matriisien kertolasku assosiatiivinen joukossa M 2 R? Onkose kommutatiivinen? Onko matriisien kertolaskulla neutraalialkio joukossa M 2 R? Tehtävä 7. Olkoon Γ={A M 2 R :deta =1}. Osoita, että matriisien kertolasku indusoi laskutoimituksen joukossa Γ. Miten matriisien yhteenlasku käyttäytyy? Tehtävä 8. Avaruuden R 3 vektoritulo eli ristitulo on laskutoimitus, joka määritellään asettamalla jokaiselle a, b R 3 a b = a2 b det 2 a1 b, det 1 a1 b, det 1. a 3 b 3 a 3 b 3 a 2 b 2 1 Osoita, että on antikommutatiivinen: b a = a b kaikille a, b R 3. 2 Osoita, että on distributiivinen vektorien komponenteittaisen yhteenlaskun suhteen. 3 Osoita, että ei ole assosiatiivinen. Tehtävä 9. Olkoon X, jaolkoon joukon X assosiatiivinen laskutoimitus. Osoita: 1 Jos alkiolla g X on käänteisalkio, se on yksikäsitteinen. 2 Jos alkiolla g X on käänteisalkio, se on alkion g ainoa vasen käänteisalkio Tehtävä 10. Olkoot A, ja C, laskutoimituksella varustettuja joukkoja ja olkoon f :A, C, homomorfismi. Osoita: 1 Jos B A on vakaa, niin fb C on vakaa. 2 Jos B C on vakaa, niin f 1 B A on vakaa. Tehtävä 11. Olkoon h: E, E, surjektiivinen homomorfismi. Osoita: Jos on assosiatiivinen, niin on assosiatiivinen. 8 Vihje: Kannattaa kerrata lineaarialgebran tietoja. Assosiatiivisuuden puuttumisen voi nähdä esimerkiksi tarkastelemalla standardikantavektorien keskinäisiä tuloja. 8

Tehtävä 12. Olkoot f :A, B, ja g :B, C, laskutoimituksella varustettujen joukkojen homomorfismeja. Osoita, että g f on homomorfismi. Tehtävä 13. Olkoon A, laskutoimituksella varustettu joukko ja olkoon HomA, A kaikkien homomorfismien φ: A, A, joukko. Osoita, että homomorfismien yhdistäminen on laskutoimitus joukossa HomA, A. Tehtävä 14. Osoita, että laskutoimituksella varustettu joukko R {0}, on isomorfinen matriisien kertolaskulla varustetun joukon { } { } a 0 diaga, 1/a :a R {0} = : a R {0} 0 1/a kanssa. Tehtävä 15. Keksi esimerkki laskutoimituksella varustetusta joukosta A, ja alkiosta a A, jollaonuseitavasempiakäänteisalkioita. 15 Vihje: Kannattaa miettiä tämän luvun esimerkkejä. 9