Énoncé selon lequel tout entier >1 se factorise de manière unique comme produit de nombres premiers, à l'ordre des facteurs près ; les nombres premiers sont les atomes multiplicatifs des entiers.

Principe

Les nombres premiers jouent le rôle de briques irréductibles et la multiplication dans Z admet une factorisation unique, fondement de l'arithmétique multiplicative et de la classification de la structure entière.

Démonstration

Exemple : 84 = 2^2 · 3 · 7 et aucun autre multiensemble de premiers ne produit 84 ; cette unicité permet de déduire des invariants multiplicatifs tels que pgcd, valuations et exposants premiers.

Mauvaise application

Supposer la même unicité dans des anneaux quelconques d'entiers algébriques sans vérifier la propriété d'anneau à factorisation unique ; traiter des éléments non-UFD comme premiers conduit à des contradictions.

Conséquence

Permet des arguments fondés sur la décomposition en nombres premiers : fonctions multiplicatives, théorie des valuations, calculs pgcd/ppcm et de nombreuses méthodes algorithmiques reposent sur la factorisation unique dans Z.

Inversion

Dans des domaines dépourvus d'unicité de factorisation, des éléments peuvent admettre des factorisations irréductibles distinctes (non-unicité), ce qui montre l'échec du théorème hors de Z et motive l'étude des UFD et des groupes de classes.

Limite

S'applique exactement à l'anneau Z pour les entiers positifs >1 (et se prolonge aux négatifs en tenant compte des unités ±1) ; exclut zéro et les unités ±1 et ne s'étend pas automatiquement aux domaines intègres généraux.

Tension sémantique

Se rapporte mais se distingue de la propriété d'être un domaine à factorisation unique (UFD) : le théorème est l'énoncé UFD spécifique à Z, tandis que de nombreux anneaux d'entiers algébriques n'y satisfont pas, entraînant des phénomènes arithmétiques subtils.

Synthèse

Le théorème fondamental de l'arithmétique affirme que les nombres premiers sont les constituants multiplicatifs uniques des entiers >1, fournissant la base structurelle et combinatoire essentielle de la théorie multiplicative des nombres et de la factorisation algorithmique.