Fundamentalne twierdzenie arytmetyki (zwane również twierdzeniem o jedynej faktoryzacji) jest twierdzeniem teorii liczb. Twierdzenie to stwierdza, że każda liczba całkowita dodatnia większa od 1 może być zapisana jako iloczyn liczb pierwszych (zwykle przedstawiany z wykładnikami, np. 23·3·172). Twierdzenie to mówi również, że istnieje tylko jeden sposób zapisania tej liczby jako iloczynu liczb pierwszych, z zastrzeżeniem kolejności czynników. Oznacza to, że jeśli dwie osoby znalazły dwa różne zapisy tej samej liczby jako iloczyn liczb pierwszych, to po uporządkowaniu czynników oba zapisy będą identyczne.

Przykłady: 6936 = 23·3·172 oraz 1200 = 24·3·52.

Proces rozkładania liczby na czynniki pierwsze nazywamy faktoryzacją. Warto zaznaczyć, że liczba 1 jest wyłączona z twierdzenia — 1 nie jest ani liczbą pierwszą, ani złożoną, i w teorii pierścieni pełni rolę jednostki; gdyby włączyć 1 do faktoryzacji, to uniklano by jednoznaczności (można by dowolnie dołączać kolejne jedynki).

Zarys dowodu

Dowód twierdzenia dzieli się zwykle na dwie części:

  • Istnienie: Pokazujemy, że każda liczba n>1 ma rozkład na czynniki pierwsze. Najprostszy sposób to silna indukcja: jeśli n jest pierwsza, mamy już rozkład. Jeśli n jest złożona, istnieje dzielnik d taki, że 1
  • Jedyność: Aby pokazać, że rozkład jest jednoznaczny (oprócz kolejności czynników), korzystamy z tzw. lematów Euklidesa: jeśli liczba pierwsza p dzieli iloczyn ab, to p dzieli a lub p dzieli b. Dzięki temu, porównując dwa różne rozkłady tej samej liczby, można kolejno "usuwać" takie same czynniki pierwsze, aż dojdzie się do stwierdzenia, że rozkłady muszą zawierać te same czynniki (z takim samym wykładnikiem).

Znaczenie i zastosowania

Fundamentalne twierdzenie arytmetyki jest jednym z podstawowych rezultatów arytmetyki i leży u podstaw wielu dalszych pojęć w teorii liczb. Ma też praktyczne zastosowania — w szczególności w kryptografii. W systemach takich jak RSA bezpieczeństwo opiera się na fakcie, że rozkład dużych liczb na czynniki pierwsze jest w praktyce trudny do przeprowadzenia (brak znanych efektywnych algorytmów klasycznych dla bardzo dużych liczb), choć sam fakt istnienia i jednoznaczności rozkładu jest gwarantowany przez to twierdzenie.

Uogólnienia

W teorii algebraicznej istnieją uogólnienia tego pojęcia: nie wszystkie struktury pierścieniowe mają jednoznaczny rozkład na "pierwsze elementy". Pierścienie, w których każdy element ma rozkład jednoznaczny na czynniki (do jednostek i kolejności) nazywa się dziedzinami faktoryzacji jednoznacznej (UFD — unique factorization domains). Przykładem UFD jest pierścień liczb całkowitych Z, dla którego sformułowane jest tutaj twierdzenie.