Definition:Annihilator

Definition

Let $R$ be a commutative ring.

Let $M$ and $N$ be modules over $R$.

Let $B : M \times N \to R$ be a bilinear mapping.

The annihilator of $D \subseteq M$, denoted $\map {\operatorname {Ann}_N} D$ is the set:

$\set {n \in N : \forall d \in D: \map B {d, n} = 0}$

Special Cases

Various special cases of annihilators can be found in the literature, including:

Annihilator on Algebraic Dual

Let $R$ be a commutative ring with unity.

Let $G$ be a module over $R$.

Let $G^*$ be the algebraic dual of $G$.

Let $M$ be a submodule of $G$.

The annihilator of $M$ is denoted and defined as:

$M^\circ := \set {t \in G^*: \forall x \in M: \map t x = 0}$

Annihilator as Integral Multiples of Ring Elements

A common instance is when $N$ is the ring of integers $\Z$ and $M$ is a ring or a field $\struct {R, +, \times}$:

Let $B: R \times \Z$ be a bilinear mapping defined as:

$B: R \times \Z: \tuple {r, n} \mapsto n \cdot r$

where $n \cdot r$ defined as an integral multiple of $r$:

$n \cdot r = r + r + \cdots \paren n \cdots r$

Note the change of order of $r$ and $n$:

$\map B {r, n} = n \cdot r$

Let $D \subseteq R$ be a subring of $R$.

Then the annihilator of $D$ is defined as:

$\map {\mathrm {Ann} } D = \set {n \in \Z: \forall d \in D: n \cdot d = 0_R}$

or, when $D = R$:

$\map {\mathrm {Ann} } R = \set {n \in \Z: \forall r \in R: n \cdot r = 0_R}$

It is seen to be, therefore, the set of all integers whose integral multiples, with respect to the elements of a ring or a field, are all equal to the zero of that ring or field.

Trivial Annihilator

From Annihilator of Ring Always Contains Zero, we have that $0 \in \map {\mathrm {Ann} } R$ whatever the ring $R$ is.

$R$ is said to have a trivial annihilator if and only if its annihilator $\map {\mathrm {Ann} } R$ consists only of the integer $0$.

Also see

• Results about annihilators can be found here.

Linguistic Note

The word annihilator calls to mind a force of destruction which removes something from existence.

In fact, the word is a compound construct based on the Latin nihil, which means nothing.

Thus annihilator can be seen to mean, literally, an entity which causes (something) to become nothing.

The pronunciation of annihilator is something like an-nile-a-tor.