MATH.E     Hrvatski matematički elektronički časopis math.e
Broj 13
http://e.math.hr/

Ideja jednoznačne faktorizacije I

Ivica Gusić

Sadržaj:

1. Uvod
2. Aritmetički slučaj
Literatura


1. Uvod

Većini je prva asocijacija na jednoznačnu faktorizaciju rastavljanje prirodnih brojeva na proste faktore. Naprimjer,

30 = 2 · 3 · 5,   60 = 2 · 2 · 3 · 5 = 22 · 3 · 5.

To je i prirodno, tako je i bilo u razvoju matematike. Činjenica da su takvi rastavi jednoznačni (do na poredak prostih faktora) obično se naziva osnovnim teoremom aritmetike (OTAr).

Druga je asocijacija rastavljanje polinoma na nerastavljive polinome. Naprimjer,

x3x = x(x − 1)(x + 1),   x4x2 = x · x(x − 1)(x + 1) = x 2(x − 1)(x + 1).

Činjenica da su takvi rastavi jednoznačni (do na poredak prostih faktora) obično se naziva osnovnim teoremom algebre (OTAl).

Naravno, mogu se gledati i rastavi poput

13 = (2 − 3i)(2 + 3i),   6 = (1 − √5i) (1 + √5i).

Mnogi bi se brzo složili s time da i ovakvi rastavi spadaju u aritmetiku. Jednostavno rečeno, aritmetika se odnosi na brojeve (prirodne, cijele, Gaussove…). Prirodno je postavljanje pitanja jesu li 6 = 3 · 2 i 6 = (1 − √5i)(1 + √5i) različiti rastavi broja 6 na nerastavljive faktore i kako to treba tumačiti. Analogno tomu, mogli bismo gledati rastav

x  −  1  =  −   1
 (x  −  1  −  i \  1 − x2  )  (x  −  1  +  i \  1 − x2  ) 
2

i pitati se kako ga treba tumačiti. Ili, naprimjer, ako gledamo prsten C[x,y] gdje su varijable x, y povezane relacijom x2 + y2  = 1, pitamo se je li

y2 = (1 − x)(1 + x)

primjer nejednoznačnosti rastava na nerastavljive faktore ili nije. I je li isto s prstenom C[x,y] gdje su varijable x, y povezane relacijom y2 = (x − e1)(x − e2)(x − e3), za različite (kompleksne) brojeve e1, e2, e3, tj. treba li tu relaciju tumačiti kao nejednoznačnost rastava? Kako bilo da bilo, ove posljednje primjere dovodimo u vezu s osnovnim teoremom algebre i to bi, dakle, spadalo u algebru. Češće se govori da je to funkcijski slučaj (jer se polinomi mogu razmatrati i kao funkcije), pa ćemo i mi tako govoriti. Dakle, uočava se analogija između aritmetičkog i funkcijskog slučaja (brojeva i funkcija-polinoma). To je jedna od najplodonosnijih analogija u razvoju matematike. Osvrnut ćemo se na neke njezine aspekte bez pretenzije da sve dokažemo i istjeramo načistac. Počet ćemo s aritmetičkim, ali više ćemo prostora posvetiti funkcijskom slučaju jer je on manje zastupljen na dodiplomskoj razini. Većina pojmova i tvrdnja kojima ćemo se koristiti mogu se naći u Langovoj Algebri [La] i u knjizi [IR]. Za sada recimo još to da gore postavljena pitanja nisu samo zanimljive glavolomke za razonodu i kraćenje vremena, već se, naprotiv, uklapaju u same temelje matematike.

2. Aritmetički slučaj

U ovom, prvom dijelu članka, osvrnut ćemo se na aritmetički slučaj, tj. slučaj brojeva. Osnovni teorem aritmetike poznavali su i koristili još stari Grci, samo što nisu smatrali da ga trebaju formulirati kao posebnu tvrdnju, a kamoli dokazivati. Neizravno, taj je teorem korišten kroz Euklidov algoritam (zanimljivo nagađanje o vezi tih dvaju teorema može se pročitati u [Go]). Čini se da je Gauss bio prvi koji je smatrao da (OTAr) treba dokazati (vidi [Ga], gdje ga Gauss dokazuje na samom početku). Vjerojatno je Gauss bio i prvi koji je znao da (OTAr) ne vrijedi u općenitijim prstenima brojeva. Da to pojasnimo, najprije uočimo da se (OTAr) izvorno odnosi na prirodne brojeve 1, 2, 3, 4, 5, 6… i pripadne proste brojeve 2, 3, 5, 7, 11… (OTAr) tvrdi da se svaki prirodni broj n različit od 1 jednoznačno rastavlja na umnožak prostih brojeva, tj. da postoje jedinstveni prosti brojevi p1, …, pk i jedinstveni prirodni brojevi r1, …, rk tako da bude

n  =   p r1   · … ·  p rk
1 k  .

Pokazuje se da je korisno gledati nešto veći skup: prsten cijelih brojeva {…, −4, −3, −2, −1, 0, 1, 2, 3, 4, …}.

Tu je nula za sebe, −1, 1 su invertibilni elementi (čine multiplikativnu grupu), a −p, p parovi su međusobno pridruženih (asociranih) prostih brojeva. Sad (OTAr) postaje tvrdnja da svaki cijeli m različit od 0, −1, 1 ima jedinstven prikaz

m  =   ε·p r1   · … ·  p rk
1 k

gdje su pj međusobno neasocirani prosti brojevi, a ε = ±1 (u pravilu, od dvaju međusobno asociranih prostih brojeva, u ovakvim rastavima biramo onaj pozitivni, ali to nije nužno).

Jedna od glavnih posljedica jednoznačne faktorizacije jest tvrdnja da neki prosti broj dijeli umnožak dvaju cijelih brojeva ako i samo ako dijeli bar jednog od njih. Kao ilustraciju primjene teorema o jednoznačnoj faktorizaciji navedimo primjer određivanja cjelobrojnih točaka na jednoj eliptičkoj krivulji.

Primjer 1. Jedina cjelobrojna rješenja jednadžbe y2y = x3 jesu (0, 0) i (0, 1).

Uputa. Jednadžbu treba napisati u obliku y(y − 1) = x3.

Prihvaćanje prstena (komutativnih s jedinicom) prirodnim okvirom razmatranja problema jednoznačne faktorizacije, pogodno je u složenijim okolnostima, naprimjer, za prsten cijelih Gaussovih brojeva

A  =  Z[i]  :=   {a + bi,   a, b ∈ Z}.

Tu je opet 0 za sebe, 1, −1, i, −i čine grupu invertibilnih elemenata (tj. to su jedini Gaussovi cijeli brojevi kojima je i inverz cijeli Gaussov broj). To se lako vidi, a mnogo je teže pokazati sljedeće (za ovo i dio daljnjeg razmatranja vidi [IR]):

(F1) A ima jednoznačnu faktorizaciju na nerastavljive elemente (tj. elemente koji se ne mogu rastaviti na umnožak dvaju neinvertibilnih), koje onda zovemo prostim.

Ovdje napomenimo da uz svaki broj α prstena, različit od nule, idu njemu pridruženi, -α, , -, koji zajedno s α čine klasu pridruženosti (asociranosti) broja α.

(F2) Klase pridruženosti nerastavljivih elemenata su:

Dakle 3 je prost, ali i −3, 3i, −3i i oni čine klasu međusobno pridruženih. Slično je s 2 + 3i, −2 − 3i, −3 + 2i, 3 − 2i.

Za ilustraciju funkcioniranja jednoznačne faktorizacije u Z[i] skicirat ćemo dokaz Fermatova teorema o prostim brojevima koji su sume dvaju kvadrata.

Teorem (Fermat). Svaki prosti broj oblika 4k + 1, kN suma je dvaju kvadrata prirodnih brojeva.

Naprimjer, 5 = 12 + 2 2, 13 = 22 + 32 itd. Još je 2 = 12 + 12, a prosti brojevi oblika 4k − 1 ne mogu biti zbroj dvaju kvadrata (to je lako) i time je tvrdnja kompletirana.

Uočite da je traženi teorem upravo tvrdnja (F2)(II). Dakle, pretpostavljamo da vrijedi (F1), a dokazujemo (F2)(II). To i nije tako neobično jer standardni dokazi najprije pokazuju jednoznačnost faktorizacije, potom opisuju nerastavljive elemente.

Za dokaz će nam biti dovoljno pokazati da je svaki prosti p koji je oblika 4k + 1 rastavljiv u A = Z[i], tj. da je

p = ε (a + bi)(c + di)

gdje je ε = ±1, ±i jedinica u A, a a, b, c, d su cijeli brojevi uz ab ≠ 0, i cd ≠ 0. Naime, tada bismo konjugiranjem i množenjem dobili
p2 = (a2 + b2)(c2 + d2)
pa bi bilo p = a2 + b2.

Ostaje pokazati da je p rastavljiv u A. Za to nam dobro dođe poznata karakterizacija prostih brojeva oblika 4k + 1 - to su upravo oni p za koje jednadžba x2 + 1 = 0 ima dva različita rješenja modulo p (naprimjer, modulo 5 to su klase od ±2, a modulo 13 klase od ±5). To znači da postoji cijeli broj m tako da bude p | m2 + 1 u Z, pa će biti p | (m − i)(m + i) u A. Ako je p nerastavljiv u A, a faktorizacija jednoznačna (to je jedino mjesto gdje nam to treba), onda p | m + i, što je nemoguće. Zato je p rastavljiv u A.

Primjer 2. Koristeći se jednoznačnošću faktorizacije u prstenu Z[√−2] pokazuje se da su (3, ±5) jedine cjelobrojne točke na eliptičkoj krivulji y2 = x3 − 2 (Fermatov zadatak). Dovoljno je jednadžbu napisati u obliku (y + √−2)(y − √−2) = x3 i analizirati rastave.

Situacija općenito nije takva. Ako se usredotočimo samo na kvadratna proširenja polja racionalnih brojeva, a nije teško uvidjeti da su to polja K := Q(√d) gdje su d cijeli brojevi slobodni od kvadrata (tj. koji su prosti, umnošci različitih prostih ili broj −1; također, drugi korijen gledamo u kompleksnom području i smatramo da smo izabrali jednu od dviju mogućih vrijednosti od √d), prvo se postavlja pitanje koje je prstene A analogne prstenu cijelih brojeva potrebno razmatrati. Pokazuje se da tzv. prstene cijelih brojeva u Q(√d) čine oni elementi od Q(√d) koji su korijeni polinoma s cjelobrojnim koefcijentima, ali tako da je koefcijent uz najvišu potenciju jednak 1. Tada se dobije da je

A = {a + b√d, a, bZ} ako je d ≡ 2, 3 modulo 4;

A = {a + bω, a, bZ, ω :=   1 + √d } ako je d ≡ 1 modulo 4.
2

Naprimjer, za Gaussove brojeve d = −1 ≡ 3 modulo 4, pa je prsten cijelih A = {a + b−1, a, bZ}, što je upravo prsten cijelih Gaussovih brojeva Z[i], kako smo i očekivali (treba uočiti da je broj i rješenje jednadžbe x2 + 1 = 0). Kako je pak −3 ≡ 1 modulo 4, prsten cijelih brojeva u polju Q(√−3) je Z[ρ] gdje je ρ jedan od netrivijalnih trećih korijena iz 1, naprimjer ρ := ½(−1 + √−3) (treba uočiti da je ρ rješenje jednadžbe x2 + x + 1 = 0). Taj prsten ima jednoznačnu faktorizaciju (na osnovi toga lako je odrediti nerastavljive elemente, kao i kod Z[i]). Također, vidi se da je grupa invertibilnih elemenata {1, −1, ρ, −ρ, ρ2, −ρ2}. Detalji se mogu vidjeti u [IR].

Prsten Z[√−3] potprsten je prstena Z[ρ] i ne sadržava ρ. Euler je, dokazujući Fermatov teorem za n = 3, pogrješno, bez dokaza, na njega primijenio svojstvo: ako su brojevi relativno prosti (tj. nemaju zajedničkih pravih djelitelja) i njihov umnožak je kub, onda je svaki od njih kub. Pogrješno je to što je za takav zaključak potrebna jednoznačna faktorizacija, a Z[√−3] je nema, naprimjer, u tom su prstenu brojevi 2, 1 + √−3, 1 − √−3 nerastavljivi, a vrijedi

4  =  22 = (1 + √−3)(1 − √−3).

Za d = −5 pojavljuje se novi moment: odabran je pravi prsten, ali je jednoznačna faktorizacija izostala.

Primjer 3. Budući da je d = −5 ≡ 3 modulo 4, dobijemo da je A := Z(√−5) prsten cijelih u polju Q(√−5). Grupa invertibilnih elemenata je {−1, 1}. Tu je 2 · 3 = (1 + √−5)(1 − √−5) i nije teško provjeriti da su 2, 3, 1 + √−5, 1− √−5 nerastavljivi elementi u A pa je to primjer nejednoznačne faktorizacije.

O tom ćemo fenomenu nešto više reći poslije, a sad uočimo da su prsteni Z[i] i Z[ρ] povezani i time što su generirani korijenima iz jedinice (četvrtim, odnosno trećim). Općenito, za svaki prirodni broj n, primitivni n-ti korijen iz jedinice izvodnica je grupe n-tih korijena iz 1, naprimjer ζn := ei/n. Pripadno ciklotomsko (kružno) polje je Q(ζn), a pokazuje se da je pripadni prsten cijelih brojeva A := Z[ζn] (to općenito nije tako lako pokazati, za proste n vidi [IR], Prop. 13.2.10). Kako za n = 3 i n = 4 prsten cijelih A ima jednoznačnu faktorizaciju, može se pomisliti da to vrijedi općenito, i zaista, vrijedi za mnoge male n. Prvi prirodni broj za koji ne vrijedi je n = 23. Francuski matematičar Lame 1847. uputio je Pariškoj akademiji podnesak s "rješenjem" Fermatova teorema, a rješenje se zasnivalo na pretpostavci da prsten cijelih ciklotomskih brojeva ima jednoznačnu faktorizaciju. Taj je prsten ulazio u raspravu tako što se hipotetska diofantska jednadžba Xn + Yn = Zn u tom prstenu, za neparne n (a samo su takvi bitni) rastavlja kao

(X + Y)(X + ζ   Y)(X + ζ 2 Y)   · … ·  (X + ζ n − 1 Y)  = Zn,
n n n

što se dalje pokušava razriješiti koristeći se djeljivošću u tom prstenu. Sve bi bilo dobro da je faktorizacija jednoznačna, ali nije. Tek se od sedamdesetih godina 20. st. zna potpun popis onih n za koji to vrijedi (vidi [Po], str. 14). Jedan od načina prevladavanja nejednoznačnosti faktorizacije u spomenutim prstenima jest njihovo dovođenje u vezu s objektima u kojima je ona jednoznačna. Podsjetimo se najprije pojma ideala.

Ideal I prstena A (komutativnog i s jedinicom) neprazan je podskup od A koji je zatvoren na zbrajanje (dakle je Abelova grupa) i na množenje s elementima iz A. Sam prsten A ima ta svojstva, ali ga ne smatramo idealom (odnosno kažemo da nije pravi ideal). Prototipovi ideala su svi višekratnici nekog cijelog broja m, tj. skupovi oblika {…, −2m, −m, 0, m, 2m, …} = {mk : kZ}.

Općenito, ako βA nije invertibilan, onda je (β) := {βa : aA} ideal u A. Kažemo da je to glavni ideal generiran s β (da je β bio invertibilan ispalo bi (β) = A). Mnogi prsteni imaju samo glavne ideale (naprimjer, prsten cijelih brojeva Z ili prsten polinoma k[X] s koeficijentima u polju k), ali to ne vrijedi općenito. Najjednostavniji primjer takvog prstena možda je prsten polinoma s dvjema varijablama s koeficijentima u nekom polju, primjerice u C. Tu su glavni ideali oblika (f) gdje je f neki nekonstantni polinom, ali je, naprimjer skup

I := {(x − a)f(x, y) + (y − b)g(x, y) : f, gC[x, y]}

ideal koji nije glavni. Kažemo da je taj ideal generiran s x − a i y − b i označavamo ga kao (x − a, y − b) (da taj ideal nije generiran s jednim elementom vidimo po tome što je zajednički korijen svih njegovih elemenata upravo (a, b), a elementi ideala (f) imaju beskonačno mnogo zajedničkih korijena).

Kažemo da je ideal I prost, ako iz abI za a, bA vrijedi aI ili bI. Vidjet ćemo da taj pojam dobro generalizira pojam prostog broja.

Na skupu ideala nekog prstena možemo uvesti operaciju množenja. Kada bi svi ideali bili glavni, to bi bilo jednostavno, naime

(a)(b) := (ab),

a umnožak ideala bio bi upravo umnožak pripadajućih skupova (pomnožili bismo svaki element sa svakim). Općenito, tj. kad nisu svi ideali glavni, to ne bi bilo dovoljno, tj. umnožak dvaju ideala kao skupova nije nužno ideal. Zato definiramo:

I · J := najmanji ideal koji sadržava umnožak skupova I i J.

To je isto kao da kažemo

I · J := {∑aibi : aiI, biJ}
gdje su sume konačne.

Ideja je da umjesto rastava na nerastavljive elemente gledamo rastav na proste ideale (vidi [IR], 12. poglavlje).

Takvo nešto može se provesti za dosta široku klasu prstena (Dedekindove prstene - vidi [Mi], 3. poglavlje). Pokazuje se da se u tim okolnostima, poput toga da se obični složeni brojevi mogu rastaviti na umnožak prostih, i ideali mogu rastaviti na umnožak prostih ideala. U situacijama koje mi razmatramo nije problem da ne možemo rastaviti elemente na nerastavljive (tj. da možemo rastavljati sve dalje i dalje - drugim riječima, naši su prsteni noetherski), već je problem što ti rastavi mogu biti bitno različiti.

Međutim, u prstenima cijelih algebarskih brojeva vrijedi (a i šire, u Dedekindovim prstenima):

Sad imamo sljedeću proceduru.

Kako je svaki ideal umnožak prostih ideala, tako se i svaki glavni ideal (α) jednoznačno rastavlja na umnožak prostih ideala, iako se α općenito ne rastavlja jednoznačno na umnožak nerastavljivih elemenata (rastavlja se, ali možda na bitno različite načine).

Odatle dolazi terminologija u prstenima cijelih algebarskih brojeva, ali i šire.

Lako se vidi da je svaki prosti element ujedno i nerastavljiv, međutim, suprotno ne vrijedi općenito.

Nejednoznačna faktorizacija u prstenima cijelih algebarskih brojeva manifestira se i tako što ima prostih ideala koji nisu glavni, tj. koji nisu oblika I = (α) = α · A za neki αA. Tu je, prema definiciji, α · A = {α · x : αA}. Može se dokazati da vrijedi sljedeće (naprimjer, koristeći se Teoremom 3.41 u [Mi]):

  1. Ideal P u A := Z[√−5] generiran s 2 i 1 + √−5, tj. P := (2, 1 + √−5) je prost i u A vrijedi (2) = P2, tj. ideal u A generiran s 2 nije prost (iako je 2 nerastavljiv element u A, on nije prost u A) već je kvadrat prostog ideala.

  2. Ideal Q := (3, 1 + √−5) u A je prost, pa je i ideal Q = (3, 1 − √−5) prost i u A vrijedi (3) = Q · Q - umnožak različitih prostih ideala (kompleksnokonjugiranih) pa 3 u A ne generira prosti ideal (iako je nerastavljiv, nije prost).

  3. U A vrijedi (1 + √−5) = P · Q pa vrijedi i (1 − √−5) = P · Q.

Sad za ideale u A vrijedi

(2) · (3) = P2 · Q · Q = P · Q · P · Q = (1 + √−5) · (1 − √−5)

(ovo posljednje produkt je ideala), pa se različiti rastavi na nerastavljive elemente svode na iste rastave na proste ideale.

Pokažimo izravno na primjeru da 2 i 3 nisu prosti u ovom prstenu A.

Kako je (1 + √−5) · (1 − √−5) = 6, taj je umnožak i u idealu (2) i u idealu (3) (u A), ali nijedan od faktora nije ni u (2) ni u (3).

Činjenica da se svaki ideal u prstenu algebarskih brojeva rastavlja jednoznačno na umnožak prostih ideala može se izreći i preciznije. Naprimjer, broj faktora u tom rastavu, ograničen je stupnjem pripadajućeg proširenja. Radi jednostavnosti, izrecimo tvrdnju za kvadratna proširenja.

Neka je A prsten cijelih brojeva u K := Q(√d), gdje je, kako smo i prije rekli, d kvadratno slobodan cijeli broj i neka je:

D := d, ako je d  ≡ 1 modulo 4;  

D :=  4d, ako je d ≡ 2, 3 modulo 4.

Tada za (cijele) proste brojeve p vrijedi (vidi [IR], 13. poglavlje):

Pogledajmo gornju tvrdnju za A := Z[i]. Tu je d = −1, D = −4, pa se samo p = 2 grana, kako smo i prije rekli. Za neparne p treba gledati jednadžbu x2 = −1 modulo p, koja očito nema rješenje ako je p ≡ 3 modulo 4 (pa takvi p ostaju prosti). Kako smo već rekli, ta jednadžba ima dva rješenja ako je p ≡ 1 modulo 4 (pa se takvi (p) rastavljaju na umnožak dvaju prostih ideala - tu se pokazuje da su glavni). Dakle, sve se slaže.

Dok smo ovo obrazlagali, prešutno smo se koristili s relacijom

−1  )  =  (−1)(p − 1)/2
p

gdje je

· )
p

Legendreov simbol (vidi [IR]), definiran kao

d ) = 1 ili −1,
p

uz uvjet da prost broj p ne dijeli d, ovisno o tome ima li jednadžba x2 = d modulo p rješenje ili ne. Gornja jednakost samo je dio tzv. zakona kvadratnog reciprociteta

−1  )  =  (−1)(p − 1)/2
p
,  (  2  )  =  (−1)(p2 − 1)/8
p
,  (  q  )  =  (−1) (p − 1)/2·(q − 1)/2 p  ) ,
p q

za neparne proste p, q (vidi [IR]).

Važnost zakona kvadratnog reciprociteta je u tome što on omogućuje opis razlaganja prostih ideala u kvadratnim poljima u terminima kongruencija modulo D. Provedimo to za d = −5.

Tu je D = −20 pa se 2 i 5 granaju, s tim da je (5) kvadrat glavnog ideala (√−5), a (2) kvadrat neglavnog ideala (2, 1 + √−5). Dalje treba gledati samo neparne p različite od 5. Kako je

d )=(  −5 )=(  −1 )(  5  )  =  (−1)(p − 1)/2   (−1)(5 − 1)/2·(p − 1)/2 p )=(−1)(p − 1)/2 p )
p p p p 5 5
što je jednako

Ako je (II) onda je (p) prosti ideal u A. Ako je (I) onda (p) nije prosti već je (p) = PP. Međutim, u slučajevima s 1 i 9 ideali P, P su glavni, u onima s 3 i 7 nisu. Naprimjer:

dok za 3, 23, 43… niti za 7, 47, 67… nema takvog nečeg.

Matematičari 19. stoljeća pravilno su procijenili da je generalizacija kvadratnog zakona reciprociteta važan problem. I Kummer je došao do jednoznačnog rastava na proste ideale tragajući za zakonom reciprociteta u ciklotomskim poljima, a onda je to primijenio na Posljednji Fermatov teorem i napravio velik prodor. I nedavno konačno rješenje tog teorema može se tumačiti kao posljedica parcijalnog rješenja problema proširenja zakona kvadratnog reciprociteta na neabelova proširenja.

Ilustrirajmo primjenu jednoznačne faktorizacije na proste ideale u prstenu A := Z[√−5]. Trebat će nam još jedna činjenica o tom prstenu. Naime, iako postoje prosti ideali P koji nisu glavni, ipak je kvadrat svakog prostog ideala glavni ideal (vidi, naprimjer [Mi], 3. poglavlje, Primjer 4.6).

Primjer 4. Eliptička krivulja y2 = x3 − 5 nema cjelobrojnih točaka (tj. jednadžba nema cjelobrojnih rješenja). Jednadžbu pišemo u obliku

(y + √−5)(y − √−5)  = x3

pa imamo i jednakost pripadajućih glavnih ideala u A. Ideali (y + √−5) i (y − √−5) nemaju zajedničkog prostog ideala u rastavu, osim možda ideala Q sa svojstvom (2) = Q2 u A. Za ideale oblika (p) uz cijele proste p to je jasno, za ideal (√−5) također (jer bi onda x bio djeljiv s 5, što je nemoguće). Za ideale P takve da je P ≠ P također. Naime, kada bi bilo P|(y + √−5) i P|(y − √−5), onda i P|(y + √−5), pa bi bilo PP|(y + √−5), što je nemoguće. Sada dobijemo

(y + √−5) = QrA   i    (y − √−5) = QrA

gdje su A i A relativno prosti. Iz QrAQrA = (x3) = (x)3 vidimo da je 2r = 23s za neki s, pa je r = 3s. Sad je

(y + √−5) = Q3sB3     i     (y − √−5) = Q3sB3

za neki ideal B i, konačno, (y + √−5) = D3 za neki ideal D. Kako je D2 glavni, zaključujemo da je i D glavni, pa je y + √−5 = (a + b−5)3 za neke cijele a, b. Lako se vidi da je to nemoguće.

Literatura

[Ga] K. F Gauss, Disquisitiones Arithmeticae, 1801.
[Go] T. Gowers, How to discover a proof of the fundamental theorem of arithmetic, 2008. http://www.dpmms.cam.ac.uk/~wtg10/FTA.html
[IR] K. Ireland, M. Rosen, A classical introduction to modern number theory, Springer-Verlag, 1990.
[La] S. Lang, Algebra, Addison-Wesley, 1984.
[Mi] J. Milne, Algebraic number theory, 2008. http://www.jmilne.org/math/CourseNotes/ANT301.pdf
[Po] A. van der Poorten, Notes on Fermat's Last Theorem, Wiley, 1996.

1. Uvod
2. Aritmetički slučaj
Literatura