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

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

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

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

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

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

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

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

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.