Definición
Expresión de un ideal (o submódulo) en un anillo noetheriano como intersección finita de ideales primarios (o submódulos primarios), cada uno con radical que es un ideal primo; los primos asociados aparecen como radicales de los componentes primarios.
Principio
Principio
Descomponer un ideal en componentes cuyos radicales son primos: Q es p-primario si rad(Q)=p y todo divisor de cero en el cociente es nilpotente. Una descomposición primaria representa el ideal como intersección de tales Q_i, capturando la estructura local alrededor de los primos.
Demostración
Demostración
En los enteros Z, (12) = (4) ∩ (3): (4) es 2-primario (radical (2)) y (3) es 3-primario (radical (3)). Esta intersección refleja la factorización 12 = 2^2·3 y aísla el comportamiento primario en los primos 2 y 3.
Aplicación incorrecta
Aplicación incorrecta
Tratar los componentes primarios como completamente únicos en general; aunque los componentes primarios mínimos y sus primos asociados son únicos hasta inclusión, los componentes embebidos complican la unicidad. Otra confusión frecuente es tomar primario por primo.
Consecuencia
Consecuencia
La descomposición primaria revela las piezas locales asociadas a primos del ideal, esencial para calcular radicales, multiplicidades, propiedades locales y para la descomposición algorítmica en álgebra computacional bajo hipótesis noetherianas.
Inversión
Inversión
La visión inversa es tomar los radicales de los componentes para obtener una descomposición en ideales primos: pasar de la descomposición primaria a su radical (intersección de primos) hace perder la información nilpotente y de multiplicidad.
Límite
Límite
La existencia y finitud de descomposiciones primarias están garantizadas en anillos noetherianos; en contextos no noetherianos las descomposiciones pueden no existir o ser infinitas. Los componentes embebidos complican las declaraciones de unicidad y requieren precaución.
Tensión semántica
Tensión semántica
Cercana pero distinta de la descomposición en primos: la descomposición en primos (intersección de ideales primos) ignora la estructura nilpotente que captan los componentes primarios. La descomposición primaria sitúa la información entre generadores y radicales primos.
Síntesis
Síntesis
La descomposición primaria divide un ideal en constituyentes primarios finitos cuyos radicales son primos, separando el comportamiento nilpotente y local; en anillos noetherianos organiza un ideal según sus primos asociados y las piezas primarias que codifican multiplicidades y estructura local.