01.09.2013 Views

Ringar och Kroppar: Grundvalarna

Ringar och Kroppar: Grundvalarna

Ringar och Kroppar: Grundvalarna

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Ringar</strong> <strong>och</strong> <strong>Kroppar</strong>:<br />

<strong>Grundvalarna</strong><br />

Karl-Heinz Fieseler<br />

Uppsala 2012<br />

1


Contents<br />

1 Översikt 3<br />

2 Heltalsaritmetik 3<br />

3 Restklassaritmetik 7<br />

4 <strong>Ringar</strong> 11<br />

5 Homomorfismer 20<br />

6 Br˚akräkning 25<br />

7 Polynomringen 28<br />

8 Kvadratiska kroppar 35<br />

9 Enkla kroppsutvidgningar 40<br />

10 Faktoriella ringar 51<br />

11 Kvadratiska heltal 55<br />

12 Faktorringar 65<br />

13 Fr˚an N till C 71<br />

14 p-adiska talkroppar 76<br />

2


1 Översikt<br />

Följande tv˚a punkter tas som huvudmotivation för v˚art studium av ringteori:<br />

1. fr˚agan om entydig primfaktorisering i olika sammanhang<br />

2. konstruktionen av kroppar.<br />

Vi börjar med en kortfattad repris av heltalsaritmetiken, varvid vi redan<br />

inför begreppet av ett ideal i heltalsringen. Sedan blir det restklassringarna<br />

Zn som är de första ringarna utöver Z, Q, R, C vi bekantar oss med. Därefter<br />

är det dags för begreppet ring <strong>och</strong> homomorfism <strong>och</strong> allt som tillhör, i synnerhet<br />

kinesiska restsatsen <strong>och</strong> RSA-kryptering.<br />

Med kvotkroppen <strong>och</strong> polynomringen möter vi de första utvidgningsringarna<br />

till en given ring (resp. integritetsomr˚ade). Faktorringar till polynomringen<br />

införs som homomorfa bilder av polynomringen i en större ring,<br />

komplexa talkroppen eller ringen av kvadratiska matriser.<br />

Kvadratiska utvidgningar till Q realiseras som delkroppar till C, medan<br />

för en godtycklig kropp K adjungeras en 2 × 2-matris. För konkreta exemplens<br />

skull undersöker vi en ändlig kropps enhetsgrupp, visar att den är<br />

cyklisk, <strong>och</strong> kan sedan komma fram till ”komplexa tal med Zp-koefficienter”.<br />

Slutligen studerar vi generellt strukturen till en enkel utvidgning <strong>och</strong> ser<br />

att polynomringens PID-egenskap är avgörande, visar att en ändlig kropps<br />

ordning är en primtalspotens <strong>och</strong> att det finns bara en kropp med p 2 element.<br />

Sambandet mellan PID-egenskapen <strong>och</strong> entydig primfaktorisering är ämnet<br />

i avsnittet därp˚a; ringarna av d-kvadratiska heltal figurerar som intressanta<br />

exempel där geometrin som gitter i det komplexa planet spelar en viktig roll.<br />

Vi slutar med faktorringar som ett slags sensmoral: Med dem slipper vi<br />

de ”omgivande ringarna” C <strong>och</strong> K n,n .<br />

Det finns tv˚a avsnitt till som inte tillhör ordinarie kursen: En kortfattad<br />

diskussion av reella tal som Dedekindsnitt samt Argands bevis av Algebrans<br />

fundamentalsats, <strong>och</strong> till sist p-adiska talkroppar som lite exotiska analoga<br />

till reella talen, där dessförutom restklassaritmetik visar sig vara av intresse.<br />

2 Heltalsaritmetik<br />

Vi börjar med lite repetition: Euklidiska algoritmen tjänar till att hitta<br />

största gemensamma delaren till tv˚a heltal. Här diskuterar vi först dess<br />

egenskaper <strong>och</strong> förklarar sedan hur man hittar den i praktiken.<br />

3


Definition 2.1. För heltal a, b ∈ Z inte samtidigt = 0 definieras deras största<br />

gemensamma delare genom<br />

sgd(a, b) := max{q ∈ N>0; q|a, q|b}.<br />

Följande egenskap av den största gemensamma delaren är avgörande för<br />

heltalsaritmetiken:<br />

Theorem 2.2. Den största gemensamma delaren av heltal a, b ∈ Z med ab =<br />

0 kan skrivas som en linjärkombination i a <strong>och</strong> b med heltalskoefficienter, dvs.<br />

sgd(a, b) = ra + sb<br />

med lämpliga heltal r, s ∈ Z. I synnerhet gäller<br />

q|a, q|b =⇒ q|sgd(a, b).<br />

Den viktigaste följdsatsen till v˚art teorem är väl:<br />

Corollary 2.3. För ett primtal p ∈ N>0 gäller<br />

p|ab =⇒ p|a ∨ p|b.<br />

Proof. Vi antar att p inte delar a <strong>och</strong> visar p|b. Eftersom primtalet p bara<br />

har p <strong>och</strong> 1 som positiva delare, har vi<br />

1 = sgd(p, a) = rp + sa<br />

med lämpliga heltal r, s ∈ Z. Men sedan är<br />

delbart med p.<br />

b = brp + s(ab)<br />

För att visa Th. 2.2 tittar vi p˚a mängden<br />

Za + Zb := {ka + ℓb; k, ℓ ∈ Z}<br />

av alla linjärkombinationer med heltalskoefficienter i a <strong>och</strong> b. Den utgör ett<br />

”ideal”:<br />

Definition 2.4. En icke-tom delmängd a ⊂ Z kallas ett<br />

4


1. ideal om den är sluten b˚ade<br />

(a) m.a.p. additionen:<br />

a + a ⊂ a,<br />

eller med andra ord: x, y ∈ a =⇒ x + y ∈ a,<br />

(b) <strong>och</strong> m.a.p. godtycklig heltalsmultiplikation:<br />

Z · a ⊂ a,<br />

eller med andra ord: k ∈ Z, x ∈ a =⇒ kx ∈ a.<br />

2. principalideal (eller huvudideal) om<br />

för n˚agot heltal n ∈ Z.<br />

a = Zn<br />

Remark 2.5. 1. En icke-tom delmängd a ⊂ Z är ett ideal omm den är<br />

sluten m.a.p. subtraktionen:<br />

dvs. x, y ∈ a =⇒ x − y ∈ a.<br />

2. 0 ∈ a för varje ideal a ⊂ Z.<br />

a − a := a + (−a) ⊂ a,<br />

3. En icke-tom additivt sluten delmängd a ⊂ Z är ett ideal omm den<br />

ligger symmetriskt m.a.p. origo, dvs. omm<br />

−a = a.<br />

Theorem 2.6. Varje ideal a ⊂ Z är ett principalideal:<br />

a = Zn<br />

med ett entydigt bestämt naturligt tal n ∈ N.<br />

Proof. Om a = {0}, s˚a ta n = 0. Om inte, s˚a har vi<br />

pga. a = −a <strong>och</strong> tar<br />

a>0 := {a ∈ a; a > 0} = ∅<br />

n := min a>0.<br />

5


Eftersom n ∈ a <strong>och</strong> a är sluten m.a.p. godtycklig heltalsmultiplikation, f˚ar<br />

vi Zn ⊂ a. Ta nu ett tal a ∈ a <strong>och</strong> använd divisionsalgoritmen<br />

Sedan har vi tv˚a möjligheter:<br />

1. r = 0 <strong>och</strong> s˚aledes a ∈ Zn, eller<br />

a = qn + r, 0 ≤ r < n.<br />

2. r = a − qn ∈ a>0. Men d˚a följer r ≥ min a>0 = n, en motsägelse.<br />

Till sist avslutas beviset till Teorem 2.2 med<br />

Proposition 2.7. Om<br />

där ab = 0 <strong>och</strong> n ∈ N, s˚a gäller<br />

Za + Zb = Zn,<br />

n = sgd(a, b).<br />

Proof. Vi har q := sgd(a, b) ≥ n, eftersom n delar b˚ade a <strong>och</strong> b. ˚A andra<br />

sidan delar q i sin tur s˚aväl a som b, s˚aledes ocks˚a talet n = ra + sb. Men<br />

Det ˚aterst˚ar att hitta<br />

q|n ∧ q ≥ n =⇒ q = n.<br />

sgd(a, b) = min(Za + Zb)>0.<br />

Men den här beskrivningen har man inte mycket glädje av: Man kan ju inte<br />

pröva sig igenom alla k, ℓ ∈ Z med ka + ℓb > 0. Här hjälper nu Euklides’<br />

algoritm med vilken vi kan reducera talen a <strong>och</strong> b. Den bygger p˚a följande<br />

enkel, men nyttig anmärkning:<br />

Remark 2.8. Om a = qn + r, s˚a gäller<br />

Za + Zb = Zb + Zr.<br />

Euklides’ algoritm är nu en iteration av detta steg:<br />

6


1. Vi f˚ar anta a ≥ b ≥ 0.<br />

2. Om a = b eller b = 0, s˚a blir sgd(a, b) = a.<br />

3. Om däremot a > b > 0, skriver vi a = qb + r <strong>och</strong> ovanst˚aende<br />

anmärkning ger oss<br />

sgd(a, b) = sgd(b, r).<br />

4. Och sedan börjar hela proceduren p˚a nytt med paret (b, r) i stället för<br />

(a, b). Eftersom a > b > r ≥ 0, hamnar vi n˚agon g˚ang i situationen,<br />

där en division g˚ar jämnt ut. D˚a är det sista positiva talet i följden<br />

a, b, r, .... den största gemensamma delaren till a <strong>och</strong> b.<br />

3 Restklassaritmetik<br />

L˚at n ∈ N>1 vara ett heltal > 1.<br />

Definition 3.1. Tv˚a heltal a, b ∈ Z kallas kongruent modulo n, skrivet som:<br />

eller<br />

omm n delar differensen b − a.<br />

a ≡ b mod (n)<br />

a n ≡ b,<br />

Remark 3.2. 1. .. n ≡ .. är en ekvivalensrelation.<br />

2. Ekvivalensklassen<br />

till ett heltal a ∈ Z uppfyller<br />

3. Vi p˚aminner om att<br />

Rn(a) := {b ∈ Z; b n ≡ a}<br />

Rn(a) = a + Zn := {a + kn; k ∈ Z}.<br />

Rn(a) = Rn(b) ⇐⇒ a n ≡ b.<br />

7


4. För 0 ≤ r < n best˚ar Rn(r) av alla de heltal som lämnar resten r efter<br />

division med n, dvs. a = qn + r. Därför kallas ekvivalensklasserna<br />

ocks˚a för restklasser (eller n-restklasser). Vi f˚ar s˚aledes en partition<br />

Z =<br />

n−1 <br />

i=0<br />

Rn(i).<br />

5. Mängden av alla n-restklasser skrivs s˚a här:<br />

Zn := {Rn(i); i = 0, ..., n − 1} .<br />

Aritmetiska operationer för n-restklasser: Vi vill nu införa en addition<br />

<strong>och</strong> en multiplikation<br />

Zn × Zn −→ Zn<br />

för restklasser. Vi börjar med den elementvisa additionen <strong>och</strong> multiplikationen<br />

av delmängder A, B ⊂ Z, nämligen<br />

<strong>och</strong><br />

A + B := {a + b; a ∈ A, b ∈ B}<br />

AB := {ab; a ∈ A, b ∈ B}.<br />

Proposition 3.3. 1. Rn(a) + Rn(b) = Rn(a + b),<br />

2. Rn(a) · Rn(b) ⊂ Rn(ab), där<br />

3. Rn(ab) = Rn(a) · Rn(b) + Zn.<br />

Proof. Vi tittar p˚a summan resp. produkten av tv˚a godtyckliga tal a + kn ∈<br />

Rn(a) <strong>och</strong> b + ℓn ∈ Rn(b) <strong>och</strong> ser att<br />

<strong>och</strong><br />

(a + kn) + (b + ℓn) = (a + b) + (k + ℓ)n<br />

(a + kn)(b + ℓn) = ab + (kb + ℓa + kℓn)n.<br />

Eftersom alla element i den elementvisa produkten ligger i samma n-restklass<br />

Rn(ab), kan vi helt enkelt ”fylla p˚a” med Zn <strong>och</strong> erh˚aller hela n-restklassen<br />

Rn(ab).<br />

8


Remark 3.4. I själva verket är den elementvisa produkten av n-restklasser<br />

inte nödvändigtvis igen en n-restklass, t.ex. har vi<br />

Som addition tar vi nu<br />

Rn(0) · Rn(0) = Zn · Zn = Zn 2 = R n 2(0).<br />

α : Zn × Zn −→ Zn, (Rn(a), Rn(b)) ↦→ Rn(a + b) = Rn(a) + Rn(b),<br />

den elementvisa summan, medan vid multiplikationen m˚aste vi ”fylla p˚a”<br />

den elementvisa produkten:<br />

µ : Zn × Zn −→ Zn, (Rn(a), Rn(b)) ↦→ Rn(ab) = Rn(a) · Rn(b) + Zn.<br />

En enklare notation: För att underlätta livet inför vi en enklare notation,<br />

där ”moduln” n är underförst˚add: Vi skriver<br />

s˚adant att<br />

a := Rn(a) = a + Zn,<br />

Zn = {0, 1, ...., n − 1}.<br />

Sedan tar additionen <strong>och</strong> multiplikationen av n-restklasser följande enkel<br />

form:<br />

a + b = a + b<br />

<strong>och</strong><br />

a · b = ab.<br />

Observera: Fr˚an <strong>och</strong> med nu använder vi konventionen, att i strecknotationen<br />

.. · .. betecknar inte den elementvisa produkten av tv˚a n-restklasser,<br />

utan den entydiga n-restklassen den är inkluderad i, dvs:<br />

a · b = Rn(a) · Rn(b) + Zn = ab.<br />

Exempel: L˚at oss till sist ange n˚agra additions- <strong>och</strong> multiplikationstabeller:<br />

9


1. Additionstabellen för Z2 blir<br />

+ 0 1<br />

0 0 1<br />

1 1 0<br />

medan multiplikationstabellen ser s˚a här ut<br />

2. Additionstabellen för Z3 blir<br />

· 0 1<br />

0 0 0<br />

1 0 1<br />

+ 0 1 2<br />

0 0 1 2<br />

1 1 2 0<br />

2 2 0 1<br />

medan multiplikationstabellen ser s˚a här ut<br />

3. Additionstabellen för Z4 blir<br />

· 0 1 2<br />

0 0 0 0<br />

1 0 1 2<br />

2 0 2 1<br />

+ 0 1 2 3<br />

0 0 1 2 3<br />

1 1 2 3 0<br />

2 2 3 0 1<br />

3 3 0 1 2<br />

medan multiplikationstabellen ser s˚a här ut<br />

· 0 1 2 3<br />

0 0 0 0 0<br />

1 0 1 2 3<br />

2 0 2 0 2<br />

3 0 3 2 1<br />

10<br />

.<br />

,<br />

.<br />

,<br />

.<br />

,


Vi avslutar avsnittet med en liten<br />

Räkneövning: Vi vill beräkna a 162 för a = 3 ∈ Z121. Receptet är följande:<br />

Vi löser upp hela räkningen i en rad steg best˚aende antingen<br />

1. av en kvadrering b ↦→ b 2 eller<br />

2. en multiplikation c ↦→ ca.<br />

Man börjar ovanifr˚an <strong>och</strong> skriver ner de exponenter n ∈ N, för vilka man<br />

m˚aste beräkna potenser a n . Efter det beräknar man potenserna nedifr˚an.<br />

Idén är helt enkelt att<br />

1. för n = 2k vi har a n = b 2 med b = a k , eller<br />

2. för n = 2k + 1 vi har a n = b 2 a med b = a k ,<br />

där man redan har kommit fram till b.<br />

n 162 81 80 40 20 10 5 4 2 1<br />

3 n<br />

9 3 1 1 1 1 1 −40 9 3<br />

Vi ska se senare att a 110 = 1 för alla a = ℓ, där ℓ inte är delbar med 11. Det<br />

skulle ha gett<br />

a 162 = a 110+52 = a 110 a 52 = a 52<br />

<strong>och</strong> sedan har vi tabellen<br />

4 <strong>Ringar</strong><br />

n 52 26 13 12 6 3 2 1<br />

3 n<br />

9 3 27 9 3 27 9 3<br />

Vi har diskuterat restklassaritmetik för att förbereda nästa definition:<br />

Definition 4.1. En ring är en trippel (R, α, µ) best˚aende av en mängd R<br />

<strong>och</strong> tv˚a avbildningar<br />

“additionen”, <strong>och</strong><br />

“multiplikationen”, s˚adant att<br />

α : R × R −→ R, (a, b) ↦→ a + b := α(a, b) ,<br />

µ : R × R −→ R, (a, b) ↦→ ab := µ(a, b) ,<br />

11<br />

.<br />

.


1. den associativa lagen<br />

(a + b) + c = a + (b + c), (ab)c = a(bc)<br />

gäller för b˚ade addition <strong>och</strong> multiplikation,<br />

2. den kommutativa lagen<br />

gäller för additionen,<br />

3. de “distributiva” lagarna<br />

gäller för alla a, b, c ∈ R,<br />

a + b = b + a<br />

a(b + c) = ab + ac , (a + b)c = ac + bc<br />

4. det finns ett element 0 ∈ R, s˚adant att<br />

för alla a ∈ R,<br />

a + 0 = 0<br />

5. det finns ett element 1 ∈ R, s˚adant att<br />

1 · a = a = a · 1 , ∀a ∈ R ,<br />

6. för varje a ∈ R finns det ett element b ∈ R med<br />

Example 4.2. 1. Z, Q, R, C, Zn.<br />

a + b = 0.<br />

2. En 2 × 2-matris med koefficienter i den kommutativa ringen R är en<br />

tableau<br />

<br />

a<br />

A :=<br />

c<br />

<br />

b<br />

; a, b, c, d ∈ R.<br />

d<br />

Tv˚a matriser kan adderas enligt<br />

<br />

a<br />

c<br />

<br />

b ã<br />

+<br />

d ˜c<br />

˜b d˜<br />

12<br />

<br />

:=<br />

a + ã b + ˜ b<br />

c + ˜c d + ˜ d


<strong>och</strong> multipliceras<br />

a b<br />

c d<br />

<br />

·<br />

ã ˜ b<br />

˜c ˜ d<br />

Elementet 0 blir nollmatrisen<br />

<strong>och</strong> elementet 1 enhetsmatrisen<br />

Mängden<br />

utgör d˚a en ring.<br />

R 2,2 :=<br />

E :=<br />

<br />

:=<br />

0 0<br />

0 0<br />

aã + b˜c a ˜ b + b ˜ d<br />

cã + d˜c c ˜ b + d ˜ d<br />

<br />

1 0<br />

0 1<br />

<br />

a b<br />

A :=<br />

c d<br />

<br />

.<br />

<br />

<br />

; a, b, c, d ∈ R<br />

Remark 4.3. 1. Elementen 0, 1 är entydiga <strong>och</strong> kallas för ringens nolla<br />

<strong>och</strong> ringens etta. Om nämligen ˜0 resp. ˜1 skulle ha samma egenskap,<br />

fick vi<br />

˜0 = ˜0 + 0 = 0 + ˜0 = 0<br />

<strong>och</strong><br />

˜1 = ˜1 · 1 = 1.<br />

2. Elementet b ∈ R med a + b = 0 är entydig: Om ˜ b är ett element med<br />

samma egenskap, s˚a har vi<br />

<br />

.<br />

b = 0 + b = (a + ˜ b) + b = ( ˜ b + a) + b = ˜ b + (a + b) = ˜ b + 0 = ˜ b.<br />

Elementet b skrivs vanligtvis som −a.<br />

3. Nollan uppfyller<br />

0 · a = 0 = a · 0<br />

för alla a ∈ R: Vi har a = 1 · a = (1 + 0)a = a + 0 · a <strong>och</strong> adderar −a<br />

till b˚ada led.<br />

13


4. P˚a samma sätt följer<br />

(−1)a = a(−1) = −a<br />

fr˚an 0 = 0 · a = (1 + (−1))a = a + (−1)a.<br />

5. Vi har inte krävt 1 = 0 - men om s˚a är fallet gäller R = {0}. Vi kallar<br />

R d˚a för nollringen.<br />

Example 4.4. Vi tittar p˚a trippeln (R 3 , +, ×), där ”×” är vektorprodukten.<br />

Med additionen g˚ar allt bra, men vektorprodukten orsakar problem:<br />

Det finns ingen etta, den är inte kommutativ (fast det är till˚atet), utan “antikommutativ”,<br />

dvs.<br />

u × v = −v × u.<br />

Det värsta är väl att den inte ens är associativ:<br />

medan<br />

(e1 × e2) × e2 = e3 × e2 = −e1,<br />

e1 × (e2 × e2) = e1 × 0 = 0.<br />

Men, konstigt nog finns det ocks˚a en algebraisk struktur som generaliserar<br />

(R 3 , +, ×) - trippeln utgör en “Lie-algebra“.<br />

Definition 4.5. En ring R kallas kommutativ om<br />

gäller för alla a, b ∈ R.<br />

ab = ba<br />

Example 4.6. Matrisringen R 2,2 är inte kommutativ.<br />

Vi ska nu diskutera olika slags element i en ring R: I fall implikationen<br />

kan omvändas:<br />

b = 0 =⇒ ab = 0<br />

ab = 0 =⇒ b = 0<br />

har elementet a ∈ R äran att f˚a ett särskilt namn:<br />

14


Definition 4.7. 1. Ett element a ∈ R i en kommutativ ring R kallas för<br />

en icke-nolldelare omm ab = 0 =⇒ b = 0.<br />

2. En icke-trivial ring (inte nollringen), där alla element a = 0 är ickenolldelare<br />

kallas för ett integritetsomr˚ade (integral domain).<br />

Example 4.8. 1. <strong>Ringar</strong>na Z, Q, R, C är integritetsomr˚aden.<br />

2. Icke-nolldelare kan strykas i en ekvation: ax = ay =⇒ x = y.<br />

3. En n-restklass a ∈ Zn är en icke-nolldelare omm sgd(a, n) = 1. Vi har<br />

a · b = ab = 0 ⇐⇒ ∃k ∈ Z : ab = kn.<br />

Om sgd(a, n) = 1 innebär detta att n|b, dvs. b = 0. ˚A andra sidan om<br />

sgd(a, n) = d > 1, har vi n = n0d <strong>och</strong> n|an0, dvs.<br />

fast n0 = 0.<br />

a · n0 = 0,<br />

4. Restklassringen Zn är ett integritetsomr˚ade omm n = p är ett primtal,<br />

eftersom ett naturligt tal är ett primtal omm alla tal k, 1 ≤ k < n är<br />

relativ prima till n.<br />

Definition 4.9. 1. Ett element a ∈ R i en icke-trivial ring R kallas inverterbart<br />

eller en enhet omm det finns ett element b ∈ R med ab = ba = 1.<br />

2. Mängden<br />

R ∗ := {a ∈ R; ∃b ∈ R : ab = ba = 1}<br />

av alla inverterbara element kallas för ringens enhetsgrupp.<br />

Example 4.10. 1. Talet b med ab = ba = 1 är entydigt bestämt, vi<br />

skriver a −1 := b.<br />

2. Enhetsgruppen är sluten m.a.p. multiplikation <strong>och</strong> inversion. I själva<br />

verket gäller<br />

(ab) −1 = b −1 a −1 , (a −1 ) −1 = a.<br />

3. Enheter är icke-nolldelare: Om a ∈ R ∗ <strong>och</strong> ab = 0, hittar vi 0 =<br />

a −1 (ab) = (a −1 a)b = 1b = b.<br />

15


4. I en ändlig (kommutativ) ring är icke-nolldelare redan enheter, eftersom<br />

multiplikationen med a, avbildningen µa : R −→ R, x ↦→ ax, är injektiv<br />

<strong>och</strong> en injektiv självavbildning av en ändlig mängd är ocks˚a surjektiv.<br />

I synnerhet finns det b ∈ R med µa(b) = 1.<br />

5. Z ∗ = {±1}.<br />

6. Z ∗ n = {a ∈ Zn; sgd(a, n) = 1}.<br />

7. Vi beräknar 70 −1 ∈ Z101, dvs. vi vill ha 70 · b = 1, dvs. 70b = 1 + 101k<br />

med n˚agot heltal k ∈ Z. Euklides’ algoritm ger<br />

<strong>och</strong> s˚aledes<br />

101 = 1 · 70 + 31, 70 = 2 · 31 + 8, 31 = 4 · 8 − 1<br />

1 = 4 · 8 − 31 = 4 · (70 − 2 · 31) − 31 = 4 · 70 − 9 · 31<br />

= 4 · 70 − 9 · (101 − 70) = 13 · 70 − 9 · 101.<br />

Med andra ord: 70 −1 = 13 ∈ Z101.<br />

8. För en kommutativ ring är determinanten<br />

det : R 2,2 <br />

a b<br />

−→ R, A = ↦→ det(A) := ad − bc,<br />

c d<br />

en multiplikativ avbildning, dvs.<br />

Om vi nu för<br />

det(AB) = det(A) · det(B).<br />

A =<br />

a b<br />

c d<br />

definierar den till A adjungerade matrisen som<br />

s˚a visar en liten räkning<br />

A ∗ :=<br />

<br />

d −b<br />

−c a<br />

<br />

,<br />

AA ∗ = A ∗ A = det(A)E,<br />

16


där vi använder oss av ”skalärmultiplikationen”<br />

<br />

a<br />

λ<br />

c<br />

<br />

b λa<br />

:=<br />

d λc<br />

<br />

λb<br />

λd<br />

för λ ∈ R. Sedan följer<br />

Bevis: Övning!<br />

(R 2,2 ) ∗ = {A ∈ R 2,2 , det(A) ∈ R ∗ }.<br />

Definition 4.11. Funktionen ϕ : N>0 −→ N definierad som<br />

<br />

1<br />

ϕ(n) :=<br />

|Z<br />

, om n = 1<br />

∗ n| , om n ≥ 2<br />

kallas för Eulers ϕ-funktion.<br />

Lemma 4.12. För en primtalspotens n = p k , k ≥ 1, f˚ar vi:<br />

ϕ(p k ) = p k−1 (p − 1) .<br />

Proof. Komplementet till Z ∗<br />

p k utgörs av nolldelarna<br />

S˚aledes<br />

0, p, 2p, ...., (p k−1 − 1)p.<br />

|Z ∗<br />

p k| = |Z p k| − antalet nolldelare = p k − p k−1 = p k−1 (p − 1).<br />

Definition 4.13. 1. En ring R kallas en divisionsring om R ∗ = R \ {0}.<br />

2. En kommutativ divisionsring kallas en kropp.<br />

3. En icke-kommutativ divisionsring kallas ocks˚a för en skevkropp.<br />

Example 4.14. Matriserna i mängden<br />

H :=<br />

z w<br />

−w z<br />

<br />

; z, w ∈ C<br />

17<br />

⊂ C 2,2


utgör en skevkropp. De kallas för kvaternioner. (Bokstaven H p˚aminner<br />

om den irländska matematikern William Rowan Hamilton, som ”uppfann”<br />

kvaternionerna - men först˚as inte som matriser!) De utgör ett reellt (men<br />

inte ett komplext) vektorrum med<br />

en bas är<br />

dim H = 4;<br />

E, I, J, K,<br />

med enhetsmatrisen E ∈ C2,2 <strong>och</strong> matriserna<br />

<br />

i<br />

I :=<br />

0<br />

<br />

0<br />

0<br />

, J :=<br />

−i<br />

−1<br />

<br />

1<br />

0<br />

, K :=<br />

0 i<br />

i 0<br />

Multiplikationen av ”basmatriserna” K, I, J bestäms av relationerna<br />

I 2 = J 2 = K 2 = −E, IJ = K = −JI, JK = I = −KJ, KI = J = −IK.<br />

En rolig iakttagelse: Om vi tar<br />

<strong>och</strong> definierar<br />

U = RE, V = RI + RJ + RK,<br />

P : H = U ⊕ V −→ V<br />

som projektion p˚a V med kärna U, s˚a blir avbildningen<br />

V × V −→ V, (A, B) −→ P (AB)<br />

vektorprodukten p˚a V ∼ = R 3 (där matriserna I, J, K ∈ V motsvarar enhetsvektorerna<br />

e1, e2, e3 ∈ R 3 ).<br />

Tillbaka till plikten!<br />

Definition 4.15. Ett element<br />

1. e ∈ R kallas för idempotent omm e 2 = e.<br />

2. u ∈ R kallas för nilpotent omm det finns n ∈ N>0 med u n = 0.<br />

18<br />

<br />

.


Example 4.16. 1. 0, 1 är idempotenta. Restklasserna 3, 4 ∈ Z6 är idempotenta.<br />

2. Om e ∈ R är idempotent, s˚a är det 1 − e likas˚a.<br />

3. I ett integritetsomr˚ade är 0, 1 de enda idempotenta, eftersom 0 = e 2 −<br />

e = e(1 − e) innebär e = 0 eller e = 1.<br />

4. Restklassen 3 ∈ Z9 är nilpotent.<br />

Definition 4.17. En delgrupp G ⊂ R ∗ till enhetsgruppen R ∗ är en icke-tom<br />

delmängd som är sluten m.a.p. multiplikation <strong>och</strong> inversion.<br />

Example 4.18. 1. Mängden<br />

G := 1 + pZp n<br />

utgör en delgrupp till enhetsgruppen Z ∗ p n med |G| = pn−1 .<br />

2. För en kommutativ ring R är<br />

Cn(R) := {x ∈ R; x n = 1}<br />

en delgrupp. I själva verket handlar det redan om alla ändliga delgrupper<br />

för ett integritetsomr˚ade R,<br />

3. ∞<br />

n=1 Cn(R)<br />

4. S 1 ⊂ C ∗ .<br />

Theorem 4.19 (Lagrange). L˚at R vara en kommutativ ring. Om G ⊂ R ∗<br />

är en ändlig delgrupp, s˚a gäller a |G| = 1 för alla a ∈ G.<br />

Proof. Avbildningen µa : G −→ G, x ↦→ ax, är bijektiv, s˚aledes<br />

<br />

x = <br />

µa(x) = <br />

|G|<br />

(ax) = a x.<br />

x∈G<br />

x∈G<br />

x∈G<br />

x∈G<br />

Eftersom <br />

x∈G x ∈ R∗ är en icke-nolldelare, följer 1 = a |G| .<br />

Corollary 4.20 (Fermat’s lilla sats). För en restklass a ∈ Z ∗ n har vi<br />

a ϕ(n) = 1.<br />

19


5 Homomorfismer<br />

För att först˚a relationen mellan olika slags ringar behövs det ”ringhomomorfismer”:<br />

Definition 5.1. L˚at R, S vara ringar. En avbildning ϕ : R −→ S kallas en<br />

ringhomomorfism omm<br />

1.<br />

2.<br />

för alla a, b ∈ R,<br />

ϕ(a + b) = ϕ(a) + ϕ(b) , ϕ(ab) = ϕ(a)ϕ(b)<br />

ϕ(1) = 1 ,<br />

där 1 betecknar ettan i respektive ring R <strong>och</strong> S.<br />

Den kallas en ringisomorfism omm den ytterligare är bijektiv, <strong>och</strong> R är<br />

isomorf med S, skrivet som: R ∼ = S, omm det finns en ring isomorfism<br />

ϕ : R −→ S.<br />

Remark 5.2. 1. För en ringhomomorfism ϕ : R −→ S gäller<br />

ϕ(0) = 0, ϕ(−a) = −ϕ(a)<br />

pga. ϕ(a) = ϕ(a + 0) = ϕ(a) + ϕ(0) <strong>och</strong> 0 = ϕ(0) = ϕ(a + (−a)) =<br />

ϕ(a) + ϕ(−a).<br />

2. Villkoret ϕ(1) = 1 är alltid uppfyllt om ϕ(1) = 0 <strong>och</strong> S är ett integritetsomr˚ade,<br />

eftersom idempotenta element = 1 är nolldelare.<br />

Example 5.3. 1. För varje ring R finns precis en ringhomomorfism<br />

χ : Z −→ R.<br />

Nödvändigtvis har vi<br />

⎧<br />

n×<br />

<br />

⎪⎨ 1 + ...... + 1 , om n > 0<br />

χ(n) = 0<br />

⎪⎩<br />

(−1) + ...... + (−1)<br />

<br />

m×<br />

,<br />

,<br />

om n = 0<br />

om n = −m < 0<br />

20<br />

.


Att det är en ringhomomorfism, följer fr˚an distributiva lagen. Vanligtvis<br />

skriver man inte χ(n) ∈ R, utan bara<br />

n := χ(n),<br />

men man skulle inte glömma, att n = 0 kan gälla i R fast det inte är<br />

fallet i Z. Till exempel ta R = Zn!<br />

2. För m|n definierar<br />

en ringhomomorfism.<br />

3. Komplexa konjugationen<br />

är en ringisomorfism.<br />

Zn −→ Zm, Rn(a) ↦→ Rm(a) = Rn(a) + Zm<br />

C −→ C, z ↦→ z,<br />

Definition 5.4. Kärnan till en ringhomomorfism ϕ : R −→ S är mängden<br />

ker(ϕ) := ϕ −1 (0) = {x ∈ R; ϕ(x) = 0}.<br />

Remark 5.5. En ringhomomorfism ϕ : R −→ S är injektiv omm ker(ϕ) =<br />

{0}. Villkoret är uppenbarligen nödvändigt pga. ϕ(0) = 0, men det är ocks˚a<br />

tillräckligt: Om ϕ(x) = ϕ(y), s˚a följer ϕ(x − y) = ϕ(x) − ϕ(y) = 0, i.e.<br />

x − y ∈ ker(ϕ) = {0} <strong>och</strong> s˚aledes x − y = 0, dvs. y = x.<br />

Kärnan utgör ett ideal:<br />

Definition 5.6. En icke-tom delmängd a ⊂ R av en kommutativ ring kallas<br />

ett<br />

1. ideal om den är sluten b˚ade<br />

(a) m.a.p. additionen:<br />

a + a ⊂ a,<br />

eller med andra ord: x, y ∈ a =⇒ x + y ∈ a,<br />

(b) <strong>och</strong> m.a.p. multiplikation med ett godtyckligt element i R:<br />

R · a ⊂ a,<br />

eller med andra ord: a ∈ R, x ∈ a =⇒ ax ∈ a.<br />

21


2. principalideal (eller huvudideal) om<br />

för n˚agot element b ∈ R.<br />

a = Rb<br />

Ett integritetsomr˚ade, där varje ideal är ett principalideal, kallas ett principalidealomr˚ade<br />

(PID=principal ideal domain).<br />

Remark 5.7. 1. a = {0} kallas nollidealet, a = R enhetsidealet.<br />

2. En kommutativ ring R är en kropp, omm noll- <strong>och</strong> enhetsidealet är de<br />

enda idealen.<br />

3. En ringhomomorfism ϕ : K −→ R fr˚an en kropp till en icke-trivial<br />

ring är alltid injektiv: Pga. ϕ(1) = 1, gäller ker(ϕ) = K, s˚aledes<br />

ker(ϕ) = {0}.<br />

Definition 5.8. L˚at R vara en ring <strong>och</strong> χ : Z −→ R den naturliga ringhomomorfismen.<br />

Karakteristiken char(R) ∈ N av ringen R definieras som<br />

det naturliga tal n ∈ N, s˚adant att<br />

ker(χ) = χ −1 (0) = Zn .<br />

Med andra ord: Antingen char(R) = 0 - i s˚a fall är χ : Z −→ R injektiv -<br />

eller<br />

char(R) = min{k ∈ N>0; k = 0 i R}.<br />

Remark 5.9. För ett integritetsomr˚ade R är char(R) = 0 eller ett primtal<br />

char(R) = p.<br />

Example 5.10. För en kropp K av char(K) = p > 0 definieras Frobeniushomomorfismen<br />

som<br />

K −→ K, x ↦→ x p .<br />

Uppenbarligen gäller (xy) p = x p y p <strong>och</strong> 1 p = 1, men ocks˚a<br />

<br />

(x + y) p = x p p−1<br />

+<br />

k=1<br />

<br />

p<br />

x<br />

k<br />

k y p−k + y p = x p + y p ,<br />

22


eftersom binomialkoefficienterna<br />

<br />

p<br />

=<br />

k<br />

p!<br />

k!(p − k)!<br />

∈ N<br />

är delbara med p för k = 1, ..., p − 1 - primtalet p ing˚ar ju i täljaren, men<br />

inte i nämnaren - <strong>och</strong> s˚aledes<br />

<br />

p<br />

= 0 ∈ K, 1 ≤ k ≤ p − 1.<br />

k<br />

Bara - för K = Zp har vi x p = x enligt Lagrange. S˚a det verkar inte särskilt<br />

intressant. I själva verket spelar Frobeniushomomorfismen en central roll i<br />

teorin om kroppar av karaktäristik p > 0, <strong>och</strong> den är lika med identiteten<br />

bara för K = Zp.<br />

Definition 5.11. L˚at R1, ..., Rs vara ringar. Den direkta produkten R1 ×<br />

.... × Rs är den kartesiska produkten av mängderna R1, ..., Rs tillsammans<br />

med den komponentvisa additionen <strong>och</strong> multiplikationen.<br />

Theorem 5.12 (Kinesiska restsatsen). L˚at n = n1 · ... · ns med parvis relativ<br />

prima tal n1, ..., ns. Sedan är<br />

en ringisomorfism.<br />

ψ : Zn −→ Zn1 × ... × Zns, a ↦→ (a + Zn1, ..., a + Zns)<br />

Proof. Eftersom ”start”- <strong>och</strong> m˚alringen har samma antal element, räcker det<br />

att visa ker(ψ) = {0}. Men ψ(a) = 0 innebär ni|a för i = 1, ..., s. Eftersom<br />

talen n1, ..., ns är parvis relativ prima innebär detta n|a resp. a = 0.<br />

Remark 5.13. För att invertera kinesiska isomorfismen letar vi efter inversa<br />

bilderna till enhetsvektorerna ei ∈ Zn1×...×Zns, Välj heltal xi, yi ∈ Z. s˚adant<br />

att<br />

xiˆni + yini = 1<br />

var ˆni · ni = n. Sedan är zi ∈ Zn med zi := 1 − yini den inversa bilden till<br />

ei ∈ Zn1 ×...×Zns. Till sist, inversa bilden till (a1, ..., as) är a1·z1+...+as·zs.<br />

Corollary 5.14. L˚at n = n1 · ... · ns med parvis relativ prima tal n1, ..., ns.<br />

Sedan<br />

ϕ(n) = ϕ(n1) · ... · ϕ(ns)<br />

23


Proof. Kinesiska isomorfismen<br />

inducerar en bijektion<br />

Zn −→ Zn1 × ... × Zns<br />

Z ∗ n −→ Z ∗ n1 × ... × Z∗ ns .<br />

RSA-kryptering: Vi ska förklara hur det g˚ar till att kryptera budskap med<br />

en offentlig kodning, medan det kodade budskapet kan avkodas praktiskt<br />

taget bara med lite information till. Den offentliga nyckeln best˚ar av ett<br />

talpar (n, e), där n = pq är produkten av tv˚a olika primtal, men faktorerna<br />

är inte offentliga <strong>och</strong> eftersom faktorisering är en mycket krävande process<br />

g˚ar det i praktiken inte att beräkna talen p, q. Ta e ∈ N relativ prim till<br />

ϕ(n) = (p − 1)(q − 1). B˚ade okrypterade <strong>och</strong> krypterade budskap representeras<br />

av restklasser a ∈ Zn. Sedan krypteras <strong>och</strong> avkodas med hjälp av<br />

potensavbildningar. Avbildningen<br />

är kodningen <strong>och</strong><br />

a ↦→ a e = b<br />

b ↦→ b d<br />

är avkodningen, där e · d = 1 ∈ Z∗ ϕ(n) eller med andra ord: d ∈ N uppfyller<br />

Det skulle gälla<br />

de = 1 + mϕ(n).<br />

a ed = a<br />

för alla a ∈ Zn ∼ = Zp × Zq. S˚a vi m˚aste visa för c ∈ Zp <strong>och</strong> c ∈ Zq likheten<br />

c ed = c. Anta t.ex. c ∈ Zp. För c = 0 är det ingenting att visa, medan för<br />

c = 0 f˚ar vi med Fermats lilla sats c p−1 = 1 <strong>och</strong> s˚aledes<br />

c ed = c 1+m(p−1)(q−1) = c · (c p−1 ) m(q−1) = c · 1 = c.<br />

Problemet för en ovälkommen avkodare är att hitta ϕ(n) = (p − 1)(q − 1).<br />

Och det g˚ar bara om man kan faktorisera n, men detta är som sagt ett rejält<br />

problem, när moduln n är stor.<br />

24


6 Br˚akräkning<br />

Injektiva ringhomomorfismer tolkas ofta som inklusioner - vi kommer s˚a till<br />

begreppet av en delring resp. en ringutvidgning.<br />

Definition 6.1. L˚at R vara en ring. En delring R0 ⊂ R är en delmängd som<br />

1. är sluten m.a.p. addition <strong>och</strong> multiplikation <strong>och</strong><br />

2. med dessa operationer själv är en ring,<br />

3. till sist krävs 1 ∈ R0, där 1 ∈ R är den givna ringens etta.<br />

En ringutvidgning S ⊃ R till ringen R är en ring S som har R som delring.<br />

Den kallas en R-algebra, om elementen i R kommuterar med elementen i S,<br />

dvs. xy = yx gäller för alla element x ∈ R <strong>och</strong> y ∈ S.<br />

Example 6.2. 1. Om ϕ : R −→ S är en ringhomomorfism, s˚a är ϕ(R) ⊂<br />

S en delring.<br />

2. L˚at χ : Z −→ R vara den naturliga ringhomomorfismen. R0 := χ(Z) ⊂<br />

R är d˚a den minsta delringen till R. Vi anmärker att χ(Z) ∼ = Z för<br />

char(R) = 0 <strong>och</strong> χ(Z) ∼ = Zn för char(R) = n.<br />

3. Om vi identifierar R med RE ⊂ R 2,2 , blir ringen R 2,2 av alla 2 × 2matriser<br />

med element i R en R-algebra.<br />

4. Q ⊂ R, R ⊂ C är delringar.<br />

Remark 6.3. Skillnaden mellan ett ideal a ⊂ R <strong>och</strong> en delring R0 ⊂ R är<br />

följande:<br />

1. En delring R0 ⊂ R skulle vara multiplikativt sluten, medan för ideal<br />

krävs mer: R · a ⊂ a.<br />

2. För ett ideal krävs inte 1 ∈ a. I själva verket, om det gäller, handlar<br />

det redan om enhetsidealet a = R.<br />

3. Om R = R1 × R2 är den direkta produkten av ringarna R1 <strong>och</strong> R2, s˚a<br />

är a1 := R1 × {0} <strong>och</strong> a2 := {0} × R2 ideal, men inte delringar.<br />

I det här avsnittet <strong>och</strong> nästa presenterar vi tv˚a viktiga ringutvidgningar<br />

till en given ring R, dess kvotkropp Q(R) <strong>och</strong> dess polynomring R[X].<br />

25


Definition 6.4. L˚at R vara ett integritetsomr˚ade. En delmängd S ⊂ R\{0}<br />

kallas multiplikativ, om följande tv˚a villkor är uppfyllda:<br />

1. s, t ∈ S =⇒ st ∈ S, samt<br />

2. 1 ∈ S.<br />

Example 6.5. 1. S := R \ {0} är en multiplikativ delmängd.<br />

2. L˚at a ∈ R \ {0}. Sedan är<br />

en multiplikativ delmängd.<br />

S := a N = {a n ; n ∈ N}<br />

3. L˚at p ∈ N vara ett primtal. Sedan är<br />

en multiplikativ delmängd till Z.<br />

S(p) := {a ∈ Z; p |a}<br />

P˚a den kartesiska produkten R × S definierar vi ekvivalensrelationen ∼<br />

p˚a följande sätt<br />

(a, s) ∼ (b, t) :⇐⇒ at = bs .<br />

Symmetri <strong>och</strong> reflexivitet är klara, anta nu (a, s) ∼ (b, t) ∼ (c, u). Det<br />

innebär at = bs <strong>och</strong> bu = ct. Multiplikation med u resp. s leder till atu =<br />

bsu = cts resp. au = cs, eftersom R inte har nolldelare = 0. S˚aledes<br />

(a, s) ∼ (c, u). Mängden<br />

S −1 R := (R × S)/∼<br />

av dess ekvivalensklasser utgör en ring: Beteckna med<br />

a<br />

s := [(a, s)] ∈ S−1 R<br />

ekvivalensklassen av paret (a, s). Sedan är additionen <strong>och</strong> multiplikationen<br />

a b<br />

+<br />

s t<br />

:= at + bs<br />

st<br />

, a b<br />

·<br />

s t<br />

:= ab<br />

st<br />

väldefinierade ringoperationer; den resulterande ringen S −1 R kallas lokaliseringen<br />

av R m.a.p. den multiplikativa delmängden S. I själva verket är<br />

R −→ S −1 R, a ↦→ a<br />

1 ,<br />

en injektiv ringhomomorfism <strong>och</strong> vi har s˚aledes rätt till att se p˚a R som en<br />

delring till S −1 R.<br />

26


Example 6.6. 1. Om S = R \ {0}, är lokaliseringen S −1 R en kropp; den<br />

kallas kvotkroppen<br />

Q(R) := (R \ {0}) −1 R<br />

till integritetsomr˚adet R.<br />

2. Och s˚a vet vi vad de rationella talen är för n˚agonting:<br />

Q := Q(Z).<br />

3. L˚at p ∈ N vara ett primtal. För S = pN f˚ar vi<br />

S −1 <br />

a<br />

Z = ; a ∈ Z, n ∈ N<br />

pn medan<br />

S(p) −1 Z =<br />

<br />

a<br />

<br />

; a, b ∈ Z, p |a .<br />

b<br />

M˚anga algebraiska konstruktioner karakteriseras av en ”universell egenskap”:<br />

Proposition 6.7. L˚at S ⊂ R \ {0} vara en multiplikativ delmängd till integritetsomr˚adet<br />

R. Sedan har varje ringhomomorfism<br />

ϕ : R −→ T<br />

med ϕ(S) ⊂ T ∗ till en ring T en entydig utvidgning till en ringhomomorfism<br />

Proof. Övning!<br />

ˆϕ : S −1 R −→ T.<br />

Corollary 6.8. Varje kropp K har en minsta delkropp P (K), dess primkropp.<br />

1. Om char(K) = 0, s˚a är<br />

2. om char(K) = p, s˚a är<br />

P (K) ∼ = Q,<br />

P (K) = χ(Z) ∼ = Zp<br />

med den entydiga ringhomomorfismen χ : Z −→ K.<br />

27


För fullständighetens skull nämner vi:<br />

Definition 6.9. En kommutativ ring R kallas lokal om icke-enheterna<br />

m := R \ R ∗<br />

utgör ett ideal. Idealet kallas d˚a den lokala ringens maximala ideal.<br />

Example 6.10. 1. En kropp är en lokal ring med m = {0}.<br />

2. Restklassringen Zn är en lokal ring omm n = p r är en primtalspotens.<br />

I s˚afall är m = Zn · p.<br />

3. Ringen R := S(p) −1 Z är en lokal ring med det maximala idealet m =<br />

Rp.<br />

7 Polynomringen<br />

Följande definition är lite heuristisk, men suggestiv:<br />

Definition 7.1. Ett polynom med koefficienter i den kommutativa ringen R<br />

(eller över R) är ett ”formellt uttryck”<br />

f =<br />

n<br />

ν=0<br />

aνX ν , a0, ...., an ∈ R,<br />

som kan användas för att definiera en funktion<br />

fS : S −→ S, x ↦→ f(x) :=<br />

n<br />

aνx ν ,<br />

ν=0<br />

för varje R-algebra S. Mängden av alla polynom betecknas<br />

<br />

n<br />

R[X] := aνX ν <br />

; a0, ..., an ∈ R, n ∈ N .<br />

ν=0<br />

28


Remark 7.2. 1. Polynom ”bestäms av sina koefficienter”, dvs.<br />

f =<br />

n<br />

aνX ν = 0 ⇐⇒ a0 = ... = an = 0,<br />

ν=0<br />

de adderas <strong>och</strong> multipliceras p˚a det sedvanliga sättet. Mängden R[X]<br />

blir s˚aledes en kommutativ ring.<br />

2. OBS: Trots notationen f(x) är polynomet f inte samma sak som funktionen<br />

fR : R −→ R, jfr. Prop: 7.3.<br />

3. Utvärdering (eller evaluering?) i ett element a ∈ S definierar en ringhomomorfism<br />

εa : K[X] −→ S, f ↦→ f(a).<br />

Ibland kallas den ocks˚a en substitutionshomomorfism.<br />

4. Om vi utrustar mängden S S av alla funktioner S −→ S med den<br />

argumentvisa additionen <strong>och</strong> multiplikationen, blir den en ring <strong>och</strong><br />

en ringhomomorfism.<br />

Φ : R[X] −→ S S , f ↦→ fS,<br />

0.) En exakt definition av polynom för pedanter som vill veta vad ett<br />

”formellt uttryck” är för n˚agonting: Eftersom ett polynom bestäms av sina<br />

koefficienter är det helt enkelt en följd<br />

f = (a0, a1, ..., an, 0, .......)<br />

av element i ringen R med bara ändligt m˚anga element = 0. Additionen är<br />

komponentvis<br />

(a0, a1, ....) + (b0, b1, ...) := (a0 + b0, a1 + b1, ....),<br />

<strong>och</strong> multiplikationen ges av Cauchyprodukten:<br />

(a0, a1, ....) · (b0, b1, ...) := (a0b0, a0b1 + a1b0, a0b2 + a1b1 + a2b0, .....).<br />

Uppenbarligen är<br />

(1, 0, 0, .......) ∈ R[X]<br />

29


ettan <strong>och</strong> avbildningen<br />

R ↩→ R[X], a ↦→ (a, 0, .....),<br />

en injektiv ringhomomorfism. Vi förenklar notationen genom att skriva<br />

s˚adant att<br />

Om vi nu ytterligare definierar<br />

s˚a f˚ar vi<br />

a := (a, 0, 0, ...),<br />

R ⊂ R[X].<br />

X := (0, 1, 0, ........),<br />

X n = (0, ...., 0, 1<br />

<br />

n<br />

, 0, ....),<br />

<strong>och</strong> en godtycklig följd tar formen av en summa<br />

(a0, a1, ....., an, 0, .....) =<br />

n<br />

aνX ν .<br />

En liten rolig anmärkning för folk som tycker om lek: För att definiera<br />

ovanst˚aende ringoperationer behövs egentligen inte att följderna har bara<br />

ändligt m˚anga nollskilda element. Vi f˚ar s˚aledes en ringstruktur p˚a mängden<br />

ν=0<br />

R N := {(a0, a1, ......); ∀ ν ∈ N : aν ∈ R}<br />

av alla R-värda följder. De resulterande objekten kallas ocks˚a ”formella<br />

potensserier med koefficienter i R”; de utgör en utvidgningsring<br />

R[[X]] ⊃ R[X].<br />

Nyfikna hänvisas till sista delen av avsnitt 14 om p-adiska tal.<br />

1.) Polynom <strong>och</strong> polynomfunktioner: Nästa proposition jämför polynom<br />

<strong>och</strong> polynomfunktioner: Vi undersöker homomorfismen<br />

Φ : R[X] −→ R R , f ↦→ fR,<br />

som avbildar varje polynom f p˚a den tillhörande funktionen fR : R −→ R.<br />

30


Proposition 7.3. L˚at R vara ett integritetsomr˚ade.<br />

1. Om a ∈ R är ett nollställe till polynomet f ∈ R[X], allts˚a f(a) = 0,<br />

kan vi faktorisera f = (X − a)g med ett polynom g ∈ R[X].<br />

2. Ett polynom<br />

f =<br />

har högst n nollställen i R.<br />

3. Ringhomomorfimen<br />

är injektiv för |R| = ∞.<br />

n<br />

aνX ν ∈ R[X] \ {0}<br />

ν=0<br />

Φ : R[X] −→ R R<br />

4. Om |R| = q < ∞ (dvs. R = F är en ändlig kropp), s˚a gäller<br />

med polynomet<br />

Proof. 1. Vi skriver<br />

ker(Φ) = F[X]h<br />

h := <br />

(X − a) = X q − X ∈ F[X].<br />

a∈F<br />

f = f((X − a) + a) =<br />

n<br />

cν(X − a) ν = (X − a)g,<br />

ν=1<br />

med g = n<br />

ν=1 cν(X − a) ν−1 – vi har ju c0 = f(a) = 0.<br />

2. Vi gör induktion följande n, tar ett nollställe a ∈ R av f <strong>och</strong> använder<br />

oss av faktoriseringen f = (X − a)g. Eftersom R är ett integritetsomr˚ade<br />

är alla nollställen = a till f nollställen till g <strong>och</strong> vi kan använda<br />

oss av induktionshypotesen med n − 1 i stället för n.<br />

3. Följer omedelbart med 2.).<br />

4. Inses med successiv faktorisering för f ∈ R[X] med fR ≡ 0. Lilla<br />

Fermat säger att X q − X ∈ ker(Φ) = F[X]h, men h <strong>och</strong> X q − X är<br />

normerade av samma grad – d˚a m˚aste de ju vara lika!<br />

31


2.) P˚a jakt efter nya kroppar: Given en kropp K letar vi efter utvidgningskroppar<br />

L ⊃ K. Strategin är följande: Vi tar en K-algebra S <strong>och</strong><br />

plockar fram ett element a ∈ S. Bilden av utvärderingshomomorfismen<br />

εa : K[X] −→ S, f ↦→ f(a),<br />

är en delring till S <strong>och</strong> betecknas s˚a här:<br />

K[a] := {f(a); f ∈ K[X]} ⊂ S.<br />

Vi vill veta om det kan hända att L = K[a] är en kropp. Vi tittar först p˚a<br />

n˚agra exempel:<br />

1. Kvadratiska talkroppar: Vi tar K = Q <strong>och</strong> S = C samt<br />

a := √ d,<br />

där d ∈ Q inte är en kvadrat i Q. För d > 0 är √ d ∈ R>0 ett<br />

väldefinierat tal; för d < 0 bestämmer vi<br />

√ d := |d| · i ∈ C.<br />

Sedan kallas<br />

√ <br />

Q d ⊂ C<br />

en kvadratisk talkropp. I själva verket har vi<br />

√ <br />

Q d = Q + Q √ d ⊂ C<br />

Uppenbarligen gäller Q + Q √ √d d ⊂ Q , medan den omvända inklu-<br />

sionen följer pga. ( √ d) 2ν = d ν , ( √ d) 2ν+1 = d ν√ d. Att det verkligen<br />

handlar om en kropp ser man s˚a här:<br />

C ∋<br />

1<br />

a + b √ d = a − b√d a2 √ <br />

∈ Q d ,<br />

− db2 där nämnaren inte försvinner om bara a = 0 eller b = 0. I en kvadratisk<br />

talkropp finns det ocks˚a ”heltal”: De utgör en delring<br />

√ <br />

Ad ⊂ Q d<br />

<strong>och</strong> kommer att undersökas i avsnittet 11.<br />

32


2. Matrisringar: Vi tar en godtycklig kropp K <strong>och</strong> identifierar<br />

K ∼ = KE ⊂ K n,n =: S<br />

med delringen av K n,n best˚aende av alla multiplar till enhetsmatrisen<br />

E. Elementet a ∈ S blir nu en kvadratisk matris<br />

<strong>och</strong><br />

A ∈ K n,n ,<br />

K[A] := {f(A); f ∈ K[X]}<br />

är även en kommutativ delring till K n,n . T.ex. ta K = R <strong>och</strong><br />

Sedan är<br />

pga. J 2 = −E, <strong>och</strong><br />

A := J :=<br />

0 1<br />

−1 0<br />

R[J] = RE + RJ<br />

<br />

.<br />

C ∼ =<br />

−→ R[J], x + iy ↦→ xE + yJ,<br />

är en ringisomorfism! I själva verket är det m˚anga nya kroppar som<br />

kan konstrueras p˚a det här sättet. Men hur kan man avgöra om det<br />

verkligen handlar om en kropp? Om vi tar i stället<br />

f˚ar vi A 2 = E <strong>och</strong><br />

A :=<br />

med de idempotenta matriserna<br />

<strong>och</strong><br />

1 0<br />

0 −1<br />

<br />

,<br />

R[A] = RE + RA = RP + RQ<br />

P :=<br />

Q :=<br />

E + A<br />

2 =<br />

E − A<br />

2<br />

33<br />

=<br />

1 0<br />

0 0<br />

0 0<br />

0 1<br />

<br />

<br />

.


Vi f˚ar sedan en isomorfism<br />

R × R ∼ =<br />

−→ R[A], (x, y) ↦→ xP + yQ.<br />

I synnerhet är allts˚a ringen R[A] inte ett integritetsomr˚ade: Vi har ju<br />

P Q = 0.<br />

Till sist sammanställer vi n˚agra grundläggande egenskaper av polynomringar.<br />

Vi behöver gradfunktionen:<br />

Definition 7.4. L˚at R vara en ring. Gradfunktionen<br />

definieras för f ∈ R[X] genom<br />

deg(f) :=<br />

Remark 7.5. 1. Man har<br />

samt<br />

deg : R[X] −→ N ∪ {−∞}<br />

n , if f = n<br />

ν=0 aνX ν , an = 0<br />

−∞ , if f = 0<br />

deg(f + g) ≤ max(deg(f), deg(g)) , deg(fg) ≤ deg(f) + deg(g)<br />

deg(fg) = deg(f) + deg(g)<br />

om ett av polynomen f, g är normerat eller R är ett inegritetsomr˚ade.<br />

2. Polynomringen R[X] över ett integritetsomr˚ade är igen ett integritetsomr˚ade.<br />

3. För ett integritetsomr˚ade gäller<br />

R[X] ∗ = R ∗ .<br />

4. Ett polynom f ∈ R[X] över ett integritetsomr˚ade R her högst deg f<br />

nollställen.<br />

34<br />

.


8 Kvadratiska kroppar<br />

I det här avsnittet generaliserar vi med hjälp av 2×2-matriser konstruktionen<br />

√d<br />

av de kvadratiska talkropparna Q till en godtycklig kropp K i stället<br />

för Q.<br />

Proposition 8.1. För d ∈ K l˚at<br />

<br />

0 1<br />

A =<br />

d 0<br />

Sedan gäller<br />

1. A 2 = dE<br />

2. <strong>och</strong><br />

∈ K 2,2 .<br />

K[A] = KE + KA ⊂ K 2,2<br />

är en kropp om d ∈ K inte är en kvadrat.<br />

Remark 8.2. 1. Vi har<br />

√ <br />

Q d ∼= Q[A].<br />

2. För konkreta räkningar är det kanske enklast att göra som i fallet K =<br />

Q, dvs. vi ersätter matriserna med en symbolisk notation:<br />

Vi skriver ocks˚a<br />

K<br />

Example 8.3. R[ √ −1] ∼ = C.<br />

xE + yA ←→ x + y √ d.<br />

√ <br />

d := x + y √ <br />

d; x, y ∈ K .<br />

Proof. Första delen kollas med det samma <strong>och</strong> den innebär att<br />

K[A] = KE + KA.<br />

I själva verket är K[A] en kropp, eftersom<br />

(xE + yA)(x − yA) = (x 2 − dy 2 )E<br />

<strong>och</strong> x 2 − dy 2 = 0 för (x, y) = 0 pga. att d ∈ K inte är en kvadrat.<br />

35


Vi letar efter fler konkreta exempel av ändliga kroppar <strong>och</strong> fr˚agar för vilka<br />

primtal p vi kan ta K = Zp, d = −1. Metoden är av mer allmänt intresse, s˚a<br />

det blir avbrott nu <strong>och</strong> vi först gör en liten sväng:<br />

Vi börjar med n˚agra funderingar om ändliga delgrupper<br />

G ⊂ R ∗<br />

till enhetsgruppen R ∗ . Enligt Lagrange’s sats Th.4.19 vet vi att<br />

a |G| = 1<br />

gäller för alla a ∈ G. Vi visar nu en partiell omvändning:<br />

Proposition 8.4. L˚at G ⊂ R ∗ vara en ändlig delgrupp till enhetsgruppen<br />

R ∗ av ett integritetsomr˚ade R. Om a ℓ = 1 gäller för alla a ∈ G, s˚a gäller<br />

dvs. ℓ är en heltalsmultipel till |G|.<br />

ℓ ∈ Z · |G|,<br />

Proof. Exponenterna ℓ ∈ Z med a ℓ = 1 för alla a ∈ G utgör ett ideal<br />

s˚aledes<br />

e(G) := ℓ ∈ Z; a ℓ = 1 ∀ a ∈ G ,<br />

e(G) = Zn<br />

med n˚agot n ∈ N. Enligt Lagrange gäller |G| ∈ e(G), dvs. n delar |G|.<br />

Polynomet f = X n − 1 ∈ R[X] försvinner allts˚a p˚a G <strong>och</strong> har högst n<br />

nollställen, s˚aledes |G| ≤ n <strong>och</strong> därmed nödvändigtvis n = |G|.<br />

Example 8.5. Villkoret att R är ett integritetsomr˚ade kan inte lämnas bort:<br />

1. För<br />

G = Z ∗ 8 = 1, 3, 5, 7 <br />

har vi |G| = 4, men redan a 2 = 1 för alla a ∈ G.<br />

2. L˚at p, q vara tv˚a olika udda primtal. Enhetsgruppen<br />

har d˚a (p − 1)(q − 1) element <strong>och</strong><br />

G := Z ∗ pq ∼ = Z ∗ p × Z ∗ q<br />

a ℓ = 1<br />

gäller redan för ℓ = (p − 1)(q − 1)/2, eftersom ℓ är b˚ade delbart med<br />

p − 1 <strong>och</strong> med q − 1.<br />

36


För en närmare undersökning av förh˚allandena behöver vi:<br />

Definition 8.6. För ett element a ∈ R ∗ i enhetsgruppen av en ring R l˚at<br />

e(a) := {ℓ ∈ Z; a ℓ = 1}<br />

vara idealet av alla exponenter ℓ ∈ Z med a ℓ = 1. Elementet a’s ordning<br />

definieras som<br />

ord(a) := min e(a)>0 ∈ N ∪ {∞},<br />

där vi använder oss av konventionen<br />

min ∅ := ∞.<br />

Example 8.7. 1. Elementen 3, 5, 7 ∈ Z ∗ 8 har ordning 2.<br />

2. Elementet 2 ∈ Z11 har ordning 10, eftersom<br />

2 Z = {2, 4, 8, 5, 10 = −1, −2 = 9, −4 = 7, −8 = 3, −5 = 6, 1}<br />

har 10 element. Ytterligare ord(4) = 5 <strong>och</strong> ord(10) = 2.<br />

3. För ett komplext tal<br />

gäller<br />

I själva verket<br />

om sgd(k, n) = 1.<br />

a = re iϑ ∈ C ∗<br />

ord(a) < ∞ ⇐⇒ r = 1 ∧ ϑ ∈ Q · 2π.<br />

ord(e 2πi(k/n) ) = n<br />

Remark 8.8. 1. Vi har ord(a) = ∞ omm e(a) = {0} omm a m = a n för<br />

m = n. Med andra ord: Vi har en bijektion<br />

Z −→ a Z , k ↦→ a k .<br />

2. Vi har ord(a) = d < ∞ omm e(a) = Zd omm a m = a n ⇐⇒ m ≡ n<br />

mod (d). Med andra ord: Vi har en bijektion<br />

<strong>och</strong><br />

Zd −→ a Z , k ↦→ a k<br />

a Z = {1, a, ..., a d−1 }.<br />

37


3. Om a ∈ G med en ändlig delgrupp G ⊂ R ∗ , s˚a är ord(a) < ∞ en delare<br />

till delgruppens ordning |G|.<br />

Proposition 8.9. 1. L˚at ord(a) = m, Sedan gäller<br />

ord(a k ) =<br />

m<br />

sgd(k, m) .<br />

2. Om m = ord(a) <strong>och</strong> n = ord(b) är relativ prim, s˚a gäller<br />

Proof. Vi har<br />

L˚at<br />

dvs. 1 = 1 <strong>och</strong><br />

ord(ab) = mn.<br />

1 = (a k ) ℓ = a kℓ ⇐⇒ m|kℓ ⇐⇒<br />

m<br />

sgd(k, m) |ℓ.<br />

1 = (ab) ℓ =⇒ a ℓ = b −ℓ =⇒ ord(a ℓ ) = ord(b −ℓ )<br />

=⇒<br />

m<br />

sgd(ℓ, m) =<br />

n<br />

sgd(ℓ, n) ,<br />

sgd(ℓ, m) = m, sgd(ℓ, n) = n =⇒ ℓ ∈ Z · mn.<br />

Theorem 8.10. L˚at G ⊂ R ∗ vara en ändlig delgrupp till enhetsgruppen R ∗<br />

av ett integritetsomr˚ade R. Sedan finns det en primitiv rot för G, dvs. ett<br />

element a ∈ G med<br />

ord(a) = |G|<br />

resp.<br />

G = a Z = {1, a, ...., a |G|−1 }.<br />

Proof. Vi m˚aste hitta ett element a ∈ G med ord(a) = |G|. L˚at<br />

|G| = p k1<br />

1 · ... · p ks<br />

s<br />

38


vara primfaktorsuppdelningen: För varje i = 1, ..., s konstruerar vi ett element<br />

ai ∈ G av ordning ord(ai) = p ki<br />

i <strong>och</strong> sätter<br />

a = a1 · ... · as.<br />

Enligt Lagrange’s sats Th.4.19 delar ordningen ord(c) för varje c ∈ G delgruppens<br />

ordning |G|, dvs.<br />

ord(c) = p k1(c)<br />

1<br />

<strong>och</strong> med Prop. 8.4 ser vi, att<br />

· ... · p ks(c)<br />

s<br />

med 0 ≤ ki(c) ≤ ki,<br />

ki = max {ki(c); c ∈ G} , i = 1, ....., s.<br />

I synnerhet finns det ett element ci, vars ordning är delbart med p ki<br />

i<br />

ord(ci) = ℓip k1<br />

i . Vi tar nu ai := c ℓi<br />

i .<br />

Vi är nu redo att svara p˚a v˚ar fr˚aga:<br />

, kanske<br />

Corollary 8.11. L˚at p > 2 vara ett udda primtal. Sedan finns det ett element<br />

j ∈ Zp med j 2 = −1 omm p ≡ 1 mod (4).<br />

Proof. ”=⇒”: L˚at p = 4k + 3 <strong>och</strong> anta j 2 = −1 gäller för n˚agot j ∈ Zp. D˚a<br />

ger Th.4.19<br />

1 = j 4k+2 = (j 2 ) 2k+1 = (−1) 2k+1 = −1,<br />

motsägelse!<br />

”⇐=”: L˚at a ∈ Z ∗ p vara en primitiv rot <strong>och</strong> ta j := a k . Vi har j 4 = 1, s˚a<br />

polynomet<br />

X 2 − 1 = (X + 1)(X − 1)<br />

har j 2 som nollställe, <strong>och</strong> eftersom j 2 = a 2k = 1, m˚aste j 2 = −1.<br />

Example 8.12. 1. För p ≡ 3 mod (4) finns det ”komplexa tal med Zpkoefficienter”,<br />

kroppen<br />

F p 2 := {x + yi; x, y ∈ Zp} ,<br />

med p 2 element, där som vanligt bokstaven i menar samma sak som<br />

√ −1.<br />

39


2. För p ≡ 1 mod (4) har vi inget naturligt val av en icke-kvadrat d ∈ Zp,<br />

men de finns alltid: T.ex. varje primitiv rot är en icke-kvadrat.<br />

3. L˚at nu p = 2. Matrisen<br />

uppfyller<br />

A =<br />

<strong>och</strong> ger upphov till kroppen<br />

1 1<br />

1 0<br />

med 4 element. Jämför med Z4!<br />

A 2 = A + E<br />

<br />

∈ (Z2) 2,2<br />

F4 := Z2[A] = Z2E + Z2A<br />

4. Om char(K) = 2 <strong>och</strong> K[A] med en 2 × 2 matris A ∈ KE är en kropp,<br />

s˚a gäller<br />

K[A] ∼ √ <br />

= K d<br />

<br />

α<br />

med en icke-kvadrat d ∈ K. Om nämligen A =<br />

γ<br />

<br />

β<br />

, s˚a gäller<br />

δ<br />

A 2 = (α + δ)A − (αδ − βγ)E.<br />

Men vi har K[B] = K[A] med B := A − 2 −1 (α + δ)E, eller m.a.o. vi<br />

f˚ar anta α + δ = 0. Ta nu d = −(αδ − βγ) ∈ K, en icke-kvadrat: Om<br />

c 2 = d, vore<br />

0 = (A − cE)(A + cE)<br />

en produkt av tv˚a faktorer = 0.<br />

9 Enkla kroppsutvidgningar<br />

Här är vi intresserade av att skapa nya kroppar utg˚aende fr˚an en given kropp<br />

K. Vi undersöker följande situation: Vi har en K-algebra S <strong>och</strong> tar fram<br />

ett element a ∈ S <strong>och</strong> betraktar alla element i S, som är polynom i a med<br />

koefficienter i K, dvs. delringen<br />

K[a] := {f(a); f ∈ K[X]} ⊂ S .<br />

Ringutvidgningar K[a] ⊃ K, som uppst˚ar genom ”adjunktion” (tilläggning)<br />

av ett element a ∈ S ⊃ K kallas ibland ocks˚a enkla.<br />

40


Example 9.1. Relevanta K-algebror är:<br />

1. C ⊃ Q, <strong>och</strong><br />

2. K n,n ⊃ KE ∼ = K.<br />

För att först˚a ringen K[a] är det viktigt att veta i vilken m˚an elementet<br />

f(a) bestämmer polynomet f ∈ K[X], dvs. vi fr˚agar vad det betyder att<br />

f(a) = g(a)<br />

gäller för tv˚a polynom f, g ∈ K[X]. S˚a det handlar om att först˚a kärnan<br />

till substitutionshomomorfismen<br />

ker(εa) ⊂ K[X]<br />

εa : K[X] −→ K[a], f ↦→ f(a).<br />

Med andra ord: Vi är intresserade av idealet<br />

ma := {f ∈ K[X]; f(a) = 0} ⊂ K[X]<br />

av alla polynom som annullerar det givna elementet a ∈ S.<br />

Example 9.2. Titta p˚a a ∈ C ⊃ Q resp. A ∈ K n,n ⊃ KE ∼ = K.<br />

1. För a ∈ K har vi<br />

2. Ta nu K = Q ⊂ C ∋ a := i. Vi f˚ar<br />

ma = K[X](X − a).<br />

mi = Q[X](X 2 + 1),<br />

eftersom för f ∈ Q[X] har vi f(i) = 0 =⇒ f(−i) = f(i) = f(i) = 0,<br />

s˚aledes f = (X − i)(X + i)g. Att g ∈ Q[X] följer fr˚an divisionsalgoritmen.<br />

3. För den n-te enhetsroten a = e 2πi/n ∈ C ⊃ Q har vi<br />

X n − 1 ∈ ma.<br />

41


4. Ett komplext tal a ∈ C kallas transcendent omm ma = {0}, i.e. om ψa :<br />

Q[X] −→ Q[a] är en isomorfism. Talen e, π ∈ R ⊂ C är transcendenta,<br />

ett icke-trivialt resultat, som först har bevisats p˚a 1800-talet.<br />

5. För en matris<br />

visar en liten räkning<br />

A :=<br />

a b<br />

c d<br />

<br />

∈ K 2,2<br />

X 2 − (a + d)X + (ad − bc) ∈ mA.<br />

6. För en matris A ∈ K n,n är idealet av alla polynom som annullerar A<br />

icke-trivialt:<br />

mA = {0}.<br />

Ringen K n,n av alla kvadratiska matriser av storlek n×n kan nämligen<br />

uppfattas som K-vektorrum <strong>och</strong> har d˚a dimension n 2 . S˚aledes är matriserna<br />

E, A, A 2 , ...., A n2<br />

linjärt beroende: Vi f˚ar a0, ......, a n 2 ∈ K inte alla = 0 med<br />

resp.<br />

med polynomet<br />

a0E + a1A + ..... + an2A n2<br />

= 0<br />

f(A) = 0<br />

f = a0 + a1X + ..... + an2X n2<br />

= 0.<br />

Tillbaka till teorin: Först <strong>och</strong> främst handlar det om polynomringen själv:<br />

Vi m˚aste veta vilka ideal som finns i K[X]:<br />

Proposition 9.3. Polynomringen K[X] över en kropp K är ett principalidealomr˚ade:<br />

För ett icke-trivialt ideal a ⊂ K[X] har vi<br />

a = K[X]f,<br />

där f ∈ K[X] är ett polynom av minsta grad i a \ {0}. Om vi förutsätter f<br />

vara normerat, är f entydigt bestämt.<br />

42


Beviset bygger som i fall av heltalsringen Z p˚a en divisionsalgoritm:<br />

Theorem 9.4 (Divisionsalgoritm för polynom). L˚at g ∈ R[X] vara ett<br />

normerat polynom över den kommutativa ringen R. Varje polynom f ∈ R[X]<br />

skrivs som<br />

f = qg + r<br />

med entydigt bestämda polynom q, r ∈ R[X], deg(r) < n = deg(g).<br />

Proof. Entydighet: L˚at f = qg + r = ˜qg + ˜r. Sedan:<br />

(q − ˜q)g = (˜r − r) .<br />

Polynomet p˚a högra ledet har grad < n, medan för q − ˜q = 0 vänstra ledet<br />

har minst grad n (eftersom g är normerat). S˚aledes q = ˜q <strong>och</strong> d˚a först˚as<br />

ocks˚a r = ˜r.<br />

Existens: Vi använder induktion följande deg(f): Om deg(f) < n tar vi<br />

q = 0 <strong>och</strong> r = f.<br />

Om deg(f) =: m ≥ n, kanske f = bmX m + ... + b0, betraktar vi polynomet<br />

˜f := f−bmX m−n g. Eftersom det har grad < deg(f), ger induktionshypotesen<br />

˜q, ˜r med<br />

˜f = ˜qg + ˜r<br />

<strong>och</strong> deg(˜r) < n. Slutligen ta q := ˜q + bmX m−n , r := ˜r.<br />

Bevis av Prop. 9.3. L˚at a ⊂ K[T ] vara ett ideal. Om a = {0}, kan vi välja<br />

ett polynom polynom f ∈ a \ {0} av minsta grad, <strong>och</strong> efterrsom K är en<br />

kropp, kan vi anta att f är normerat. Sedan har vi a = (f). Inklusionen<br />

”⊃” är självklart.<br />

”⊂”: Ta ett polynom h ∈ a. Divisionsalgoritmen 9.4 ger h = qf + r, var<br />

deg(r) < deg(f). Men d˚a, pga. r = h − qf ∈ a, nödvändigtvis r = 0 enligt<br />

val av f. S˚aledes h = qf ∈ K[X]f.<br />

Definition 9.5. L˚at a ∈ S ⊃ K med ma = {0}. Det entydiga normerade<br />

polynomet pa ∈ K[X] med<br />

ma = K[X]pa<br />

kallas minimalpolynomet av elementet a ∈ S över K.<br />

Remark 9.6. 1. För ett polynom f ∈ K[X] har vi<br />

f(a) = 0 ⇐⇒ pa|f.<br />

43


2. Imaginära enheten i ∈ C ⊃ Q har minimalpolynom<br />

pi = X 2 + 1 ∈ Q[X].<br />

3. L˚at n > 1. Den n-te enhetsroten a = e 2πi/n ∈ C ⊃ Q annulleras av<br />

X n − 1 = (X − 1)(X n−1 + X n−2 + ... + X + 1) föjdaktligen<br />

X n−1 + X n−2 + ... + X + 1 ∈ ma.<br />

Om n = p är ett primtal har vi t.o.m.<br />

pa = X p−1 + X p−2 + ... + X + 1.<br />

I allmänheten gäller deg(pa) = ϕ(n), polynomet pa kallas det n-te<br />

cyklotomiska polynomet (cirkelskärningspolynomet). Inget bevis.<br />

4. Däremot blir minimalpolynomet av ett icke-reellt tal a ∈ C ⊃ R över<br />

R polynomet<br />

f = X 2 − (a + a)X + |a| 2 ∈ R[X].<br />

5. För en matris A ∈ K 2,2 \ KE har vi<br />

pA = X 2 − (a + d)X + (ad − bc),<br />

eftersom A inte annulleras av ett linjärt polynom, medan vi redan har<br />

kollat A2 − (a + d)A + (ad − bc)E = 0.<br />

<br />

0 1<br />

6. För A = J =<br />

f˚ar vi<br />

−1 0<br />

<strong>och</strong> för A =<br />

0 1<br />

d 0<br />

Slutligen har A =<br />

<br />

blir<br />

1 1<br />

1 0<br />

pJ = X 2 + 1,<br />

pA = X 2 − d.<br />

<br />

∈ (Z2) 2,2 minimalpolynomet<br />

pA = X 2 + X + 1 ∈ Z2[X].<br />

44


7. L˚at A ∈ K n,n ⊃ KE ∼ = K. Man kan visa att matrisen A’s sekularpolynom<br />

χA := det(XE − A) ∈ K[X]<br />

annullerar A, dvs.<br />

<strong>och</strong> s˚aledes pA|χA, i synnerhet<br />

χA(A) = 0<br />

deg pA ≤ n.<br />

Vid flera exempel, där deg pa = 2, har vi sett att<br />

K[a] = K + Ka = {x + ya; x, y ∈ K}.<br />

Detta gäller i själva verket alltid <strong>och</strong> kan ocks˚a generaliseras till godtyckliga<br />

minimalpolynom pa ∈ K]X].<br />

Theorem 9.7. L˚at a ∈ S ⊃ K med ma = {0} <strong>och</strong> deg pa = m. Sedan gäller<br />

<strong>och</strong> avbildningen<br />

K[a] = K + Ka + ... + Ka m−1 ,<br />

Φa : K m −→ K[a]<br />

(c1, ...., cm) ↦→ c1 + c2a + .... + cma m−1<br />

är bijektiv. Ytterligare: Om f(a) ∈ K[a] med ett polynom f ∈ K[X], s˚a<br />

gäller<br />

f(a) = c1 + c2a + .... + cma m−1 ,<br />

där<br />

r = c1 + c2X + .... + cmX m−1 ∈ K[X]<br />

är resten vid polynomdivision av f genom pa, dvs:<br />

f = q · pa + r.<br />

Remark 9.8. Ringen K[a] kan allts˚a tänkas som K m , där additionen är<br />

komponentvis - avbildningen Φa är ju additiv - , medan multiplikationen<br />

styrs helt <strong>och</strong> h˚allet av minimalpolynomet pa s˚a här:<br />

där<br />

(c1, ...., cm) · (d1, ..., dm) := (r1, ..., rm),<br />

(c1+c2X+..+cmX m−1 )·(d1+d2X+..+dmX m−1 ) = q·pa+(r1+r2X+..+rmX m−1 ).<br />

45


Bevis av Prop. 9.7. Om<br />

ger substitution av X med a följande:<br />

f = q · pa + r<br />

f(a) = q(a) · pa(a) + r(a) = r(a),<br />

dvs. v˚ar avbildning K m −→ K[a] är surjektiv. Anta nu att man har tv˚a<br />

s˚adana uttryck med samma värde<br />

med andra ord<br />

för<br />

c1 + c2a + .... + cma m−1 = ˜c1 + ˜c2a + .... + ˜cma m−1 ,<br />

f(a) = 0<br />

f = (˜c1 − c1) + (˜c2 − c2)X + .... + (˜cm − cm)X m−1 .<br />

S˚aledes pa|f, men eftersom deg(pa) = m > deg f, innebär detta f = 0 resp.<br />

˜cµ = cµ för µ = 1, .., m.<br />

Corollary 9.9. L˚at a ∈ S ⊃ K <strong>och</strong> b ∈ T ⊃ K kommutera med K. Om<br />

pa = pb, definierar<br />

Ψ := Φb ◦ (Φa) −1 : K[a] −→ K m −→ K[b]<br />

en ringisomorfism som avbildar a till b; den är en del till det kommutativa<br />

diagrammet<br />

K[a]<br />

Ψ<br />

−→ K[b]<br />

∪ ∪ .<br />

K<br />

id<br />

−→ K<br />

Proof. Vi har<br />

pga. f = q · pa + r = q · pb + r.<br />

Φb ◦ (Φa) −1 : f(a) = r(a) ↦→ r(b) = f(b)<br />

Remark 9.10. För nyfikna en liten utblick p˚a Galoisteorin: Det kan ju<br />

tänkas att minimalpolynomet pa har fler nollställen i K[a] än bara själva<br />

a ∈ S. Om b ∈ K[a] är ett s˚adant, s˚a finns det allts˚a en ringautomorfism<br />

σ : K[a] ∼ =<br />

−→ K[b] = K[a], a ↦→ b, σ|K = idK.<br />

46


T.ex. om a = √ d, ta b = − √ d, <strong>och</strong><br />

σ(x + y √ d) = x − y √ d<br />

blir ”konjugationen”. En annan s˚adan utvidgning, där deg pa = 3, presenteras<br />

i Ex.9.16.2.<br />

I Galoisteorin konstruerar man, givet ett polynom f ∈ K[X], en kroppsutvidgning<br />

L ⊃ K, en sammansättning av ändligt m˚anga enkla utvidgningar,<br />

s˚adant att f ∈ K[X] blir en produkt av linjära polynom i L[X] ⊃ K[X] —<br />

om man väljer L minimal, s˚a kallas L rotkroppen till f. Det man undersöker<br />

är denna utvidgningens automorfismer, dvs. ringautomorfismer σ : L −→ L,<br />

som gör övre delen till diagrammet<br />

K<br />

id<br />

−→ K<br />

∩ ∩<br />

L<br />

σ<br />

−→ L<br />

∪ ∪<br />

N(f)<br />

σ<br />

−→ N(f)<br />

kommutativ. Automorfismerna kan sammansättas <strong>och</strong> inverteras - de utgör<br />

utvidgningens Galoisgrupp.<br />

För x ∈ L har vi f(σ(x)) = σ(f(x)), eftersom f ∈ K[X]; i synnerhet<br />

gäller<br />

σ(N(f)) = N(f)<br />

för nollställemängden<br />

N(f) := {a ∈ L; f(a) = 0}.<br />

Ifall polynomet f har bara enkla nollställen, kan vi faktiskt identifiera automorfismer<br />

till utvidgningen L ⊃ K med deras restriktion p˚a N(f) ⊂ L – <strong>och</strong><br />

p˚a det här sättet var det Galois själv har formulerat sin teori: Vid den tiden<br />

fanns inte än ringar, homomorfismer <strong>och</strong> liknande saker.<br />

I själva verket är L ⊃ K ofta själv en enkel utvidgning, t.ex. är det alltid<br />

s˚a, om char(K) = 0 eller K = F är en ändlig kropp, men för beräkningar<br />

spelar det inte n˚agon stor roll.<br />

Som en liten belöning för mödan kan vi nu ge en idé om klassifikationen<br />

av alla ändliga kroppar:<br />

47<br />

.


Corollary 9.11. 1. Antalet element i en ändlig kropp F är en primtalspotens:<br />

|F| = p m<br />

med p = char(F).<br />

2. S˚a när som p˚a isomorfi finns det precis en kropp F med<br />

|F| = p 2 .<br />

Proof. 1.) Ta en primitiv rot a ∈ F <strong>och</strong> l˚at m = deg(pa). Sedan gäller<br />

<strong>och</strong> s˚aledes<br />

F = Zp[a] = Zp + Zpa + ... + Zpa m−1<br />

|Zp[a]| = |Zp| m = p m .<br />

2.) L˚at först p > 2. Vi har F ∗ = p 2 − 1 = (p − 1)(p + 1) <strong>och</strong><br />

Z ∗ p = a (p+1)Z<br />

best˚ar av alla element x ∈ F ∗ med x p−1 = 1. Eftersom p + 1 är jämnt, har<br />

varje element d ∈ Zp en kvadratrot b ∈ F, <strong>och</strong> om d inte är en kvadrat i Zp,<br />

s˚a följer F = Zp[b] ∼ = Zp[ √ d].<br />

För p = 2 ta a ∈ F\{0, 1}. Eftersom |F ∗ | = 3, har a ordning 3 <strong>och</strong> s˚aledes<br />

är det ett nollställe till polynomet<br />

(X 3 − 1) = (X − 1)(X 2 + X + 1).<br />

Pga. a = 1 följer a 2 + a + 1 = 0 resp. a 2 = a + 1. Men d˚a är uppenbarligen<br />

F ∼ = F4!<br />

Remark 9.12. I själva verket finns för varje primtalspotens pm en ändlig<br />

kropp Fpm, entydig s˚a när som p˚a isomorfi.<br />

Tillbaka till vardagen: Vi kan nu bedöma, när K[a] blir en kropp.<br />

Theorem 9.13. För ett element a ∈ S i en K-algebra S, s˚adant att ma =<br />

{0}, är följande p˚ast˚aenden ekvivalenta:<br />

1. Ringen K[a] är en kropp.<br />

48


2. Ringen K[a] är ett integritetsomr˚ade.<br />

3. Minimalpolynomet pa till a ∈ S är irreducibelt, i.e. kan inte faktoriseras<br />

pA = gh<br />

med icke-konstanta polynom g, h.<br />

Example 9.14. 1. Ett kvadratiskt eller kubiskt polynom f ∈ K[X] är<br />

irreducibelt omm f inte har n˚agot nollställe i K, eftersom i en eventuell<br />

faktorisering m˚aste en av faktorerna vara linjär.<br />

2. Polynomet X 3 −2 ∈ Q[X] är irreducibelt, eftersom det saknar rationella<br />

nollställen.<br />

3. Alla rationella nollställen till ett polynom f = X n + n−1<br />

ν=0 aνX ν ∈ Z[X]<br />

är heltal, i själva verket är de delare till den konstanta termen a0 ∈ Z.<br />

) = 0 med sgd(p, q) = 0, q > 0, s˚a har vi<br />

Om nämligen f( p<br />

q<br />

p n = −q<br />

n−1<br />

<br />

aνp ν · q n−ν−1<br />

<br />

,<br />

ν=0<br />

men q|p n innebär q = 1. Och a0 = p −p n−1 − n−1<br />

ν=1 aνp ν−1 är delbart<br />

med p.<br />

4. Polynomet X 3 − 3X + 1 ∈ Q[X] är irreducibelt, eftersom det inte har<br />

n˚agra rationella nollställen pga. f(±1) = 0.<br />

5. Om f(a) = 0 med ett normerat irreducibelt polynom f, s˚a gäller redan<br />

pa = f.<br />

Proof. ”1) =⇒ 2)”: Självklart!<br />

”2) =⇒ 3)”: Om pa är reducibelt (=icke-irreducibelt), dvs. pa = fg, s˚a har<br />

K[a] nolldelare:<br />

0 = pa(a) = f(a)g(a)<br />

med f(a) = 0 = g(a), eftersom pa varken delar f eller g.<br />

”3) =⇒ 1)”: Anta f(a) = 0 för f ∈ K[X]. Betrakta idealet<br />

K[X]f + K[X]pa = K[X]g<br />

49


med ett normerat polynom g ∈ K[X]. Polynomet g delar det irreducibla<br />

polynomet pa; s˚aledes g = pa eller g = 1. Men g delar ocks˚a f <strong>och</strong> f(a) = 0,<br />

s˚a nödvändigtvis g = 1. Det finns allts˚a polynom h, q ∈ K[X] med<br />

resp.<br />

1 = hf + q · pa<br />

1 = h(a)f(a) + q(a)pa(a) = h(a)f(a).<br />

Corollary 9.15. Om a ∈ S ⊃ K med ett integritetsomr˚ade S, s˚a är antingen<br />

1. K[a] ∼ = K[X] motsvarande ma = {0}, eller<br />

2. K[a] är en kropp motsvarande ma = {0}.<br />

Example 9.16. Vi presenterar tv˚a komplexa tal a ∈ C ⊃ Q med deg pa = 3,<br />

där utvidgningarna<br />

Q[a] = Q + Qa + Qa 2 ⊂ R<br />

skiljer sig i en intressant detalj.<br />

1. L˚at a = 3√ 2 ∈ R. Sedan har minimalpolynomet<br />

pa = X 3 − 2,<br />

talet a som det enda nollstället i Q[a] ⊂ R, de andra tv˚a, εa, ε 2 a ∈ C,<br />

är ju inte reella tal! Här är ε := 1<br />

2 (−1 + i√ 3) tredje enhetsroten.<br />

2. Det finns ett reellt tal a ∈ R med<br />

pa = X 3 − 3X + 1.<br />

Polynomet är irreducibelt <strong>och</strong> har som polynom av udda grad (minst)<br />

ett reellt nollställe a ∈ R (pga. satsen om de inklämda värdena -<br />

inklämda mellan −∞ <strong>och</strong> ∞). Men nu finns det ett nollställe till i<br />

Q[a], nämligen b := a 2 − 2 = a <strong>och</strong> en tredje ocks˚a! Kolla det!<br />

50


10 Faktoriella ringar<br />

I det här avsnittet ska vi inte längre jaga efter kroppar, utan istället generalisera<br />

begreppet ”irreducibelt” till element i ett godtyckligt integritetsomr˚ade<br />

<strong>och</strong> visa att ett principalidealomr˚ade till˚ater en entydig primfaktorisering.<br />

Vi börjar med den grundläggande definitionen:<br />

Definition 10.1. L˚at R vara ett integritetsomr˚ade.<br />

1. Ett element u ∈ R \ (R ∗ ∪ {0}) kallas irreducibelt, omm<br />

u = ab =⇒ a ∈ R ∗ ∨ b ∈ R ∗ ,<br />

dvs. u kan inte skrivas som en produkt av tv˚a icke-enheter.<br />

2. Tv˚a element u, u ′ ∈ R \ {0} kallas associerade, omm u ′ = eu med en<br />

enhet e ∈ R ∗ .<br />

3. Ett element p ∈ R \ (R ∗ ∪ {0}) kallas prim, omm<br />

p|ab =⇒ p|a ∨ p|b .<br />

Remark 10.2. 1. Primelement är irreducibla: Om p = ab med ickeenheter,<br />

s˚a har vi p|a eller p|b. Säg a = a0p. Men d˚a följer p = (a0b)p<br />

<strong>och</strong> 1 = a0b, dvs. b är en enhet. Motsägelse!<br />

2. Element u, u ′ ∈ R är associerade omm Ru = Ru ′ (omm u|u ′ <strong>och</strong> u ′ |u).<br />

Uppenbarligen gäller Ru = Ru ′ för associerade element u, u ′ ∈ R. Om<br />

˚a andra sidan Ru = Ru ′ , kan vi skriva u ′ = eu <strong>och</strong> u = e ′ u ′ med<br />

element e, e ′ ∈ R, <strong>och</strong> s˚aledes u = e ′ eu resp. 0 = (1 − e ′ e)u. Eftersom<br />

ringen R är ett integritetsomr˚ade, kan vi dra slutsatsen 1 − e ′ e = 0<br />

resp. e ∈ R ∗ .<br />

Example 10.3. 1. Tv˚a heltal är associerade om de är lika s˚a när som p˚a<br />

tecken.<br />

2. Tv˚a polynom ∈ K[X] är associerade omm de skiljer sig bara om en<br />

konstant faktor = 0.<br />

3. Följdsatsen 13.5 ger, att de irreducibla polynomen ∈ C[X] är s˚a när<br />

som p˚a associering (i.e. s˚a när som p˚a en konstant faktor = 0) de<br />

linjära polynomen<br />

ga = X − a, a ∈ C.<br />

51


4. L˚at K vara en kropp <strong>och</strong><br />

=<br />

<br />

a0 +<br />

R := K + K[X]X 2<br />

n<br />

aνX ν , a0, a2, ..., an ∈ K<br />

ν=2<br />

mängden av alla polynom utan linjär term, en delring till polynomringen<br />

K[X]. Vi har R∗ = K∗ <strong>och</strong> elementet X2 är irreducibelt i R (inte<br />

i den större ringen K[X] först˚as). Men det är inte prim, efterrsom<br />

X 2 |X 2 X 4 = X 3 X 3 ,<br />

utan att X 2 |X 3 gäller i R. Exemplet verkar kanske lite konstlat, men<br />

det är det inte - ringen R dyker upp i algebraiska geometrin p˚a ett<br />

naturligt sätt!<br />

Som i ringen Z (se Cor.2.3) av alla heltal f˚ar vi:<br />

Proposition 10.4. Ett irreducibelt element u ∈ R i ett principalidealomr˚ade<br />

R är ett primelement.<br />

Proof. Om u|ab <strong>och</strong> u |a, skriver vi<br />

Ra + Ru = Rd.<br />

Vi har d˚a d|u resp. u = cd. Sedan är antingen c eller d en enhet. Om c ∈ R ∗ ,<br />

s˚a följer det fr˚an d|a att ocks˚a u|a, en motsägelse. S˚a är allts˚a d ∈ R ∗ <strong>och</strong><br />

Ra + Ru = R, vi kan sedan skriva ra + su = 1. Men det innebär att<br />

är delbart med u.<br />

b = r(ab) + (sb)u<br />

Sedan finns det fr˚agan om varje icke-enhet kan skrivas som produkt av<br />

primelement - den fr˚agan har vi hittills inte alls diskuterat, eftersom för<br />

R = Z, K[X] är det en självklarhet. Vid varje icke-trivial faktorisering blir<br />

absolutbeloppen resp. graderna ju mindre <strong>och</strong> s˚a är det n˚agon g˚ang slut med<br />

ytterligare faktorisering - faktorerna är d˚a primelement.<br />

Example 10.5. L˚at U ⊂ R vara en öppen mängd. En funktion f : U −→ R<br />

kallas reell-analytisk om den har derivator av varje ordning <strong>och</strong> dess Taylor<br />

serie i vilken som helst punkt a ∈ U har<br />

52


1. en positiv konvergensradie <strong>och</strong><br />

2. beskriver funktionen f nära a, i.e.<br />

∞ f<br />

f(x) =<br />

(n) (a)<br />

(x − a)<br />

n!<br />

n<br />

n=0<br />

för alla x ∈ (a − ε, a + ε) ⊂ U, där ε = εa(f) > 0.<br />

Lägg märke till att Taylorserien inte alls behöver konvergera, i själva<br />

verket kan varje serie av koefficienter (an)n∈N ⊂ R realiseras som derivator<br />

av en C ∞ -funktion f i en given punkt a ∈ U, i.e.<br />

an = f (n) (a), ∀ n ∈ N .<br />

Och även om s˚a är fallet behöver den inte beskriva den givna funktionen f:<br />

Ett omtyckt exempel är funktionen f : R −→ R med<br />

<br />

−1/x e<br />

f(x) =<br />

2<br />

, if x = 0<br />

.<br />

0 , if x = 0<br />

Den uppfyller ju f (n) (0) = 0 för alla n ∈ N.<br />

Vi anmärker att polynomfunktioner är reell-analytiska, likas˚a rationella<br />

funktioner, exponentialfunktionen, logaritmusfunktionen, de trigonometriska<br />

funktionerna <strong>och</strong> m˚anga fler. Man betecknar C ω (R) mängden - i själva verket<br />

ringen - av alla reell-analytiska funktioner f : R −→ R. Det handlar faktiskt<br />

om ett integritetsomr˚ade med enhetsgruppen<br />

C ω (R) ∗ = {f ∈ C ω (R); f(x) = 0 ∀x ∈ R} = ±e Cω (R) ,<br />

<strong>och</strong> polynomfunktionerna<br />

ga(x) = x − a, a ∈ R<br />

utgör s˚a när som p˚a associering de irreducibla elementen. I själva verket<br />

handlar det om primelement, eftersom<br />

Men d˚a har funktionen<br />

ga|f ⇐⇒ f(a) = 0.<br />

f(x) = sin(πx)<br />

oändligt m˚anga primdelare, funktionerna gn, n ∈ Z. I synnerhet kan den inte<br />

faktoriseras som produkt av primelement.<br />

53


Definition 10.6. Ett integritetsomr˚ade R kallas faktoriellt (eller p˚a engelska<br />

en UFD= Unique Factorization Domain), omm varje icke-enhet är en<br />

produkt av primelement.<br />

Nästa teorem, fast viktigt, verkar nästan tautologiskt:<br />

Theorem 10.7. L˚at R vara en faktoriell ring <strong>och</strong> l˚at P ⊂ R vara en mängd<br />

av primelement, s˚adant att varje primelement i R är associerat till precis ett<br />

element p ∈ P . Varje icke-enhet a ∈ R skrivs d˚a entydigt (s˚a när som p˚a<br />

omkastning av faktorer) som en produkt<br />

a = e · p k1<br />

1 · ... · p kr<br />

r<br />

med en enhet e ∈ R <strong>och</strong> parvis olika element pi ∈ P <strong>och</strong> exponenter ki ≥ 1.<br />

Proof. Existens: Varje element a ∈ R har en faktorisering<br />

a = q k1<br />

1 · ... · q kr<br />

r<br />

med irreducibla element q1, ..., qr ∈ R. Skriv nu qi = eipi med pi ∈ P, ei ∈ R∗ ,<br />

<strong>och</strong> ta<br />

e = e k1<br />

1 · ... · e kr<br />

r .<br />

Entydigheten: Anta<br />

a = e · p k1<br />

1 · ... · p kr<br />

r = ˜e · q ℓ1<br />

1 · ... · q ℓs<br />

s<br />

med p1, ..., pr, q1, ..., qs ∈ P . För varje j, 1 ≤ j ≤ s, hittar vi ett entydigt index<br />

i = π(j) med pπ(j) = qj. Och s˚a kan vi successivt stryka bort faktorerna pπ(j)<br />

<strong>och</strong> qj, tills det finns p˚a VL <strong>och</strong> HL inte längre samtidigt ett <strong>och</strong> samma<br />

element p ∈ P . Men det g˚ar bara om VL <strong>och</strong> HL är enheter.<br />

Proposition 10.8. Ett principalidealomr˚ade är faktoriellt. I synnerhet är<br />

ringen Z av alla heltal <strong>och</strong> polynomringen K[X] över en kropp K faktoriella<br />

ringar.<br />

Proof. Enligt Prop.10.4 är irreducibla element prim(a?). Vi m˚aste visa att<br />

varje element är en produkt av primelement. Kalla en icke-enhet u ∈ R \ {0}<br />

icke-faktoriserbar, om den inte är en produkt av primelement. Om det finns<br />

s˚adana element, kan vi konstruera en uppstigande följd av principalideal<br />

ai = Rui med icke-faktoriserbara element ui ∈ R, dvs.<br />

a0 a1 ...... .<br />

54


Börja med n˚agot icke-faktoriserbart element u0 ∈ R. Om ui har hittats,<br />

skriv det som en produkt av tv˚a icke-enheter - det är ju reducibelt. En av<br />

faktorerna är d˚a inte heller faktoriserbar, ta den som elementet ui+1. Titta<br />

nu p˚a idealet<br />

∞<br />

a := ai = Ru,<br />

i=0<br />

ringen R är ju ett principalidealomr˚ade. D˚a har vi u ∈ an för n˚agot n ∈ N<br />

<strong>och</strong> s˚aledes<br />

för i ≥ n, en motsägelse.<br />

ai = a = an<br />

Remark 10.9. Vi anmärker att en faktoriell ring inte behöver vara ett principalidealomr˚ade.<br />

I själva verket är polynomringen R[X] över en faktoriell<br />

ring R igen faktoriell, medan R[X] är ett principalidealomr˚ade bara om R<br />

är en kropp. T.ex. är<br />

Z[X]p + Z[X]X<br />

inte ett principalideal!<br />

11 Kvadratiska heltal<br />

För varje kroppsutvidgning L ⊃ Q definierar man<br />

AL := {a ∈ L; ma = {0}, pa ∈ Z[X]},<br />

<strong>och</strong> kallar elementen i AL för utvidgningens heltal. Talen i AC heter algebraiska<br />

heltal.<br />

De utgör en delring (det m˚aste visas, det är ingen sjävklarhet), s˚adant<br />

att vi har ett diagramm<br />

AL ↩→ L<br />

∪ ∪<br />

Z ↩→ Q<br />

<strong>och</strong><br />

Z = AL ∩ Q samt L = Q(AL).<br />

<strong>Ringar</strong>na AL är i allmänheten inte faktoriella; i själva verket är de faktoriella<br />

omm de är principalidealomr˚aden. Men det kan vi inte visa här, utan istället<br />

55


definierar vi konkret de kvadratiska heltalsringarna<br />

√ <br />

Ad := A √<br />

Q[ d] ⊂ Q d ,<br />

där d ∈ Q inte är en kvadrat. Vi beräknar deras enhetsgrupper <strong>och</strong> grubblar<br />

över fr˚agan, för vilka d ∈ Z de är principalidealomr˚aden. För d = −1 är det<br />

s˚a; talen i<br />

A−1 = Z + Zi<br />

heter Gaußiska heltal: Vi bestämmer alla Gaußiska primtal <strong>och</strong> förklarar hur<br />

man kommer fram till primtalsfaktoriseringen. √d Eftersom den kvadratiska talkroppen Q inte förändras när man mul-<br />

tiplicerar d med en kvadrat, f˚ar vi anta att d ∈ Z \ {0, 1} är ett kvadratfritt<br />

heltal. För s˚adana d definierar vi Ad explicit:<br />

Definition 11.1. L˚at d ∈ Z \ {0, 1} vara ett kvadratfritt heltal, dvs. alla<br />

primfaktorer till d är enkla. Mängden<br />

√ <br />

Ad ⊂ Q d ⊂ C<br />

av (d-)kvadratiska heltal definieras<br />

1. för d ≡ 2, 3 mod (4) som<br />

<strong>och</strong><br />

2. för d ≡ 1 mod (4) som<br />

Ad := Z + Z √ d<br />

Ad := Z + Z · η,<br />

där η := 1<br />

2 (1 + √ d), dvs. u + v √ d ∈ Ad omm koefficienterna u, v ∈ Q<br />

antingen är b˚ade heltal eller b˚ade ”halvtal”, i.e. rationella tal med<br />

nämnare 2, men inte heltal.<br />

Med andra ord u + v √ d ∈ Ad omm<br />

(a) antingen u, v ∈ Z<br />

(b) eller u, v ∈ 2Z + 1<br />

2 .<br />

56


Remark 11.2. 1. Ad är uppenbarligen en ring för d ≡ 2, 3 mod (4). För<br />

d ≡ 1 mod (4) anmärker vi att η annulleras av polynomet<br />

<strong>och</strong> s˚aledes<br />

p := X 2 − X +<br />

η 2 =<br />

d − 1<br />

4<br />

1 − d<br />

4<br />

+ η.<br />

∈ Z[X],<br />

2. För d < 0 utgör Ad ⊂ C ett gitter. Det är rektangulärt för d ≡ 2, 3<br />

mod (4), medan för d ≡ 1 mod (4) erh˚alls det fr˚an det rektangulära<br />

gittret Z + Z √ d genom att lägga till maskornas mittpunkter.<br />

3. För d > 0 utgör Ad ⊂ R en tät delmängd, men man har ibland änd˚a<br />

glädje av planets geometri: Vi tillordnar Ad gittret<br />

<br />

Γd := (u, v √ d) ∈ R 2 ; u + v √ <br />

d ∈ Ad .<br />

För jämnt d har vi även Γd = A−d m.a.p. standardidentifikationen<br />

R 2 ∼ = C (fast Ad ∼ = A−d), medan för udda d gittren Γd <strong>och</strong> A−d tillhör<br />

olika klasser. —<br />

Uppenbarligen inducerar avbildningen<br />

en bijektion<br />

π : R 2 −→ R, (x, y) ↦→ x + y,<br />

π|Γd : Γd −→ Ad.<br />

I själva verket f˚as punkten u + v √ d ∈ Ad ⊂ R motsvarande n˚agon<br />

gitterpunkt (u, v √ d) ∈ Γd som snittpunkt av parallelen till R(1, −1)<br />

genom denna punkt med koordinataxeln R × {0} = R.<br />

√d 4. <strong>Ringar</strong>na Ad är de (entydiga) maximala ringarna A ⊂ Q , som är<br />

diskreta i C (d < 0) resp. s˚adant att den tillhörande mängden<br />

ΓA :=<br />

är diskret i R 2 . Inget bevis.<br />

<br />

(u, v √ d) ∈ R 2 ; u + v √ <br />

d ∈ A<br />

57


√d 5. Den kvadratiska talkroppen Q är utrustad med en konjugation,<br />

ringautomorfismen<br />

√ <br />

σ : Q d<br />

√ <br />

−→ Q d , u + v √ d ↦→ u − v √ d,<br />

för d < 0 är det helt enkelt komplexa konjugationen, medan för d > 1<br />

är den inte ens kontinuerlig!<br />

6. Vi har en (talteoretisk, inte funktionalanalytisk) ”norm”<br />

√ <br />

N : Q d<br />

−→ Q, a = u + v √ d ↦→ aσ(a) = u 2 − dv 2 ,<br />

den är multiplikativ, dvs. uppfyller N(ab) = N(a)N(b). Vi har uppenbarligen<br />

σ(Ad) ⊂ Ad<br />

<strong>och</strong><br />

N(Ad) ⊂ Z,<br />

dvs. normen av ett kvadratiskt heltal är ett vanligt heltal.<br />

7. För d < 0 utvidgas normfunktionen<br />

till<br />

N : Ad −→ Z<br />

ˆN : C −→ R, z = x + iy ↦→ |z| 2 = x 2 + y 2 ,<br />

medan för d > 0 normfunktionen<br />

utvidgas till<br />

N : Γd<br />

π<br />

= Ad −→ Z<br />

ˆN : R 2 −→ R, (x, y) ↦→ x 2 − y 2 .<br />

8. Ett element a = u + v √ d, v = 0, har minimalpolynomet<br />

pa = X 2 − 2uX + (u 2 − dv 2 ) ∈ Q[X].<br />

Sedan gäller<br />

<br />

Ad = a = u + v √ d; u, v ∈ Q, s˚adant att 2u, u 2 − dv 2 <br />

∈ Z<br />

för alla kvadratfria d = 0, 1. Bevis: Övning!<br />

58


9. En varning: Mängden av alla kvadratiska heltal för olika d utgör inte<br />

en ring, är inte ens sluten m.a.p. additionen!<br />

Vi börjar v˚art studium av ringarna Ad med deras enhetsgrupper:<br />

Proposition 11.3. Enhetsgruppen till ringen Ad av d-kvadratiska heltal är<br />

A ∗ d = {a ∈ Ad; N(a) = ±1}.<br />

Proof. För a ∈ A∗ d är N(a) ∈ Z en enhet pga. N(1) = 1, s˚aledes N(a) = ±1.<br />

˚A andra sidan, om N(a) = ±1, s˚a är a−1 = N(a)σ(a) ∈ Ad.<br />

Theorem 11.4. L˚at d ∈ Z \ {0, 1} vara ett kvadratfritt heltal <strong>och</strong><br />

Cn := Cn(C)<br />

vara mängden av alla komplexa n-te enhetsrötter. Sedan har vi:<br />

1. A ∗ d = C2 = {±1} för d < −3 <strong>och</strong> d = −2,<br />

2. A ∗ −3 = C6,<br />

3. A ∗ −1 = C4,<br />

4. <strong>och</strong> för d > 1 är<br />

med ”grundenheten”<br />

A ∗ d = ±a Z<br />

a := min(A ∗ d)>1 ∈ R>1.<br />

Bevis till Th.11.4. För d < 0 har vi N(a) = |a| 2 , s˚aledes ligger alla enheter<br />

p˚a enhetscirkeln. Om A∗ d skulle ha fler element än bara ±1 m˚aste d = −1<br />

- d˚a är ocks˚a ±i enheter - eller d ≡ 1 mod (4) <strong>och</strong> η ∈ A∗ d . Men |η| = 1<br />

innebär η = 1<br />

2 (1 + i√ 3) med d = −3.<br />

L˚at nu d > 1. Vi använder notationen fr˚an Anmärkning 11.2.3: Enheterna<br />

motsvarar via π : R 2 −→ R de punkter i gittret Γd ⊂ R 2 , som ligger<br />

p˚a hyperblerna x 2 − y 2 = ±1. I synnerhet är<br />

med snittet<br />

(A ∗ d)≥1 = π(Γd ∩ H+)<br />

H+ := (x, y) ∈ (R≥0) 2 ; x 2 − y 2 = ±1 .<br />

59


av hyperblerna x 2 − y 2 = ±1 med första kvadranten. Det följer att (A ∗ d )≥1 ⊂<br />

R≥1 är en diskret delmängd, men för att se att (A ∗ d )>1 = ∅ m˚aste vi hänvisa<br />

till teorin om kedjebr˚aksutvecklingen av √ d: Den ger existensen av heltal<br />

u, v ∈ N, v = 0, med u 2 − v 2 d = ±1. S˚aledes är ”grundenheten”<br />

a := min(A ∗ d)>1 ∈ R>1<br />

väldefinierad. ˚Aterst˚ar att visa att varje enhet b ∈ A ∗ d<br />

har formen b = ±an<br />

med n˚agot heltal n ∈ Z. Vi f˚ar anta b = ±1 <strong>och</strong> även b > 1: Ett av talen<br />

±b ±1 ligger ju i R>0. Vi väljer n ∈ N med a n ≤ b < a n+1 . Sedan gäller<br />

a −n b ∈ A ∗ d , 1 ≤ a−n b < a, s˚aledes a −n b = 1 resp. b = a n .<br />

Remark 11.5. Om a = u + v √ d är grundenheten <strong>och</strong> u ≥ 1, s˚a är följderna<br />

un, vn med<br />

a n √<br />

= un + vn d<br />

strikt växande pga.<br />

un+1 = uun + dvvn > uun ≥ un, vn+1 = uvn + vun > uvn ≥ vn.<br />

Fallet u < 1 innebär d ≡ 1 mod (4) <strong>och</strong> u = 1 q<br />

, v = 2 2 med 1 = q2d ± 4,<br />

m.a.o. 5 = q2d, dvs. d = 5, q = 1. S˚aledes behöver man för d = 5 bara leta<br />

efter minsta heltal v resp. halvtal q<br />

2 , s˚adant att för lämpligt teckenval dv2 ±1<br />

resp. dq 2 ± 4 är en heltalskvadrat. Motsvarande a ∈ Ad är d˚a grundenheten.<br />

Example 11.6. 1. ”d = 2”: Vi hittar v = 1 <strong>och</strong> a = 1 + √ 2.<br />

2. ”d = 3”: Vi hittar v = 1 <strong>och</strong> a = 2 + √ 3.<br />

3. ”d = 5”: Vi ser att a = 1<br />

2 (1 + √ 5) är en enhet <strong>och</strong> alla andra enheter<br />

s + t √ d med s, t > 0 är uppenbarligen större.<br />

Stora majoriteten av ringarna Ad är inte faktoriell. Ett exempel är:<br />

Example 11.7. I ringen A−5 finns irreducibla element som inte är prim: De<br />

(−5)-kvadratiska heltalen<br />

2, 3, 1 ± i √ 5 ∈ A−5<br />

är irreducibla <strong>och</strong> parvis icke-associerade, eftersom de har norm 4, 9, 6, 6 <strong>och</strong><br />

det inte finns n˚agra element av norm 2 eller 3 i ringen A−5: Ekvationerna<br />

x 2 + 5y 2 = 2, 3 har inga heltalslösningar. Men<br />

s˚a de är inte primelement.<br />

2 · 3 = (1 + i √ 5)(1 − i √ 5),<br />

60


˚Aterst˚ar fr˚agan vilka ringar Ad som är principalidealomr˚aden. Det finns<br />

ett klassiskt tillräckligt villkor:<br />

Proposition 11.8. L˚at R vara en euklidisk ring, dvs. det finns en funktion<br />

ν : R \ {0} −→ N, s˚adant att<br />

1. ν(ab) ≥ ν(a) för a, b ∈ R,<br />

2. för alla a, b ∈ R, b = 0, finns det q, r ∈ R med a = qb + r <strong>och</strong> ν(r) <<br />

ν(b).<br />

D˚a är R ett principalidealomr˚ade.<br />

Proof. Om a ⊂ R är ett icke-trivialt ideal, välj b ∈ a med minimal ν(b).<br />

Sedan gäller a = Rb. Uppenbarligen a ⊃ Rb. Om nu a ∈ a, skriv a = qb + r<br />

med ν(r) < ν(b). Men r = a − qb ∈ a, s˚a vi har nödvändigtvis r = 0 resp.<br />

a ∈ Rb.<br />

Example 11.9. 1. Heltalsringen Z är euklidisk med ν(a) := |a|.<br />

2. Polynomringen K[X] är euklidisk med ν(f) := deg(f).<br />

Proposition 11.10. Ringen Ad är euklidisk med avseende p˚a ν(a) = |N(a)|<br />

för d = −11, −7, −3, −2, −1, 2, 3, 5, 13.<br />

Proof. Vi m˚aste skilja mellan fallen d < 0 <strong>och</strong> d > 1.<br />

1. Fallet d < 0: Vi visar att, om d = −11, −7, −3, −2, −1, s˚a finns det för<br />

varje komplext tal z ∈ C en gitterpunkt ω ∈ Ad med<br />

|z − ω| < 1.<br />

Om nu a, b ∈ Ad ta z = ab −1 <strong>och</strong> d˚a har vi<br />

a = qb + r = ωb + (a − ωb).<br />

L˚at först d ≡ 2, 3 mod (4). Vi tittar p˚a gittrets grundmaska<br />

<br />

Md := x + iy ∈ C; − 1<br />

<br />

1 |d| |d|<br />

≤ x ≤ , − ≤ y ≤<br />

2 2 2 2<br />

centrerad i origo. Dess translationer Md + γ, γ ∈ Ad, övertäcker det<br />

komplexa planet, <strong>och</strong> distansen av en punkt z ∈ Md + γ till Ad är up-<br />

1 + |d|<br />

penbarligen maximal, när det handlar om ett hörn, den är d˚a 1<br />

2<br />

61


- <strong>och</strong> den är < 1 för d = −1, −2. Om d ≡ 1 mod (4) ersätter vi Md<br />

med sexhörningen<br />

Sd ⊂ C<br />

kring origo som begränsas av (delar av) de vertikala linjerna ± 1 + iR<br />

2<br />

<strong>och</strong> mittpunktsnormalerna till sträckorna fr˚an 0 till gitterpunkterna<br />

1<br />

2 (±1±√d). Samma resonemang som förut, bara distansen av ett hörn<br />

till 0 blir nu 1<br />

4 ( |d|+ 1 √ ). Att den är < 1 är ekvivalent med |d| < 14,<br />

|d|<br />

s˚aledes f˚ar vi d = −3, −7, −11.<br />

2. Fallet d > 0: L˚at<br />

U := {(x, y) ∈ R 2 ; −1 < x 2 − y 2 < 1}<br />

vara den sammanhängande öppna mängden som begränsas av hyperblerna<br />

x 2 − y 2 = ±1. Om vi vet att<br />

((s, t) + U) ∩ Γd = ∅<br />

för alla (s, t) ∈ R 2 , kan vi argumentera som i fallet d < 0 med ω =<br />

x + y √ d, där (x, y √ d) ∈ ((s, t) + U) ∩ Γd <strong>och</strong> s + t √ d = ab −1 , eftersom<br />

uppfyller<br />

N(ab −1 − ω) = ˆ N((s, t) − (x, y))<br />

−1 < N(ab −1 − ω) < 1.<br />

Vi tittar först p˚a d ≡ 2, 3 mod (4). Eftersom U ⊃ (−1, 1) 2 , ligger i<br />

varje mängd (s, t) + U en gitterpunkt, om<br />

√ d < 2,<br />

s˚aledes är d = 2, 3 tänkbara. Till sist i fallet d ≡ 1 mod (4) g˚ar det<br />

redan bra med √ d < 4,<br />

s˚adant att vi f˚ar de tv˚a värdena d = 5, 13 till.<br />

Det är inte förv˚anande att det finns fler d > 0, för vilka ν = |N| gör Ad<br />

till en euklidisk ring, medan för d < 0 vi har hittat alla s˚adana d. I själva<br />

verket vet man följande:<br />

62


Theorem 11.11. Ringen Ad är ett principalidealomr˚ade omm den är faktoriell.<br />

Den är<br />

1. euklidisk med ν = |N| precis för<br />

d = −11, −7, −3, −2, −1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73.<br />

2. ett principalidealomr˚ade precis för följande d < 0, nämligen<br />

d = −1, −2, −3, −7, −11, −19, −43, −67, −163.<br />

3. Och s˚a finns det fler d > 0, för vilka Ad är ett principalidealomr˚ade.<br />

Men man vet inte om det är oändligt m˚anga!<br />

Vi avslutar avsnittet med att bestämma primelementen i ringen<br />

av alla Gaußiska heltal.<br />

A−1 = Z + Zi<br />

Theorem 11.12. De irreducibla Gaußiska heltalen är s˚a när som p˚a associering,<br />

dvs. multiplikation med ±1, ±i, följande<br />

1. 1 + i,<br />

2. för varje primtal p = 4k + 1 tv˚a konjugerade primelement π = a + bi, π<br />

med a 2 + b 2 = p <strong>och</strong> 0 < b < a,<br />

3. vanliga primtal p = 4k + 3.<br />

De angivna primelementen är parvis icke-associerade. Med andra ord raden<br />

av primelementen börjar s˚a här<br />

1 + i, 3, 2 + i, 2 − i, 7, 11, 3 + 2i, 3 − 2i, 4 + i, 4 − i, 19, 23, 5 + 4i, 5 − 4i, 31, .........<br />

Bevis. Gaußiska heltal c ∈ A−1, vars norm N(c) är ett primtal, är irreducibla,<br />

eftersom normen är multiplikativ <strong>och</strong> bara enheter har norm 1. Det finns inga<br />

Gaußiska heltal av norm p = 4k+3: Om s˚a vore fallet, skulle vi ha p = a 2 +b 2 ,<br />

där vi f˚ar anta 0 < a, b < p. Men d˚a hade vi<br />

0 = a 2 + b 2 ∈ Zp,<br />

63


där b˚ade a = 0 = b <strong>och</strong> −1 ∈ Zp vore en kvadrat, motsägelse. ˚A andra sidan,<br />

om p = 4k + 1, tittar vi p˚a ringhomomorfimsen<br />

där j ∈ Zp uppfyller j 2 = −1. Vi har<br />

ϕ : Z[i] −→ Zp, x + yi ↦→ x + yj,<br />

ker(ϕ) = Z[i]β Z[i]p<br />

med n˚agot Gaußiskt heltal β. Om ker(ϕ) = Z[i]p, hade nämligen elementen<br />

ϕ(k + ℓi); 0 ≤ k, ℓ < p, varit parvis olika! Sedan gäller<br />

med en icke-enhet α ∈ Z[i] <strong>och</strong><br />

p = αβ<br />

p 2 = N(α)N(β)<br />

med N(α) = p = N(β). S˚aledes β = a + bi, α = β, <strong>och</strong> eftersom vi f˚ar<br />

multiplicera med fjärde enhetsrötter kan vi anta |b| < a. Till sist m˚aste vi<br />

visa att varje Gaußiskt heltal är en produkt av de angivna talen: För z ∈ Z[i]<br />

är zz = N(z) ∈ N en produkt av vanliga primtal <strong>och</strong> s˚aledes ocks˚a av v˚ara<br />

Gaußiska primelement. Varje av dessa faktorer delar antingen z eller z <strong>och</strong><br />

s˚a kan vi successivt fördela faktorerna p˚a z <strong>och</strong> z.<br />

Remark 11.13. N˚agra praktiska tips för Gaußisk primfaktorisering: L˚at<br />

z = x + iy ∈ A−1. Först kan man skriva<br />

z = sgd(x, y)z0,<br />

faktorisera sgd(x, y) ∈ N p˚a det vanliga sättet <strong>och</strong> efter˚at skriva primdelarna<br />

p ≡ 1 mod (4) som p = ππ <strong>och</strong> 2 = −i(1 + i) 2 . —<br />

F.o.m. nu ska vi anta sgd(x, y) = 1. I s˚a fall vet vi<br />

zz = |z| 2 = 2 ℓ<br />

med primtal pν ≡ 1 mod (4). Det följer pga. sgd(x, y) = 1 att<br />

z = e(1 + i) ℓ<br />

r<br />

ν=1<br />

r<br />

ν=1<br />

p kν<br />

ν<br />

ϱ kν<br />

ν ,<br />

där e ∈ {±1, ±i} <strong>och</strong>, beroende p˚a ν, vi har ϱν = πν eller ϱν = πν.<br />

64


Example 11.14. Vi primfaktoriserar a = 201+43i ∈ A−1. Vi har sgd(201, 43) =<br />

1 <strong>och</strong><br />

aa = |a| 2 = 42250 = 2 · 5 3 · 13 2 .<br />

S˚aledes<br />

a = e · (1 + i)(ϱ1) 3 (ϱ2) 2 ,<br />

där ϱ1 ∈ {2 ± i} <strong>och</strong> ϱ2 ∈ {3 ± 2i}. Vi börjar faktoriseringen med<br />

a = (1 + i)(122 − 79i).<br />

Prövning ger att 122 − 79i är delbart med 3 + 2i <strong>och</strong> s˚a kommer vi fram till<br />

faktoriseringen<br />

a = −(1 + i)(2 + 11i)(3 + 2i) 2 .<br />

Vi undersöker om 2 + 11i är delbart med (2 + i) <strong>och</strong> f˚ar ett positivt resultat;<br />

faktoriseringen blir d˚a<br />

12 Faktorringar<br />

a = −(1 + i)(2 + i) 3 (3 + 2i) 2 .<br />

Till sist kommer vi fram till ett slags sensmoral: För att skapa enkla utvidgningar<br />

till en given kropp K har vi använt oss av en K-algebra S som ett<br />

slags universum, plockat fram ett element a ∈ S <strong>och</strong> studerat delringen<br />

best˚aende av alla polynom<br />

K[a] ⊂ S<br />

g(a) =<br />

n<br />

cνa ν<br />

i a med koefficienter c0, ..., cn ∈ K. Skillnaden till själva polynomringen<br />

ν=0<br />

K[X]<br />

är att det kan finnas ”relationer”, dvs. g(a) = 0 kan gälla utan att vi har<br />

0 = g ∈ K[X]. Jämförelsen av K[a] <strong>och</strong> K[X] görs med hjälp av substitutionshomomorfismen,<br />

den lägre homomorfismen i diagrammet<br />

K ↩→ S<br />

∩ ∩<br />

K[X] ↠ K[a]<br />

n<br />

ν=0 cνX ν =: g ↦−→ g(a) := n<br />

ν=0 cνa ν .<br />

65


I allmänhet är den inte injektiv, dvs. g(a) = 0 innebär inte g = 0. I s˚a<br />

fall är dess kärna ett principalideal, som genereras av minimalpolynomet<br />

pa ∈ K[X], dvs. vi har<br />

g(a) = 0 ⇐⇒ pa|g.<br />

Med andra ord: Allting är ”kodat” i polynomet pa. En naturlig fr˚aga är d˚a:<br />

Vilka normerade polynom f ∈ K[X] kan erh˚allas som minimalpolynom pa<br />

av n˚agot element a ∈ S i n˚agon lämplig K-algebra S? Svaret är: Alla!<br />

Remark 12.1. 1. Fallet S = C: För varje irreducibelt normerat polynom<br />

f ∈ Q[X] finns det ett komplext tal a ∈ C med pa = f. Algebrans<br />

fundamentalsats Th. 13.3 ger ju ett nollställe a ∈ C till f, <strong>och</strong> pa = f<br />

gäller, eftersom f är irreducibelt <strong>och</strong> normerat.<br />

2. Fallet S = K n,n : För varje polynom<br />

f = X n n−1<br />

+ aνX ν ∈ K[X]<br />

ν=0<br />

finns en matris A ∈ Kn,n med pA = f. Ta<br />

⎛<br />

0<br />

⎜ 1<br />

⎜<br />

A := ⎜ 0<br />

⎜<br />

⎝ .<br />

0<br />

0<br />

1<br />

0<br />

0<br />

0<br />

. . .<br />

. . .<br />

. . .<br />

0<br />

0<br />

0<br />

−a0<br />

−a1<br />

−a2<br />

.<br />

⎞<br />

⎟ .<br />

⎟<br />

⎠<br />

0 0 . . . 0 1 −an−1<br />

Sedan har vi<br />

<strong>och</strong><br />

samt<br />

Aeν = eν+1, ν < n, samt Aen = −<br />

f(A)e1 = A n n−1<br />

e1 + aνA ν e1 = −<br />

ν=0<br />

n<br />

ν=1<br />

aν−1eν.<br />

n n−1<br />

aν−1eν + aνeν+1 = 0<br />

ν=1<br />

ν=0<br />

f(A)eµ = f(A)A µ−1 e1 = A µ−1 f(A)e1 = 0<br />

66


för µ ≥ 2. S˚aledes f(A) = 0. Anta nu g(A) = 0 för ett polynom g<br />

med deg g < n. I synnerhet g(A)e1 = 0, men det innebär, eftersom<br />

vektorerna A ν e1 = eν+1, ν = 0, ..., n − 1, är linjärt oberoende, att vi<br />

redan har g = 0.<br />

Men vi är inte än nöjda: Eftersom<br />

K[a] ∼ = K[b]<br />

för a ∈ S ⊃ K <strong>och</strong> b ∈ T ⊃ K ifall pa = pb, kan vi säga:<br />

Remark 12.2. För varje polynom f ∈ K[X] finns det en s˚a när som p˚a<br />

isomorfi entydig utvidgningsring K[a] ⊃ K med pa = f.<br />

Sedan börjar man fr˚aga sig, vad den ”stora ringen” S ⊃ K egentligen<br />

tjänar till - svaret är att dess ringoperationer inducerar ringstrukturen i K[a].<br />

Men den kan ocks˚a rekonstrueras utifr˚an K[X] <strong>och</strong> polynomet f ∈ K[X], ja,<br />

faktiskt kan vi strunta i den ”omgivande ringen” S <strong>och</strong> skapa K[a] med hjälp<br />

av en formell konstruktion: Kvotringen R/a av polynomringen R := K[X]<br />

modulo idealet a := (f) := K[X]f.<br />

S˚a här ser den ut:<br />

Definition 12.3. L˚at R vara en kommutativ ring <strong>och</strong> a ⊂ R ett ideal.<br />

1. En restklass mod a är en mängd<br />

2. Mängden<br />

x + a := {x + a; a ∈ a}.<br />

R/a := {x + a; x ∈ R}<br />

av alla restklasser mod idealet a utrustas med tv˚a operationer<br />

(a) additionen<br />

R/a × R/a −→ R/a<br />

(x + a, y + a) ↦→ (x + a) + (y + a) = (x + y) + a,<br />

som är den elementvisa summan av de tv˚a restklasserna x + a <strong>och</strong><br />

y + a, <strong>och</strong><br />

67


(b) multiplikationen<br />

R/a × R/a −→ R/a<br />

(x + a, y + a) ↦→ (x + a)(y + a) + a = xy + a,<br />

som är den ”p˚afyllda” elementvisa produkten av de tv˚a restklasserna<br />

x + a <strong>och</strong> y + a,<br />

Remark 12.4. Restklasserna x + a är ekvivalensklasserna till ekvivalensrelationen<br />

x ∼ y :⇐⇒ y − x ∈ a<br />

p˚a R. I synnerhet gäller<br />

x + a = y + a eller (x + a) ∩ (y + a) = ∅.<br />

Example 12.5. Restklassringarna Zn är kvotringar:<br />

med idealet (n) := Zn.<br />

Zn = Z/(n)<br />

Och s˚a visar följande proposition hur det fungerar med v˚art programm<br />

att formalisera algebran:<br />

Proposition 12.6. Om ϕ : R −→ S är en surjektiv ringhomomorfism <strong>och</strong><br />

a := ker(ϕ), s˚a är<br />

R/a −→ S, x + a ↦→ ϕ(x),<br />

en ringisomorfism:<br />

S ∼ = R/a.<br />

I synnerhet, om a ∈ S ⊃ K kommuterar med elementen i K, gäller<br />

med idealet ma = (pa).<br />

Proof. Övning.<br />

K[a] ∼ = K[X]/(pa)<br />

Example 12.7. Vi använder notationen (a) := Ra.<br />

68


1. För en icke-kvadrat d ∈ K gäller<br />

2. R[X]/(X 2 + 1) ∼ = C = R[i].<br />

3. För p ≡ 3 mod (4) f˚ar vi<br />

4. Och fallet p = 2 leder till:<br />

5. För d ≡ 2, 3 mod (4) har vi:<br />

K[X]/(X 2 − d) ∼ = K<br />

√ <br />

d .<br />

Zp[X]/(X 2 + 1) ∼ = F p 2.<br />

Z2[X]/(X 2 + X + 1) ∼ = F4.<br />

Ad ∼ = Z[X]/(X 2 − d).<br />

Homomorfismen Z[X] −→ Ad, X ↦→ √ d, är surjektiv <strong>och</strong> har kärnan<br />

(X 2 − d): Om f(A) = 0 skriv f = q · (X 2 − d) + r med ett linjärt<br />

polynom r ∈ Z[X], dvs. deg(r) ≤ 1. Men för ett s˚adant polynom<br />

gäller r( √ d) = 0 =⇒ r = 0.<br />

6. För d ≡ 1 mod (4) har vi:<br />

Ad ∼ <br />

= Z[X] X 2 − X +<br />

<br />

1 − d<br />

4<br />

med samma resonemang som i föreg˚aende punkt med homomorfismen<br />

Z[X] −→ Ad, X ↦→ 1<br />

2 (1 + √ d).<br />

7. Om f ∈ K[X] är ett irreducibelt polynom, s˚a är L := K[X]/(f) en<br />

kroppsutvidgning L ⊃ K <strong>och</strong> a := X ett nollställe till f.<br />

Alla ovanst˚aende exempel av faktorringar är kroppar K[X]/(f) med ett<br />

irreducibelt polynom f ∈ K[X]. Men vad händer annars? Vi ger svaret i<br />

nästa sats, som formuleras för principalidealomr˚aden:<br />

Theorem 12.8. L˚at R vara ett principalidealomr˚ade.<br />

69


1. För ett primelement p ∈ R <strong>och</strong> n ∈ N>0 är faktorringen R/(p n ) en lokal<br />

ring, dvs. icke-enheterna utgör det entydiga maximala icke-triviala idealet<br />

m := (p) ⊂ R/(p n ),<br />

där p = p + (p n ). Dess element är de nilpotenta elementen i R/(p n ).<br />

2. För ett primelement p ∈ R är faktorringen R/(p) en kropp.<br />

3. Om a = ep n1<br />

1 · ... · pnr r med parvis icke associearade primelement pi, i =<br />

1, ..., r, <strong>och</strong> T := R/(a), Ti := R/(p ni<br />

i ), s˚a är<br />

ψ : T ∼ =<br />

−→ T1 × ..... × Tr, x + (a) ↦−→ (x + (p n1<br />

1 ), ..., x + (p nr<br />

r ))<br />

en ringisomorfism.<br />

Example 12.9. Matrisen<br />

har minimalpolynom<br />

A :=<br />

1 0<br />

0 −1<br />

<br />

∈ K 2,2<br />

pA = X 2 − 1 = (X − 1)(X + 1).<br />

För char(K) = 2 är faktorerna icke-associerade <strong>och</strong> s˚aledes<br />

K[X]/(X 2 − 1) ∼ = K[X]/(X − 1) × K[X]/(X + 1)<br />

∼ = K[1] × K[−1] = K × K.<br />

Proof. 1. Om x + (p n ) ∈ m, betyder det att p |x. Men d˚a har x <strong>och</strong><br />

p n inte gemensamma delare <strong>och</strong> Rx + Rp n = R, eftersom R är ett<br />

principalidealomr˚ade. Välj c, d ∈ R med cx+dp n = 1, sedan är c+(p n )<br />

inverst till x + (p n ).<br />

2. följer fr˚an 1) med n = 1.<br />

3. Injektivitet: Om ψ(x+(a)) = 0, s˚a gäller p ni<br />

i |x för i = 1, ..., r. Eftersom<br />

p1, ..., pr är parvis icke-associerade primelement, innebär detta a|x.<br />

Surjektivitet: Vi visar att enhetsvektorerna ei ∈ T1 × ... × Tr ligger i<br />

ψ(T ). Eftersom R är ett principalidealomr˚ade, gäller<br />

med qi := p n1<br />

1 · ... · p ni−1<br />

i−1<br />

Rp n1<br />

i + Rqi = R<br />

· pni+1<br />

i+1<br />

cpi + dqi = 1, f˚ar vi ψ(dqi + (a)) = ei.<br />

· ..... · pnr<br />

r . Om nu c, d ∈ R uppfyller<br />

70


13 Fr˚an N till C<br />

”Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk.”<br />

Det välkända citatet härstammar fr˚an den tyske matematikern Leopold<br />

Kronecker. Men vad har människorna egentligen gjort? Hade historien varit<br />

systematisk, kunde det ha varit s˚a här:<br />

Man började göra skulder <strong>och</strong> skrev sina tillg˚angar <strong>och</strong> skulder som talpar<br />

(n, s) ∈ N 2 <strong>och</strong> använde sig av en ”additiv lokalisering” för att kunna räkna<br />

med dem: P˚a mängden N 2 definierar man en ekvivalensrelation<br />

(m, r) ∼ (n, s) :⇐⇒ m + s = n + r.<br />

Den är kompatibel med den komponentvisa additionen <strong>och</strong> följande multiplikation<br />

(m, r) · (n, s) := (mn + rs, ms + rn),<br />

s˚a den inducerar en addition <strong>och</strong> en multiplikation p˚a mängden av dess<br />

ekvivalensklasser<br />

Z := N/ ∼ .<br />

I själva verket kan den uppfattas som en utvidgning<br />

Z ⊃ N<br />

genom att identifiera n ∈ N med ekvivalensklassen till (n, 0) ∈ N 2 .<br />

Sedan upptäckte man, att ibland kunde det vara bra med lite socialt<br />

tänkande <strong>och</strong> började dela <strong>och</strong> kom fram till rationella tal<br />

Q := Q(Z) ⊃ Z.<br />

Till sist var de gamla grekerna inte längre nöjda med bara rationella tal,<br />

eftersom diagonalen till en kvadrat av sidolängd 1 inte riktigt gick att tolka<br />

som ett rationellt tal. Som ofta i matematiken för att lösa ett problem, varför<br />

inte helt enkelt hitta p˚a det man saknar? Dvs. i det här fallet skulle det bli<br />

nya ”geometriska tal”: Man kan ju tänka sig de rationella talen som vissa<br />

punkter p˚a en horisontell linje efter att ha bestämt sig för var 0, 1 ∈ Q skulle<br />

ligga. ”Reella tal” skulle sedan motsvara precis punkterna p˚a denna linje<br />

<strong>och</strong> s˚a kommer vi fram till en tredje utvidgning<br />

R ⊂ Q.<br />

71


Men en obehaglig känsla blir man inte av med: Vad är en punkt p˚a en<br />

linje över huvud taget? Man behöver en formell definition motsvarande geometriska<br />

intuitionen. Följande iakttagelse ligger till grund för den:<br />

Varje punkt x ∈ R kan tillordnas delmängden<br />

Q x.<br />

Vi betecknar<br />

mängden av alla dessa reella tal.<br />

R ⊂ P(Q)<br />

Remark 13.2. 1. Ett par (A, B), där A är ett reellt tal i ovanst˚aende<br />

bemärkelse <strong>och</strong> B := Q \ A kallas ocks˚a ett Dedekindsnitt.<br />

2. Rationella tal är reella tal: Vi har en injektiv avbildning<br />

Q ↩→ R, x ↦→ Q


medan mulitiplikationen definieras först för positiva rella tal:<br />

med den elementvisa produkten<br />

α · β := α + β + ∪ Q≤0<br />

α + β + = {xy; x ∈ α + , y ∈ β + }<br />

av mängderna α + = α ∩ Q>0, β + = β ∩ Q>0. Till sist utvidgar man multiplikationen<br />

R>0 × R>0 −→ R<br />

till alla reella tal<br />

R × R −→ R<br />

p˚a det sedvanliga sättet.<br />

Fullständighet: Lägsta övre gränsen (supremum) till en icke-tom begränsad<br />

mängd M ⊂ R är<br />

sup M := <br />

α.<br />

S˚a det blev ganska enkelt! Om man däremot hade försökt definiera allt det<br />

där med hjälp av decimalutvecklingen, hade det blivit en massa kr˚angel, inte<br />

minst pga. icke-entydigheten fast den ju egentligen verkar förh˚allandevis<br />

harmlös.<br />

Problemet med längden av en kvadrats diagonal är nu löst: Fullständigheten<br />

ger existensen av kvadratrötter för x ∈ R≥0, nämligen:<br />

√ x := sup{y ∈ R; y 2 ≤ x}.<br />

Men negativa tal orsakar fortfarande problem. S˚a uppfanns det för bekvämlighetens<br />

skull imaginära enheten i som ett ”symboliskt tal som uppfyller<br />

i 2 = −1” samt komplexa tal som kombinationer av reella tal med imaginära<br />

enheten:<br />

R + Ri = C ⊃ R.<br />

α∈M<br />

I modernt spr˚ak använde man sig allts˚a av definitionen<br />

C := R[X]/(X 2 + 1)<br />

med i := X utan att veta det. En liten elementär räkning visar nu att<br />

varje komplext tal har en kvadratrot, dvs. man är inte längre tvungen att<br />

73


”skapa” allt fler kvadratrötter. Och om man kommer p˚a idén att använda<br />

polärkoordinater, s˚a ser man att det även finns n-te rötter till ett givet komplext<br />

tal. Men situationen är ännu bättre än s˚a:<br />

Theorem 13.3 (Algebrans fundamentalsats). Varje icke-konstant polynom<br />

f ∈ C[X] har ett komplext nollställe.<br />

Bevis: Beviset är ett existensbevis, det är inte konstruktivt. Det görs i tv˚a<br />

steg:<br />

1. Funktionen f : C −→ C har ett ninimalställe z0 ∈ C, dvs. s˚adant att<br />

gäller för alla z ∈ C.<br />

|f(z)| ≥ |f(z0)|<br />

2. Minimalställen för en polynomfunktion är redan nollställen. I själva<br />

verket visar man motsatsen: En punkt z0 ∈ C med f(z0) = 0 är aldrig<br />

ett minimalställe för f: Nära till z0 finns alltid punkter z med<br />

|f(z)| < |f(z0)|.<br />

Detta är uppenbarligen fel för kroppen R i stället för C; den avgörande<br />

egenskapen av C är att för varje n ∈ N <strong>och</strong> z ∈ C finns det en n-te rot<br />

i C.<br />

1.) Existens av minimalställen: Välj en följd (zµ)µ∈N ⊂ C av komplexa<br />

tal med<br />

lim<br />

µ→∞ |f(zµ)| = inf {|f(z)|; z ∈ C} .<br />

Vi visar att följden har en hopningspunkt z0 – det eftertraktade minimalstället.<br />

Vi f˚ar anta att polynomet f är normerat, dvs.<br />

f(z) = z n n−1<br />

+ aνz ν .<br />

ν=0<br />

För |z| ≫ 0 är zn den dominerande termen: Skriv<br />

<br />

<br />

f(z) = z n<br />

1 +<br />

n−1<br />

aν<br />

ν=0<br />

zn−ν 74<br />

= z n K(z).


Klammeruttrycket K(z) uppfyller<br />

lim K(z) = 1,<br />

z→∞<br />

eftersom varje term i summan g˚ar mot 0 för z → ∞. S˚aledes<br />

lim f(z) = lim<br />

z→∞ z→∞ zn = ∞.<br />

Men det innebär att följden (zµ)µ∈N är begränsad, <strong>och</strong> begränsade följder,<br />

säger Bolzano <strong>och</strong> Weierstraß, har alltid hopningspunkter.<br />

2.) Ett icke-nollställe z0 är aldrig ett minimalställe: Vi f˚ar anta z0 = 0<br />

- om inte det är fallet ersätt f(z) med f(z + z0). Vi skriver<br />

med a0, am = 0 <strong>och</strong><br />

för n > m, medan<br />

för n = m. Ta b ∈ C med<br />

f(z) = a0 + amz m + z m+1 g(z)<br />

g(z) = anz n−m−1 +<br />

g(z) ≡ 0<br />

n−1<br />

ν=m+1<br />

b m = − a0<br />

.<br />

am<br />

<strong>och</strong> undersök funktionen f(z) p˚a halvstr˚alen<br />

Det blir s˚a här:<br />

med<br />

R≥0 · b = {tb, t ≥ 0}.<br />

aνz ν−m−1<br />

f(tb) = a0(1 − t m + t m+1 h(t))<br />

h(t) := bm+1<br />

g(tb).<br />

Eftersom ju f(0) = a0 = 0, räcker det att visa<br />

a0<br />

|1 − t m + t m+1 h(t)| < 1<br />

75


för tillräckligt litet t > 0. Med<br />

M := max<br />

0≤t≤1 |h(t)|<br />

<strong>och</strong> triangelolikheten f˚ar vi uppskattningen:<br />

|1 − t m + t m+1 h(t)| ≤ |1 − t m | + t m+1 M<br />

= 1 − t m + t m+1 M = 1 − t m (1 − tM) < 1,<br />

om 0 < t < min(1, 1<br />

M ). Ty för 0 ≤ t ≤ 1 har vi ju |1 − tm | = 1 − tm <strong>och</strong> för<br />

blir det 1 − tM > 0.<br />

t < 1<br />

M<br />

<strong>Kroppar</strong> som uppfyller algebrans fundamentalsats f˚ar ett eget adjektiv:<br />

Definition 13.4. En kropp K kallas algebraiskt sluten om varje polynom<br />

f ∈ K[X] är en produkt av linjära polynom:<br />

med λ, b1, ..., bn ∈ K.<br />

f = λ<br />

n<br />

(X − bν)<br />

ν=1<br />

Corollary 13.5. Kroppen C är algebraiskt sluten.<br />

Proof. Induktion följande n = deg(f). För n = 1 är saken klar. För n > 1 ger<br />

oss Algebrans fundamentalsats Th. 13.3 ett nollställe a ∈ C, vi faktoriserar<br />

f = (X − a)g <strong>och</strong> använder induktionshypotesen p˚a polynomet g.<br />

14 p-adiska talkroppar<br />

Analogt till utvidgningen<br />

finns det en rad kroppsutvidgningar<br />

R ⊃ Q<br />

Qp ⊃ Q,<br />

där p ∈ N är ett primtal. Elementen i Qp kallas för p-adiska tal: S˚asom<br />

reella tal kan de uppfattas som gränsvärden av rationella tal, men det är ett<br />

76


nytt konvergensbegrepp som ing˚ar. Innan vi diskuterar definitionen av Qp,<br />

förklarar vi egenskaperna.<br />

Kroppen Qp är utrustad med ett absolutbelopp:<br />

dvs. en funktion som uppfyller<br />

1. |x| = 0 ⇐⇒ x = 0,<br />

|..| : Qp −→ R≥0,<br />

2. triangelolikheten |x + y| ≤ |x| + |y|, jo, det gäller t.o.m. den ”skarpa<br />

triangelolikheten”<br />

|x + y| ≤ max(|x|, |y|),<br />

man säger att det p-adiska absolutbeloppet är icke-arkimediskt eller<br />

ultrametriskt<br />

3. <strong>och</strong> beloppet är multiplikativt: |xy| = |x| · |y|.<br />

Ytterligare har vi:<br />

1. För x = a<br />

b pn ∈ Q ⊂ Qp med a, b ∈ Z inte delbara med p gäller<br />

|x| = p −n ,<br />

i synnerhet |x| ≤ 1 för alla heltal x ∈ Z <strong>och</strong> |p| < 1,<br />

2. delkroppen Q ligger tätt i Qp: Varje p-adiskt tal x ∈ Qp är gränsvärde<br />

av en följd (xn)n∈N ⊂ Q av rationella tal, dvs. limn→∞ |xn − x| = 0,<br />

3. <strong>och</strong> Qp är fullständig m.a.p. det p-adiska absolutbeloppet: Varje Cauchyföljd<br />

är konvergent.<br />

Remark 14.1. 1. De ovanst˚aende tre punkterna karakteriserar Qp redan<br />

fullständigt som komplettering av Q m.a.p. det p˚a Q inskränkta padiska<br />

absolutbeloppet, men vi ska ge nedan en annan helt algebraisk<br />

definition.<br />

2. En intressant fr˚aga är, om det utöver R <strong>och</strong> Qp finns fler kroppar som<br />

är kompletteringen av Q m.a.p. en absolutbeloppsfunktion |..| : Q −→<br />

R≥0. Svaret är nej <strong>och</strong> ges i Ostrowski’s sats: Alla absolutbeloppsfunktioner<br />

p˚a Q ser s˚a här ut:<br />

77


(a) x ↦→ |x| α , där |x| är det vanliga absolutbeloppet <strong>och</strong> α ∈ R,<br />

0 < α ≤ 1,<br />

(b) x ↦→ |x| α , där |x| är ett p-adiskt absolutbelopp för n˚agot primtal<br />

p <strong>och</strong> α ∈ R, α > 0.<br />

Det finns dramatiska skillnader mellan R <strong>och</strong> Qp. Vi nämner bara:<br />

1. Heltalen Z ⊂ Qp utgör inte en diskret delmängd (dvs. en mängd utan<br />

hopningspunkter) s˚asom Z ⊂ R, man har ju<br />

lim<br />

n→∞ pn = 0 .<br />

2. Ordningsrelationen p˚a Q g˚ar inte att utvidga till Qp, t.ex. kan ett<br />

negativt rationellt tal vara gränsvärdet av positiva tal:<br />

1<br />

1 − p =<br />

∞<br />

p n .<br />

3. Eftersom det p-adiska absolutbeloppet är icke-arkimediskt, utgör enhetsbollen<br />

Z(p) := {x ∈ Qp; |x| ≤ 1} ⊃ Z<br />

n=0<br />

en ring, vars element kallas för p-adiska heltal.<br />

4. Vi har ett diagramm<br />

Z(p) ↩→ Qp = Q(Z(p))<br />

∪ ∪<br />

Z ↩→ Q = Q(Z)<br />

där de vertikala inklusionerna är täta, <strong>och</strong><br />

Z(p) ∩ Q = S(p) −1 Z<br />

med den multiplikativa mängden S(p) ⊂ Z av alla heltal inte delbara<br />

med p.<br />

78<br />

,


5. Enhetsbollen Z(p) ⊂ Qp är en öppen <strong>och</strong> sluten delmängd: Idealet<br />

m := {x ∈ Z(p); |x| < 1}<br />

är uppenbarligen en öppen delmängd <strong>och</strong> Z(p) den disjunkta unionen<br />

av dess restklasser (som igen är öppna mängder som translationer av<br />

m). I själva verket gäller<br />

Z(p)/m ∼ = Zp.<br />

Det inses p˚a det vanliga sättet: Homomorfismen<br />

Z ↩→ Z(p) ↠ Z(p)/m<br />

är surjektiv eftersom Z ⊂ Z(p) ligger tätt <strong>och</strong> har kärnan (p) = Zp.<br />

L˚at oss nu komma till konstruktionen av p-adiska talkroppen. Vi börjar<br />

med dess heltal:<br />

Definition 14.2. L˚at p vara ett primtal. Ett p-adiskt heltal är en följd (eller<br />

en familj) av restklasser<br />

a = (aν)ν∈N ∈<br />

∞<br />

Zpν+1, s˚adant att den omedelbara efterträdaren aν+1 ∈ Z p ν+2 till aν ∈ Z p ν+1 ”ligger<br />

ovanför” aν, i.e. den naturliga ringhomomorfismen<br />

uppfyller<br />

för alla ν ∈ N. Vi betecknar<br />

ν=0<br />

Z p ν+2 −→ Z p ν+1, c + Zp ν+2 ↦→ c + Zp ν+1 ,<br />

Z p ν+2 ∋ aν+1 ↦→ aν ∈ Z p ν+1<br />

Z(p) ⊂<br />

∞<br />

Zpν+1 ν=0<br />

mängden av alla p-adiska heltal <strong>och</strong> utrustar den med den komponentvisa<br />

additionen <strong>och</strong> multiplikationen.<br />

79


Remark 14.3. Vi vill definiera ett absolutbelopp:<br />

<strong>och</strong> börjar med en ”valuering”<br />

Nämligen, för a := (aν)ν∈N l˚at<br />

D˚a gäller:<br />

1. v(a + b) ≥ min(v(a), v(b))<br />

2. v(ab) = v(a) + v(b)<br />

3. v(a) = ∞ ⇐⇒ a = 0.<br />

| | : Z(p) −→ R≥0<br />

v : Z(p) −→ N ∪ {∞}.<br />

v(a) := min{ν ∈ N; aν = 0}.<br />

Absolutbeloppet av ett p-adiskt heltal blir sedan<br />

|a| := p −v(a) ,<br />

varvid p −∞ := 0. Här är valet av ”basen” p bara tradition - man kunde ha<br />

tagit vilket som helst reellt tal > 1. Valueringens egenskaper översätts nu<br />

till<br />

1. |a + b| ≤ max(|a|, |b|)<br />

2. |ab| = |a| · |b|<br />

3. |a| = 0 ⇐⇒ a = 0.<br />

Proposition 14.4. 1. Enhetsgruppen av ringen av alla p-adiska heltal är<br />

Z ∗ (p) = {a = (aν)ν≥0; a0 = 0} = {a; |a| = 1},<br />

sferen med radien 1, en öppen <strong>och</strong> sluten delmängd.<br />

2. Varje a = (aν) ∈ Z(p) \ {0} är en produkt<br />

a = p v(a) e, e ∈ Z ∗ p.<br />

80


3. Z(p) är ett principalidealomr˚ade med (p n ), n ∈ N, som de icke-triviala<br />

idealen <strong>och</strong> p det enda (s˚a när som p˚a associering) primelementet.<br />

Proof. Första delen inses direkt. Sferen med radien 1 är inte bara sluten,<br />

utan ocks˚a öppen, eftersom den är unionen av de icke-triviala restklasserna<br />

mod idealet m ⊂ Z(p). L˚at n := v(a), s˚adant att aν = 0 for ν < n <strong>och</strong> an = 0.<br />

Sedan har vi om aν = kν + Zp ν+1 , att kn+ν = p n ℓν för ν ≥ 0, <strong>och</strong> kan ta<br />

e = (ℓn+ν + Zp ν+1 )ν∈N. Den tredje punkten följer nu med det samma.<br />

Definition 14.5. Kroppen<br />

kallas för p-adiska talkroppen.<br />

Qp := Q(Z(p)) = p −N Z(p)<br />

Remark 14.6. 1. Varje p-adiskt tal x ∈ Q ∗ p skrivs entydigt p˚a formen<br />

med n ∈ Z, e ∈ Z∗ (p) ; i synnerhet<br />

x = ep n<br />

|x| = p −n .<br />

2. Den punkterade p-adiska talkroppen Q ∗ p = Qp \ {0} är den disjunkta<br />

unionen av sfererna med radie p −n , n ∈ Z, dvs.<br />

Q ∗ p =<br />

∞<br />

n=−∞<br />

p n Z ∗ (p).<br />

3. Medan ett reellt tal x ∈ R kan utvecklas m.a.p. varje bas > 1, i<br />

synnerhet m.a.p. primtalet p, nämligen<br />

x = ±<br />

∞<br />

ν=−n<br />

bνp −ν ,<br />

där ”siffrorna” bν ∈ N uppfyller 0 ≤ bν < p, har ett p-adiskt tal<br />

x = ep n ∈ Qp en utveckling<br />

x =<br />

81<br />

∞<br />

ν=−n<br />

bνp ν


˚at det motsatta h˚allet, där ”siffrorna” bν ∈ N, 0 ≤ bν < p, även är<br />

entydiga! Vi har |x| = p n , om b−n = 0, det ger entydigheten. För<br />

existensen f˚ar vi anta |x| = 1, i.e. x = a = (aν)ν∈N, a0 = 0. Varje<br />

aν = cν + (p ν+1 ) har en entydig representant cν, 0 ≤ cν < p ν+1 , <strong>och</strong><br />

detta tal har i sin tur en entydig p-adisk utveckling<br />

cν =<br />

ν<br />

µ=0<br />

bν,µp µ ,<br />

där bν,µ för µ ≤ ν är oberoende av ν pga. p ν+1 |(cν − cν+1). S˚aledes<br />

x = ∞<br />

µ=0 bµp µ , där bµ := bν,µ, µ ≤ ν.<br />

Den konstruktion vi har skapat ringen Z(p) med kallas ocks˚a för invers eller<br />

projektiv limes av restklassringarna Zpn. Men det finns ocks˚a en konstruktion<br />

som faktorring av ringen Z[[X]] av alla formella potensserier med heltalskoefficienter,<br />

som bygger p˚a p-adiska utvecklingen av ett p-adiskt heltal. Det<br />

g˚ar till s˚a här:<br />

Potensserier i algebran: L˚at R vara en kommutativ ring. Vi p˚aminner om<br />

hur vi har definierat polynom i början, nämligen som följder (a0, ......, an, 0, .........)<br />

i ringen R, som blir stationära ≡ 0 efter en liten stund. Men detta villkor<br />

behövs egentligen inte alls för att definiera addition <strong>och</strong> multiplikation: Vi<br />

definierar<br />

R[[X]] := R N<br />

som mängden av alla följder i R; additionen är elementvis <strong>och</strong> multiplikation<br />

som för polynom. Vi f˚ar en ring<br />

R[[X]] ⊃ R[X],<br />

som omfattar polynomringen. För att kunna försvara uttryck som<br />

∞<br />

aνX ν ,<br />

ν=0<br />

behöver vi ocks˚a oändliga summor:<br />

Definition 14.7. En familj av följder<br />

fµ := (a µ<br />

0, a µ<br />

1, a µ<br />

2, ........) ∈ R N , µ ∈ N<br />

82


kallas summerbar om för varje ν ∈ N vi har<br />

a µ ν = 0<br />

för bara ändligt m˚anga µ ∈ N. Sedan definieras<br />

µ=0<br />

∞<br />

a µ ν := <br />

µ=0<br />

µ=0<br />

µ=0<br />

µ∈N,a µ ν =0<br />

<strong>och</strong> en summerbar familjs summa som<br />

∞<br />

<br />

∞<br />

fµ := a µ<br />

∞<br />

0, a µ<br />

∞<br />

1, a µ<br />

<br />

2, ........<br />

Example 14.8. Given<br />

µ=0<br />

a µ ν<br />

f = (a0, a1, a2, .....) ∈ R N<br />

∈ R N .<br />

tar vi nu fµ = aµX µ <strong>och</strong> har skaffat oss friheten att skriva<br />

f = (a0, a1, a2, ......) =<br />

∞<br />

aµX µ<br />

<strong>och</strong> kallar det hela en formell potensserie med koefficienter i ringen R.<br />

Gradfunktionen deg : R[X] −→ N ∪ {−∞} kan säkerligen inte utvidgas;<br />

i stället kan vi definiera ”undergraden” eller ”nollställeordningen i origo”:<br />

Definition 14.9. Undergradsfunktionen<br />

definieras genom<br />

ω(f) :=<br />

µ=0<br />

ω : R[[X]] −→ N ∪ {∞}<br />

n , if f = ∞<br />

ν=n aνX ν , an = 0<br />

∞ , if f = 0<br />

83<br />

.


Remark 14.10. 1. Man har<br />

samt<br />

ω(f + g) ≥ min(ω(f), ω(g)) , ω(fg) ≥ ω(f) + ω(g)<br />

om R är ett inegritetsomr˚ade.<br />

ω(fg) = ω(f) + ω(g)<br />

2. Ringen R[[X]] av alla formella potensserier över ett integritetsomr˚ade<br />

är igen ett integritetsomr˚ade.<br />

3. En familj fµ, µ ∈ N, är summerbar omm limµ→∞ ω(fµ) = ∞.<br />

4. Om ω(f) > 0, s˚a är familjen f µ , µ ∈ N, summerbar.<br />

5. Formella potensserier f ∈ R[[X]] kan evalueras vid origo (men inte<br />

n˚agon annanstans!): Det finns en ringhomomorfism<br />

Proposition 14.11.<br />

R[[X]] −→ R, f =<br />

∞<br />

aνX ν ↦→ f(0) := a0.<br />

ν=0<br />

R[[X]] ∗ = {f ∈ R[[X]]; f(0) ∈ R ∗ }.<br />

Proof. Villkoret är nödvändigt pga. fg = 1 =⇒ f(0)g(0) = 1. Om nu<br />

f(0) ∈ R ∗ kan vi lika bra anta f(0) = 1 <strong>och</strong> sedan skriva f = 1 − g med<br />

g ∈ R[[X]], ω(g) > 0. Sedan är<br />

invers till f.<br />

f −1 :=<br />

∞<br />

g µ<br />

ν=0<br />

Proposition 14.12. Det finns en isomorfism<br />

Z(p) ∼ = Z[[X]]/(X − p).<br />

84


Proof. Beviset är som i fall av polynom: Eftersom Z ⊂ Qp är en begränsad<br />

mängd <strong>och</strong> Qp ett fullständigt metriskt rum (dvs. Cauchyföljder konvergerar),<br />

kan formella potensserier f = ∞ ν=0 cνX ν ∈ Z[[X]] utvärderas vid<br />

p-adiska tal x ∈ Qp, |x| < 1, s˚a här:<br />

f(x) := lim<br />

n→∞<br />

n<br />

ν=0<br />

cνx ν ∈ Z(p).<br />

Sedan inducerar den surjektiva substitutionshomomorfismen<br />

den ovanst˚aende ringisomorfismen.<br />

Z[[X]] −→ Z(p), f ↦→ f(p),<br />

T r e v l i g S o m m a r !<br />

85

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!