La expresión de un ideal I en un anillo noetheriano (habitualmente un anillo de polinomios) como una intersección finita I = Q1 ∩ … ∩ Qr de ideales primarios Qi, donde cada Qi tiene radical Pi que es primo; esta descomposición aísla las componentes primarias correspondientes a las distintas componentes geométricas asociadas por primos de V(I).

Principio

En un contexto noetheriano todo ideal admite una descomposición irredundante en componentes primarias indexadas por primos asociados; los primos aislados dan componentes primarias cuyo radical es el primo, mientras que los primos embebidos corresponden a componentes contenidas en otras.

Demostración

En k[x,y], sea I = (x^2, xy). Una descomposición primaria es I = (x) ∩ (x^2,y). Aquí (x) es primo (y por tanto primario) con radical (x), mientras que (x^2,y) es primario con radical (x,y), reflejando una componente embebida en el origen y la componente unidimensional x=0.

Aplicación incorrecta

Tratar cualquier intersección de ideales primarios como la descomposición primaria de I sin verificar minimalidad y primos asociados conduce a errores; confundir descomposición primaria con descomposición radical (I = ⋂ sqrt(Qi)) omite la multiplicidad y la información embebida.

Consecuencia

La descomposición primaria revela las piezas geométricas embebidas y aisladas de Spec(R/I), aclara multiplicidades y comportamiento local, y guía los cálculos de radicales, localizaciones y descomposiciones a nivel de haces.

Inversión

Si se invierte la intención —buscar sólo componentes radicales (primos) y desechar la estructura primaria— se pierde información sobre nilpotentes y multiplicidades; exigir unicidad de factores primarios falla porque dichas componentes sólo son únicas hasta sus radicales.

Límite

Válido en anillos noetherianos (anillos de polinomios sobre cuerpos, anillos locales noetherianos). En anillos no noetherianos la descomposición primaria puede no existir o no ser finita; la unicidad sólo se garantiza hasta radicales e inclusiones, no a nivel de ideales primarios concretos.

Tensión semántica

La descomposición primaria compite conceptualmente con la descomposición en primos del radical: la descomposición radical captura el soporte a nivel de conjuntos (los primos), mientras que la descomposición primaria refina esa información codificando multiplicidades y estructura embebida.

Síntesis

La descomposición primaria factoriza un ideal en piezas primarias cuyos radicales son primos, separando componentes geométricas y codificando multiplicidades embebidas; es una herramienta noetheriana que complementa las técnicas de radical y localización para un estudio detallado local y global.