Un domaine intègre dans lequel la factorisation unique en éléments irréductibles échoue : il existe des éléments non nuls non inversibles qui admettent deux factorisations distinctes en irréductibles non associés, si bien que le domaine n'est pas un domaine à factorisation unique (DFU).

Principe

La factorisation unique organise la structure multiplicative par des nombres premiers/irréductibles ; un domaine non factoriel révèle les limites de ce principe organisateur et nécessite généralement des techniques idéales ou le groupe des classes de diviseurs pour mesurer l'échec.

Démonstration

Exemple classique concret : Z[√-5] où 6 = 2·3 = (1+√-5)(1-√-5) donne deux factorisations non équivalentes en irréductibles. Plus généralement, le comportement non-DFU est mesuré par des groupes de classes non triviaux dans les domaines de Dedekind ou par des idéaux non principaux explicites.

Mauvaise application

Appliquer des arguments fondés sur la DFU (factorisation première unique, raisonnements basés sur le pgcd) dans un domaine non factoriel produit des affirmations erronées d'unicité, des calculs de pgcd invalides et une confusion entre irréductible et premier.

Conséquence

Reconnaître la non-factorialité impose le passage à des invariants idéaux (groupe des classes, factorisation en idéaux premiers) ou à des notions alternatives de factorisation (atomicité, élasticité), permettant une analyse arithmétique et structurelle correcte du domaine.

Inversion

L'opposé est la classe des domaines factoriels (DFU) où la factorisation est unique à unités et permutation près ; le contraste met en évidence quand il faut remplacer les invariants au niveau des éléments par des invariants au niveau des idéaux.

Limite

S'applique aux domaines intègres (anneaux commutatifs sans diviseurs de zéro) ; il exclut les anneaux avec diviseurs de zéro, où la factorisation se comporte différemment et où les notions d'irréductible/prime nécessitent un traitement séparé.

Tension sémantique

Tension entre « irréductible » et « premier » dans les domaines non factoriels : les irréductibles peuvent ne pas être premiers, et cette distinction est au cœur de nombreux contre-exemples ; il convient de distinguer clairement la factorisation au niveau des éléments et la factorisation au niveau des idéaux.

Synthèse

Un domaine non factoriel est un domaine intègre où la structure multiplicative au niveau des éléments résiste à la factorisation unique : des décompositions irréductibles non équivalentes existent, ce qui conduit à employer le groupe des classes, la factorisation en idéaux et des invariants raffinés pour comprendre l'arithmétique.