Expression d'un idéal (ou d'un sous-module) dans un anneau noethérien comme intersection finie d'idéaux primaires (ou de sous-modules primaires), chacun ayant pour radical un idéal premier ; les idéaux premiers associés apparaissent comme radicaux des composantes primaires.

Principe

Décomposer un idéal en composantes dont les radicaux sont premiers : Q est p-primaire si rad(Q)=p et si tout diviseur de zéro dans le quotient est nilpotent. Une décomposition primaire représente l'idéal comme intersection de tels Q_i, capturant la structure locale autour des premiers.

Démonstration

Dans les entiers Z, (12) = (4) ∩ (3) : (4) est 2-primaire (radical (2)) et (3) est 3-primaire (radical (3)). Cette intersection reflète la factorisation 12 = 2^2·3 et isole le comportement primaire en 2 et 3.

Mauvaise application

Considérer les composantes primaires comme entièrement uniques ; si les composantes primaires minimales et leurs idéaux premiers associés sont uniques à un certain niveau, les composantes embarquées compliquent l'unicité. Confondre également primaire et premier est une erreur fréquente.

Conséquence

La décomposition primaire révèle les pièces locales associées aux idéaux premiers, essentielle pour calculer les radicaux, les multiplicités, les propriétés locales et pour la décomposition algorithmique en algèbre computationnelle sous hypothèse noethérienne.

Inversion

Le point de vue dual est de prendre les radicaux des composantes pour obtenir une décomposition en idéaux premiers : passer de la décomposition primaire à sa racine (intersection d'idéaux premiers) fait perdre l'information nilpotente et de multiplicité.

Limite

L'existence et la finitude des décompositions primaires sont garanties dans les anneaux noethériens ; dans des contextes non noethériens, les décompositions peuvent ne pas exister ou être infinies. Les composantes embarquées compliquent les affirmations d'unicité et exigent de la prudence.

Tension sémantique

Proche mais distincte de la décomposition en idéaux premiers : la décomposition première ignore la structure nilpotente que captent les composantes primaires. La décomposition primaire se situe entre la description par générateurs et l'information au niveau des radicaux premiers.

Synthèse

La décomposition primaire scinde un idéal en constituants primaires finis dont les radicaux sont premiers, séparant le comportement nilpotent et local ; dans les anneaux noethériens, elle organise un idéal en ses idéaux premiers associés et en pièces primaires codant multiplicités et structure locale.