Aritmētikas fundamentālā teorēma (saukta arī par unikālās faktorizācijas teorēmu) ir teorēma skaitļu teorijā. Teorēma nosaka, ka katru veselu pozitīvu skaitli, kas lielāks par 1, var uzrakstīt kā pirmskaitļu reizinājumu (vai arī pats vesels skaitlis ir pirmskaitlis). Turklāt šī faktorizācija ir viennozīmīga: ja divi cilvēki iegūst divas pirmskaitļu reizinājuma izteiksmes tam pašam skaitlim, tad tās atšķiras tikai ar pirmskaitļu secību. Par pirmskaitļu atrašanu sauc faktorizāciju.
Piemēri
Daži piemēri ar sava veida "kanonisko" faktorizāciju (pirmskaitļu eksponentu formā):
- 6936 = 23 · 3 · 172
- 1200 = 24 · 3 · 52
Ja kāds atrastu citu veidu, kā 6936 vai 1200 uzrakstīt kā pirmskaitļu reizinājumu, mēs varam sakārtot pirmskaitļus un eksponentus, un pierādīsies, ka faktorizācijas sakrīt. Faktorizācijas problēma ir centrāla arī praktiskā ziņā — liela skaitļa faktorizēšana var būt grūta, un šī grūtība tiek izmantota kriptogrāfijā.
Pierādījuma ideja
Parasti teorēmu pierāda divos soļos: eksistence un unikālums.
Eksistence. To var pierādīt ar (stipru) indukciju. Ja n ir pirmskaitlis, tad faktorizācija jau ir atrasta. Ja n nav pirmskaitlis, tad n = a · b ar 1 < a, b < n. Pēc indukcijas pieņēmuma gan a, gan b ir izsakāmi kā pirmskaitļu reizinājumi, tāpēc arī n ir izsakāms kā pirmskaitļu reizinājums.
Unikālums. Pieņemsim, ka skaitlim ir divas faktorizācijas p1 · p2 · … · pk = q1 · q2 · … · ql, kur p_i un q_j ir pirmskaitļi. Izmantojot Eiklīda lemmu (ja primes skaitlis p dala reizinājumu a · b, tad p dala a vai p dala b), secīgi redzams, ka p1 dalīs kādu no q_j, bet, tā kā q_j ir pirmskaitlis, jāmā p1 = q_j. Var šo elementu "izdot" no abām pusēm un turpināt ar atlikušajiem pirmskaitļiem; līdz ar to faktorizācijas sakrīt līdz kārtības labad. Eiklīda lemma pati par sevi var tikt pierādīta, izmantojot lielāko kopīgo dalītāju vai Bezūta identitāti.
Nozīme un pielietojumi
Aritmētikas fundamentālā teorēma ir pamats daudzām skaitļu teorijas apakšnozarēm. Konkrēti:
- Kriptogrāfijā, piemēram, RSA algoritmā, drošība balstās uz grūtību faktorizēt lielus semipirņus (skaitļus, kas ir divu lielu pirmskaitļu reizinājums), kombinācijā ar faktu, ka faktorizācija, ja tā būtu viegli izdarāma, lauztu drošību.
- Teorija nodrošina, ka veseli skaitļi ir "rīkojami" pēc pirmskaitļu saturu; tas ļauj definēt tādas invariantes kā dalāmība, funkcijas (π(x), tau(n), φ(n) utt.) un analizēt to īpašības.
- Algebraiskā skaitļu teorija izmanto šo ideju, pārnesot to uz plašākiem struktūru klāstu (piemēram, unikālās faktorizācijas domēni — UFD).
Papildus piezīmes
- Teorēma skaidri attiecas uz naturālajiem skaitļiem (>1). Visiem veselajiem skaitļiem faktorizāciju uzskata par viennozīmīgu tikai līdz signāla (±1) reizināšanai: piemēram, -30 = -1 · 2 · 3 · 5.
- Izpētē ir svarīgi saprast, ka unikāla faktorizācija nav pašsaprotama citās skaitļu sistēmās. Piemēram, kompleksā skaitļu apakšringā Z[√-5] nav unikālas faktorizācijas: 6 = 2 · 3 = (1 + √-5) · (1 − √-5), kur abas faktorizācijas nav savstarpēji atkarīgas ar vienkāršu "pirmu reizinātāju pārkārtošanu". Šādas struktūras motivēja abstraktākas definīcijas, piemēram, unikālas faktorizācijas domēni (UFD) un ideālu klasiskās teorijas attīstību.
- Vēsturiskas piezīmes: ideja par pirmskaitļu reizinājumu kā "atomiem" veselajā skaitļu sistēmā ir sena, bet mūsdienu formas un skaidrā pierādījuma formulējumi attīstījās pakāpeniski kopš Eiklīda laikiem.
Šī teorēma ir viens no skaitļu teorijas stūrakmeņiem — gan kā elementārs instruments problēmu risināšanā, gan kā orientieris modernajām teorētiskajām un praktiskajām pielietošanām.