802656S ALGEBRALLISET LUVUT OSA I ALGEBRAIC NUMBERS PART I

Samankaltaiset tiedostot
TOOLS. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO TOOLS 1 / 28

802328A LUKUTEORIAN PERUSTEET Merkintöjä ja Algebrallisia rakenteita

802656S ALGEBRALLISET LUVUT ALGEBRAIC NUMBERS. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO

2 1/ /2 ; (a) Todista, että deg P (x)q(x) = deg P (x) + deg Q(x). (b) Osoita, että jos nolla-polynomille pätisi. deg 0(x) Z, Z 10 ; Z 10 [x];

800323A KUNTALAAJENNUKSET OSA II FIELD EXTENSIONS PART II

800323A KUNTALAAJENNUKSET OSA I FIELD EXTENSIONS PART I

800323A KUNTALAAJENNUKSET OSA I FIELD EXTENSIONS PART I

1 Johdanto Algebralliset luvut Perusteita Renkaat ja kunnat Kokonaisalue, Integral Domain...

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

1 Johdanto Algebralliset luvut Perusteita 5. 3 Renkaat ja kunnat Kokonaisalue, Integral Domain Kunta, Field...

ALGEBRALLISET LUVUT S. Tapani Matala-aho

802320A LINEAARIALGEBRA OSA I

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

pdfmark=/pages, Raw=/Rotate 90 1 Johdanto Algebralliset luvut Perusteita Renkaat ja kunnat 0-10

Polynomien suurin yhteinen tekijä ja kongruenssi

1 Lineaariavaruus eli Vektoriavaruus

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 Renkaat, kunnat ja polynomit Luentorunko Syksy 2013

Todistus. Eliminoidaan Euleideen algoritmissa jakojäännökset alhaaltaylöspäin.

Algebra I, harjoitus 5,

802328A LUKUTEORIAN PERUSTEET OSA II BASICS OF NUMBER THEORY PART II

1 Algebralliset perusteet

802656S ALGEBRALLISET LUVUT OSA II ALGEBRAIC NUMBERS PART II

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

1 Lukujen jaollisuudesta

11. Jaollisuudesta. Lemma Oletetaan, että a, b R.

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

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.

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

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

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

kaikille a R. 1 (R, +) on kommutatiivinen ryhmä, 2 a(b + c) = ab + ac ja (b + c)a = ba + ca kaikilla a, b, c R, ja

a b 1 c b n c n

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

7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi

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

802328A LUKUTEORIAN PERUSTEET OSA I BASICS OF NUMBER THEORY PART I

ja jäännösluokkien joukkoa

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

802328A LUKUTEORIAN PERUSTEET OSA I BASICS OF NUMBER THEORY PART I

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.

MS-A0402 Diskreetin matematiikan perusteet

802645S LUKUTEORIA A (5op) Tapani Matala-aho

[E : F ]=[E : K][K : F ].

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

Lukuteorian kertausta

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

802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO

Koodausteoria, Kesä 2014

Algebra II. Syksy 2004 Pentti Haukkanen

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

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

pdfmark=/pages, Raw=/Rotate 90 3 Valittuja jaollisuuden tuloksia Renkaan yksikköryhmä Eräs kongruenssiryhmä 0-17

802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III

14. Juurikunnat Määritelmä ja olemassaolo.

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

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

802320A LINEAARIALGEBRA OSA I LINEAR ALGEBRA PART I

MAT Algebra 1(s)

802320A LINEAARIALGEBRA OSA I LINEAR ALGEBRA PART I

2 Renkaat ja kunnat. toteutuvat: 1. pari (K, +) on Abelin ryhmä, jonka neutraalialkio on 0 K,

802328A LUKUTEORIAN PERUSTEET OSA I BASICS OF NUMBER THEORY PART I. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO

802645S LUKUTEORIA A (5op) Tapani Matala-aho

Esko Turunen Luku 3. Ryhmät

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

Koodausteoria, Kesä 2014

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

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

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

Diofantoksen yhtälön ratkaisut

LUKUTEORIA johdantoa

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori

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

Trooppisen algebran peruslause

802320A LINEAARIALGEBRA OSA III

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Jukka Vilen. Polynomirenkaista

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

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

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

LUKUTEORIA I. Tapani Matala-aho

Aritmetiikan peruslause algebrallisten kokonaislukujen renkaissa

Luonnollisten lukujen ja kokonaislukujen määritteleminen

PERUSASIOITA ALGEBRASTA

Avainsanat Nyckelord Keywords Nullstellensatz, Hilbertin nollajoukkolause, algebrallinen geometria

2017 = = = = = = 26 1

Rollen lause polynomeille

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

802320A LINEAARIALGEBRA OSA III

Johdatus p-adisiin lukuihin

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

Teemu Ojansivu Polynomien resultanteista

Liite 2. Ryhmien ja kuntien perusteet

Koodausteoria, Kesä 2014

ALGEBRA. Tauno Metsänkylä. K f. id K

Lineaarialgebra Kerroinrenkaat. Kevät Kerkko Luosto Informaatiotieteiden yksikkö, Tampereen yliopisto

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

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

802320A LINEAARIALGEBRA OSA III

802320A LINEAARIALGEBRA OSA III LINEAR ALGEBRA PART III

Transkriptio:

802656S ALGEBRALLISET LUVUT OSA I ALGEBRAIC NUMBERS PART I Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2017 Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 1 / 110

ABSTRACT Algebrallisten lukujen teoria on kiinteä osa matematiikan lukuteoriaa. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 2 / 110

INTRODUCTION/JOHDANTO Kurssikuvaus Aluksi kerrataan renkaiden ja kuntien perusteita, joista edetään kuntalaajennuksiin. Erityiseen tarkasteluun otetaan jaollisuus kokonaisalueessa, jonka sovelluksiin törmätään polynomialgebrassa ja kokonaisten algebrallisten lukujen teoriassa. Algebrallisten lukujen teoria lepää vahvasti polynomialgebraan, josta käsitellään polynomien nollakohtia ja jaollisuutta. Algebrallisen luvun määritelmä yleistetään kuntalaajennuksien algebrallisiin alkioihin, joista edetään algebrallisiin kuntiin. Tärkeinpinä algebrallisina kuntina saadaan lukukunnat, jotka ovat äärellisesti generoituja kompleksisten algebrallisten lukujen kunnan A alikuntia. Erityisesti tutkitaan neliökuntia. Edelleen tarkastellaan kokonaisten algebrallisten lukujen jaollisuutta ja tekijöihinjakoa, joita sovelletaan Diofantoksen yhtälöiden ratkaisemiseen. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 3 / 110

INTRODUCTION/JOHDANTO Course overview First we revise some basics of rings and fields which are needed to proceed ahead field extensions. In particular, divisibility in an integral domain is carefully studied yielding to applications in the theory of polynomial algebra and algebraic integers. The theory of algebraic numbers is strongly based on polynomial algebra, where the properties of zeros and divisibility of polynomials are considered. The definition of an algebraic number will be generalized to the algebraic elements of field extensions going forward to algebraic fields.considered as most important algebraic fields we get number fields which are finitely generated subfields of the field A of all complex algebraic numbers. In particular, we study quadratic number fields. Further, we shall consider the divisibility and factorization of algebraic integers with some applications to Diophantine equations. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 4 / 110

INTRODUCTION/JOHDANTO Course overview 802656S ALGEBRALLISET LUVUT/NOPPA LINK. 802656S ALGEBRAIC NUMBERS/NOPPA LINK. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 5 / 110

INTRODUCTION/JOHDANTO BASICS/POHJATIEDOT Esitiedot: Algebran ja Lineaarialgebran aineopintokurssit sekä Lukuteorian perusteet. Kurssilla käytetään Lukuteorian perusteet kurssin merkintöjä. Notations and basics of Number Theory from the course: Basics of Number Theory. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 6 / 110

INTRODUCTION/JOHDANTO LÄHTEITÄ/REFERENCES I.N. Stewart and D.O. Tall: Algebraic number theory. Daniel Marcus: Number fields. J.B. Fraleigh: Abstract algebra. Michael Artin: Algebra. Number Theory Web/LINK American Mathematical Monthly/LINK Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 7 / 110

INTRODUCTION/JOHDANTO Algebralliset luvut Määritelmä 1 Algebralliset luvut saadaan rationaalikertoimisten ei-vakiopolynomien nollakohtina./ Algebraic numbers are zeros of non-constant polynomials with rational coefficients. Esimerkki 1 Luvut/Numbers 1; (2.1) i; (2.2) 2 1/3 + 3 1/2 (2.3) ovat algebrallisia lukuja/are algebraic numbers. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 8 / 110

INTRODUCTION/JOHDANTO Algebralliset luvut Esimerkki 2 e iπ/m, m Z \ {0}; (2.4) sin(π/m), cos(π/m), tan(π/m), m Z \ {0}; (2.5) ovat algebrallisia lukuja. Esimerkki 3 Myös polynomiyhtälön/also roots of the polynomial equation 2 1/3 x 4 + 3 1/2 x + 1 = 0 (2.6) juuret ovat algebrallisia lukuja/are algebraic numbers. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I 9 / 110

INTRODUCTION/JOHDANTO Algebralliset luvut Merkintä 1 Olkoon f : A B ja C B. Tällöin joukon C alkukuva/pre-image on joukko f 1 (C) = {x A f (x) C}. (2.7) Erityisesti f 1 ({0}) = {x A f (x) = 0}. (2.8) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I10 / 110

INTRODUCTION/JOHDANTO Algebralliset luvut Gauss todisti, että kompleksikertoimisella ei-vakiopolynomilla on aina asteen verran kompleksisia nollakohtia. Lause 1 ALGEBRAN PERUSLAUSE/FUNDAMENTAL THEOREM OF ALGEBRA. Olkoon/Let d = deg p(x) Z + ja p(x) = p 0 + p 1 x +... + p d x d C[x], (2.9) tällöin/then eli/or #p 1 ({0}) = deg p(x) = d (2.10) p(x) = p d (x α 1 ) (x α d ), α 1,..., α d C. (2.11) Tällä kurssilla keskitytäänkin kompleksisiin algebrallisiin lukuihin/complex algebraic numbers. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I11 / 110

Perusteita/Basics Olkoon K kunta/field ja d Z +. Polynomi p(x) = p 0 + p 1 x +... + x d K[x], d = deg p(x) 1, (3.1) on pääpolynomi/monic polynomial. Käytetään astetta d olevien pääpolynomien joukolle merkintää K[x] d = {p(x) = p 0 + p 1 x +... + x d K[x]}. (3.2) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I12 / 110

Perusteita/Basics Määritellään (kompleksiset ) algebralliset luvut rationaalilukujen kunnan suhteen. Määritelmä 2 Joukko A d = {α C p(α) = 0, p(x) Q[x] d } (3.3) on korkeintaan astetta d olevien algebrallisten lukujen joukko. Edelleen A = d=1 A d (3.4) on kaikkien (kompleksisten) algebrallisten lukujen joukko. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I13 / 110

Perusteita/Basics Määritelmä 3 Olkoon K C ja p(x) K[x]. Tällöin Z(p) = p 1 ({0}) = {α C p(α) = 0} (3.5) on polynomin p(x) nollajoukko/zero set. Lause 2 A 1 = Q. (3.6) Todistus. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I14 / 110

Perusteita/Basics Merkintä 2 Olkoon D Z. Tällöin Q( D) = {a + b D a, b Q}. (3.7) Lause 3 A 2 = Q( D). (3.8) D Z Todistus. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I15 / 110

Renkaat ja kunnat Rengas/Ring Tällä kurssilla tarkastellaan ykkösellisiä kommutatiivisia renkaita. Olkoon R joukko, jossa on ainakin kaksi alkiota, #R 2. Oletetaan, että joukossa R on määritelty laskutoimitus/binary operation + eli kuvaus/or mapping + : R R R, (a, b) a + b, missä a + b R, kun a R ja b R sekä Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I16 / 110

Renkaat ja kunnat Rengas/Ring Tällä kurssilla tarkastellaan ykkösellisiä kommutatiivisia renkaita. Olkoon R joukko, jossa on ainakin kaksi alkiota, #R 2. Oletetaan, että joukossa R on määritelty laskutoimitus/binary operation + eli kuvaus/or mapping + : R R R, (a, b) a + b, missä a + b R, kun a R ja b R sekä laskutoimitus eli kuvaus : R R R, (a, b) a b, missä a b R, kun a R ja b R. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I16 / 110

Renkaat ja kunnat Rengas/Ring Commutative ring with unity Määritelmä 4 Kolmikko (R, +, ) on ykkösellinen kommutatiivinen rengas/a commutative ring with unity, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I17 / 110

Renkaat ja kunnat Rengas/Ring Commutative ring with unity Määritelmä 4 Kolmikko (R, +, ) on ykkösellinen kommutatiivinen rengas/a commutative ring with unity, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun/Addition aksiomit: Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I17 / 110

Renkaat ja kunnat Rengas/Ring Commutative ring with unity Määritelmä 4 Kolmikko (R, +, ) on ykkösellinen kommutatiivinen rengas/a commutative ring with unity, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun/Addition aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c R (liitännäisyys/associativity). Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I17 / 110

Renkaat ja kunnat Rengas/Ring Commutative ring with unity Määritelmä 4 Kolmikko (R, +, ) on ykkösellinen kommutatiivinen rengas/a commutative ring with unity, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun/Addition aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c R (liitännäisyys/associativity). (b) a + b = b + a kaikilla a, b R (vaihdannaisuus/commutativity). Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I17 / 110

Renkaat ja kunnat Rengas/Ring Commutative ring with unity Määritelmä 4 Kolmikko (R, +, ) on ykkösellinen kommutatiivinen rengas/a commutative ring with unity, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun/Addition aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c R (liitännäisyys/associativity). (b) a + b = b + a kaikilla a, b R (vaihdannaisuus/commutativity). (c) On olemassa nolla-alkio/zero-element 0 R, jolle 0 + a = a kaikilla a R. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I17 / 110

Renkaat ja kunnat Rengas/Ring Commutative ring with unity Määritelmä 4 Kolmikko (R, +, ) on ykkösellinen kommutatiivinen rengas/a commutative ring with unity, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun/Addition aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c R (liitännäisyys/associativity). (b) a + b = b + a kaikilla a, b R (vaihdannaisuus/commutativity). (c) On olemassa nolla-alkio/zero-element 0 R, jolle 0 + a = a kaikilla a R. (d) Kaikilla a R on olemassa vasta-alkio/inverse a R, jolle a + ( a) = 0. apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I17 / 110

Renkaat ja kunnat Rengas/Ring Ykkösellinen kommutatiivinen rengas 2. Kertolaskun aksiomit: Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I18 / 110

Renkaat ja kunnat Rengas/Ring Ykkösellinen kommutatiivinen rengas 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c R (liitännäisyys). Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I18 / 110

Renkaat ja kunnat Rengas/Ring Ykkösellinen kommutatiivinen rengas 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c R (liitännäisyys). (b) a b = b a kaikilla a, b R (vaihdannaisuus). Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I18 / 110

Renkaat ja kunnat Rengas/Ring Ykkösellinen kommutatiivinen rengas 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c R (liitännäisyys). (b) a b = b a kaikilla a, b R (vaihdannaisuus). (c) On olemassa ykkösalkio/unit-element 1 R, jolle 1 a = a kaikilla a K. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I18 / 110

Renkaat ja kunnat Rengas/Ring Ykkösellinen kommutatiivinen rengas 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c R (liitännäisyys). (b) a b = b a kaikilla a, b R (vaihdannaisuus). (c) On olemassa ykkösalkio/unit-element 1 R, jolle 1 a = a kaikilla a K. 3. Osittelulaki/distribution law: Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I18 / 110

Renkaat ja kunnat Rengas/Ring Ykkösellinen kommutatiivinen rengas 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c R (liitännäisyys). (b) a b = b a kaikilla a, b R (vaihdannaisuus). (c) On olemassa ykkösalkio/unit-element 1 R, jolle 1 a = a kaikilla a K. 3. Osittelulaki/distribution law: (a) a (b + c) = a b + a c kaikilla a, b, c R. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I18 / 110

Renkaat ja kunnat Rengas/Ring Määritelmän 4 mukaista joukkoa R kutsutaan ykköselliseksi kommutatiiviseksi renkaaksi Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I19 / 110

Renkaat ja kunnat Rengas/Ring Määritelmän 4 mukaista joukkoa R kutsutaan ykköselliseksi kommutatiiviseksi renkaaksi ja annettuja ehtoja sanotaan rengas-aksiomeiksi/ring-axioms. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I19 / 110

Renkaat ja kunnat Rengas/Ring Määritelmän 4 mukaista joukkoa R kutsutaan ykköselliseksi kommutatiiviseksi renkaaksi ja annettuja ehtoja sanotaan rengas-aksiomeiksi/ring-axioms. Aksiomit 1a d sanovat, että (R, +) on Abelin ryhmä/abelian group, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I19 / 110

Renkaat ja kunnat Rengas/Ring Määritelmän 4 mukaista joukkoa R kutsutaan ykköselliseksi kommutatiiviseksi renkaaksi ja annettuja ehtoja sanotaan rengas-aksiomeiksi/ring-axioms. Aksiomit 1a d sanovat, että (R, +) on Abelin ryhmä/abelian group, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Voidaankin sanoa, että (R, +) on renkaan R yhteenlaskuryhmä, jonka neutraalialkio on nolla-alkio 0. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I19 / 110

Renkaat ja kunnat Rengas/Ring Määritelmän 4 mukaista joukkoa R kutsutaan ykköselliseksi kommutatiiviseksi renkaaksi ja annettuja ehtoja sanotaan rengas-aksiomeiksi/ring-axioms. Aksiomit 1a d sanovat, että (R, +) on Abelin ryhmä/abelian group, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Voidaankin sanoa, että (R, +) on renkaan R yhteenlaskuryhmä, jonka neutraalialkio on nolla-alkio 0. Mutta R = (R, ) EI/NOT ole kertolaskun suhteen (välttämättä/necessarily) ryhmä/group. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I19 / 110

Renkaat ja kunnat Rengas/Ring Määritelmän 4 mukaista joukkoa R kutsutaan ykköselliseksi kommutatiiviseksi renkaaksi ja annettuja ehtoja sanotaan rengas-aksiomeiksi/ring-axioms. Aksiomit 1a d sanovat, että (R, +) on Abelin ryhmä/abelian group, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Voidaankin sanoa, että (R, +) on renkaan R yhteenlaskuryhmä, jonka neutraalialkio on nolla-alkio 0. Mutta R = (R, ) EI/NOT ole kertolaskun suhteen (välttämättä/necessarily) ryhmä/group. Kertolaskun neutraalialkio on ykkös-alkio 1. Merkintä 3 Yleensä kertolasku jätetään merkitsemättä eli tehdään samaistus: a b = ab. apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I19 / 110

Renkaat ja kunnat Rengas/Ring Määritelmä 5 Olkoon R ykkösellinen rengas. Joukko R = {yksiköt} = {u R u 1 R : uu 1 = 1} (4.1) on renkaan R yksikköryhmä (unit group). Usein käytetään esitystä jolloin pätee R = {u R v R : uv = 1}, (4.2) u R 1 = uv, u, v R. (4.3) Jos R = K kunta/field, niin K = K\{0}. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I20 / 110

Renkaat ja kunnat Kokonaisalue, Integral Domain Määritelmä 6 Renkaan R alkio a 0 on nollantekijä (zero divisor), jos b R\{0} s.e. ab = 0 tai ba = 0. Määritelmä 7 Kommutatiivinen ykkösellinen rengas D on kokonaisalue/integral domain, mikäli D:ssä ei ole nollantekijöitä eli ehdosta ab = 0, a, b D aina seuraa a = 0 tai b = 0. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I21 / 110

Renkaat ja kunnat Kunta/Field Määritelmä 8 Kolmikko (K, +, ) on kunta, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I22 / 110

Renkaat ja kunnat Kunta/Field Määritelmä 8 Kolmikko (K, +, ) on kunta, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun aksiomit: apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I22 / 110

Renkaat ja kunnat Kunta/Field Määritelmä 8 Kolmikko (K, +, ) on kunta, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c K (liitännäisyys). apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I22 / 110

Renkaat ja kunnat Kunta/Field Määritelmä 8 Kolmikko (K, +, ) on kunta, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c K (liitännäisyys). (b) a + b = b + a kaikilla a, b K (vaihdannaisuus). apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I22 / 110

Renkaat ja kunnat Kunta/Field Määritelmä 8 Kolmikko (K, +, ) on kunta, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c K (liitännäisyys). (b) a + b = b + a kaikilla a, b K (vaihdannaisuus). (c) On olemassa nolla-alkio 0 K, jolle 0 + a = a kaikilla a K. apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I22 / 110

Renkaat ja kunnat Kunta/Field Määritelmä 8 Kolmikko (K, +, ) on kunta, jos laskutoimitukset toteuttavat seuraavat aksiomit eli ehdot: 1. Yhteenlaskun aksiomit: (a) a + (b + c) = (a + b) + c kaikilla a, b, c K (liitännäisyys). (b) a + b = b + a kaikilla a, b K (vaihdannaisuus). (c) On olemassa nolla-alkio 0 K, jolle 0 + a = a kaikilla a K. (d) Kaikilla a K on olemassa vasta-alkio a K, jolle a + ( a) = 0. apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I22 / 110

Renkaat ja kunnat Kunta/Field 2. Kertolaskun aksiomit: Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I23 / 110

Renkaat ja kunnat Kunta/Field 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c K (liitännäisyys). Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I23 / 110

Renkaat ja kunnat Kunta/Field 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c K (liitännäisyys). (b) a b = b a kaikilla a, b K (vaihdannaisuus). Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I23 / 110

Renkaat ja kunnat Kunta/Field 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c K (liitännäisyys). (b) a b = b a kaikilla a, b K (vaihdannaisuus). (c) On olemassa ykkösalkio 1 K, jolle 1 a = a kaikilla a K. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I23 / 110

Renkaat ja kunnat Kunta/Field 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c K (liitännäisyys). (b) a b = b a kaikilla a, b K (vaihdannaisuus). (c) On olemassa ykkösalkio 1 K, jolle 1 a = a kaikilla a K. (d) Kaikilla a K = K \ {0} on olemassa käänteisalkio a 1 K, jolle a a 1 = 1. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I23 / 110

Renkaat ja kunnat Kunta/Field 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c K (liitännäisyys). (b) a b = b a kaikilla a, b K (vaihdannaisuus). (c) On olemassa ykkösalkio 1 K, jolle 1 a = a kaikilla a K. (d) Kaikilla a K = K \ {0} on olemassa käänteisalkio a 1 K, jolle a a 1 = 1. 3. Osittelulaki: Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I23 / 110

Renkaat ja kunnat Kunta/Field 2. Kertolaskun aksiomit: (a) a (b c) = (a b) c kaikilla a, b, c K (liitännäisyys). (b) a b = b a kaikilla a, b K (vaihdannaisuus). (c) On olemassa ykkösalkio 1 K, jolle 1 a = a kaikilla a K. (d) Kaikilla a K = K \ {0} on olemassa käänteisalkio a 1 K, jolle a a 1 = 1. 3. Osittelulaki: (a) a (b + c) = a b + a c kaikilla a, b, c K. apani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I23 / 110

Renkaat ja kunnat Kunta/Field Määritelmän 8 mukaista joukkoa K kutsutaan kunnaksi Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I24 / 110

Renkaat ja kunnat Kunta/Field Määritelmän 8 mukaista joukkoa K kutsutaan kunnaksi ja annettuja ehtoja sanotaan kunta-aksiomeiksi. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I24 / 110

Renkaat ja kunnat Kunta/Field Määritelmän 8 mukaista joukkoa K kutsutaan kunnaksi ja annettuja ehtoja sanotaan kunta-aksiomeiksi. Aksiomit 1a d sanovat, että (K, +) on Abelin ryhmä, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I24 / 110

Renkaat ja kunnat Kunta/Field Määritelmän 8 mukaista joukkoa K kutsutaan kunnaksi ja annettuja ehtoja sanotaan kunta-aksiomeiksi. Aksiomit 1a d sanovat, että (K, +) on Abelin ryhmä, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Voidaankin sanoa, että (K, +) on kunnan K yhteenlaskuryhmä, jonka neutraalialkio on nolla-alkio 0. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I24 / 110

Renkaat ja kunnat Kunta/Field Määritelmän 8 mukaista joukkoa K kutsutaan kunnaksi ja annettuja ehtoja sanotaan kunta-aksiomeiksi. Aksiomit 1a d sanovat, että (K, +) on Abelin ryhmä, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Voidaankin sanoa, että (K, +) on kunnan K yhteenlaskuryhmä, jonka neutraalialkio on nolla-alkio 0. Edelleen, aksiomit 2a d sanovat, että (K, ) on Abelin ryhmä, jonka laskutoimitusta kutsutaan kertolaskuksi. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I24 / 110

Renkaat ja kunnat Kunta/Field Määritelmän 8 mukaista joukkoa K kutsutaan kunnaksi ja annettuja ehtoja sanotaan kunta-aksiomeiksi. Aksiomit 1a d sanovat, että (K, +) on Abelin ryhmä, jonka laskutoimitusta + kutsutaan yhteenlaskuksi. Voidaankin sanoa, että (K, +) on kunnan K yhteenlaskuryhmä, jonka neutraalialkio on nolla-alkio 0. Edelleen, aksiomit 2a d sanovat, että (K, ) on Abelin ryhmä, jonka laskutoimitusta kutsutaan kertolaskuksi. Sanotaan siis, että (K, ) on kunnan K kertolaskuryhmä, jonka neutraalialkio on ykkös-alkio 1. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I24 / 110

Renkaat ja kunnat Kunta/Field LYHYESTI: Kolmikko (K, +, ), #K 2 on kunta, jos: 1 (K, +) on Abelin ryhmä (additiivinen ryhmä), 2 (K, ) on Abelin ryhmä (multiplikatiivinen ryhmä), K = K\{0}. 3 a(b + c) = ab + ac, a, b, c K. Erityisesti, kunta on kommutatiivinen ykkösellinen rengas. Edelleen kunnassa on aina vähintään kaksi alkiota, nimittäin 0, 1 K, 0 1. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I25 / 110

Renkaat ja kunnat Kunta/Field Esimerkki 4 Field K is an integral domain. Proof: Let ab = 0, (4.4) where a, b K. Antithesis: a 0 and b 0. Because K is a field, then a 1 K. Multiplying (4.4) by a 1 gives A contradiction. a 1 ab = a 1 0 b = 0. (4.5) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I26 / 110

Renkaat ja kunnat Kunta/Field Esimerkki 5 The fields Q, R, C and Z p, where p P, are integral domains. Esimerkki 6 Any subring S of a field K is an integral domain. Esimerkki 7 Z is an integral domain. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I27 / 110

Renkaat ja kunnat Kunta/Field Esimerkki 8 The set Z[i] = {a + ib a, b Z} (4.6) of Gaussian integers is an integral domain and its unit group is Z[i] = {1, i, 1, i}. (4.7) Esimerkki 9 The set Z[ 5] = {a + b 5 a, b Z} (4.8) is an integral domain and its unit group is Z[ 5] = {1, 1}. (4.9) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I28 / 110

Renkaat ja kunnat Kunta/Field Karakteristika Määritelmä 9 Kunnan K karakteristika char K = { p p P : p1 = 0; 0 n Z + : n1 = 0. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I29 / 110

Jaollisuus kokonaisalueessa Olkoon D kokonaisalue/let D be an integral domain. Määritelmä 10 Olkoot a, b D. Tällöin b a c D : a = bc. (5.1) Kun b a, niin b jakaa (divides) a:n eli b on a:n tekijä (factor). Merkitään: b a, kun b ei jaa a:ta. Esimerkki 10 0 0, 0 a 0. (5.2) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I30 / 110

Jaollisuus kokonaisalueessa Merkintä 4 Olkoot d, b D ja s N, tällöin Lemma 1 Olkoot a, b, c D, a 0. Tällöin Todistus. d s b d s b ja d s+1 b. (5.3) ab = ac b = c. (5.4) ab = ac a(b c) = 0, a 0, b c = 0. (5.5) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I31 / 110

Jaollisuus kokonaisalueessa Määritelmä 11 Alkiot a, b D ovat liitännäisiä (associates) eli a b u D : b = ua. (5.6) Lemma 2 Relaatio on ekvivalenssirelaatio eli a a; (5.7) a b b a; (5.8) a b, b c a c. (5.9) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I32 / 110

Jaollisuus kokonaisalueessa Todistus. 5.8: a b b = ua, u D v D : uv = 1, b = ua vb = vua = a Muut kohdat laskareissa. Merkintä 5 Alkion a D määräämä ekvivalenssiluokka on missä a on luokan [a] edustaja. a = vb, v D b a. (5.10) [a] = {b D b a}, (5.11) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I33 / 110

Jaollisuus kokonaisalueessa Lemma 3 Olkoon D kokonaisalue ja 1, a, b D. Tällöin a b a b; (5.12) a 1 a 1 a D ; (5.13) [1] = D ; (5.14) [a] = ad ; (5.15) a b a b ja b a. (5.16) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I34 / 110

Jaollisuus kokonaisalueessa Todistus. 5.13: Oletus a D. a 1 1 = ua, u D D a 1; a 1 c D : 1 = ca c D a 1. a 1 a 1. a 1 c D : 1 = ca a, c D ; a D 1 = ua, u D a 1. a 1 a D. 5.14: 5.15: b [1] b 1 b D. x [a] x a a x x = ua, u D x ad. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I35 / 110

Jaollisuus kokonaisalueessa 5.16: Tarkastele ensin tapaus b = 0, jolloin myös a = 0. a b b a, a b ja b a; a b ja b a b = ca, a = db, c, d D, b = cdb cd = 1 c, d D, a b ja b a. Huomautus 1 Olkoon b D. Tällöin b = 1 b = u(u 1 b) u D. (5.17) Siten yksiköt ja alkion liitännäiset ovat aina tekijöinä. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I36 / 110

Jaollisuus kokonaisalueessa Esimerkki 11 Remember that the unit group of Gaussian integers was Z[i] = {1, i, 1, i}. (5.18) Thus 2 i 1 + 2i 2 + i 1 2i (5.19) and the equivalence class [2 i] = {2 i, 1 + 2i, 2 + i, 1 2i} (5.20) of 2 i consists of four elements. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I37 / 110

Jaollisuus kokonaisalueessa Määritelmä 12 Alkion b D triviaalit tekijät/trivial factors q ovat kaikki/are all yksiköt/units ja liittännäiset/associates eli alkiot q [1] ja q [b]. (5.21) Alkio j D, j 0, j / D on jaoton/irreducible, mikäli sillä on vain triviaaleja tekijöitä eli q j q [1] tai q [j]. (5.22) Alkio p D, p 0, p / D on alkualkio/prime, mikäli p ab p a tai p b a, b D. (5.23) Alkio a D, a / D jakaantuu/is reducible, mikäli sillä on aito tekijä d D eli d D : d a d / [1] ja d / [a]. (5.24) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I38 / 110

Jaollisuus kokonaisalueessa Huomautus 2 Nolla-alkio jakaantuu/zero-element is reducible. Merkintä 6 Asetetaan ja J D = {j D j on jaoton} (5.25) P D = {p D p on alkualkio}. (5.26) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I39 / 110

Jaollisuus kokonaisalueessa Lemma 4 Olkoot a, b D ja j, h J D. Tällöin j = ab a 1 tai b 1. (5.27) Todistus (5.27). Antithesis: a 1 and b 1 because j is irreducible. Thus j = bh, b 1. (5.28) a, b / [1] a, b [j] (5.29) a = d 1 j b = d 2 j, d 1, d 2 D (5.30) j = ab = d 1 d 2 j 2 1 = d 1 d 2 j j D = [1]. (5.31) A contradiction. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I40 / 110

Jaollisuus kokonaisalueessa Määritelmä 13 Olkoot a, b D annettu/be given. Tällöin alkio d D on alkioiden a ja b suurin yhteinen tekijä (greatest common divisor) eli d =syt(a, b) =gcd(a, b) = (a, b) mikäli d a ja d b; (5.32) c a ja c b c d. (5.33) Jos (a, b) 1, niin sanotaan, että a ja b ovat keskenään jaottomia (relatively prime) ja merkitään (a, b) = 1 tai a b. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I41 / 110

Jaollisuus kokonaisalueessa Määritelmä 14 Olkoot a, b D annettu. Tällöin alkio f D on alkioiden a ja b pienin yhteinen jaettava (least common multiple) eli f =pyj[a, b] =lcm[a, b] = [a, b] mikäli Esimerkki 12 a f ja b f ; (5.34) a g ja b g f g. (5.35) (0, 0) = 0, [0, 0] = 0. (5.36) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I42 / 110

Jaollisuus kokonaisalueessa Lemma 5 Olkoot a D ja j J D. Tällöin j a (a, j) = 1. (5.37) Todistus. Antithesis: (a, j) 1. Therefore (a, j) = d 1 and d a and d j, j J D. (5.38) Because j is irreducible, then d 1 or d j, hence d j. Consequently d = vj, v D and a = cd = cvj j a. (5.39) A contradiction. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I43 / 110

Jaollisuus kokonaisalueessa Määritelmä 15 Alkion a D esitys jaottomien alkioiden tulona on yksikäsitteinen, jos ehdosta/ The representation of the element a D by irreducible elements is unique, if from the condition seuraa/follows a = j 1 j r = h 1 h s, j l, h k J D (5.40) r = s ja h k j l k = 1,..., r jollakin l = 1,..., r. (5.41) Määritelmä 16 Kokonaisalue D on UFD eli yksikäsitteisen tekijöihinjaon alue/unique factorization domain, jos jokainen alkio a D, a 0, a / D voidaan esittää yksikäsitteisesti muodossa a = j 1 j r, j i J D. (5.42) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I44 / 110

Jaollisuus kokonaisalueessa Lause 4 Olkoon D kokonaisalue/let D be an ID. Tällöin/Then eli alkualkiot ovat jaottomia/primes are irreducible.. P D J D (5.43) Todistus. (5.43): Let p P D. If q p, then p = qd 1 for some d 1 D. Then p qd 1 p q or p d 1 (5.44) because p is a prime. If p q, then q = d 2 p, d 2 D and q = d 2 qd 1, where q 0 by p 0. So 1 = d 1 d 2 meaning that d 1, d 2 D. Therefore q [p]. If p d 1, then (homework...) q [1]. Thus p J D. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I45 / 110

Jaollisuus kokonaisalueessa Lause 5 Olkoon D kokonaisalue. Tällöin D = UFD J D P D (5.45) eli UFD:n jaottomat alkiot ovat alkualkiota/irreducibles are primes ja tällöin J D = P D. Todistus: Olkoon j J D ja oletetaan, että j ab, missä a, b D. Koska D =UFD, niin a:lla ja b:llä! esitykset Siten a = a 1 a m, b = b 1 b n, a i, b i J D. (5.46) j a 1 a m b 1 b n = j j 2 j m+n, (5.47) josta seuraa että j a i, jollakin a i tai j b i, jollakin b i, koska D =UDF. Täten j a tai j b. Siispä j P D. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I46 / 110

Jaollisuus kokonaisalueessa Huomautus 3 Yksikäsitteisessä tekijöihinjaon alueessa esitystä (5.42) sanotaan alkion a alkutekijähajotelmaksi. In UFD the representation (5.42) is called prime factorization. Määritelmä 17 Olkoon D kokonaisalue ja a D. Jos jaottomalle alkiolle j J D pätee j m a, m Z 0, (5.48) niin luku m on alkion a tekijän j kertaluku/multiplicity of the factor. Tietenkin, jos j a, niin m = 0. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I47 / 110

Jaollisuus kokonaisalueessa Lause 6 Olkoon D kokonaisalue. Tällöin Todistus: Let J D P D D = UFD. (5.49) a = j 1 j r = h 1 h s, j l, h k J D (5.50) Now irreducibles j l and h k are primes. Thus j 1 h 1 h s j 1 h 1 or j 1 h 2 h s... (5.51) and eventually j 1 h k1 implying j 1 h k1,...,j r h kr and r = s. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I48 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa Division algorithm/euclidean domain Olkoon nyt D kokonaisalue, jossa on ns. Eukleideen funktio E : D N { } eli pätee Jakoalgoritmi: Jos a, b D on annettu ja ab 0, 0 E(b) E(a), niin q, r D s.e. (J.A.) a = qb + r ja E(r) < E(b). (5.52) Tälläista aluetta sanotaan Eukleideen alueeksi/this kind of domain is called Euclidean domain/ed. (huomaa, että Eukleideen funktion määritelmä vaihtelee.) Esimerkki 13 a)d = Z, E(k) = k. b)d = K[x], E(p(x)) = deg p(x). Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I49 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa Jakoalgoritmin nojalla saadaan Eukleideen algoritmi=e.a.: r 0 = a, r 1 = b E(r 1 ) < E(r 0 ) r 0 = q 1 r 1 + r 2 E(r 2 ) < E(r 1 ). r k = q k+1 r k+1 + r k+2 E(r k+2 ) < E(r k+1 ). r n 1 = q n r n n N : r n 0, r n+1 = 0 r n = syt(a, b). Tässä n = Eukleideen algoritmin pituus/length. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I50 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa Set now/asetetaan nyt R k = ( rk r k+1 ), Q k = ( ) qk 1, k N, (5.53) 1 0 whereupon/jolloin ( ) det Q k = 1, Q 1 0 1 k =. (5.54) 1 q k We see that/nähdään, että E.A. R k = Q k+1 R k+1, k = 0,..., n 1, (5.55) whereupon holds/jolloin pätee R 0 = Q 1 Q 2 Q k R k. (5.56) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I51 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa Denote/Merkitään ja jolloin ( ) s0 t S 0 = 0 = s 1 t 1 ( ) 1 0 0 1 (5.57) ( ) sk t S k = k 1 = Q s k+1 t k Q 1 2 Q 1 1, (5.58) k+1 R k = S k R 0. (5.59) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I52 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa Nyt S k+1 = Q 1 k+1 S k (5.60) eli ( ) ( ) ( ) sk+1 t k+1 0 1 sk t = k = s k+2 t k+2 1 q k+1 s k+1 t k+1 ( s k+1 t k+1 ) s k q k+1 s k+1 t k q k+1 t k+1 Palautuskaavat eli rekursiot/recurrences: { s k+2 = s k q k+1 s k+1, k = 0, 1,... t k+2 = t k q k+1 t k+1, k = 0, 1,... (5.61) (5.62) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I53 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa From formula/yhtälöstä (5.59) we get/saadaan r n = s n a + t n b, (5.63) josta edelleen/further saadaan Lause 7 Olkoon D Eukleideen alue/ed, silloin syt(a, b) = s n a + t n b, (5.64) where/missä n on E.A:n pituus/lenght. Usein riittää seuraava tulos/usually the following formulation is enough Lause 8 Let D be an ED. Then there exist s, t D such that gcd(a, b) = sa + tb. (5.65) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I54 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa Lause 9 Olkoon D Eukleideen alue. Tällöin J D P D (5.66) eli jaottomat alkiot ovat alkualkioita/in ED irreducibles are primes. Edelleen, Eukleideen alue on UFD. Todistus. Let j J D and let us assume, that j ab, where a, d D. We should show that j a or j b. Suppose that j a, then j a by Lemma 5. Then by Theorem 8 there exist s, t D such that 1 = sa + tj b = sab + tbj j b. (5.67) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I55 / 110

Jaollisuus kokonaisalueessa Jako- ja Eukleideen algoritmit kokonaisalueessa Seuraus 1. A. Z on UFD, missä jaottomat alkiot ovat alkualkioita. B. K[x] on UFD, missä jaottomat alkiot ovat alkualkioita. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I56 / 110

Polynomialgebraa Polynomirengas Polynomijoukko Olkoon R ykkösellinen rengas. Tällöin R-kertoimisten polynomien joukolle käytetään merkintää Polynomia R[x] = {P(x) P(x) = n p k x k ; p k R, n N}. k=0 kutsutaan nollapolynomiksi ja polynomia 0(x) = 0 + 0 x + 0 x 2 +... (6.1) 1(x) = 1 + 0 x + 0 x 2 +... (6.2) ykköspolynomiksi. Ne ovat erikoistapauksia vakiopolynomista c(x) = c + 0 x + 0 x 2 +..., c R. (6.3) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I57 / 110

Polynomialgebraa Polynomirengas Laskutoimitukset Määritelmä 18 Olkoot P(x) = n k=0 p kx k, Q(x) = n k=0 q kx k R[x], jolloin asetetaan P(x) = Q(x) k(p k = q k ); P(x) + Q(x) = k + q k )x k 0(p k ; P(x) Q(x) = r k x k, k 0 joka on Cauchyn kertosääntö. k r k = p i q k i = p i q j, (6.4) i=0 i+j=k Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I58 / 110

Polynomialgebraa Polynomirengas Polynomial ring/degree Lause 10 Tällöin (R[x], +, ) on rengas, missä 0(x) on yhteenlaskun nolla-alkio ja 1(x) on kertolaskun ykkösalkio. Määritelmä 19 Jos p n 0, niin polynomin P(x) = n k=0 p kx k aste/degree on deg P(x) = n, (6.5) lisäksi asetetaan/set deg 0(x) =. (6.6) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I59 / 110

Polynomialgebraa Polynomirengas Astekaava/Degree formula Huomautus 4 + ( ) = + k =, k Z. (6.7) Lause 11 Degree formula. Olkoon D kokonaisalue ja P(x), Q(x) D[x]. Tällöin deg P(x)Q(x) = deg P(x) + deg Q(x). (6.8) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I60 / 110

Polynomialgebraa Polynomirengas Lause 12. A. Olkoon R = D kokonaisalue. Tällöin polynomirengas D[x] on kokonaisalue. B. Olkoon R = K kunta. Tällöin polynomirengas K[x] on kokonaisalue. Todistus: Olkoon a(x)b(x) = 0(x). Astekaavan nojalla deg a(x)b(x) = deg a(x) + deg b(x) = deg 0(x) =. (6.9) Jos olisi a(x) 0(x) ja b(x) 0(x), niin Ristiriita. 0 deg a(x) + deg b(x) =. (6.10) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I61 / 110

Polynomialgebraa Polynomirengas Lause 13 Olkoon K kunta. A. Polynomirenkaan K[x] yksikköryhmä on K eli K[x] = K. (6.11) B. Polynomi j(x) K[x] \ K on jaoton täsmälleen silloin, kun sen ainoat tekijät ovat vakioita k tai polynomeja k j(x), missä k K \ {0}. C. Edelleen, polynomi a(x) K[x] \ {0(x)} on jaollinen täsmälleen silloin, kun sillä on tekijä d(x) K[x], jolle pätee 1 deg d(x) deg a(x) 1. (6.12) D. Erityisesti ensimmäisen asteen polynomit ovat jaottomia. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I62 / 110

Polynomialgebraa Polynomirengas Todistus. A: a(x) K[x] b(x) K[x] such that a(x)b(x) = 1 deg a(x) = deg b(x) = 0 a(x), b(x) K. Todistus. B: j(x) = a(x)b(x) J K[x] a(x) [1] = K[x] = K a(x) = k, k K or a(x) [j(x)] = j(x)k a(x) = kj(x), k K. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I63 / 110

Polynomialgebraa Polynomirengas Todistus. C: Let a(x) K[x] \ {0} be reducible. Then there exists d(x), b(x) K[x] \ {0} such that a(x) = d(x)b(x), d(x) / [1] and d(x) / [a(x)] d(x) / K and d(x) / a(x)k. If deg d(x) = 0, then d(x) K ; a contradiction. If deg d(x) = deg a(x), then by the degree formula deg b(x) = 0 implying b(x) = k K. Thus a(x) = kd(x) and then d(x) [a(x)]; a contradiction. Todistus. D: Homework. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I64 / 110

Polynomialgebraa Polynomirengas Renkaan R[x] yksikköryhmästä Let R be commutative ring with a unit. Let us study its unit group R[x]. Pick a(x) = a 0 + a 1 x +... + a A x A R[x], then there exists b(x) = b 0 + b 1 x +... + b B x B R[x] such that 1 = a(x)b(x) = (a 0 + a 1 x +... + a A x A )(b 0 + b 1 x +... + b B x B ). (6.13) If a 1 =... = a A = 0, then a(x) R. Otherwise there exists an A 1 such that a A 0. Then Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I65 / 110

Polynomialgebraa Polynomirengas On the unit group of the ring R[x] a 0 b 0 = 1 a 0 b 1 + a 1 b 0 = 0 a 0 b 2 + a 1 b 1 + a 2 b 0 = 0... a A 2 b B + a A 1 b B 1 + a A b B 2 = 0 a A 1 b B + a A b B 1 = 0 a A b B = 0 (6.14) Multiply the second last by a A to get a A 1 a A b B + a 2 A b B 1 = 0 a 2 A b B 1 = 0 (6.15) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I66 / 110

Polynomialgebraa Polynomirengas On the unit group of the ring R[x]... a A 2 b B + a A 1 b B 1 + a A b B 2 = 0 a A 1 b B + a A b B 1 = 0 a A b B = 0 (6.16) Multiply the third last by a 2 A to get a A 2 a 2 A b B + a A 1 a 2 A b B 1 + a 3 A b B 2 = 0 a 3 A b B 2 = 0 (6.17) and so on to the situation Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I67 / 110

Polynomialgebraa Polynomirengas R[x]... a 0 b B + a 1 b B 1 +... + a A b 0 = 0, a A A b 1 = 0 A B (6.18) or... a c b B + a 1 b B 1 +... + a A b 0 = 0, A = B + c, c > 0, a A A b 1 = 0. (6.19) Anyway, multiply now by aa A. Then you get Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I68 / 110

Polynomialgebraa Polynomirengas R[x] a A+1 A b 0 = 0, (6.20) where b 0 R meaning that b 0 0. Then multiplying by b0 1 we are in the situation a A+1 A = 0. Thus if r K 0 r R \ {0}, K 2, (6.21) then a(x) = a 0 R. Otherwise: if there exists such an element r R \ {0} that r K = 0 for some K 2, (6.22) then you may find a non-constant unit polynomial a(x) i.e a(x) R[x] \ R. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I69 / 110

Polynomialgebraa Polynomirengas Z m [x] Esimerkki 14 Z 10 [x] = Z 10. Esimerkki 15 1 + 10x Z 20 [x]. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I70 / 110

Polynomialgebraa Polynomirengas Jakoalgoritmi/Division algorithm Lause 14 Division algorithm. Olkoon K kunta. Olkoon a(x), b(x) K[x], a(x)b(x) 0(x) ja deg b(x) deg a(x). Tällöin q(x), r(x) K[x] s.e. [J.A.] a(x) = q(x)b(x) + r(x), deg r(x) < deg b(x). (6.23) Edelleen, K[x] on Eukleideen alue! Huomautus 5 Jos D ei ole kunta, niin jakoalgoritmi ei välttämättä päde polynomirenkaassa D[x]!! If D is not a field, then the division algorithm does not work necessarily in the polynomial ring D[x]!! Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I71 / 110

Polynomialgebraa Polynomirengas Polynomien a(x) ja b(x) suurin yhteinen tekijä d(x) = s.y.t.(a(x), b(x)) voidaan valita pääpolynomiksi. Eukleideen algoritmin nojalla saadaan, että on olemassa sellaiset polynomit s(x), t(x) K[x], että d(x) = s(x)a(x) + t(x)b(x). (6.24) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I72 / 110

Polynomialgebraa Polynomirengas Määritelmä 20 Polynomin p(x) = n p k x k K[x] k=0 (formaali) derivaatta Dp(x)on polynomi Lemma 6 Dp(x) = n kp k x k 1 K[x]. (6.25) k=1 Olkoon K kunta, p(x) K[x] ja deg p(x) 1. Tällöin deg Dp(x) = deg p(x) 1, deg p(x) 1; (6.26) p(x) Dp(x). (6.27) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I73 / 110

Polynomialgebraa Polynomirengas Lause 15 Olkoon K kunta ja a(x), b(x), c(x) K[x]. Tällöin a = b 2 c, b 1 d = syt(a, Da) 1. (6.28) Todistus. Olkoon a = b 2 c, b 1. Koska Da = b(2cdb + bdc), niin b syt(a, Da) ja siten syt(a, Da) 1. Olkoon d = syt(a, Da) 1. Tällöin on olemassa p P K[x], p d. Siten a = ps ja Da = pr. Toisaalta Da = (Dp)s + pds, joten pr = (Dp)s + pds. Koska p Dp ja p on alkualkio, niin p s. Niinpä s = ph ja a = ps = p 2 h, jollakin h ja p 1. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I74 / 110

Polynomialgebraa Polynomirengas Väite (6.28) on yhtäpitävää seuraavan väitteen kanssa: Polynomi on neliövapaa täsmälleen silloin kun sillä ei ole yhteisiä tekijöitä derivaattansa kanssa. Claim (6.28) is equivalent to following claim: A polynomial is square-free exactly when it does not have common factors with its derivative. Esimerkki 16 Olkoon p(x) = x 5 + 2x 3 + x Q[x]. Laskemalla saadaan/by calculating syt(p, Dp) 1 (6.29) polynomilla p(x) on useampikertainen tekijä/higher order factor/multiple factor renkaassa Q[x]. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I75 / 110

Polynomialgebraa Polynomien nollakohdista Lause 16 Olkoon K kunta ja p(x) K[x], 1 deg p(x). Tällöin p(α) = 0, α K (x α) p(x). (6.30) K[x] Todistus. : Olkoon p(α) = 0, α K. Jakoalgoritmin nojalla p(x) = q(x)(x α) + r(x), deg r(x) < deg(x α) = 1, (6.31) joten r(x) K on vakio. Edelleen 0 = p(α) = q(α)(α α) + r(α) = r(α), : r(x) = 0(x) (x α) p(x). (6.32) K[x] (x α) p(x) = (x α)h(x), p(α) = 0, α K. (6.33) K[x] Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I76 / 110

Polynomialgebraa Polynomien nollakohdista Huomautus 6 Olkoon K on kunta ja p(x) K[x], deg p(x) = 2 tai deg p(x) = 3. Jos p(x) jakaantuu/is reducible polynomirenkaassa K[x], niin sillä on 1. asteen tekijä/then it has first degree factor ja Lauseen 16 nojalla p(α) = 0, α K. Jos nollakohtaa ei ole K:ssa/If there is no zero in K, niin p(x) on jaoton/irreducible polynomirenkaassa K[x]. Laajennetaan Määritelmää 3. Määritelmä 21 Olkoon K L kuntia ja p(x) K[x]. Tällöin on polynomin p(x) nollajoukko L:ssä. Z L (p) = {α L p(α) = 0} (6.34) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I77 / 110

Polynomialgebraa Polynomien nollakohdista Määritelmä 22 Olkoon α L, K L kuntia ja p(x) K[x]. Jos (x α) m p(x), m N, (6.35) L[x] niin m = m L (α, p(x)) on polynomin p(x) nollakohdan α L kertaluku/order of zero/multiplicity of zero. Edelleen n L (p(x)) = p(α i )=0, α i L nollakohtien lukumäärä/number of zeros joukossa L. m L (α i, p(x)). (6.36) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I78 / 110

Polynomialgebraa Polynomien nollakohdista Lause 17 Olkoon K kunta, char K=0, α K ja p(x) K[x] ja m N. Tällöin (x α) m p(x) (6.37) K[x] D k p(α) = 0 k = 0,..., m 1, D m p(α) 0. (6.38) Huomautus 7 Lause 17 EI päde esimerkiksi polynomirenkaassa Z p [x]. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I79 / 110

Polynomialgebraa Polynomien nollakohdista Esimerkki 17 Olkoon p(x) = (x 1) 3 (x + 1/2) 5. Polynomin p(x) nollakohdat ovat α 1 = 1 ja α 2 = 1/2. Nollakohtien kertaluvut ovat ja nollakohtien lukumäärä m Q (α 1, p(x)) = 3, m Q (α 2, p(x)) = 5 (6.39) n Q = 3 + 5 = 8. (6.40) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I80 / 110

Polynomialgebraa Polynomien nollakohdista Esimerkki 18 Olkoon (x 2 + 1)(x 2 2) R[x]. Nyt nollakohtien lukumäärät ovat n Q = 0 < 4 = deg p(x). (6.41) n R = m( 2) + m( 2) = 2 < 4 = deg p(x). (6.42) n C = 4 = deg p(x). (6.43) Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 802656S ALGEBRALLISET YLIOPISTO LUVUT OSA I ALGEBRAIC NUMBERS SYKSY 2017 PART I81 / 110