Un domaine intègre dans lequel tout élément non nul et non inversible se factorise en éléments irréductibles et cette factorisation est unique à l'ordre près et à multiplication par des unités ; abrégé couramment UFD.

Principe

La factorisation unique étend le théorème fondamental de l'arithmétique à des domaines généraux : les éléments se décomposent en atomes irréductibles et l'ambiguïté multiplicative se limite aux unités et aux permutations des facteurs.

Démonstration

Z est un UFD car tout entier se factorise de manière unique (à signe et ordre près) en nombres premiers ; les anneaux de polynômes k[x1,...,xn] sur un corps sont des UFD par le lemme de Gauss et une induction sur le nombre de variables.

Mauvaise application

Supposer que la factorisation unique tient dans tout domaine noethérien ou que irréductible = premier en général ; il existe des domaines noethériens où les irréductibles n'assurent pas l'unicité ou où premiers et irréductibles diffèrent.

Conséquence

Dans un UFD, les questions de divisibilité et le calcul des pgcd sont bien comportés ; les éléments premiers et irréductibles coïncident d'une manière qui simplifie l'arithmétique et la factorisation des idéaux en idéaux premiers principaux lorsque le domaine est un PID.

Inversion

Un domaine qui n'a pas de factorisation unique présente des factorisations distinctes non associées pour le même élément ; cet échec motive l'étude des groupes de classes, des invariants de factorisation et des phénomènes arithmétiques non uniques.

Limite

UFD exige un cadre de domaine intègre ; il n'implique pas que tous les idéaux soient principaux ni n'est implicite par la seule noethérianité ; des propriétés locales peuvent tenir sans que le domaine soit UFD globalement.

Tension sémantique

Les termes 'irréductible' et 'premier' sont proches mais distincts ; transférer sans précaution l'intuition des entiers (premiers = irréductibles) peut tromper dans des anneaux où ces notions se séparent, créant une tension dans le raisonnement factoriel.

Synthèse

Un UFD est un domaine intègre où la décomposition atomique est canonique à l'ordre et aux unités près : les éléments se factorisent en irréductibles de façon unique, offrant une arithmétique multiplicative contrôlée analogue à celle des entiers.