## [Cálculo de Primos Asociados](/es/node/63839) Definición El procedimiento de identificar los ideales primos asociados a un módulo o ideal: aquellos ideales primos que aparecen como anuladores de algún elemento del módulo o que surgen en la descomposición primaria como soportes de componentes primarias. ## Principio Principio Analizar elementos (o submódulos) para sus anuladores y recopilar los anuladores primos; equivalente a calcular descomposiciones primarias y leer los primos subyacentes de las componentes primarias. En contextos noetherianos esto produce un conjunto finito y bien definido de primos asociados que capturan obstrucciones locales y soportes. ## Demostración Demostración Para el módulo Z/12Z sobre Z, los primos asociados son (2) y (3) porque 12 se descompone en partes de torsión 4 y 3, y hay elementos anulados por 2 o por 3 cuyos anuladores son primos. Para un ideal I en un anillo de polinomios, calcular una descomposición primaria de I y tomar las raíces radicales de los ideales primarios da los primos asociados. ## Aplicación incorrecta Aplicación incorrecta Confundir primos asociados con primos minimales del ideal que define o suponer que los primos asociados son siempre minimales; pueden existir primos asociados embebidos que son significativos. Otro uso indebido es tratar los primos asociados calculados tras una localización o extensión como automáticamente iguales a los del anillo original sin comprobar el comportamiento ante cambio de anillo. ## Consecuencia Consecuencia Conocer los primos asociados aclara la estructura local del módulo: identifica dónde existe torsión o componentes embebidas, orienta la localización, ayuda en el cálculo de invariantes de profundidad y dimensión, y es esencial para la descomposición primaria, cohomología local y pruebas de exactitud. ## Inversión Inversión La perspectiva dual se centra en los primos minimales del soporte o en el conjunto de primos en el soporte: los primos minimales captan componentes irreducibles del soporte mientras que los primos asociados incluyen tanto primos minimales como embebidos, por lo que concentrarse solo en los minimales elimina información útil sobre torsión. ## Límite Límite Bien comportado y finito en anillos noetherianos para módulos finitamente generados; en contextos no noetherianos el conjunto de primos asociados puede ser infinito o patológico. El cálculo depende de disponer de algoritmos para descomposición primaria o pruebas de anuladores, y el comportamiento puede cambiar con cambios de base no planos. ## Tensión semántica Tensión semántica Existe tensión semántica entre primos asociados y otras nociones relacionadas con primos (soporte, primos minimales, espectro): los primos asociados detectan anuladores a nivel de elementos y estructura embebida, mientras que el soporte y los primos minimales enfatizan descomposición geométrica o irreducible. La elección depende de si se precisa información de torsión elementaria o componentes geométricas globales. ## Síntesis Síntesis El cálculo de primos asociados es el proceso de encontrar los primos que anulan elementos de un módulo o aparecen como radicales de componentes primarias; en contextos noetherianos produce un conjunto finito que revela fenómenos de torsión y embebimiento, guía la localización, la descomposición y los invariantes de profundidad, requiriendo precaución ante cambios de base y en regímenes no noetherianos.