Aritmeetika põhiteoreem (tuntud ka kui unikaalse faktoriseerimise teoreem) on arvuteooria oluline teoreem. See ütleb, et iga positiivne täisarv suurem kui 1 võib kirjutada algarvude korrutisena (või on ise algarv). Lisaks väidab teoreem, et see faktoriseerimine on ainulaadne ülesjärjestuse suhtes: kaks eri faktoriseerimist võivad erineda üksnes algarvude järjekorras.
Mida täpselt teoreem tähendab
- Algne väide: iga n > 1 on kas algarv või saab kirjutada kujul n = p1·p2·...·pk, kus p1,...,pk on algarvud.
- Unikaalsus: kui n = q1·q2·...·qm on teine faktoriseerimine algarvudest, siis k = m ja pärast algarvude ümberjärjestamist on pi = qi kõigi i jaoks.
- Märkus: arv 1 ei loeta algarvuks ega komposiidiks; tema faktoriseerimine loetakse tühjaks korrutiseks.
Lihtsad näited
6936 = 23 × 3 × 172 või 1200 = 24 × 3 × 52
Kui keegi leiab näiliselt teise viisina kirjutada 6936 või 1200 algarvude korrutisena, siis saab algarvud õiges järjekorras panna ja näha, et need faktorisatsioonid kattuvad.
Lühikene tõestuse ülevaade
- Eksistentsi ideeks on tavaliselt tugeva induktsiooni kasutamine: kui n > 1 ja n pole algarv, siis jagub n mingi a-ga, kus 1 < a < n. Siis on b = n / a < n; eeldades, et kõik väiksemad arvud on faktoreeritavad algarvudeks, saab ka n-i faktoriseerida.
- Unikaalsuse võtmelemmaks on Euclidi lemma: kui algarv p jagab kahe arvude korrutist a·b, siis p jagab a-d või p jagab b-d. Sellele rajatud sammuga näidatakse, et kui on kaks erinevat faktoriseerimist, peab iga algarv ühest faktoriseerimisest leiduma ka teises; seega saab korrigeerida ja lõpuks jõuda identsete faktoriseerimisteni.
Rakendused ja tähendus
- Praktikas on teoreem aluseks paljudele arvuteooria ja krüptograafia meetoditele. Näiteks avaliku võtme krüptosüsteemid nagu RSA tuginevad sellele, et suurte arvude faktoriseerimine on arvutuslikult keeruline, kuigi faktorisatsioon ise on ainulaadne. (krüptograafias)
- Teoreem on oluline ka selliste mõistete arvutamisel nagu suurim ühine jagaja (GCD) ja väikseim ühine kordaja (LCM), samuti on see alguspunktiks üldisematele uurimustele algebralistes struktuurides (näiteks unikaalse faktoriseerimise puudumine mõnes algebrailises rõngas ja sellest tulenev ideede areng ideaalide suunas).
Märkused ja täpsustus
- Täpsus: unikaalsus tähendab «unikaalne ülesjärjestuse suhtes» — algarvude järjekord ei ole oluline.
- Algusajalugu: teoreemi elemendid on tuntud juba antiikajast (Euclid), formaalseks ja süsteemseks vormiks said nad hiljem, näiteks Gaussi töödes.
- Laiendused: algebrailises arvuteoorias uuritakse tingimusi, mille korral unikaalne faktoriseerimine kehtib ka muude elementide ja rõngaste puhul; mõnes kontekstis see ebaõnnestub ja tekib vajadus ideaalide ja muude üldistuste järele.
Primaarvude leidmist ja arvude faktoriseerimist nimetatakse faktoriseerimiseks, see on teoreemi praktiline pool ja ka paljude algoritmide uurimisvaldkond.