La expresión de una subestructura adecuadamente finitaria (típicamente un ideal en un anillo noetheriano) como intersección de subestructuras primarias, donde cada componente primaria tiene un primo asociado que controla su comportamiento nilpotente.

Principio

Descomponer aislando componentes cuyos radicales son primos: un ideal I se escribe I = ⋂ Q_i con cada Q_i primario y rad(Q_i) = P_i; los primos asociados P_i son intrínsecos y registran multiplicidades geométricas o combinatorias, mientras que las componentes primarias pueden no ser únicas aunque las partes mínimas lo sean.

Demostración

En Z el ideal (12) admite la descomposición primaria (12) = (4) ∩ (3), donde (4) es 2-primario y (3) es 3-primario. En k[x,y], un ideal que define curvas que se intersectan se descompone en componentes correspondientes a las ramas y a puntos embebidos.

Aplicación incorrecta

Suponer la unicidad de las componentes primarias sin distinguir entre componentes mínimas y embebidas, o intentar la descomposición primaria en anillos no noetherianos donde la existencia puede fallar, conduce a conclusiones erróneas.

Consecuencia

La descomposición primaria revela los primos asociados, las multiplicidades primarias y la estructura embebida del objeto; permite localizar, calcular radicales y partes primarias, y ofrece una interpretación geométrica de componentes y singularidades.

Inversión

Lo opuesto es formar sumas o productos de componentes primarias para crear combinaciones no interseccionales; invertir la intersección suele perder la información primaria fina (primos embebidos, multiplicidades) que la descomposición expone.

Límite

La descomposición primaria requiere hipótesis de finitud (anillos noetherianos) para la existencia y la computabilidad algorítmica; la unicidad se aplica solo a las componentes primarias mínimas y a los primos asociados, mientras que las componentes embebidas no son únicas y dependen de elecciones.

Tensión semántica

La descomposición primaria está próxima pero es distinta de la descomposición en primos y de la descomposición radical: la factorización en ideales primos suele fallar, la descomposición radical solo registra los radicales (primos) mientras que la descomposición primaria conserva datos nilpotentes y de multiplicidad.

Síntesis

La descomposición primaria es la representación canónica por intersección de una subestructura finita en componentes primarias cuyas radicales son primos, exponiendo tanto el soporte primo como la estructura de multiplicidad nilpotente y conectando las descripciones algebraicas y geométricas.