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