A ring action can fail to be visible long before the whole module becomes zero. In $\mathbb{Z}/6\mathbb{Z}$, multiplication by $2$ does not kill the module, since $2\cdot 1=2$, but it does kill the element $3$, since $2\cdot 3=0$. Multiplication by $6$ kills every element. The language of annihilators records these different levels of invisibility: scalars that kill one element, scalars that kill a submodule, and scalars that kill the entire representation of a ring.

This distinction matters because many algebraic constructions are controlled not by the elements we see, but by the ring elements that act as zero. Quotient rings are built by forcing an ideal to vanish, torsion modules are detected by nonzero scalars that kill elements, and dual vector spaces organise subspaces by the functionals that vanish on them. The annihilator is the common mechanism behind these phenomena.

[example: First Annihilators in $\mathbb{Z}/6\mathbb{Z}$] Let $R=\mathbb{Z}$ and let $M=\mathbb{Z}/6\mathbb{Z}$ be the usual $\mathbb{Z}$-module, so $n\bar{a}=\overline{na}$ for $n,a\in \mathbb{Z}$. For the element $\bar{3}\in M$, an integer $n$ kills $\bar{3}$ exactly when $\overline{3n}=\bar{0}$ in $\mathbb{Z}/6\mathbb{Z}$: \begin{align*} n\bar{3}=\bar{0}\iff \overline{3n}=\bar{0}\iff 6\mid 3n. \end{align*} Since $6\mid 3n$ means $3n=6q$ for some $q\in\mathbb{Z}$, this is equivalent to $n=2q$, hence to $2\mid n$. Conversely, if $n=2q$, then $3n=6q$, so $6\mid 3n$. Therefore \begin{align*} \operatorname{Ann}_{\mathbb{Z}}(\bar{3})=\{n\in\mathbb{Z}:2\mid n\}=2\mathbb{Z}. \end{align*} For the whole module, an integer $n$ kills every residue class if and only if $n\bar{a}=\bar{0}$ for every $a\in\mathbb{Z}$. This condition includes $a=1$, so it forces \begin{align*} n\bar{1}=\bar{0}\iff \bar{n}=\bar{0}\iff 6\mid n. \end{align*} Conversely, if $6\mid n$, then for every $a\in\mathbb{Z}$ we have $6\mid na$, so \begin{align*} n\bar{a}=\overline{na}=\bar{0}. \end{align*} Thus \begin{align*} \operatorname{Ann}_{\mathbb{Z}}(M)=6\mathbb{Z}. \end{align*} The element $\bar{3}$ only sees the modulus $2$, while the whole module still sees the full modulus $6$, so element annihilators and module annihilators carry different information. [/example]

The example also shows a recurring theme: annihilators turn module-theoretic information into ideals of the ring. Once the vanishing set is an ideal, it can be compared, quotiented out, localised, or studied through prime ideals.

## Definition

The most basic question is: which scalars act as zero on a given module? If a module is a representation of a ring, its annihilator measures the kernel of that representation. This is the right definition when we want to replace the original ring by the smaller ring that acts faithfully.

[definition: Annihilator of a Module] Let $R$ be a ring with identity, and let $M$ be a left $R$-module. The annihilator of $M$ in $R$ is \begin{align*} \operatorname{Ann}_R(M)=\{r \in R : rm=0 \text{ for all } m \in M\}. \end{align*} [/definition]

The elementwise, faithful-action, and linear-duality variants use the same vanishing idea in more specific settings. They appear below at the points where those settings become active.

## Elementwise Annihilation and Ideals

### Element Annihilators

Killing the whole module is a global condition, but many modules contain elements that behave as if they live over smaller quotient rings. To see that local structure, we need to ask which scalars kill one chosen element rather than every element. This gives a finer invariant: different elements in the same module can have different annihilators.

[definition: Annihilator of an Element] Let $R$ be a ring with identity, let $M$ be a left $R$-module, and let $m \in M$. The annihilator of $m$ in $R$ is \begin{align*} \operatorname{Ann}_R(m)=\{r \in R : rm=0\}. \end{align*} [/definition]

The notation is deliberately parallel, but the two objects play different roles. The module annihilator records the kernel of the entire action. The element annihilator records the relations satisfied by a cyclic submodule generated by one element.

### Ideals from Vanishing

The first structural fact is that annihilators are not arbitrary subsets. They are closed under exactly the operations needed to become ideals, with a small asymmetry in the noncommutative case. This matters because it lets us pass from module elements to quotient modules over quotient rings.

[quotetheorem:7850]

This theorem is the reason annihilators are algebraically useful rather than just descriptive. Once a vanishing set is an ideal, it can be used as the kernel of a quotient construction.

### Cyclic Submodules

The elementwise version is especially important because every element generates a cyclic submodule. A cyclic submodule is the smallest place where the action of $R$ on one element can be studied without interference from the rest of $M$. The next result says that the annihilator is exactly the ideal of relations in that cyclic presentation.

[quotetheorem:7851]