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

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

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

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

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

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

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 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

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.