MAT Algebra 1(s)

Samankaltaiset tiedostot
ALGEBRA KEVÄT 2013 JOUNI PARKKONEN

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

Esko Turunen Luku 3. Ryhmät

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

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

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

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

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

Esko Turunen MAT Algebra1(s)

Luonnollisten lukujen ja kokonaislukujen määritteleminen

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

Esko Turunen Luku 9. Logiikan algebralisointi

Algebra kl Tapani Kuusalo

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

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

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

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

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

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

ALGEBRA KEVÄT 2011 JOUNI PARKKONEN

Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti.

802328A LUKUTEORIAN PERUSTEET Merkintöjä ja Algebrallisia rakenteita

6. Tekijäryhmät ja aliryhmät

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

Johdatus matematiikkaan

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

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

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

a b 1 c b n c n

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

Algebra II. Syksy 2004 Pentti Haukkanen

8 Joukoista. 8.1 Määritelmiä

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

MS-A0402 Diskreetin matematiikan perusteet

Liite 2. Ryhmien ja kuntien perusteet

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

KOMBINATORIIKKA JOUKOT JA RELAATIOT

Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

1 Lineaariavaruus eli Vektoriavaruus

811120P Diskreetit rakenteet

802320A LINEAARIALGEBRA OSA I

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

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

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

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

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on

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.

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

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 k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

6 Relaatiot. 6.1 Relaation määritelmä

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

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

Ekvivalenssirelaatio. Määritelmä 2 Joukon A binäärinen relaatio R on ekvivalenssirelaatio, mikäli. Jos R on ekvivalenssirelaatio ja a A, niin joukkoa

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

Johdatus diskreettiin matematiikkaan Harjoitus 1,

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

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

ja jäännösluokkien joukkoa

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

X R Matematiikan johdantokurssi, syksy 2016 Harjoitus 5, ratkaisuista

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

811120P Diskreetit rakenteet

1 Algebralliset perusteet

Tekijäryhmät ja homomorsmit

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Joukot. Georg Cantor ( )

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

Diskreetin Matematiikan Paja Tehtäviä viikolle 2. ( ) Jeremias Berg

Ratkaisu: a) Kahden joukon yhdisteseen poimitaan kaikki alkiot jotka ovat jommassakummassa joukossa (eikä mitään muuta).

9 Matriisit. 9.1 Matriisien laskutoimituksia

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

811120P Diskreetit rakenteet

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori

Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne.

802355A Renkaat, kunnat ja polynomit Luentorunko Syksy 2013

Lukualueet Matemaattiset tieteet Oulun yliopisto 2017

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

Kokonaislukuoptimointi

MS-A0401 Diskreetin matematiikan perusteet

Ortogonaalinen ja ortonormaali kanta

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

Matriisipotenssi. Koska matriisikertolasku on liitännäinen (sulkuja ei tarvita; ks. lause 2), voidaan asettaa seuraava määritelmä: ja A 0 = I n.

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

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006)

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

Algebra I, harjoitus 8,

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

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

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Lukujoukot luonnollisista luvuista reaalilukuihin

Reaalilukuvälit, leikkaus ja unioni (1/2)

Algebra I, harjoitus 5,

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

811120P Diskreetit rakenteet

MS-C1340 Lineaarialgebra ja

Kuvausten hajottaminen

Kvasiryhmistä ja niiden sovelluksista

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?

Transkriptio:

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 algebran peruskurssien materiaalille, mikä selittää joidenkin osien kummallisen numeroinnin. Kiitokset tekn. yo. Hanna Kaisa Hurmeelle ja Matti Vaarmalle, jotka ovat koonneet kalvot antamastani käsikirjoituksesta. Kaikki kirjoitus- ym. virheet ovat kuitenkin allekirjoittaneen vastuulla.

Sana algebra tulee arabian kielestä (al-jabr), joka tarkoittaa uudelleenyhdistymistä. Algebran keksijänä pidetään persialaista Muhammed ibn-musa al-khwarizmia (n. 800-840). Algebra on geometrian ja analyysin ohella yksi matematiikan päähaaroista. Algebrassa tutkimuskohteina ovat laskutoimitusten yleiset ominaisuudet jossakin perusjoukossa, jossa ne on määritelty. Tällaisia laskutoimituksia voivat olla esimerkiksi yhteen- ja kertolasku. Laskutoimitusten määritteleminen joukkoon tuottaa algebran perusrakenteet: ryhmän, renkaan ja kunnan. Esimerkiksi kokonaisluvut muodostavat ryhmän, rationaaliluvut ja reaaliluvut kunnan.

Koulumatematiikassa algebra tarkoittaa kirjainlaskua, jossa perusjoukon muodostavat rationaali- tai reaaliluvut. Sen tuttuna käyttökohteena on muun muassa polynomin nollakohtien etsiminen ja algebrallisten yhtälöiden ratkaiseminen. Moderni algebra on laaja matematiikan alue, jolla tutkimus on ollut viime vuosikymmeninä vilkasta. Siinä perusjoukkona, jossa laskutoimitukset on määritelty, voi olla mikä tahansa joukko, jonka alkiot eivät siis välttämättä ole lukuja. Sovelluskohteita modernin algebran tutkimuksessa ovat muun muassa CD-levyjen virheidenkorjausalgoritmit, esimerkiksi CRC-menetelmä. Peruskursseilta tuttu lienee Boolen algebra, joka mm vastaa klassisen logiikan rakennetta.

Johdantoa Epätyhjän joukon A binäärinen laskutoimitus on kuvaus : A A A eli sääntö, joka liittää kahteen joukon A alkioon a, a joukon A alkion a a. Vastaavalla tavalla voidaan puhua unaarisesta laskutoimisuksesta tai n paikkaisesta laskutoimituksesta. Esimerkki (1.1) (a) Luonnollisten lukujen yhteen ja kertolasku ovat binäärisiä laskutoimituksia: (m, n) m + n, (m, n) mn. (b) Joukon X kaikki osajoukot, mukaan lukien tyhjä joukko, muodostavat X :n potenssijoukon P(X ) = {A X }. Joukkojen leikkaus ja yhdiste ovat binäärisiä laskutoimituksia potenssijoukossa P(X ) : (A, B) A B, (A, B) A B. Joukon A komplementti A on unaarinen operaattori A X \A

Esimerkki (1.1 jatkoa) (c) Olkoon X ja olkoon F (X ) = {f : X X } (kuvausten joukko). Kuvausten yhdistäminen on binäärinen laskutoimitus joukossa F (X ) : (f, g) f g. (d) 2 2 matriisien summa [ ] [ ] [ ] a b e f a + e b + f + = c d g h c + g d + h on binäärinen laskutoimitus. (e) 2 2 matriisien kertolasku [ ] [ ] [ a b e f ae + bg af + bh = c d g h ce + dg cf + dh ] on binäärinen laskutoimitus. Jatkossa keskitymme lähinnä binäärisiin laskutoimituksiin, joten jätämme sanan binäärinen pois.

Määritelmä (1.2) Joukon A laskutoimitus on (1) assosiatiivinen eli liitännäinen, jos a (b c) = (a b) c aina, kun a,b,c A. (2) kommutatiivinen eli vaihdannainen, jos a b = b a aina, kun a,b A. Joukon A laskutoimitus on vasemmalta distributiivinen laskutoimituksen suhteen, jos a (b c) = (a b) (a c) aina, kun a,b,c A. Se on oikealta distributiivinen laskutoimituksen suhteen, jos (b c) a = (b a) (c a) aina, kun a,b,c A. Jos on oikealta ja vasemmalta distributiivinen laskutoimituksen suhteen, se on distributiivinen laskutoimituksen suhteen. Näitä lakeja kutsutaan osittelulaeiksi.

Merkintöjä + ja käytetään yleisesti eri laskutoimituksille. Merkintää + käytetään kuitenkin ainoastaan kommutatiiviselle laskutoimitukselle. Usein kertolasku merkitään ilman pistettä eli a b = ab. Esimerkki (1.3) (a) Luonnollisten lukujen yhteen ja kertolaskulle pätee (1) m + n = n + m ja mn = nm aina, kun m, n N (kommutatiivisuus). (2) m + (n + l) = (m + n) + l ja m(nl) = (mn)l aina, kun m, n, l N (assosiatiivisuus). (3) m(n + l) = mn + ml aina, kun m, n, l N, eli kertolasku on distributiivinen yhteenlaskun suhteen. (b) Joukon P(X ) laskutoimituket ja ovat kommutatiivisia: A B = B A ja A B = B A aina, kun A, B P(X ).

Esimerkki (1.3 jatkoa) (c) joukon F (X ) laskutoimitus on assosiatiivinen: f (g h) = (f g) h aina, kun f, g, h F (X ) (d) 2 2 matriisien yhteenlasku on kommutatiivinen ja assosiatiivinen, kertolasku ei ole kommutatiivinen, mutta on assosiatiivinen. Määritelmä (1.4) Olkoon A, ja olkoon joukon A laskutoimitus. Alkio e A on laskutoimituksen neutraalialkio jos e g = g ja g e = g aina, kun g A. Alkio x A on alkion x A vasen käänteisalkio, jos x x = e, ja oikea käänteisalkio, jos x x = e. Jos x on alkion x vasen ja oikea käänteisalkio, niin se on alkion x käänteisalkio. Neutraalialkio on yksikäsitteinen ja tietyin edellytyksin myös alkion x käänteisalkio x on yksikäsitteinen.

Jos laskutoimituksesta käytetään tulomerkintää, niin neutraalialkiota merkitään usein 1:llä, ja summamerkintää käytettäessä 0:lla. Alkion x käänteisalkiota merkitään yleensä x 1 :llä, summamerkintää käytettäessä kuitenkin käytetään merkintää x. Esimerkki (1.5) (a) Luku 0 on luonnollisten lukujen yhteenlaskun neutraalialkio. Luku 1 on luonnollisten lukujen kertolaskun neutraalialkio. Useimmilla luonnollisilla luvuilla ei ole käänteisalkiota kummankaan laskutoimituksen suhteen (poikkeukset?) (b) Identtinen kuvaus id(x) = x on joukon F (X ) laskutoimituksen neutraalialkio: id f = f = f id aina, kun f F (X ). Jos f F (X ) on bijektio, sen käänteiskuvaus f 1 on kuvauksen f käänteisalkio laskutoimituksen suhteen: f f 1 = id = f 1 f. Muilla joukon F (X ) alkioilla ei ole käänteisalkioita.

Esimerkki (1.5 jatkoa) (c) Kun varustamme joukon X potenssijoukon laskutoimituksella \ (joukkojen erotus), niin jokaisella A P(X ) pätee A\ = A, joten muistuttaa laskutoimituksen \ neutraalialkiota. Kuitenkin \ A = aina, kun A P(X ), joten ei ole laskutoimituksen \ neutraalialkio. (Mieti, miksei neutraalialkiota joukossa P(X ) tämän operaation suhteen ole.) (d) 2 2 matriisien nolla alkio on matriisi [ 0 0 0 0 ] ja ykkösalkio [ 1 0 0 1 Kaikilla 2 2-matriiseilla ei ole vasenta tai oikeaa käänteisalkiota [ matriisitulon ] [ suhteen, ] esim. [ ei ole] lukuja a, b, c, d siten, että olisi 1 0 a b 1 0 = (totea!) 0 0 c d 0 1 ].

Lause (1.6) Olkoon X, ja olkoon joukon X laskutoimitus. (1) Jos on olemassa alkiot e X ja e X siten, että e g = g ja g e = g aina, kun g X, niin e = e (joten erityisesti neutraalialkio on aina yksikäsitteinen). (2) Jos on assosiatiivinen laskutoimitus, jolla on neutraalialkio e, niin (a) alkiolla g X on käänteisalkio, jos ja vain jos sillä on vasen ja oikea käänteisalkio. (b) jos alkiolla g on käänteisalkio, se on yksikäsitteinen. (c) jos alkiolla g on käänteisalkio, se on alkion g ainoa vasen (oikea) käänteisalkio.

Todistus. (1) Harjoitustehtävänä 9. (2) Todistamme kohdan (a): Jos alkiolla g on käänteisalkio g, niin määritelmän mukaan se on g:n vasen ja oikea käänteisalkio.

Todistus. (1) Harjoitustehtävänä 9. (2) Todistamme kohdan (a): Jos alkiolla g on käänteisalkio g, niin määritelmän mukaan se on g:n vasen ja oikea käänteisalkio. Olkoon kääntäen 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. Siis g on alkion g käänteisalkio. Kohdat (b) ja (c) seuraavat kohdasta (a).

Tarkastelemme seuraavaksi uusien laskutoimitusten muodostamista tunnettujen laskutoimitusten avulla. Jos on joukon A laskutoimitus, ja jos B A, B siten, että b b B aina, kun b, b B, niin määrittelee indusoidun laskutoimituksen B joukossa B: b B b = b b. Tämä asiantila voidaan ilmaista myös sanomalla, että osajoukko B A on suljettu laskutoimituksen suhteen. Yleensä indusoidulle laskutoimitukselle käytetään samaa merkintää kuin sen indusoimalle laskutoimitukselle : B =.

Esimerkki (1.7) Olkoon M 2 R reaalisten 2 2-matriisien joukko. Olkoon { [ ] } a b P = M c d 2 R : c = 0. Tällöin kaikille A, B P pätee AB P, joten matriisien kertolasku indusoi laskutoimituksen joukossa P. Sanomme myös, että M 2 R:n osajoukko P on suljettu matriisien kertolaskun suhteen. 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. Vastaavalla tavalla voidaan määritellä n paikkaisia laskutoimituksia.

Esimerkki (1.8) Luonnollisten lukujen yhteenlaskun avulla saadaan yhteenlasku joukkoon N N: (m, n) + (p, q) = (m + p, n + q). Palautamme mieliin tärkeän ekvivalenssirelaation käsitteen: Määritelmä (1.9) Relaatio joukossa A on joukon A A osajoukko. Jos R A A on relaatio, usein merkitään a R b (a, b) R (jolloin sanotaan, että alkio a on relaatiossa R alkion b kanssa). Joukon A relaatio R on (1) refleksiivinen, jos a R a aina, kun a A, (2) symmetrinen, jos b R a aina, kun a R b, (3) transitiivinen, jos a R c aina, kun a R b ja b R c, (4) antisymmetrinen, jos b = a aina, kun a, b A ja a R b sekä b R a.

Määritelmä (1.9. jatkoa) Jos relaatio on refleksiivinen, symmetrinen ja transitiivinen, se on ekvivalenssirelaatio. Ekvivalenssirelaation merkkinä käytetään usein merkkiä ; tällöin merkitään a b. Jos on ekvivalenssirelaatio, niin jokainen joukon A alkio a määrää ekvivalenssiluokan [a] = {b A : a b}. Ekvivalenssiluokkien joukkoa merkitään A /, ja sitä kutsutaan ekvivalenssirelaatiota vastaavaksi A:n tekijäjoukoksi. Esimerkki (tärkeä logiikassa) Olkoon L logiikan lauseiden joukko. Asettamalla α β joss α β ja β α saadaan ekvivalenssirelaatio.

Jos relaatio R on refleksiivinen, antisymmetrinen ja transitiivinen, se on osittainen järjestys. Esimerkki Relaatio (osajoukko) on osittainen järjestys epätyhjän joukon X potenssijoukossa P(X ). Täydellinen järjestys se ei kuitenkaan ole, ts. ei aina A B eikä B A (A, B P(X )). Määritelmä (1.10.) Jos on laskutoimitus ja on ekvivalenssirelaatio joukossa A, ne ovat yhteensopivat, jos a b a b aina, kun a a ja b b. Laskutoimitus määrää tekijälaskutoimituksen joukossa A/ säännöllä [a] [b] = [a b]. Loogiset konnektiivit,, ovat yhteensopivia ekvivalenssirelaation suhteen. Jos esim. α β ja γ δ, niin α γ β δ.

Esimerkki (1.11) Olkoon relaatio kokonaislukujen joukossa Z määritelty säännöllä a b, jos on olemassa k Z siten, että b = a + 3k. Tällöin on ekvivalenssirelaatio: (1) a = a + 3 0 aina, kun a Z, eli a a aina, kun a Z.

Esimerkki (1.11) Olkoon relaatio kokonaislukujen joukossa Z määritelty säännöllä a b, jos on olemassa k Z siten, että b = a + 3k. Tällöin on ekvivalenssirelaatio: (1) a = a + 3 0 aina, kun a Z, eli a a aina, kun a Z. (2) jos b = a + 3k jollain k Z, niin a = b + 3 ( k), siis ehdosta a b seuraa aina ehto b a.

Esimerkki (1.11) Olkoon relaatio kokonaislukujen joukossa Z määritelty säännöllä a b, jos on olemassa k Z siten, että b = a + 3k. Tällöin on ekvivalenssirelaatio: (1) a = a + 3 0 aina, kun a Z, eli a a aina, kun a Z. (2) jos b = a + 3k jollain k Z, niin a = b + 3 ( k), siis ehdosta a b seuraa aina ehto b a. (3) jos b = a + 3k ja c = b + 3n joillain k, n Z, niin c = a + 3(k + n), eli jos a b ja b c, niin a c.

Esimerkki (1.11) Olkoon relaatio kokonaislukujen joukossa Z määritelty säännöllä a b, jos on olemassa k Z siten, että b = a + 3k. Tällöin on ekvivalenssirelaatio: (1) a = a + 3 0 aina, kun a Z, eli a a aina, kun a Z. (2) jos b = a + 3k jollain k Z, niin a = b + 3 ( k), siis ehdosta a b seuraa aina ehto b a. (3) jos b = a + 3k ja c = b + 3n joillain k, n Z, niin c = a + 3(k + n), eli jos a b ja b c, niin a c. Huomaa myös, että a b joss a b on jaollinen luvulla 3. Ekvivalenssirelaatiota kutsutaan kongurenssiksi (modulo 3). Yhteenlasku on yhteensopiva ekvivalenssirelaation kanssa: Jos a = a + 3m ja b = b + 3n, niin a + b = a + b + 3(m + n).

Siis kokonaislukujen yhteenlasku määrää laskutoimituksen kolmen alkion joukkoon Z/ = {[0], [1], [2]}. (ekvivalenssiluokat modulo 3) Lemma (1.12) Jos on assosiatiivinen, sen tekijälaskutoimitus on assosiatiivinen. Jos on kommutatiivinen, myös sen tekijälaskutoimitus on kommutatiivinen. Todistus. Jos on kommutatiivinen, niin [a] [b] = [a b] = [b a] = [b] [a], joten tekijälaskutoimitus on kommutatiivinen. Assosiatiivisuus todistetaan harjoitustehtävässä 12.

Määritelmä (1.13) Olkoot E ja E joukkoja, joiden laskutoimitusta merkitään kertolaskulla. Kuvaus h: E E on homomorfismi, jos h(ab) = h(a)h(b) kaikille a, b E. Bijektiivinen homomorfismi on isomorfismi, ja isomorfismi joukolta E itselleen on automorfismi. Esimerkki (1.14) (1) Olkoot ja laskutoimitus ja ekvivalenssirelaatio joukossa E. Jos ne ovat yhteensopivat, niin luonnollinen kuvaus φ : E E /, φ(a) = [a], on surjektiivinen homomorfismi. Tämä seuraa määritelmästä: kuvauksen surjektiivisuus on itsestään selvää ja lisäksi kaikille a, b E pätee φ(a) φ(b) = [a] [b] = [a b] = φ(a b). Siten luonnollinen kuvaus φ on homomorfismi.

Esimerkki (1.14 jatkoa) (2) Kuvaus h : Z M 2 R, h(n) = [ 1 n 0 1 on homomorfismi, kun kokonaisluvut varustetaan yhteenlaskulla ja M 2 R varustetaan matriisien kertolaskulla: [ ] [ ] [ ] 1 n + m 1 n 1 m h(n + m) = = = h(n)h(m), 0 1 0 1 0 1 ],