## [Ideal Primo Asociado](/es/node/63892) Definición Un primo asociado de un módulo R-M es un ideal primo p que coincide con el anulador de algún elemento m ∈ M, es decir, p = Ann_R(m). Equivalentemente, p es el anulador de un submódulo cíclico R·m y aparece en las descomposiciones primarias formando el conjunto Ass_R(M). ## Principio Principio Poner de manifiesto obstrucciones algebraicas a nivel de elementos: los primos asociados son testimonios algebraicos exactos de elementos cuya aniquilación está controlada por un primo, codificando componentes primarias y piezas embebidas de la estructura del módulo. ## Demostración Demostración Para M = Z/12Z, elementos de orden 2 y 3 producen anuladores (2) y (3) respectivamente, por lo que Ass_Z(M) = { (2), (3) }. Para M = R/I, los primos asociados incluyen los primos mínimos sobre I y posiblemente primos embebidos provenientes de componentes primarias. ## Aplicación incorrecta Aplicación incorrecta Suponer que los primos asociados coinciden siempre con los primos mínimos del soporte; los primos asociados incluyen primos embebidos y pueden ser estrictamente más numerosos que el conjunto de primos mínimos sobre el anulador o el soporte, especialmente en situaciones no reducidas o no puras. ## Consecuencia Consecuencia Los primos asociados controlan la estructura de los módulos: detectan componentes embebidas, aparecen en la descomposición primaria (cada componente primaria tiene un primo asociado) y son finitos para módulos de tipo finito sobre anillos noetherianos, proporcionando invariantes algebraicos discretos. ## Inversión Inversión Contrástense con los primos en el soporte que no son asociados: tales primos muestran dónde el módulo es no nulo, pero no existe un elemento cuyo anulador sea ese primo; esto subraya la brecha entre la presencia geométrica y el testigo algebraico explícito. ## Límite Límite Definido para módulos sobre anillos conmutativos; en contextos no noetherianos Ass(M) puede ser infinito o comportarse mal, y para anillos no conmutativos debe distinguirse versiones izquierda/derecha. El módulo cero tiene conjunto asociado vacío, mientras que los módulos no nulos finitamente generados sobre anillos noetherianos tienen al menos un primo asociado. ## Tensión semántica Tensión semántica Primos asociados vs primos mínimos vs soporte: los primos mínimos sobre el anulador están entre los primos asociados, pero los primos asociados incluyen primos embebidos que complican la imagen geométrica; la elección depende de si se precisa un testigo a nivel de elemento o un lugar topológico. ## Síntesis Síntesis Un primo asociado es un ideal primo que surge como anulador de un elemento del módulo; es un certificado algebraico de una componente primaria, central para la descomposición primaria y para entender cómo piezas de torsión a nivel de elemento se ensamblan en la estructura local y global del módulo.