Le phénomène, dans un anneau intègre (souvent l'anneau des entiers d'un corps de nombres), par lequel un élément admet deux ou plusieurs factorisations distinctes en éléments irréductibles qui ne sont pas reliés par multiplication par des unités, violant l'unicité de la décomposition en facteurs premiers.

Principe

L'unicité de la factorisation tient dans les anneaux principaux d'idéaux et les domaines à factorisation unique ; son échec apparaît lorsque les idéaux se factorisent de façon unique mais pas les éléments, typiquement signalé par un groupe de classes non trivial ou la présence d'irréductibles non premiers.

Démonstration

Dans l'anneau des entiers de certaines extensions quadratiques, un entier peut s'écrire comme produit d'irréductibles de deux manières non équivalentes (par exemple un entier explicite se factorise à la fois comme produit de deux irréductibles distincts), montrant des facteurs irréductibles distincts non associés par des unités.

Mauvaise application

Traiter tout élément irréductible comme s'il était premier, ou supposer la factorisation unique au niveau des éléments dans des anneaux où seule la factorisation des idéaux est garantie, conduisant à des déductions erronées sur la divisibilité et les plus grands communs diviseurs.

Conséquence

La non‑unicité de la factorisation motive le passage de la factorisation au niveau des éléments à des approches idéales ou au groupe des classes ; elle exige des invariants (groupe des classes, mesures de longueurs de factorisation) et modifie les arguments arithmétiques habituels.

Inversion

Dans un domaine à factorisation unique, tout élément non nul non inversible admet une décomposition en facteurs premiers unique à l'ordre et aux unités près ; ainsi la non‑unicité disparaît lorsque le groupe des classes est trivial ou lorsque le domaine est un UFD.

Limite

Concerne les anneaux intègres et les anneaux d'entiers algébriques ; ne s'applique pas aux anneaux généraux avec diviseurs de zéro ni aux contextes où la factorisation est définie différemment (modules, anneaux non commutatifs) sans traduction du concept.

Tension sémantique

Une tension apparaît entre les notions de « premier » et d'« irréductible » : dans les non‑UFD ces notions divergent et de nombreux arguments élémentaires classiques fondés sur leur équivalence échouent.

Synthèse

La Factorisation Non Unique décrit la réalité arithmétique selon laquelle des éléments de certains anneaux intègres peuvent se factoriser de plusieurs manières non équivalentes ; comprendre cet échec conduit à des remèdes par la théorie des idéaux et des invariants structurels comme le groupe des classes qui rétablit une forme différente d'unicité.