Pääideaalialueen moduulien päälause

Tämän tutkielman tarkoituksena on rakentaa moduulien teoria ryhmä- ja rengasteorian alkeista lähtien, sekä osoittaa pääideaalialueiden moduulien päälause. Moduuli on joukko G varustettuna yhteenlaskutoimituksella, joka tekee siitä abelin ryhmän, sekä toiminnaksi kutsutulla kuvauksella joka liittää jokaiseen G:n kertoimien renkaan alkioon ja G:n alkioon jonkin G:n alkion. Toiminnan määritellään myös toteuttavan vektoriavaruuksien tunnetut distributiivisuusominaisuudet, jolloin se yleistää vektoriavaruuden skalaaritulon käsitteen yleiselle renkaalle. Näin ollen vektoriavaruuden yleisen määritelmän nojalla vektoriavaruudet ovat täsmälleen kuntakertoimisia moduuleja. Osoittautuu, että myös abelin ryhmät ja renkaat ovat moduuleja, joiden kerroinrenkaina ovat vastaavasti kokonaislukujen rengas, sekä rengas itse. Tulemme huomaamaan, että monet ryhmä- ja rengasteorian tuloksista yleistyvät myös moduuleille. Tutkimme, kuinka moduulin kerroinrenkaan rakenne vaikuttaa itse moduulin ominaisuuksiin. Tulemme osoittamaan, että pääideaalialueitten tapauksessa jokainen pääideaalialueen moduuli voidaan esittää yksikäsitteisesti suorana summana vapaasta moduulista, eli moduulista jolla on vektoriavaruuden tavoin kanta, sekä äärellisen monesta syklisestä tekijämoduulista. Tarkastelemme lopuksi lyhyesti joitain tämän pääideaalimoduulien päälauseeksi kutsutun tuloksen sovelluksia, kuten äärellisesti viritettyjen abelin ryhmien päälausetta, sekä neliömatriisin Jordanin kanonista muotoa.