Théorème affirmant que tout entier strictement supérieur à un s'écrit comme produit de nombres premiers et que cette factorisation est unique à l'ordre des facteurs près (et à des unités ±1 près dans Z).

Principe

Les nombres premiers jouent le rôle d'atomes multiplicatifs dans les entiers ; l'existence se prouve par induction ou par un argument à la Euclide, et l'unicité découle de l'algorithme d'Euclide ou de la propriété qu'un premier divisant un produit divise l'un des facteurs.

Démonstration

Exemple : 84 = 2^2 × 3 × 7 est une factorisation en nombres premiers de 84 ; aucune autre multienseignement de premiers (en ignorant l'ordre) ne produit 84. L'unicité sert à montrer que le pgcd et le ppcm se lisent sur les exposants premiers.

Mauvaise application

Supposer que la même unicité vaut automatiquement dans d'autres anneaux sans vérifier la factorisation unique (par exemple certains anneaux d'entiers algébriques n'ont pas la propriété de factorisation unique), ou négliger les unités et associés en comparant des factorisations.

Conséquence

Sous-tend de nombreux résultats arithmétiques : la définition des exposants premiers, les fonctions arithmétiques multiplicatives, les propriétés fondamentales du pgcd et du ppcm, et la structure des groupes abéliens finis via les décompositions en facteurs invariants.

Inversion

Dans des anneaux sans factorisation unique l'analogue échoue : des éléments peuvent admettre deux factorisations irréductibles distinctes (à unités près), de sorte que les conséquences arithmétiques basées sur l'unicité sont fausses ou doivent être modifiées.

Limite

Concerne spécifiquement les entiers Z (ou plus généralement les domaines à factorisation unique lorsqu'on généralise) ; exclut 0 et ±1 de la factorisation en premiers et traite les premiers à des associés près — l'ordre est sans importance mais les multiples par une unité sont équivalents.

Tension sémantique

Se rapporte au concept plus large des domaines à factorisation unique (UFD) : le théorème en est le cas des entiers, tandis que les contre-exemples en théorie algébrique des nombres motivent la théorie des idéaux et les groupes de classes.

Synthèse

Le Théorème Fondamental De L'Arithmétique affirme que les nombres premiers sont les briques multiplicatives des entiers et que tout entier >1 admet une décomposition unique en ces atomes, fournissant une structure multiplicative canonique pour la théorie des nombres classique.