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

 Définition

L'énoncé selon lequel tout entier supérieur à un peut être exprimé comme produit de nombres premiers et que cette factorisation est unique à l'ordre des facteurs près.

 

 

 

 

 

 





## Principe

Principe

Les entiers supérieurs à un constituent une structure multiplicative libre engendrée par les nombres premiers : les premiers sont les briques irréductibles et tout entier composé s'écrit comme leur produit d'une manière essentiellement unique.

 

 

 

 

 





## Démonstration

Démonstration

Exemple : 84 = 2^2 × 3 × 7 ; aucune autre liste de nombres premiers (à l'ordre près) ne donne 84, illustrant l'unicité de la factorisation pour cet entier.

 

 

 

 

## Mauvaise application

Mauvaise application

Présumer que la factorisation unique en nombres premiers vaut dans des anneaux ou systèmes de nombres arbitraires ; beaucoup d'anneaux (par exemple certains anneaux d'entiers quadratiques) n'ont pas l'unicité et admettent des factorisations distinctes en irréductibles.

 

 

 

 

 





## Conséquence

Conséquence

Fondement de la théorie de la divisibilité : plus grands communs diviseurs, plus petits communs multiples, fonctions arithmétiques multiplicatives et de nombreux algorithmes de théorie des nombres reposent sur l'unicité de la factorisation dans Z.

 

 

 

 

## Inversion

Inversion

La réciproque met en lumière les domaines où la factorisation n'est pas unique : dans ces anneaux les notions de premier et d'irréductible divergent et les propriétés arithmétiques classiques s'effondrent, conduisant à des notions alternatives comme la factorisation d'idéaux.

 

 

 

 

 





## Limite

Limite

S'applique aux entiers positifs supérieurs à un dans l'anneau des entiers ordinaires Z ; les signes et unités sont pris en compte par un facteur d'unité global (±1). Il ne s'applique pas littéralement à d'autres anneaux sans propriété d'unicité de factorisation.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre les termes « premier » et « irréductible » hors de Z : dans Z ils coïncident, mais dans un domaine intégral général un irréductible peut ne pas être premier, ce qui produit une divergence conceptuelle.

 

 

 

 

 





## Synthèse

Synthèse

Le Théorème Fondamental de l'Arithmétique affirme que les nombres premiers génèrent de façon unique la structure multiplicative des entiers positifs : tout entier >1 se décompose en premiers d'une manière unique à l'ordre près, fait qui fonde la divisibilité et les méthodes classiques en théorie des nombres.