Dado un anillo R y un R-módulo M, el anulador de un subconjunto S ⊆ M es el ideal Ann_R(S) = { r ∈ R | r·s = 0 para todo s ∈ S }; para un solo elemento m se escribe Ann_R(m). Para el módulo completo se obtiene Ann_R(M).

Principio

Detectar qué elementos del anillo actúan trivialmente sobre elementos o subestructuras del módulo: el anulador es el ideal de elementos del anillo que aniquilan los datos elegidos y por tanto mide la torsión o las restricciones impuestas por la acción del anillo.

Demostración

En módulos sobre Z, para M = Z/6Z y el elemento 2 mod 6, Ann_Z(2 mod 6) = 3Z porque exactamente los enteros divisibles por 3 multiplican 2 y dan 0 mod 6. Para M = R/I, Ann_R(M) coincide con I para la acción por el cociente.

Aplicación incorrecta

Confundir el anulador con el núcleo de un homomorfismo de módulos particular de manera genérica: aunque Ann(M) es el núcleo de la aplicación R → End_Z(M) para la acción dada, tratarlos como idénticos sin especificar los morfismos puede resultar engañoso en acciones no unitarias o no fieles.

Consecuencia

Los anuladores clasifican primos asociados (primos que aparecen como anuladores de elementos), determinan el soporte (los primos que contienen el anulador pertenecen al soporte) y dan criterios algebraicos para torsión, fidelidad y descomposición primaria.

Inversión

La perspectiva opuesta es estudiar elementos o submódulos con anulador trivial (módulos fieles) o considerar el conjunto de elementos de M con anulador no nulo (submódulo de torsión); se invierte así el foco de elementos de anillo que aniquilan a los elementos que son aniquilados.

Límite

Para anillos no conmutativos los anuladores a la izquierda, a la derecha y bilaterales difieren; hay que especificar el lado. Para anillos sin unidad o acciones no unitarias la descripción ideal estándar puede fallar o requerir ajuste.

Tensión semántica

El anulador compite con el soporte: el anulador es un ideal de R que da los elementos que aniquilan a M, mientras que el soporte es un conjunto de primos que detecta dónde el módulo no se anula; ambos están relacionados pero capturan perspectivas diferentes (algebraica vs geométrica).

Síntesis

El anulador es el ideal de elementos del anillo que actúan como cero sobre datos modulares elegidos; es un certificado algebraico concreto de torsión y conecta el comportamiento a nivel de elementos con invariantes del espectro como los primos asociados y el soporte.