## [Descomposición Primaria](/es/node/61180) 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.