Given a ring R and an R-module M, the annihilator of a subset S ⊆ M is the ideal Ann_R(S) = { r in R | r·s = 0 for all s in S }; for a single element m it is Ann_R(m). For the whole module M one gets the annihilator ideal Ann_R(M).

Principle

Detect which ring elements act trivially on specified module elements or substructures: the annihilator is the maximal ideal of ring elements that kill the chosen data and so measures torsion or constraints from the ring action.

Demonstration

In Z-modules, for M = Z/6Z and the element 2 mod 6, Ann_Z(2 mod 6) = 3Z because exactly integers divisible by 3 multiply 2 to give 0 mod 6. For M = R/I, Ann_R(M) is the ideal I if the action is the quotient action.

Misapplication

Confusing the annihilator with the kernel of a particular module homomorphism generically: while Ann(M) equals the kernel of R → End_Z(M) when viewing R-action, treating them identically without specifying maps can mislead in nonunital or nonfaithful actions.

Consequence

Annihilators classify associated primes (primes occurring as annihilators of elements), determine support (primes containing the annihilator lie in the support), and give algebraic criteria for torsion, faithfulness and primary decomposition.

Reversal

The opposite viewpoint is to study elements or submodules with trivial annihilator (faithful modules) or to consider the set of elements of M with nonzero annihilator (torsion submodule); these invert the focus from ring elements that kill to module elements that are killed.

Boundary

For noncommutative rings left, right and two‑sided annihilators differ; one must specify side. For modules over rings without unity or for actions that are not unital, the straightforward ideal description may fail or require modification.

Semantic Tension

Annihilator competes with support: the annihilator is an ideal of R giving precise elements that kill M, while support is a set of primes detecting where the module survives; both relate but capture different perspectives (algebraic vs geometric).

Synthesis

The annihilator is the ideal of ring elements that act as zero on chosen module data; it is a concrete algebraic certificate of torsion and a bridge between element-level behavior and spectrum-level invariants like associated primes and support.