Noetherin sekä Artinin renkaat ja modulit

Koko: px
Aloita esitys sivulta:

Download "Noetherin sekä Artinin renkaat ja modulit"

Transkriptio

1 TAMPEREEN YLIOPISTO Pro gradu -tutkielma Maarit Harsu Noetherin sekä Artinin renkaat ja modulit Informaatiotieteiden yksikkö Matematiikka Syyskuu 2012

2 ii

3 Tampereen yliopisto Informaatiotieteiden yksikkö HARSU, MAARIT: Noetherin sekä Artinin renkaat ja modulit Pro gradu -tutkielma, 72 s. Matematiikka Syyskuu 2012 Tiivistelmä Tässä työssä tarkastellaan Noetherin ja Artinin renkaita ja moduleita. Niiden käsittelemiseksi esitellään alkuideaalit ja maksimaaliset ideaalit sekä renkaiden ja modulien lokalisaatio. Työn kannalta erityisen kiinnostavia ovat sellaiset modulit, jotka ovat sekä Noetherin että Artinin moduleita, sillä niiden alimoduleista muodostettavat ketjut osajoukkorelaation suhteen ovat äärellisen pituisia. Lokalisaation avulla tällaisiin moduleihin voidaan soveltaa vastaavanlaista tekijöihin jakoa kuin kiinalaisessa jäännöslauseessa. Tämä onnistuu myös Artinin renkaille, koska niillä on äärellinen määrä maksimaalisia ideaaleja, joissa lokalisaatio voidaan tehdä. Noetherin renkailla tämä onnistuu siinä tapauksessa, että niiden kaikki alkuideaalit ovat maksimaalisia. iii

4 iv

5 Esipuhe Lähtökohtanani tämän työn tekemiselle oli saada selville, miten hyvin pystyn saamaan tolkkua matemaattisesta tekstistä omin neuvoin. Tässä asiassa onnistuin mielestäni aika hyvin. Huomasin myös, että matematiikkaa ei edes voi kovin syvällisesti oppia toisen opettamana, koska siinä oppiminen kuitenkin perustuu omiin oivalluksiin, samoin kuin epäonnistuneisiin yrityksiin. Muutenkin työn tekeminen on ollut erittäin opettavaista. Voisin melkeinpä sanoa (mitenkään väheksymättä matematiikan kurssien oppisisältöjä), että tämä työ on opettanut enemmän kuin kaikki matematiikan kurssit yhteensä. Nimittäin varsinaisen asiasisällön lisäksi olen oppinut monia hienoja asioita matematiikan luonteesta. Kaiken kaikkiaan tämän työn tekeminen on ollut erittäin mukavaa. Olen ollut asiasta niin innostunut, etten ole malttanut pitää kovinkaan pitkiä taukoja työn tekemisessä, ja siksi työ myös valmistui aika nopeasti. Haluan kiittää ohjaajaani professori Eero Hyryä erittäin miellyttävästä ja asiantuntevasta tuesta työtäni kohtaan sekä mielenkiintoisista ja opettavaisista matemaattisista keskusteluista. Hänen ansiotaan on myös se, että ylipäätään lähdin tekemään tätä opinnäytettä. Alkuperäinen tarkoitukseni oli nimittäin vain täydentää matematiikan opintojani cum laude -tasolle (60 op) saakka. Tämän täydentämisen viimeisenä vaiheena oli Eero Hyryn luennoima Algebra I -kurssi. Ajatuksenani oli vain saada kurssi suoritettua ja saattaa täydentävät opinnot päätökseen, mutta kiinnostuinkin aiheesta niin, että tulin jatkaneeksi tähän vaiheeseen saakka. Ja hyvä niin, sillä matematiikka on tuonut minulle paljon iloa. Tampereella kesällä 2012 Maarit Harsu v

6 vi

7 Sisältö 1 Johdanto 1 2 Lokaalit renkaat ja renkaan lokalisaatio Renkaan alkuideaalit ja maksimaaliset ideaalit Lokaali rengas Jakorengas Renkaan lokalisaatio Modulin lokalisaatio Noetherin ja Artinin renkaat ja modulit Ideaaliketjut Hilbertin kantalause Toinen katsaus lokalisaatioon Alimoduliketjut Modulin pituus ja kompositiosarja Äärellisen pituiset alimoduliketjut Kompositiosarjojen isomorfisuus Kolmas katsaus lokalisaatioon Artinin renkaiden rakennelause Rakennelauseen esittely Radikaalit ideaalit Alkuideaalit ja maksimaaliset ideaalit Artinin renkaissa Artinin renkaiden suhde Noetherin renkaisiin Rakennelauseen todistaminen eli neljäs katsaus lokalisaatioon Täydentäviä huomioita Kirjallisuutta 72 vii

8 viii

9 Luku 1 Johdanto Tämä työ liittyy kommutatiiviseen algebraan ja erityisesti Noetherin ja Artinin renkaisiin ja moduleihin. (Tästä syystä, mikäli ei toisin mainita, renkaalla tarkoitetaan aina epätriviaalia kommutatiivista rengasta.) Noetherin renkaat ja modulit on nimetty Emmy Noetherin ( ) mukaan. Ne ovat sellaisia renkaita ja moduleita, joille pätee nousevan ketjun ehto, kun ketjut on muodostettu osajoukkorelaation suhteen. Lisäksi niiden kaikki ideaalit/alimodulit ovat äärellisviritteisiä. Noetherin renkaiden merkitys on siinä, että ne yksinkertaistavat monia laskentoja kuten renkaan alkioiden tekijöihin jakamisen. Ennen Noetherin nousevien ideaaliketjujen ideaa [5] tekijöihin jakaminen oli todistettu vaikeasti joissakin erikoistapauksissa. Noetherin työ siis yleisti ja yksinkertaisti kyseistä teoriaa. Noether hyödynsi omassa todistuksessaan Hilbertin kantalausetta, jonka mukaan äärellisen monen muuttujan polynomin jokainen ideaali on äärellisviritteinen. (Itse asiassa lauseen nimessä oleva sana kanta viittaa juuri äärelliseen virittäjistöön.) Artinin renkaat ja modulit on nimetty Emil Artinin ( ) mukaan. Ne taas noudattavat laskevan ketjun ehtoa osajoukkorelaation suhteen. Artinin renkaille pätee vastaavanlainen tekijöihin jako kuin kiinalaisessa jäännöslauseessa. Renkaiden tapauksessa laskevan ketjun ehto on tiukempi kuin nousevan ketjun ehto. Toisin sanoen jokainen Artinin rengas on myös Noetherin rengas. Vastaavaa suhdetta ei kuitenkaan ole Noetherin ja Artinin moduleilla. Noetherin ja Artinin renkaiden ja modulien ohella yksi tärkeä sisältö työssä on lokalisaatio, joka liittyy algebralliseen geometriaan [3]. Kun geometriassa halutaan tarkastella jonkin joukon käyttäytymistä lähellä jotakin tiettyä pistettä, niin algebrassa tämä vastaa lokalisaatiota kyseisessä pisteessä (alkuideaalissa). Itse asiassa lokalisaatio on juuri se menetelmä, jonka avulla tekijöihin jako onnistuu. Lokalisaatio tehdään yleensä alkuideaalissa, mutta se voidaan tehdä myös maksimaalisessa ideaalissa, sillä maksimaalinen ideaali on aina alkuideaali. Kun tarkastellaan Noetherin ja Artinin moduleita, niin erityisen kiinnostavia ovat sellaiset modulit, jotka ovat sekä Noetherin että Artinin moduleita. 1

10 Tällaisten modulien alimoduliketjuille pätee siis sekä nousevan että laskevan ketjun ehdot. Toisin sanoen nämä alimoduliketjut ovat äärellisen pituisia, ja jos ne sisältävät kaikki mahdolliset alimodulit, niin niitä kutsutaan kompositiosarjoiksi. Äärellisestä pituudesta seuraa se, että löytyy äärellinen määrä maksimaalisia ideaaleja, joissa lokalisaatio voidaan tehdä, ja näin ollen tekijöihin jako onnistuu. Myös Artinin renkailla on tämä tärkeä ominaisuus, että maksimaalisia ideaaleja on äärellinen määrä. Tällöin tekijöihin jako palautuu suoraviivaisesti äärellisen pituisten modulien tekijöihin jakoon. Noetherin renkailla tilanne on yhtä suoraviivainen siinä tapauksessa, että jokainen alkuideaali on maksimaalinen. Noetherin renkaiden tapauksessa pystytään löytämään äärellinen määrä sopivia minimaalisia alkuideaaleja, ja jos nämä alkuideaalit ovat myös maksimaalisia, niin tilanne palautuu Artinin renkaiden tapaukseen. Tämä oli myös Noetherin olennainen huomio [5]. Työn rakenne on seuraava. Toisessa luvussa tutustutaan koko työn kannalta oleellisiin käsitteisiin kuten alkuideaaleihin ja maksimaalisiin ideaaleihin, lokaaleihin renkaisiin ja moduleihin samoin kuin renkaiden ja modulien lokalisaatioon. Kolmannessa luvussa esitellään Noetherin ja Artinin renkaat ja modulit. Neljännessä luvussa tarkastellaan sellaisia moduleita, jotka ovat sekä Noetherin että Artinin moduleita ja joilla siis on äärellisen pituinen kompositiosarja. Viidennessä luvussa perehdytään erityisesti Artinin renkaisiin sekä siihen, miten Noetherin ja Artinin renkaat liittyvät toisiinsa. Työn pääasiallisia lähteitä ovat olleet kirjat [1], [2], [6] ja [7], joita on käytetty kutakuinkin tasapuolisesti. Juuri mitään sisältöä kuten todistusta ei ole otettu mistään yksittäisestä lähteestä, vaan näissä lähteissä olevia ratkaisuja (lähinnä siis todistuksia) on vertailtu, ja vertailun tuloksena on yleensä syntynyt oma versio todistuksista. Lisäksi jokunen esimerkki, lause ja todistus on alun perinkin kirjoittajan itsensä muotoilemia. Työn lukemista helpottaa, jos lukija on suorittanut Tampereen yliopiston matematiikan kurssit Algebra II (tai ainakin Algebra I) sekä Lineaarialgebra II, tai jos lukijalla muuten on vastaavat tiedot. Hyvät esitiedot saa myös kirjasta [8]. 2

11 Luku 2 Lokaalit renkaat ja renkaan lokalisaatio 2.1 Renkaan alkuideaalit ja maksimaaliset ideaalit Esitellään aluksi Zornin lemma, koska se liittyy alla olevan maksimaalisen ideaalin määritelmään, ja sitä tarvitaan jäljempänä tulevan lauseen (Lause 2.11) todistuksessa. Apulause 2.1 (Zornin lemma). Olkoon (V, ) epätyhjä osittain järjestetty joukko, jonka jokaisella ketjulla (eli täydellisesti järjestetyllä osajoukolla) on yläraja joukossa V. Tällöin joukolla V on ainakin yksi maksimaalinen alkio. Lemmassa esiintyvällä maksimaalisella alkiolla tarkoitetaan seuraavaa: Alkio m V on maksimaalinen, mikäli kaikilla n V pätee: m n m = n. Määritelmä 2.2. Renkaan R ideaalin M sanotaan olevan maksimaalinen, mikäli M on maksimaalinen jäsen aitojen ideaalien osajoukkoketjussa, eli täsmällisemmin: Renkaan R ideaali M on maksimaalinen, mikäli (i) M on renkaan R aito ideaali, eli M R, ja (ii) ei ole olemassa renkaan R ideaalia I siten, että M I R. Esimerkki 2.3. Jos R on kunta, niin sillä on täsmälleen kaksi ideaalia: R itse sekä nollaideaali. Nimittäin jos I R on ideaali ja 0 a I, niin I = R, sillä a on kääntyvä kuten kaikki nollasta eroavat kunnan alkiot. Näistä kahdesta ideaalista vain nollaideaali on maksimaalinen, sillä se on ainoa aito ideaali. Itse asiassa edellä mainittu ehto pätee myös toiseen suuntaan, eli kunta voitaisiin määritellä seuraavasti: Rengas R on kunta, jos ja vain jos sillä on täsmälleen kaksi ideaalia (0 ja R). 3

12 Määritelmä 2.4. Olkoon P renkaan R ideaali. Sanotaan, että P on alkuideaali, mikäli (i) P on renkaan R aito ideaali, eli P R, ja (ii) aina kun a,b R siten, että ab P, niin a P tai b P. Esimerkki 2.5. Jos R on kokonaisalue, niin nollaideaali on alkuideaali. Ensinnäkin nollaideaali on aito, koska kokonaisalueena R on nollasta eroava. Oletetaan sitten, että a,b R. Nyt jos ab {0}, niin ab = 0. Kokonaisalueessa tämä tarkoittaa, että a = 0 tai b = 0, eli a {0} tai b {0}. Annetaan seuraavaksi multiplikatiivisen joukon määritelmä, koska se liittyy läheisesti alkuideaaleihin. Määritelmä 2.6. Olkoon R rengas. Osajoukko S R on multiplikatiivinen, mikäli (i) 1 S, ja (ii) jos a,b S, niin ab S. Alkuideaalien ja multiplikatiivisten joukkojen välinen yhteys käy ilmi seuraavasta apulauseesta: Apulause 2.7. Olkoon R rengas ja P R ideaali. Ideaali P on alkuideaali, jos ja vain jos komplementti R\P on multiplikatiivinen. Todistus. Osoitetaan Määritelmien 2.4 ja 2.6 yhtäpitävyys valitsemalla Määritelmän 2.6 osajoukoksi R\P. Osoitetaan ensin ehtojen (i) yhtäpitävyys lähtemällä alkuideaalin määritelmästä. Ideaali P R on aito täsmälleen silloin, kun 1 / P. Koska P on renkaan R osajoukko, niin tämä on yhtäpitävää sen kanssa, että 1 R\P. Siis joukko R\P täyttää multiplikatiiviselle joukolle asetetun ehdon (i). Näin ollen määritelmien ensimmäiset ehdot ovat yhtäpitäviä. Osoitetaan sitten ehtojen (ii) yhtäpitävyys lähtemällä jälleen alkuideaalin määritelmästä. Oletetaan, että a, b R. Alkuideaalille P pätee: Jos ab P, niin a P tai b P. Koska P on renkaan R osajoukko, niin tämä implikaatio voidaan kirjoittaa ekvivalentissa muodossa: Jos ab / R\P, niin a / R\P tai b / R\P. Edelleen käyttämällä kontrapositiota implikaatio saadaan muotoon: Jos a R\P ja b R\P, niin ab R\P. Näin saatu ehto on täsmälleen multiplikatiivisen joukon ehto (ii) joukolle R\P. Täten myös määritelmien toiset ehdot ovat yhtäpitäviä. Näin saatiin osoitettua, että Määritelmät 2.4 ja 2.6 ovat yhtäpitäviä. Tarkastellaan seuraavaksi alkuideaaleista muodostettuja joukkoja eli spektreja. 4

13 Määritelmä 2.8. Renkaan R alkuspektri tai spektri on renkaan R alkuideaalien joukko, josta käytetään merkintää Spec R. Eli Spec R = { P P R on alkuideaali }. Esimerkki 2.9. Spec Z = { 0, 2Z, 3Z, 5Z,...}. Ennen seuraavaa esimerkkiä esitellään siinä käytettävä merkintätapa renkaan kääntyville alkioille: Jos R on rengas, niin sen kääntyvien alkioiden joukolle käytetään merkintää R := { u R uv = 1, jollakin v R }. Kääntyviä alkioita voidaan kutsua myös yksiköiksi. Huomataan helposti, että R on multiplikatiivinen joukko. Esimerkki Jos K on kunta, niin Spec K[X] = {0} { <f> f on jaoton polynomi }. Nimittäin jos f K[X] on jaoton polynomi, niin pätee ehto: Jos f gh, niin f g tai f h joillakin f,g K[X]. Tämä vastaa alkuidealin ehtoa: Jos f = gh, niin g P tai h P jollakin P Spec K[X]. Näin ollen jaottomien polynomien virittämät ideaalit ovat alkuideaaleja. Lisäksi Esimerkin 2.5 nojalla myös nollaideaali on alkuideaali, sillä K[X] on kokonaisalue, kun K on kunta. Jos lisäksi K on algebrallisesti suljettu, niin kaikki jaottomat polynomit ovat muotoa u(x α), missä u K ja α K. Tällöin alkuideaalit ovat 0 ja (X α), missä α K. Seuraavat lauseet kuvailevat kommutatiivisten renkaiden sekä niiden maksimaalisten ja alkuideaalien ominaisuuksia. Lause Renkaan jokainen aito ideaali sisältyy johonkin maksimaaliseen ideaaliin. Todistus. Olkoon R rengas. Jotta renkaalla R voisi olla aitoja ideaaleja, niin sen täytyy olla epätriviaali. Olkoon S joukko, joka koostuu renkaan R aidoista ideaaleista. Koska R ei ole triviaali, niin nollaideaali on aito, joten 0 S, eli S on epätyhjä. Osajoukkorelaatio on osittainen järjestys joukossa S, joten renkaan R maksimaalinen ideaali on osittain järjestetyn joukon (S, ) maksimaalinen alkio. Voidaan siis soveltaa Zornin lemmaa tähän joukkoon. Olkoon T S ketju (eli täysin järjestetty osajoukko). Määritellään J := I T I. 5

14 Osoitetaan ensin, että J on ideaali. Selvästi 0 J, sillä nolla on alkiona jokaisessa ideaalissa I. Oletetaan sitten, että a, b J. Tällöin on olemassa I 1,I 2 T siten, että a I 1 ja b I 2. Koska T on ketju, niin joko I 1 I 2 tai I 2 I 1. Kummassakin tapauksessa a b I 1 I 2, joten a b J. Täten J on ryhmän (R, +) aliryhmä. Koska kukin I on ideaali, niin pätee ehto: Jos a I ja r R, niin ra I. Vastaava ehto pätee siis myös ideaalien yhdisteelle J. Näin ollen J on renkaan R ideaali. Osoitetaan vielä, että ideaali J on aito. Nyt I T S, joten jokainen ideaali I on aito. Koska siis kaikilla ideaaleilla I pätee, että 1 / I, niin myös 1 / J. Täten jokaisella ketjulla on yläraja joukossa S. Nyt Zornin lemman perusteella joukolla S on maksimaalinen alkio (eli maksimaalinen ideaali). Huomautus. Edellinen lause voitaisiin muotoilla niin, että jokaisella epätriviaalilla renkaalla on ainakin yksi maksimaalinen ideaali. Myös seuraava lause on oikeastaan toinen vaihtoehtoinen muotoilu edelliselle lauseelle. Lause Olkoon R rengas ja a R. Tällöin a R on kääntyvä, jos ja vain jos kaikilla renkaan R maksimaalisilla ideaaleilla M pätee, että a / M. (Toisin sanoen renkaan alkio on kääntyvä, jos ja vain jos se ei kuulu mihinkään maksimaaliseen ideaaliin.) Todistus. Todetaan ensin aputulos: Olkoon R rengas ja a R. Tällöin a R on kääntyvä, jos ja vain jos ar = R. Nimittäin a R on kääntyvä täsmälleen silloin, kun ab = 1 jollakin b R. Tämä taas on yhtäpitävää sen kanssa, että 1 = ab ar, mikä pitää paikkansa, jos ja vain jos ar = R. Todistetaan sitten varsinainen väite: Oletetaan, että a R on kääntyvä. Jos olisi a M jollakin renkaan R maksimaalisella ideaalilla M, niin olisi myös ar M R. Tällöin aputuloksen nojalla a ei voisi olla kääntyvä renkaassa R, mikä on ristiriita. Oletetaan, että kaikilla maksimaalisilla ideaaleilla M pätee, että a / M. Jos a R ei olisi kääntyvä, niin aputuloksen nojalla ar olisi renkaan R aito ideaali. Tällöin Lauseesta 2.11 seuraa, että ar M jollakin renkaan R maksimaalisella ideaalilla M. Nyt a ar M, mikä on ristiriita. Siis alkion a täytyy olla kääntyvä. Tarkastellaan seuraavaksi, miten alkuideaalit ja maksimaaliset ideaalit liittyvät tekijärenkaisiin. Seuraavassa lauseessa hyödynnetään sitä tosiseikkaa, että tekijärenkaan R/I ideaalit ovat muotoa J/I, missä I J, ja J R on ideaali. Myöhemmin (Apulauseessa 3.21) vastaava tosiseikka todistetaan tekijämodulien alimoduleille. Lause Renkaan R ideaali M on maksimaalinen, jos ja vain jos tekijärengas R/M on kunta. 6

15 Todistus. Oletetaan, että M on renkaan R maksimaalinen ideaali. Tällöin ei ole olemassa sellaista ideaalia J, jolle pätisi M J R. On siis oltava joko J = R tai J = M. Nyt renkaalla R/M ei voi olla muita ideaaleja kuin 0 ja R/M. Siis R/M on kunta. Oletetaan sitten, että R/M on kunta. Täten sillä on kaksi ideaalia: 0 ja R/M. Ei siis voi olla olemassa ideaalia J/M siten, että J/M R/M ja M J. Siis M on maksimaalinen. Esimerkki Tiedetään, että tekijärengas Z/pZ on kunta, jos ja vain jos p on alkuluku. Täten renkaan Z maksimaaliset ideaalit ovat täsmälleen ne ideaalit, jotka ovat muotoa pz, missä p on alkuluku. Lause Renkaan R ideaali P on alkuideaali, jos ja vain jos tekijärengas R/P on kokonaisalue. Todistus. Oletetaan, että P on renkaan R alkuideaali. Näin ollen P on aito, joten R/P ei ole triviaali. Olkoon a R sellainen alkio, että a+p R/P on nollantekijä. Näin ollen on olemassa b R siten, että b+p 0+P, mutta ab + P = (a + P)(b + P) = 0 + P. Tällöin ab P mutta b / P, joten alkuideaalin määritelmän perusteella on oltava a P. Täten a+p = 0+P, mistä seuraa, että R/P on kokonaisalue. Oletetaan, että R/P on kokonaisalue. Täten kokonaisalueen määritelmän perusteella R/P 0, joten P R, eli P on aito ideaali. Olkoot a,b R siten, että ab P. Tällöin ab + P = 0 + P. Nyt (a + P)(b + P) = ab + P = 0 + P. Koska R/P on kokonaisalue, niin joko a + P = 0 + P tai b + P = 0 + P, joten joko a P tai b P. Siis P on alkuideaali. Lause Renkaan jokainen maksimaalinen ideaali on alkuideaali. Todistus. Seuraa kahdesta edellisestä lauseesta: Jos renkaan R ideaali I on maksimaalinen, niin Lauseen 2.13 nojalla R/I on kunta. Jokainen kunta on kokonaisalue, joten Lauseen 2.15 perusteella I on alkuideaali. Esimerkki Renkaassa Z ideaalit pz, missä p on alkuluku, ovat sekä maksimaalisia että alkuideaaleja. Sen sijaan nollaideaali on alkuideaali mutta ei maksimaalinen. Esimerkki Renkaassa Z[X] ideaali <X> on alkuideaali, sillä Z on kokonaisalue ja Z[X]/<X> = Z, mutta tämä ideaali ei ole maksimaalinen. Samoin nollaideaali on alkuideaali mutta ei maksimaalinen. 7

16 2.2 Lokaali rengas Esimerkissä 2.3 todettiin, että kunnalla on aina täsmälleen yksi maksimaalinen ideaali. Seuraavaksi tarkastellaan sellaisia renkaita, jotka eivät ole kuntia mutta joilla silti on tämä ominaisuus. Määritelmä Rengas on lokaali, mikäli sillä on yksikäsitteinen maksimaalinen ideaali. Tarkastellaan seuraavaksi lokaalien renkaiden ominaisuuksia. Seuraavat lokaaleja renkaita koskevat ehdot ovat yhtäpitäviä: (i) Rengas R on lokaali. (ii) Renkaalla R on täsmälleen yksi maksimaalinen ideaali. (iii) Renkaan R ei-kääntyvät alkiot muodostavat ideaalin. (iv) Renkaalla R on maksimaalinen ideaali M siten, että alkio 1 m on kääntyvä renkaassa R kaikilla m M. Kahden ensimmäisen kohdan yhtäpitävyys seuraa suoraan lokaalin renkaan määritelmästä. Kolmannen kohdan yhtäpitävyys muiden kanssa osoitetaan seuraavassa lauseessa. Neljäs kohta jätetään tässä vaiheessa todistamatta, mutta myöhemmin (Apulauseessa 5.5) todistetaan sen yleisempi versio. Lause Rengas R on lokaali, jos ja vain jos joukko R\R on ideaali. Todistus. Oletetaan, että R on lokaali ja että sillä on maksimaalinen ideaali M. Lauseen 2.12 nojalla M R =, ja koska M R, niin M R\R. Koska lisäksi M on maksimaalinen, niin M = R\R. Siis R\R on ideaali. Oletetaan, että joukko R\R on renkaan R ideaali. Täten 0 R\R, joten nolla ei ole kääntyvä. Siis 0 1. Näin ollen R on epätriviaali, joten sillä on ainakin yksi maksimaalinen ideaali; olkoon se M. Nyt edellisen kohdan mukaisella päättelyllä saadaan, että M = R\R. Koska M sisältää kaikki renkaan R ei-kääntyvät alkiot ja koska aidot ideaalit eivät voi sisältää muita kuin ei-kääntyviä alkioita, niin muita maksimaalisia ideaaleja ei voi olla. Näin ollen M on renkaan R ainoa maksimaalinen ideaali, ja R on lokaali. Esimerkki Kunta on aina lokaali rengas, koska kunnalla on täsmälleen yksi maksimaalinen ideaali. Erityisesti Z/pZ on kunta, kun p on alkuluku, joten se on myös lokaali. Esimerkki Jos n N,n 2 ja p on alkuluku, niin rengas Z/p n Z = Z p n ei ole kunta (eikä kokonaisalue) mutta kuitenkin lokaali rengas. 8

17 Todistus. Selvästi renkaalla Z/p n Z on ideaali <p> = pz/p n Z, joka on aito. Todistetaan nyt, että kaikki tämän ideaalin alkiot ovat ei-kääntyviä ja että kaikki sen ulkopuoliset alkiot ovat kääntyviä. Olkoon a <p>. Jos a olisi kääntyvä, niin olisi olemassa a 1 Z/p n Z siten, että aa 1 = 1. Mutta tällöin 1 <p>, mikä on ristiriita. Siis a ei ole kääntyvä. Oletetaan sitten, että a / <p>. Tällöin p a. Koska lisäksi p on alkuluku, niin syt(a,p) = 1, jolloin myös syt(a,p n ) = 1. Täten 1 = λa + µp n joillakin λ,µ Z/p n Z. Siis 1 = λa, joten a on kääntyvä. Näin ollen ideaali <p> sisältää täsmälleen ne renkaan Z/p n Z alkiot, jotka eivät ole kääntyviä. Siis Z/p n Z on lokaali. Esimerkki Havainnollistetaan edellistä esimerkkiä konkreettisemmalla tilanteella. Tarkastellaan rengasta Z/9Z, joka siis edellisen esimerkin perusteella on lokaali. Joukon Z/9Z = Z 9 = { 0, 1,..., 8 } ei-kääntyviä alkiota ovat 0, 3, 6, ja ne muodostavat ideaalin. 2.3 Jakorengas Lokaalit renkaat muistuttavat kuntia siinä mielessä, että niillä molemmilla on täsmälleen yksi maksimaalinen ideaali. Lokaalisuus on siis varsin toivottava ominaisuus renkailla. Siksi onkin oleellista tarkastella, miten jostakin mielivaltaisesta renkaasta saadaan aikaiseksi lokaali rengas. Lokaaleihin renkaisiin päästään jakorenkaiden avulla, joten tarkastellaan seuraavaksi niitä. Aloitetaan niihin liittyvästä ekvivalenssirelaatiosta. Apulause Olkoon R rengas ja S R multiplikatiivinen. Olkoot lisäksi a,b R ja s,t S. Määritellään relaatio joukossa R S siten, että (a,s) (b,t) on olemassa u S siten, että u(ta sb) = 0 Tällöin on ekvivalenssirelaatio joukossa R S. Todistus. Oletetaan, että (a,s) R S. Nyt ehto 1 (sa sa) = 0 on selvästi tosi, ja koska 1 S, niin (a,s) (a,s). Täten relaatio on refleksiivinen. Oletetaan seuraavaksi, että (a,s), (b,t) R S siten, että (a,s) (b,t). Tällöin on olemassa u S siten, että u(ta sb) = 0. Siis u(sb ta) = 0, joten (b,t) (a,s), eli relaatio on symmetrinen. Oletetaan vielä lopuksi, että (a,s), (b,t), (c,u) R S siten, että (a,s) (b,t) ja (b,t) (c,u). Tällöin on olemassa v,w S siten, että { v(ta sb) = 0 w(ub tc) = 0 wu vs Suorittamalla yllä olevat kertolaskut ja laskemalla puolittain yhteen saadaan vwt(ua sc) = 0. 9

18 Koska vwt S, niin (a,s) (c,u), eli relaatio on transitiivinen. Näin ollen on ekvivalenssirelaatio. Tämän ekvivalenssirelaation avulla voidaan määritellä jakorengas seuraavasti. Määritelmä Olkoon R rengas ja S R multiplikatiivinen. Oletetaan lisäksi, että tarkoittaa Apulauseen 2.24 ekvivalenssirelaatiota. Tällöin merkinnällä a/s tarkoitetaan sellaista relaation ekvivalenssiluokkaa, joka sisältää alkion (a,s) R S. Merkintä S 1 R tarkoittaa kaikkia relaation ekvivalenssiluokkia, ja sitä kutsutaan renkaan R jakorenkaaksi osajoukon S suhteen. Osoitetaan sitten, että edellä mainitulla tavalla muodostettu struktuuri (nimeltään jakorengas) on rengas. Lause Olkoon R rengas ja S R multiplikatiivinen. Oletetaan lisäksi, että a,b R ja s,t S. Tällöin jakorengas S 1 R varustettuna laskutoimituksilla on rengas. a s + b t = ta + sb st ja a b s t = ab st Todistus. Osoitetaan ensin, että laskutoimitusten määrittelyt ovat mielekkäitä. Olkoot a,a,b,b R ja s,s,t,t S siten, että joukossa S 1 R pätee: a s = a s ja b t = b t. Toisin sanoen (a,s) (a,s ) ja (b,t) (b,t ). Tällöin Apulauseen 2.24 nojalla on olemassa u,v S siten, että { u(s a sa ) = 0 v(t b tb ) = 0 { uv(s t ta stt a ) = 0 uv(s t sb sts b ) = 0. Laskemalla jälkimmäiset yhtälöt puolittain yhteen saadaan uv(s t (ta + sb) st(t a + s b )) = 0. Koska uv S, niin voidaan päätellä, että ta + sb st = t a + s b s t. Näin on osoitettu yhteenlasku mielekkääksi. Tehdään sama vielä kertolaskulle. Jälleen saadaan Apulauseen 2.24 perusteella { u(s a sa ) = 0 v(t b tb ) = 0 { uv(s tab sta b ) = 0 uv(s t ab s tab ) = 0. 10

19 Tästä saadaan uv(sta b s t ab) = 0. Koska uv S, niin ab st = a b s t. Täten myös kertolasku on mielekäs. Osoitetaan vielä, että S 1 R toteuttaa renkaalle asetetut ehdot. (i) 0 S 1 R = 0/1 S 1 R, sillä 0 R ja 1 S. (ii) Oletetaan, että a/s,b/t S 1 R. Tällöin a,b, b R, ja s,t S. Nyt a s b t = a s + b t sillä ta sb R ja st S. = ta sb st S 1 R, (iii) Oletetaan, että a/s,b/t S 1 R, jolloin a,b R, ja s,t S. Nyt sillä ab R ja st S. a b s t = ab st S 1 R, (iv) 1 S 1 R = 1/1 S 1 R, sillä 1 R ja 1 S. Näin ollen S 1 R on renkaan R alirengas, joten se on rengas. Huomautus. Jakorenkaan S 1 R alkio a/s on nolla-alkio, eli a/s = 0/1, jos ja vain jos on olemassa u S siten, että u(1 a s 0) = 0, eli jos ja vain jos ua = 0. Lisäksi 0/s = 0/1 kaikilla s S, sillä u(0 1 0 s) = u 0 = 0 millä tahansa u S. Esimerkki Olkoon R kokonaisalue ja S = R\{0} (S on siis multiplikatiivinen). Olkoot lisäksi (a,s), (b,t) R S. Nyt Apulauseessa 2.24 määritelty ekvivalenssirelaation ehto u(ta sb) = 0, missä u S, voidaan kirjoittaa yksinkertaisempaan muotoon ta = sb. Tämä on mahdollista, koska kokonaisalueessa ei tarvitse varautua nollantekijöihin. Toisin sanoen kun R on kokonaisalue, niin jakorengas S 1 R on kunta (kokonaisalueen jakokunta). Osoitetaan vielä, että on olemassa homomorfismi renkaalta R renkaalle S 1 R. Tätä kuvausta kutsutaan kanoniseksi eli luonnolliseksi rengashomomorfismiksi. Lause Olkoon R rengas ja S R multiplikatiivinen. Kuvaus f : R S 1 R on rengashomomorfismi ehdolla r r/1, missä r R. Todistus. Todetaan seuraavat kolme kohtaa: 11

20 (i) f(1 R ) = 1/1 = 1 S 1 R. (ii) Olkoot a,b R. Nyt f(a) + f(b) = a 1 + b 1 = a + b 1 = f(a + b). (iii) Olkoot a,b R. Nyt f(a)f(b) = a 1 b 1 = ab 1 = f(ab). Edellä todistettujen kohtien nojalla f on rengashomomorfismi. Huomautus. Jakorengas S 1 R on triviaali (eli 1/1 = 0/1), jos ja vain jos on olemassa u S siten, että u 1 = 0, eli jos ja vain jos 0 S. Vaikka näin ei olisikaan (eli 0 / S), niin luonnollinen rengashomomorfismi ei välttämättä ole injektio. Nimittäin Kerf = { a R f(a) = 0 S 1 R } = { a R a 1 = 0 1 } = { a R on olemassa u S siten, että u(a 1 1 0) = 0 } = { a R on olemassa u S siten, että ua = 0 }. Esimerkki Olkoon R = Z/6Z ja S = { 1, 3, 5 }. Tällöin luonnollisen rengashomomorfismin f : R S 1 R ytimeksi saadaan Kerf = { n R n Z ja s n = 0 jollakin s S } = { 0, 2, 4 }. 2.4 Renkaan lokalisaatio Edellä on tarkasteltu jakorenkaita S 1 R, missä R on rengas ja S R multiplikatiivinen. Tilanne tulee vielä mielenkiintoisemmaksi, jos multiplikatiiviseksi osajoukoksi valitaan R\P, missä P on renkaan R alkuideaali. Tämä valinta on mahdollinen, sillä Apulauseen 2.7 nojalla R\P on multiplikatiivinen, aina kun P on alkuideaali. Määritelmä Olkoon R rengas ja P Spec R. Merkitään S := R\P. Tällöin jakorengasta S 1 R kutsutaan renkaan R lokalisaatioksi alkuideaalissa P, ja siitä käytetään merkintää R P. Lause Olkoon R rengas, ja P Spec R. Tällöin lokalisaatio R P on lokaali rengas, jolla on maksimaalinen ideaali { a s R P a P,s R\P }. 12

21 Todistus. Merkitään I := { a s R P a P,s R\P }. Riittää osoittaa, että I on renkaan R P ideaali ja että I = R P \R P. Osoitetaan ensin, että I on renkaan R P ideaali. Ensinnäkin 0/1 I, sillä 0 P ja 1 R\P. Olkoot a/s,b/t I joillakin a,b P, ja s,t R\P. Nyt a s + b t = ta + sb st I, sillä ta+sb P ja st R\P. Jos lisäksi r/u R P, missä r R ja u R\P, niin (r/u)(a/s) = (ra)/(us) I, sillä ra P ja us R\P. Näin ollen I on renkaan R P ideaali. Osoitetaan sitten, että ne alkiot, jotka eivät kuulu ideaaliin I, ovat kääntyviä. Olkoon a/s mielivaltainen komplementin R P \I alkio. Koska a/s R P, niin a R,s R\P. Koska kuitenkin a/s / I, niin a / P, joten a R\P. Täten s/a R P, jolloin (a/s)(s/a) = 1. Huomataan siis, että a/s on kääntyvä renkaassa R P. Koska a/s valittiin mielivaltaisesti, niin voidaan päätellä, että kaikki komplementin R P \I alkiot ovat kääntyviä. Osoitetaan vielä, että mikään renkaan R P kääntyvä alkio ei kuulu ideaaliin I. Olkoon a/s renkaan R P mielivaltainen kääntyvä alkio. Tällöin a R,s R\P. Koska a/s on kääntyvä, niin on olemassa b R,t R\P siten, että a b s t = 1 1 R P. Koska a/s = t/b, niin on olemassa u R\P siten, että u(ab st) = 0, jolloin uab = ust R\P. Siis a / P, joten a/s / I. Koska alkio a/s valittiin mielivaltaisesti, niin voidaan päätellä, että mikään kääntyvä alkio ei kuulu ideaaliin I. Saatiin siis osoitettua, että renkaan R P ideaali I on täsmälleen sama kuin renkaan R P ei-kääntyvien alkioiden joukko, mikä tarkoittaa, että R P on lokaali. Esimerkki Esimerkin 2.5 nojalla tiedetään, että kokonaisalueessa nollaideaali on alkuideaali. Jos kokonaisalue lokalisoidaan nollaideaalissa, niin saadaan kokonaisalueen jakokunta, esimerkiksi Z 0 = Q. Tällöin nollaideaali on ainoa maksimaalinen ideaali, sillä nolla on ainoa ei-kääntyvä alkio. Esimerkki Renkaalla Z on alkuideaali 2Z (eli <2>), joten saadaan lokalisaatio Z 2Z. Tämä lokalisaatio on sellainen renkaan Q alirengas, jossa nimittäjät ovat parittomia. Täsmällisemmin Z 2Z = { q Q q = a b siten, että a,b Z, 2 b }. 13

22 Etsitään vielä tämän lokaalin renkaan maksimaalinen ideaali. Nyt q Z 2Z on kääntyvä täsmälleen silloin, kun on olemassa u Z 2Z siten, että qu = (a/b)u = 1 eli au = b. Täten q = a b on kääntyvä renkaassa Z 2Z 2 a, jolloin ei-kääntyvien alkioiden joukoksi saadaan { a b Z 2Z (2 a) } = 2Z 2Z. Ei-kääntyvät alkiot muodostavat ideaalin, joten saadaan siis tekijärengas Z 2Z /2Z 2Z. Esimerkki Tarkastellaan vielä äärellistä rengasta Z/6Z = Z 6 ja sen lokalisaatioita. Etsitään ensin alkuideaalit, joissa lokalisaatio voidaan tehdä. Kyseisen tekijärenkaan ideaalit ovat muotoa P/6Z, missä P on renkaan Z ideaali siten, että P 6Z. Etsimällä kyseisen ehdon täyttävistä ideaaleista alkuideaalit löydetään 2Z/6Z ja 3Z/6Z. Tehdään nyt lokalisaatio kummassakin edellä löydetyssä alkuideaalissa. Lokalisaatioksi ideaalissa 2Z/6Z saadaan rengas, jonka alkiot ovat muotoa r/s, missä r Z/6Z ja s (Z/6Z)\(2Z/6Z). Toisin sanoen s voi saada arvoikseen renkaan Z/6Z parittomat alkiot. Lokalisoidun renkaan mahdollisia alkioita on siis 18, mutta useimmat niistä ovat samoja. Vain kaksi alkioista on eri alkioita, ja niillä kummallakin on yhdeksän esitysmuotoa: 0 1 = 0 3 = 0 5 = 2 1 = 2 3 = 2 5 = 4 1 = 4 3 = 4 5, 1 1 = 1 3 = 1 5 = 3 1 = 3 3 = 3 5 = 5 1 = 5 3 = 5 5. Alkioiden yhtäsuuruus voidaan todeta seuraavasti. Tarkastellaan esimerkiksi alkioita 4/1 ja 2/3. Ne ovat samoja, sillä = 10, ja joukosta (Z/6Z)\(2Z/6Z) löytyy alkio 3, jolla kerrottuna saadaan nolla, eli 3 10 = 30 0 (mod 6). Muiden alkioiden yhtäsuuruus voidaan päätellä samaan tapaan. Ideaalissa 3Z/6Z lokalisaatioksi saadaan kolmen alkion rengas, jossa kullakin alkioilla on kahdeksan esitysmuotoa: 0 1 = 0 2 = 0 4 = 0 5 = 3 1 = 3 2 = 3 4 = 3 5, 1 1 = 4 1 = 2 2 = 5 2 = 1 4 = 4 4 = 2 5 = 5 5, 2 1 = 5 1 = 1 2 = 4 2 = 2 4 = 5 4 = 1 5 = 4 5. Molemmissa tapauksissa nolla-alkio on ainoa ei-kääntyvä alkio, joten nollaideaali on ainoa maksimaalinen ideaali. 14

23 Lokalisaatio tarkoittaa siis menetelmää, jolla mistä tahansa renkaasta voidaan konstruoida lokaali rengas. Lause 2.31 osoittaa, että lopputuloksena saatava rengas on lokaali. Lisäksi lokalisaatio on aina mahdollista. Aikaisemmin on nimittäin todettu, että renkaalla on ainakin yksi maksimaalinen ideaali (Lause 2.11), ja edelleen jokainen maksimaalinen ideaali on alkuideaali (Lause 2.16). Näin ollen jokaiselle renkaalle R löytyy aina alkuideaali P, ja voidaan muodostaa lokaali rengas R P. 2.5 Modulin lokalisaatio Vastaavalla tavalla, kuin saatiin renkaan lokalisaatio, voidaan muodostaa myös modulin lokalisaatio. Nimittäin jos R on rengas, niin R on myös R- moduli. Moduleille saadaan siis vastaavanlainen ekvivalenssirelaatio kuin renkaille. Olkoon R rengas ja M R-moduli, ja olkoon S R multiplikatiivinen. Tällöin S 1 M on S 1 R-moduli, joka voidaan määritellä antamalla samanlainen ekvivalenssirelaatio kuin renkaita koskevassa Apulauseessa 2.24: Olkoot m,n M ja s,t S. Tällöin (m,s) (n,t) on olemassa u S siten, että u(tm sn) = 0. Nyt on ekvivalenssirelaatio joukossa M S, eli S 1 M = (M S)/. Tämä voidaan osoittaa ekvivalenssirelaatioksi samalla tavalla kuin tehtiin renkaiden tapauksessa. Samoin voidaan ottaa käyttöön samanlaiset laskutoimitukset, ja osoittaa, että kyseisillä laskutoimituksilla varustettu struktuuri S 1 M on S 1 R-moduli. Määritelmä Olkoon R rengas ja M R-moduli, ja olkoon S R multiplikatiivinen. Tällöin S 1 M on S 1 R-moduli, ja sitä kutsutaan modulin M jakomoduliksi osajoukon S suhteen. Jos P Spec R ja S = R\P, niin modulista S 1 M käytetään merkintää M P, ja sitä kutsutaan modulin M lokalisaatioksi alkuideaalissa P. Tarkastellaan seuraavaksi, miten lokaalista renkaasta saadaan lokaali moduli. Lause Olkoon R rengas, M R-moduli ja P Spec R. Tällöin renkaan R lokalisaatiolle R P ja modulin M lokalisaatiolle M P pätee: R P R M = M P. Todistus. Tarkastellaan kuvausta f : R P M M P ehdolla ( r s,m) rm s. Kuvaus f on selvästi R-bilineaarinen, joten on olemassa R-homomorfismi g : R P R M M P siten, että f = g ϕ, missä ϕ : R P M R P M. Riittää siis osoittaa, että kuvaus g : R P R M M P ehdolla r s m rm s 15

24 on bijektio. Osoitetaan ensin, että g on surjektio. Olkoon y M P. Tällöin y = m/s joillakin m M ja s R\P. Siis y = m s = 1 m s = g( 1 s m) g(r P R M), joten g on surjektio. Kuvaus g on myös injektio, sillä Kerg = { x R P R M g(x) = 0 } n = { ( r n i m i ) g( ( r i m i )) = 0 } s i s i = { = { ( i=1 n i=1 n i=1 ( r im i s i 1) r i m i s i ) 1 = { 0 1 } = {0}. i=1 n i=1 n i=1 g( r i s i m i ) = 0 } r i m i s i = 0 } Näin ollen g on bijektiivinen homomorfismi, joten R P R M = M P. Lokalisaatio kommutoi useiden algebrallisten operaatioiden kanssa. Ensinnäkin lokalisaatio on eksakti, mikä todistetaan vähän myöhemmin (Lauseena 2.42), kunhan kyseinen ominaisuus on ensin esitelty ja todistettu muutamia muita tarvittavia lauseita. Määritelmä Olkoon R rengas, ja olkoot L, M ja N R-moduleita. Olkoot lisäksi f : L M ja g : M N R-homomorfismeja. Sanotaan, että jono L f M g N on eksakti, mikäli Im f = Kerg. Yleisemmin R-modulien ja R-homomorfismien jono f i 1 f i f i+1 M i 1 Mi Mi+1 Mi+2... on eksakti, mikäli jokaisessa kohdassa Im f i 1 = Kerf i. Voidaan myös sanoa, että tällöin jono on eksakti jokaisessa kohdassa M i. Eksakteja jonoja voidaan hyödyntää monissa isomorfisuustodistuksissa, mikä tulee esiin seuraavassa lauseessa, jossa tarkastellaan muutamaa eksaktin jonon oleellista ominaisuutta. Lause Olkoon R rengas, ja olkoon 0 L f M g N 0 16

25 jono, missä L,M ja N ovat R-moduleita sekä f ja g R-homomorfismeja. (Tässä kuvaus 0 L tarkoittaa homomorfismia, jonka kuva on 0, ja kuvaus N 0 tarkoittaa homomorfismia, jonka ydin on N.) Tällöin pätevät seuraavat ominaisuudet: (i) Osajono 0 L f M on eksakti, jos ja vain jos f on injektio. (ii) Osajono M g N 0 on eksakti, jos ja vain jos g on surjektio. (iii) Koko jono 0 L f M g N 0 on eksakti, jos ja vain jos f on injektio, g on surjektio, ja Im f = Ker g. Erityisesti jos tässä tapauksessa L M, niin N = M/L. Todistus. (i) Jono 0 L f M on eksakti (kohdassa L) täsmälleen silloin, kun Kerf = Im (0 L) = 0, eli täsmälleen silloin, kun f on injektio. (ii) Jono M g N 0 on eksakti (kohdassa N) täsmälleen silloin, kun Im g = Ker (N 0) = N, eli täsmälleen silloin, kun g on surjektio. (iii) Tämän kohdan ensimmäinen väite seuraa suoraan edellisistä kohdista sekä Määritelmästä Tarkastellaan sitten väitteen jälkimmäistä osaa, ja oletetaan, että L M. Kohtien (i) ja (ii) perusteella tiedetään, että Kerf = 0 ja Im g = N. Lisäksi tämän kohdan ensimmäisen väitteen mukaan Im f = Kerg. Koska f on homomorfismi, niin L/ Kerf = Im f, mikä edellä mainittujen yhtälöiden perusteella saadaan muotoon L = Kerg. Koska myös g on homomorfismi, niin M/ Kerg = Im g, mikä taas saadaan muotoon M/L = N, sillä oletetuksen mukaan lisäksi L M. Huomautus. Edellisen lauseen kohdan (iii) erikoistapauksessa (jossa L M) eksakti jono voidaan aina löytää. Toisin sanoen jos R on rengas, M R-moduli ja L M alimoduli, niin on olemassa eksakti jono 0 L M M/L 0. Ensinnäkin koska L M, niin on olemassa inkluusio f : L M siten, että Im f = L. On myös olemassa kanoninen surjektio g : M M/L siten, että Kerg = L. Koska siis Im f = L = Kerg, niin kyseinen jono on eksakti. Lokalisaation eksaktisuus tarkoittaa sitä, että lokalisaatio säilyttää eksaktit jonot eksakteina. Tämä ominaisuus voitaisiin osoittaa hetikin, mutta todistetaan se kuitenkin vähän myöhemmin (Lauseena 2.42), jolloin se saadaan muutaman muun lauseen seurauksena. Ennen tämän ominaisuuden todistamista tarkastellaan lokalisaation laakeutta. Se, että lokalisaatio on eksakti, voidaan modulien tapauksessa ilmaista myös seuraavasti: Jos R on rengas ja P Spec R, niin renkaan R lokalisaatio R P on R-modulina laakea. Tämä ominaisuus esitellään seuraavassa määritelmässä, ja sitä seuraavassa lauseessa osoitetaan ominaisuuden pätevän lokalisaatiolle. 17

26 Määritelmä Olkoon R rengas ja M,N 1,N 2 R-moduleita. Sanotaan, että M on laakea, mikäli injektion N 1 N 2 indusoima kuvaus M R N 1 M R N 2 on myös injektio. Lause Olkoon R rengas ja P Spec R. Tällöin renkaan R lokalisaatio R P on laakea R-moduli. Todistus. Olkoot M ja N R-moduleita, ja olkoon f : M N injektiivinen homomorfismi. Pitää osoittaa, että indusoitu kuvaus R P R M R P R N on injektio. Lauseen 2.36 nojalla riittää määritellä kuvaus f P : M P N P siten, että m s f(m) s ja osoittaa sen injektiivisyys. Oletetaan, että m M,s R\P siten, että m/s M P on sellainen alkio, joka kuvautuu nollalle, eli f P (m/s) = 0. Tällöin myös f(m)/s = 0, eli on olemassa sellainen u R\P, että uf(m) = 0. Koska f on R-homomorfismi, niin f(um) = 0. Edelleen koska f on injektio, niin um = 0. Näin ollen m/s = 0, joten f P on injektio. Täten myös indusoitu kuvaus R P R M R P R N on injektio, ja R P on laakea. Huomautus. Edellinen lause voidaan tulkita niin, että lokalisaatio säilyttää alimodulit alimoduleina (R-alimodulit kuvautuvat R P -alimoduleiksi). Nimittäin jos M N, niin R P R M R P R N, jolloin Lauseen 2.36 nojalla M P N P. Itse asiassa tämä seuraa siitä, että inkluusio on injektion erikoistapaus. Erityisesti lokalisaatio säilyttää homomorfismien ytimet ja kuvat (sillä ne ovat alimoduleja). Tätä hyödynnetään seuraavassa apulauseessa. Apulause Olkoon R rengas, M ja N R-moduleita ja P Spec R. Olkoon lisäksi f : M N R-homomorfismi, jolloin voidaan määritellä vastaavien lokaalien modulien välinen R P -homomorfismi f P : M P N P siten, että m s f(m), s missä siis M P ja N P ovat R P -moduleita, sekä m M ja s R\P. Tällöin Kerf P = (Kerf) P ja Im f P = (Im f) P. Todistus. Osoitetaan ensin, että (Kerf) P Kerf P. Jos a (Kerf) P, niin a on saatu lokalisoimalla jokin alimodulin Ker f alkio. Toisin sanoen alkiolle 18

27 a on olemassa sellainen esitysmuoto a = m/s, että m Kerf ja s R\P. Täten f(m) = 0, jolloin 0 1 = 0 s = f(m) s = f P ( m s ) = f P(a). Siis a Kerf P. Osoitetaan sitten, että Kerf P (Kerf) P. Olkoon m/s Kerf P joillakin m M,s R\P. Tällöin 0 1 = f P( m s ) = f(m), s joten uf(m) = 0 jollakin u R\P. Tällöin um Kerf. Koska R\P on multiplikatiivinen, niin us R\P. Täten m s = um us (Kerf) P. Tähän mennessä on siis saatu osoitettua, että Kerf P = (Kerf) P. Osoitetaan seuraavaksi, että (Im f) P Im f P. Jos b (Im f) P, niin b on saatu lokalisoimalla jokin alimodulin Im f alkio. Toisin sanoen b voidaan esittää muodossa b = n/s, missä n Im f, ja s R\P. Täten n = f(m) jollakin m M, jolloin b = n s = f(m) s = f P ( m s ). Nyt m/s M P, joten b Im f P. Osoitetaan vielä, että Im f P (Im f) P. Olkoon n/s Im f P joillakin n N,s R\P. Tällöin on olemassa sellaiset m M,t R\P, joilla m/t M P siten, että n s = f P( m t ) = f(m). t Tällöin on olemassa u R\P siten, että u(tn sf(m)) = 0, joten utn = usf(m) = f(usm). Siis utn Im f. Koska R\P on multiplikatiivinen, niin uts R\P. Täten n s = utn uts (Im f) P. Näin saatiin osoitettua, että myös Im f P = (Im f) P. Näiden tulosten jälkeen on helppo osoittaa, että lokalisaatio säilyttää eksaktit jonot eksakteina. Lause Olkoon R rengas, ja olkoon 0 L f M g N 0 19

28 eksakti jono, missä L,M ja N ovat R-moduleita sekä f injektiivinen R- homomorfismi ja g surjektiivinen R-homomorfismi. Jos P Spec R, jolloin R P on renkaan R lokalisaatio, niin indusoitu jono f 0 L P g P P MP NP 0 on myös eksakti. Tässä L P,M P ja N P ovat R P -moduleita sekä f P ja g P R P - homomorfismeja. Todistus. Pitää siis osoittaa, että f P on injektio, g P on surjektio, ja Im f P = Kerg P. Koska f on injektio, niin Kerf = 0. Täten (Kerf) P = 0, jolloin Apulauseen 2.41 nojalla Kerf P = 0, eli f P on injektio. (Kuvauksen f P on injektiivisyys saadaan helposti myös Lauseen 2.40 todistuksen nojalla.) Koska g on surjektio, niin Im g = N. Täten (Im g) P = N P, jolloin Apulauseen 2.41 nojalla Im g P = N P, eli g P on surjektio. Koska alkuperäinen jono on eksakti, niin Im f = Kerg. Siis (Im f) P = (Kerf) P, jolloin Apulauseen 2.41 nojalla Im f P = Kerg P. Saatiin siis osoitettua, että myös lokalisoitu jono on eksakti, joten lokalisaatio säilyttää eksaktit jonot eksakteina. Huomautus. Nyt huomataan helposti, että Lauseet 2.40 ja 2.42 kertovat saman asian. Lause 2.42 todistettiin Lauseen 2.40 seurauksena (tai oikeammin Apulauseen 2.41 seurauksena, joka taas seurasi Lauseesta 2.40). Toiseen suuntaan implikaatio on vielä helpompi huomata. Toisin sanoen lokalisaation suhteen laakeus ja eksaktisuus ovat sama asia moduleilla. Eksaktisuuden (tai laakeuden) lisäksi toisena esimerkkinä lokalisaation kommutoinnista algebrallisten ominaisuuksien kanssa näytetään kommutointi tekijämodulin kanssa. Lause Olkoon R rengas ja P Spec R. Olkoon lisäksi M R-moduli ja N M alimoduli. Tällöin lokalisaatioille M P,N P sekä (M/N) P pätee: M P /N P = (M/N)P. Todistus. Koska N M, niin Lauseeseen 2.38 liittyvän huomautuksen perusteella tiedetään, että jono 0 N M M/N 0 on eksakti. Nyt Lauseen 2.42 nojalla myös jono 0 N P M P (M/N) P 0 on eksakti. Koska N M, niin Lauseen 2.40 ja sitä seuraavan huomautuksen nojalla myös N P M P. Näin ollen Lauseen 2.38 kohdasta (iii) seuraa, että M P /N P = (M/N)P. 20

29 Huomautus. Rengas R on R-moduli, jolloin sen ideaali on alimoduli. Näin ollen edellisen lauseen tulos pätee myös renkaille. Siis R P /I P = (R/I)P, missä R on rengas, I R ideaali ja P Spec R. Oikeastaan merkinnän (R/I) P sijasta pitäisi kirjoittaa (R/I) P/I, mutta yleensä käytetään lyhyempää muotoa. Tämä on mahdollista, sillä jos M on R/I-moduli, niin se on myös R-moduli. (Tämä todistetaan myöhemmin Apulauseena 5.9.) Esimerkki Palataan vielä aikaisempaan esimerkkiin 2.33, jossa saatiin tekijärengas Z 2Z /2Z 2Z. Tarkastellaan nyt sen yleisempää versiota eli tekijärengasta Z pz /pz pz, missä p on mikä tahansa alkuluku. Lauseen 2.43 ja siihen liittyvän huomautuksen perusteella ja edelleen Z pz /pz pz = (Z/pZ)pZ, (Z/pZ) pz = (Z/pZ)pZ/pZ = (Z/pZ) 0 = Z/pZ. Viimeinen askel seuraa siitä, että Z/pZ on kunta, ja kun se lokalisoidaan nollaideaalissa, niin joukkojen (Z/pZ) 0 ja Z/pZ alkioiden välille saadaan vastaavuus n/s = ns 1, missä n Z/pZ ja s (Z/pZ)\{0}. Tämä taas perustuu siihen, että kunnan kaikki nollasta eroavat alkiot ovat kääntyviä. 21

30 Luku 3 Noetherin ja Artinin renkaat ja modulit 3.1 Ideaaliketjut Aloitetaan ketjujen eli osittain järjestettyjen joukkojen yleisellä tarkastelulla. Seuraavassa määritelmässä (ja jatkossa muuallakin) merkinnällä N tarkoitetaan joukkoa N\{0}. Määritelmä 3.1. Olkoon (V, ) epätyhjä osittain järjestetty joukko. (i) Sanotaan, että (V, ) täyttää nousevan ketjun ehdon, mikäli pätee: Aina kun (v i ) i 1 on jono joukon V alkioita siten, että v 1 v 2 v i v i+1..., niin on olemassa k N siten, että v k = v k+1. (ii) Sanotaan, että (V, ) täyttää maksimaalisuusehdon, mikäli jokainen joukon V epätyhjä osajoukko sisältää maksimaalisen alkion (relaation suhteen). Seuraavassa apulauseessa osoitetaan, että edellä olevan määritelmän ehdot ovat yhtäpitäviä. Apulause 3.2. Olkoon (V, ) epätyhjä osittain järjestetty joukko. Tällöin joukko (V, ) täyttää nousevan ketjun ehdon täsmälleen silloin, kun se täyttää maksimaalisuusehdon. Todistus. Jos v,w V, niin merkinnällä v w tarkoitetaan, että v w ja v w. Olkoon T V epätyhjä. Oletetaan, että joukolla T ei ole maksimaalista alkiota. Koska T on epätyhjä, niin on olemassa t 1 T, ja koska joukolla T ei ole maksimaalista alkiota, niin on myös olemassa t 2 T siten, 22

31 että t 1 t 2. Näin voidaan jatkaa: Aina kun on löytynyt t i T, niin täytyy olla olemassa t i+1 T siten, että t i t i+1. Näin saadaan ääretön nouseva ketju t 1 t 2 t i t i+1... osajoukon T alkioita. Oletetaan sitten, että (V, ) täyttää maksimaalisuusehdon. Olkoon v 1 v i v i+1... nouseva ketju joukon V alkioita. Tarkastellaan joukon V osajoukkoa T := { v j j N }, johon kuuluvat kaikki edellä esitetyn ketjun alkiot. Maksimaalisuusehdon perusteella on olemassa k N siten, että v k on joukon T maksimaalinen alkio. Tällöin v k = v k+1. Siirrytään sitten tarkastelemaan tilannetta, jossa joukon alkiot ovat ideaaleja ja relaationa on osajoukkorelaatio. Aluksi todistetaan ideaalien äärettömiä ketjuja koskeva aputulos, jota tarvitaan useassa jäljempänä tulevassa todistuksessa. Apulause 3.3. Olkoon R rengas ja (I i ) i 1 jono sen ideaaleja siten, että I i I i+1 kaikilla i N. Tällöin myös yhdiste on ideaali. i=1 Todistus. Selvästi nolla kuuluu yhdisteeseen. Jos a I i ja b I j joillakin i,j N, niin alkio a b kuuluu joko ideaaliin I i tai ideaaliin I j. Kummassakin tapauksessa alkiot a,b, ja a b kuuluvat yhdisteeseen. Oletetaan lisäksi, että r R. Tällöin ra I i, sillä I i on ideaali. Näin ollen ra on myös yhdisteen alkio. Täten yhdiste on renkaan R ideaali. Määritelmä 3.4. Olkoon R rengas ja (I i ) i 1 jono sen ideaaleja. Sanotaan, että R on Noetherin rengas, mikäli jokainen sen ideaaleista muodostettu nouseva ketju I 1 I i I i+1... lopulta vakiintuu, eli mikäli on olemassa k N siten, että I k = I k+1. Noetherin renkaat toteuttavat siis nousevan ketjun ehdon. Sen lisäksi niille on olemassa kaksi muutakin yhtäpitävää luonnehdintaa, mikä käy ilmi seuraavasta lauseesta. Lause 3.5. Olkoon R rengas ja (I i ) i 1 jono sen ideaaleja. Seuraavat ehdot ovat yhtäpitäviä: I i 23

32 (i) Renkaan R ideaalien jono täyttää nousevan ketjun ehdon. Toisin sanoen ketju I 1 I 2 I i... päättyy lopulta, eli I k = I k+1 jollakin k N. (ii) Jokaisella renkaan R epätyhjällä ideaalien joukolla on maksimaalinen alkio. (iii) Jokainen ideaali I R on äärellisviritteinen. Todistus. (i) (ii) Seuraa suoraan Apulauseesta 3.2. (ii) (iii) Olkoon R rengas ja I R ideaali. Olkoon S joukko, joka koostuu niistä äärellisviritteisistä ideaaleista, jotka sisältyvät ideaaliin I. Nollaideaali on äärellisviritteinen, ja se sisältyy jokaiseen ideaaliin, joten 0 S. Siis S on epätyhjä, joten oletuksen perusteella jokin joukkoon S kuuluvista ideaaleista on maksimaalinen; olkoon se M. Täten M I. Mutta jos olisi M I, niin olisi olemassa jokin alkio a I,a / M. Tällöin saataisiin aidosti suurempi äärellisviritteinen ideaali <M,a> siten, että M <M,a> I. Tämä on ristiriita, sillä M oli maksimaalinen. Siis I = M, joten I on äärellisviritteinen. (iii) (i) Olkoon I 1 I 2 I i... nouseva ketju renkaan R ideaaleja. Tällöin Apulauseen 3.3 nojalla myös näiden ideaalien yhdiste on ideaali; olkoon tämä yhdiste J. Oletuksen mukaan J on äärellisviritteinen, eli J = <a 1,...,a n >, missä jokainen a j I ij. Nyt valitsemalla i = max{i j } saadaan J = I i, joten ketju on päättyvä. Apulause 3.6. Jokainen pääideaalialue on Noetherin rengas. Todistus. Olkoon R pääideaalialue, ja olkoon I 1 I i I i+1... nouseva ketju renkaan R ideaaleja. Osoitetaan, että ketju on päättyvä. Merkitään J := i N I i, jolloin Apulauseen 3.3 nojalla J on ideaali. Koska R on pääideaalialue, niin on olemassa a R siten, että J = ar. Ideaalin J määrittelystä seuraa, että on olemassa k N siten, että a I k. Tällöin J = ar I k I k+1 J. Näin ollen ideaalien nouseva ketju vakiintuu. 24

33 Ideaaleista voidaan muodostaa myös laskevia ketjuja, mikä käy ilmi seuraavasta määritelmästä. Määritelmä 3.7. Olkoon R rengas ja (I i ) i 1 jono sen ideaaleja. Sanotaan, että R on Artinin rengas, mikäli jokainen sen ideaaleista muodostettu laskeva ketju I 1 I i I i+1... lopulta vakiintuu, eli mikäli on olemassa k N siten, että I k = I k+1. Huomautus. Artinin renkaille on olemassa toinenkin yhtäpitävä luonnehdinta: Jokaisella renkaan R epätyhjällä ideaalien joukolla on minimaalinen alkio. Minimaalisella alkiolla tarkoitetaan seuraavaa: Jos (V, ) on joukko, niin sen alkio m V on minimaalinen, mikäli kaikilla n V pätee: n m m = n. Yhtäpitävyys näiden kahden luonnehdinnan (laskevan ketjun ehdon ja minimaalisuusehdon) välillä voidaan osoittaa vastaavalla tavalla kuin tehtiin Apulauseessa 3.2, jossa osoitettiin nousevan ketjun ehdon ja maksimaalisuusehdon välinen yhtäpitävyys. Esimerkki 3.8. Koska Z on pääideaalialue, niin Apulauseen 3.6 nojalla se on myös Noetherin rengas. Kuitenkaan Z ei ole Artinin rengas, sillä sen ideaalien ketjulla ei ole minimaalista alkiota. 2Z 2 2 Z 2 i Z 2 i+1 Z... Esimerkki 3.9. Kunta on sekä Artinin rengas että Noetherin rengas. Nimittäin jos K on kunta, niin sillä on täsmälleen kaksi ideaalia: 0 ja K, jolloin ainoa mahdollinen ideaaliketju on 0 K. Tämä ketju on molemmista suunnista päättyvä. (Itse asiassa nollaideaali on ainoa aito ideaali, joten se on sekä maksimaalinen että minimaalinen ideaali.) Apulause Jos Artinin rengas on kokonaisalue, niin se on kunta. Todistus. Olkoon R on Artinin rengas ja kokonaisalue, ja olkoon a R mikä tahansa nollasta eroava alkio. Nyt voidaan muodostaa laskeva ketju ar a 2 R a i R a i+1 R..., joka on päättyvä, sillä R on Artinin rengas. Toisin sanoen a i R = a i+1 R jollakin i N. Siis on olemassa r R siten, että a i = a i+1 r. Koska R on kokonaisalue, niin voidaan supistaa, joten 1 = ar. Näin ollen a on kääntyvä. Voidaan siis päätellä, että kaikki renkaan R nollasta eroavat alkiot ovat kääntyviä, joten R on kunta. Lause Olkoot R ja S renkaita sekä f : R S surjektiivinen rengashomomorfismi. Jos R on Noetherin rengas (tai vaihtoehtoisesti Artinin rengas), niin samoin on S. Erityisesti jos I R on ideaali, niin tekijärengas R/I on Noetherin rengas (tai vaihtoehtoisesti Artinin rengas), jos R on tätä. 25

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

Renkaat ja modulit. Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit Renkaat ja modulit Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit Tekijärenkaassa nollan ekvivalenssiluokka on alkuperäisen renkaan ideaali. Ideaalin käsitteen

Lisätiedot

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

Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto 3. Oletetaan, että kunnan K karakteristika on 3. Tutki,

Lisätiedot

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

(xa) = (x) (a) = (x)0 = 0 11. Ideaalit ja tekijärenkaat Rengashomomorfismi : R! R 0 on erityisesti ryhmähomomorfismi :(R, +)! (R 0, +) additiivisten ryhmien välillä. Rengashomomorfismin ydin määritellään tämän ryhmähomomorfismin

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

1 Algebralliset perusteet

1 Algebralliset perusteet 1 Algebralliset perusteet 1.1 Renkaat Tämän luvun jälkeen opiskelijoiden odotetaan muistavan, mitä ovat renkaat, vaihdannaiset renkaat, alirenkaat, homomorfismit, ideaalit, tekijärenkaat, maksimaaliset

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

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

14. Juurikunnat Määritelmä ja olemassaolo.

14. Juurikunnat Määritelmä ja olemassaolo. 14. Juurikunnat Mielivaltaisella polynomilla ei välttämättä ole juuria tarkasteltavassa kunnassa. Tässä luvussa tutkitaan sellaisia algebrallisia laajennoksia, jotka saadaan lisäämällä polynomeille juuria.

Lisätiedot

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

(x + I) + (y + I) = (x + y)+i. (x + I)(y + I) =xy + I. kaikille x, y R. 11. Ideaalit ja tekijärenkaat Rengashomomorfismi φ: R R on erityisesti ryhmähomomorfismi φ: (R, +) (R, +) additiivisten ryhmien välillä. Rengashomomorfismin ydin määritellään tämän ryhmähomomorfismin φ

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

Avainsanat Nyckelord Keywords Nullstellensatz, Hilbertin nollajoukkolause, algebrallinen geometria

Avainsanat Nyckelord Keywords Nullstellensatz, Hilbertin nollajoukkolause, algebrallinen geometria HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI Tiedekunta/Osasto Fakultet/Sektion Faculty Laitos Institution Department Matemaattis-luonnontieteellinen Tekijä Författare Author Sampo

Lisätiedot

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

Avainsanat Nyckelord Keywords algebra, rengas, moduli, Noether, nouseva ketju, äärellisviritteinen HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI Tiedekunta/Osasto Fakultet/Sektion Faculty Laitos Institution Department Matemaattis-luonnontieteellinen Tekijä Författare Author Vesa

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

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

Ää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

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

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 1. Polynomit Tässä luvussa tarkastelemme polynomien muodostamia renkaita polynomien ollisuutta käsitteleviä perustuloksia. Teemme luvun alkuun kaksi sopimusta: Tässä luvussa X on muodollinen symboli, jota

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /

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

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

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

Tehtävä 4 : 2. b a+1 (mod 3) Tehtävä 4 : 1 Olkoon G sellainen verkko, jonka solmujoukkona on {1,..., 9} ja jonka särmät määräytyvät oheisen kuvan mukaisesti. Merkitään lisäksi kirjaimella A verkon G kaikkien automorfismien joukkoa,

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

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

15. Laajennosten väliset homomorfismit

15. Laajennosten väliset homomorfismit 15. Laajennosten väliset homomorfismit Rakenteiden väliset homomorfismit auttavat selvittämään rakenteiden suhteita toisiinsa. Rakenteen sisäiset isomorfismit niin sanotut automorfismit auttavat vastaavasti

Lisätiedot

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

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

Lisätiedot

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Luonnollisten lukujen ja kokonaislukujen määritteleminen Luonnollisten lukujen ja kokonaislukujen määritteleminen LuK-tutkielma Jussi Piippo Matemaattisten tieteiden yksikkö Oulun yliopisto Kevät 2017 Sisältö 1 Johdanto 2 2 Esitietoja 3 2.1 Joukko-opin perusaksioomat...................

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

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

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

{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

Pääideaalialueen yli määriteltyjen äärellisviritteisten modulien rakennelause

Pääideaalialueen yli määriteltyjen äärellisviritteisten modulien rakennelause TAMPEREEN YLIOPISTO Pro gradu -tutkielma Jyri Hiltunen Pääideaalialueen yli määriteltyjen äärellisviritteisten modulien rakennelause Informaatiotieteiden yksikkö Matematiikka Helmikuu 2014 Tampereen yliopisto

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

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

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

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

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

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

koska 2 toteuttaa rationaalikertoimisen yhtälön x 2 2 = 0. Laajennuskunnan

koska 2 toteuttaa rationaalikertoimisen yhtälön x 2 2 = 0. Laajennuskunnan 4. Äärellisten kuntien yleisiä ominaisuuksia 4.1. Laajenuskunnat. Tarkastellaan aluksi yleistä kuntaparia F ja K, missä F on kunnan K alikunta. Tällöin sanotaan, että kunta K on kunnan F laajennuskunta

Lisätiedot

Johdatus diskreettiin matematiikkaan Harjoitus 1,

Johdatus diskreettiin matematiikkaan Harjoitus 1, Johdatus diskreettiin matematiikkaan Harjoitus 1, 15.9.2014 1. Hahmottele tasossa seuraavat relaatiot: a) R 1 = {(x, y) R 2 : x y 2 } b) R 2 = {(x, y) R 2 : y x Z} c) R 3 = {(x, y) R 2 : y > 0 and x 2

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

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

1 sup- ja inf-esimerkkejä

1 sup- ja inf-esimerkkejä Alla olevat kohdat (erityisesti todistukset) ovat lähinnä oheislukemista reaaliluvuista, mutta joihinkin niistä palataan myöhemmin kurssilla. 1 sup- ja inf-esimerkkejä Nollakohdan olemassaolo. Kaikki tuntevat

Lisätiedot

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton. 3 Todistustekniikkaa 3.1 Väitteen kumoaminen vastaesimerkillä Monissa tilanteissa kohdataan väitteitä, jotka koskevat esimerkiksi kaikkia kokonaislukuja, kaikkia reaalilukuja tai kaikkia joukkoja. Esimerkkejä

Lisätiedot

15. Laajennosten väliset homomorfismit

15. Laajennosten väliset homomorfismit 15. Laajennosten väliset homomorfismit Rakenteiden väliset homomorfismit auttavat selvittämään rakenteiden suhteita toisiinsa. Rakenteen sisäiset isomorfismit eli niin sanotut automorfismit auttavat vastaavasti

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

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn Johdatus matemaattiseen päättelyyn Maarit Järvenpää Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2015 1 Merkintöjä 2 Todistamisesta 2 3 Joukko-oppia Tässä luvussa tarkastellaan joukko-opin

Lisätiedot

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. (14.3-18.3) Jeremias Berg 1. Luettele kaikki seuraavien joukkojen alkiot: (a) {x Z : x 3} (b) {x N : x > 12 x < 7} (c) {x N : 1 x 7} Ratkaisu:

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Tuntitehtävät 9-10 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 13-14 loppuviikon harjoituksissa. Kotitehtävät 11-12 tarkastetaan loppuviikon

Lisätiedot

2017 = = = = = = 26 1

2017 = = = = = = 26 1 JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 2, MALLIRATKAISUT Tehtävä 1. Sovella Eukleiden algoritmia ja (i) etsi s.y.t(2017, 753) (ii) etsi kaikki kokonaislukuratkaisut yhtälölle 405x + 141y = 12. Ratkaisu

Lisätiedot

10 Matriisit ja yhtälöryhmät

10 Matriisit ja yhtälöryhmät 10 Matriisit ja yhtälöryhmät Tässä luvussa esitellään uusi tapa kirjoittaa lineaarinen yhtälöryhmä matriisien avulla käyttäen hyväksi matriisikertolaskua sekä sarakevektoreita Pilkotaan sitä varten yhtälöryhmän

Lisätiedot

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on 13 Pistetulo Avaruuksissa R 2 ja R 3 on totuttu puhumaan vektorien pituuksista ja vektoreiden välisistä kulmista. Kuten tavallista, näiden käsitteiden yleistäminen korkeampiulotteisiin avaruuksiin ei onnistu

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

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

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

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT Tehtävä 1. (i) Olkoot n, d 1 ja d n. Osoita, että (k, n) d jos ja vain jos k ad, missä (a, n/d) 1. (ii) Osoita, että jos (m j, m k ) 1 kun

Lisätiedot

Todistusmenetelmiä Miksi pitää todistaa?

Todistusmenetelmiä Miksi pitää todistaa? Todistusmenetelmiä Miksi pitää todistaa? LUKUTEORIA JA TO- DISTAMINEN, MAA11 Todistus on looginen päättelyketju, jossa oletuksista, määritelmistä, aksioomeista sekä aiemmin todistetuista tuloksista lähtien

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

isomeerejä yhteensä yhdeksän kappaletta.

isomeerejä yhteensä yhdeksän kappaletta. Tehtävä 2 : 1 Esitetään aluksi eräitä havaintoja. Jokaisella n Z + symbolilla H (n) merkitään kaikkien niiden verkkojen joukkoa, jotka vastaavat jotakin tehtävänannon ehtojen mukaista alkaanin hiiliketjua

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

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Valitse seuraaville säännöille mahdollisimman laajat lähtöjoukot ja sopivat maalijoukot niin, että syntyy kahden muuttujan funktiot (ks. monisteen

Lisätiedot

Tietojenkäsittelyteorian alkeet, osa 2

Tietojenkäsittelyteorian alkeet, osa 2 TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. syyskuuta 2016 Sisällys vs Ovat eri asioita! Älä sekoita niitä. Funktiot Funktio f luokasta A luokkaan B, merkitään

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

Täydellistymät ja Henselin lemma

Täydellistymät ja Henselin lemma TAMPEREEN YLIOPISTO Pro gradu -tutkielma Markus Klemetti Täydellistymät ja Henselin lemma Informaatiotieteiden yksikkö Matematiikka Toukokuu 2013 Tampereen yliopisto Informaatiotieteiden yksikkö KLEMETTI,

Lisätiedot

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

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on 0. Kertausta ja täydennystä Kurssille Äärelliset kunnat tarvittavat esitiedot löytyvät Algebran kurssista [Alg]. Hyödyksi voivat myös olla (vaikka eivät välttämättömiä) Lukuteorian alkeet [LTA] ja Salakirjoitukset

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

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

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

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

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari Tehtävä 9 : 1 Merkitään kirjaimella G tehtäväpaperin kuvan vasemmanpuoleista verkkoa sekä kirjaimella H tehtäväpaperin kuvan oikeanpuoleista verkkoa. Kuvan perusteella voidaan havaita, että verkko G on

Lisätiedot

Miten osoitetaan joukot samoiksi?

Miten osoitetaan joukot samoiksi? Miten osoitetaan joukot samoiksi? Määritelmä 1 Joukot A ja B ovat samat, jos A B ja B A. Tällöin merkitään A = B. Kun todistetaan, että A = B, on päättelyssä kaksi vaihetta: (i) osoitetaan, että A B, ts.

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

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

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

7 Vapaus. 7.1 Vapauden määritelmä

7 Vapaus. 7.1 Vapauden määritelmä 7 Vapaus Kuten edellisen luvun lopussa mainittiin, seuraavaksi pyritään ratkaisemaan, onko annetussa aliavaruuden virittäjäjoukossa tarpeettomia vektoreita Jos tällaisia ei ole, virittäjäjoukkoa kutsutaan

Lisätiedot

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. (24.3-25.3) Jeremias Berg 1. Olkoot A 1 = {1, 2, 3}, A 2 = {A 1, 5, 6}, A 3 = {A 2, A 1, 7}, D = {A 1, A 2, A 3 } Kirjoita auki seuraavat joukot:

Lisätiedot

(iv) Ratkaisu 1. Sovelletaan Eukleideen algoritmia osoittajaan ja nimittäjään. (i) 7 = , 7 6 = = =

(iv) Ratkaisu 1. Sovelletaan Eukleideen algoritmia osoittajaan ja nimittäjään. (i) 7 = , 7 6 = = = JOHDATUS LUKUTEORIAAN (syksy 07) HARJOITUS 7, MALLIRATKAISUT Tehtävä Etsi seuraavien rationaalilukujen ketjumurtokehitelmät: (i) 7 6 (ii) 4 7 (iii) 65 74 (iv) 63 74 Ratkaisu Sovelletaan Eukleideen algoritmia

Lisätiedot

Näytetään nyt relaatioon liittyvien ekvivalenssiluokkien olevan verkon G lohkojen särmäjoukkoja. Olkoon siis f verkon G jokin särmä.

Näytetään nyt relaatioon liittyvien ekvivalenssiluokkien olevan verkon G lohkojen särmäjoukkoja. Olkoon siis f verkon G jokin särmä. Tehtävä 6 : 1 Oletetaan ensin joukon X olevan sisältymisen suhteen minimaalinen solmut a ja b toisistaan erotteleva joukon V(G)\{a, b} osajoukko. Olkoon x joukon X alkio. Oletuksen nojalla joukko X\{x}

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

Ennakkotehtävän ratkaisu

Ennakkotehtävän ratkaisu Ennakkotehtävän ratkaisu Ratkaisu [ ] [ ] 1 3 4 3 A = ja B =. 1 4 1 1 [ ] [ ] 4 3 12 12 1 0 a) BA = =. 1 + 1 3 + 4 0 1 [ ] [ ] [ ] 1 0 x1 x1 b) (BA)x = =. 0 1 x 2 x [ ] [ ] [ 2 ] [ ] 4 3 1 4 9 5 c) Bb

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Tuntitehtävät 1-2 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 5- loppuviikon harjoituksissa. Kotitehtävät 3-4 tarkastetaan loppuviikon

Lisätiedot

1 sup- ja inf-esimerkkejä

1 sup- ja inf-esimerkkejä Alla olevat kohdat (erityisesti todistukset) ovat lähinnä oheislukemista reaaliluvuista, mutta joihinkin niistä palataan myöhemmin kurssilla. 1 sup- ja inf-esimerkkejä Kaarenpituus. Olkoon r: [a, b] R

Lisätiedot

Avaruuden R n aliavaruus

Avaruuden R n aliavaruus Avaruuden R n aliavaruus 1 / 41 Aliavaruus Esimerkki 1 Kuva: Suora on suljettu yhteenlaskun ja skalaarilla kertomisen suhteen. 2 / 41 Esimerkki 2 Kuva: Suora ei ole suljettu yhteenlaskun ja skalaarilla

Lisätiedot

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

Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti. Joukon määritelmä Joukko on alkioidensa kokoelma. Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti. Näin ei tässä

Lisätiedot

1 Lukujen jaollisuudesta

1 Lukujen jaollisuudesta Matematiikan mestariluokka, syksy 2009 1 1 Lukujen jaollisuudesta Lukujoukoille käytetään seuraavia merkintöjä: N = {1, 2, 3, 4,... } Luonnolliset luvut Z = {..., 2, 1, 0, 1, 2,... } Kokonaisluvut Kun

Lisätiedot

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita? Matematiikkaa kaikille, kesä 2017 Avoin yliopisto Luentojen 2,4 ja 6 tehtäviä Päivittyy kurssin aikana 1. Olkoon A = {0, 1, 2}, B = {1, 2, 3} ja C = {2, 3, 4}. Luettele joukkojen A B, A B, A B ja (A B)

Lisätiedot

1 Määrittelyjä ja aputuloksia

1 Määrittelyjä ja aputuloksia 1 Määrittelyjä ja aputuloksia 1.1 Supremum ja infimum Aluksi kerrataan pienimmän ylärajan (supremum) ja suurimman alarajan (infimum) perusominaisuuksia ja esitetään muutamia myöhemmissä todistuksissa tarvittavia

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

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen! Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja

Lisätiedot

1 Supremum ja infimum

1 Supremum ja infimum Pekka Alestalo, 2018 Tämä moniste täydentää reaalilukuja ja jatkuvia reaalifunktioita koskevaa kalvosarjaa lähinnä perustelujen ja todistusten osalta. Suurin osa määritelmistä jms. on esitetty jo kalvoissa,

Lisätiedot

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

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Vastaus 2. Vertaillaan

Lisätiedot

802355A Renkaat, kunnat ja polynomit Luentorunko Syksy 2013

802355A Renkaat, kunnat ja polynomit Luentorunko Syksy 2013 802355A Renkaat, kunnat ja polynomit Luentorunko Syksy 2013 Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä, Antti Torvikoski, Topi Törmä Sisältö 1 Kertausta kurssilta Lukuteoria ja ryhmät

Lisätiedot

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

1. Tekijärakenteet. 1. R on refleksiivinen, eli xrx. 2.R on symmetrinen, eli josxry, niinyrx. 3.R on transitiivinen, eli josxry jayrz, niinxrz. 1. Tekijärakenteet Tässä osassa tarkastellaan tekijärakenteita, kuten tekijäryhmiä ja tekijärenkaita, lähtien liikkeelle mahdollisimman yleisistä periaatteista. Tekijärakenteiden ajatuksena on päästä tarkastelemasta

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

5.6 Yhdistetty kuvaus

5.6 Yhdistetty kuvaus 5.6 Yhdistetty kuvaus Määritelmä 5.6.1. Oletetaan, että f : æ Y ja g : Y æ Z ovat kuvauksia. Yhdistetty kuvaus g f : æ Z määritellään asettamalla kaikilla x œ. (g f)(x) =g(f(x)) Huomaa, että yhdistetty

Lisätiedot

R 1 = Q 2 R 2 + R 3,. (2.1) R l 2 = Q l 1 R l 1 + R l,

R 1 = Q 2 R 2 + R 3,. (2.1) R l 2 = Q l 1 R l 1 + R l, 2. Laajennettu Eukleideen algoritmi Määritelmä 2.1. Olkoot F kunta ja A, B, C, D F [x]. Sanotaan, että C jakaa A:n (tai C on A:n jakaja), jos on olemassa K F [x] siten, että A = K C; tällöin merkitään

Lisätiedot

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

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

Lisätiedot

Johdatus diskreettiin matematiikkaan Harjoitus 2, Osoita että A on hyvin määritelty. Tee tämä osoittamalla

Johdatus diskreettiin matematiikkaan Harjoitus 2, Osoita että A on hyvin määritelty. Tee tämä osoittamalla Johdatus diskreettiin matematiikkaan Harjoitus 2, 23.9.2015 1. Osoita että A on hyvin määritelty. Tee tämä osoittamalla a) että ei ole olemassa surjektiota f : {1,, n} {1,, m}, kun n < m. b) että a) kohdasta

Lisätiedot

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

Johdanto 2. 2 Osamääräkunnan muodostaminen 7. 3 Osamääräkunnan isomorfismit 16. Lähdeluettelo 20 Osamääräkunta LuK-tutkielma Lauri Aalto Opiskelijanumero: 2379263 Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2016 Sisältö Johdanto 2 1 Käsitteitä ja merkintöjä 3 2 Osamääräkunnan muodostaminen

Lisätiedot

Ensimmäinen induktioperiaate

Ensimmäinen induktioperiaate Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla

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

Ensimmäinen induktioperiaate

Ensimmäinen induktioperiaate 1 Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla

Lisätiedot