##  [Théorème Fondamental de L'Arithmétique](/fr/node/62027) 

 Définition

É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

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

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

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

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

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

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

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

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.