# Finitely Generated Torsion Module Over an Integral Domain Has a Nonzero Annihilator

## Problem 432

(a) Let $R$ be an integral domain and let $M$ be a finitely generated torsion $R$-module.
Prove that the module $M$ has a nonzero annihilator.
In other words, show that there is a nonzero element $r\in R$ such that $rm=0$ for all $m\in M$.
Here $r$ does not depend on $m$.

(b) Find an example of an integral domain $R$ and a torsion $R$-module $M$ whose annihilator is the zero ideal.

## Proof.

### (a) Prove that the module $M$ has a nonzero annihilator.

Since $M$ is a finitely generated $R$-module, there is a finite set
$A:=\{a_1, a_2, \dots, a_n\} \subset M$ such that $M=RA$

As $M$ is a torsion $R$-module, for each $a_i\in A\subset M$ there is a nonzero element $r_i\in R$ such that
$r_ia_i=0.$ Let us put $r\in R$ to be the product of these $r_i$:
$r:=r_1 r_2 \cdots r_n.$ Note that $r$ is a nonzero element of $R$ since each $r_i$ is nonzero and $R$ is an integral domain.

We claim that the element $r$ annihilates the module $M$.
Let $m$ be an arbitrary element in $M$. Since $M$ is generated by the set $A$, we can write
$m=s_1a_1+s_2a_2+\cdots +s_n a_n$ for some elements $s_1, s_2, \dots, s_n\in R$.

Note that since $R$ is an integral domain, it is commutative by definition.
Hence we can change the order of the product in $r$ freely. Thus for each $i$ we can write
$r=p_ir_i,$ where $p_i$ is the product of all $r_j$ except $r_i$.

Then it follows that we have
\begin{align*}
ra_i&=p_ir_ia_i=p_i0=0 \tag{*}
\end{align*}
for each $i$.
Using this, we obtain
\begin{align*}
rm&=r(s_1a_1+s_2a_2+\cdots +s_n a_n)\\
&=rs_1a_1+rs_2a_2+\cdots +rs_n a_n\\
&=s_1ra_1+s_2ra_2+\cdots +s_n ra_n && \text{as $R$ is commutative}\\
&=s_10+s_20+\cdots +s_n 0 && \text{by (*)}\\
&=0.
\end{align*}
Therefore, for any element $m\in M$ we have proved that $rm=0$.
Thus the nonzero element $r$ annihilates the module $M$.

### (b) Find an example of an integral domain $R$ and a torsion $R$-module $M$ whose annihilator is the zero ideal.

Let $R=\Z$ be the ring of integers. Then $R=\Z$ is an integral domain.
Consider the $\Z$-module
$M=\oplus_{i=1}^{\infty}\Zmod{2^i}.$

Then each element $a\in M$ can be written as
$a=(a_1+\Zmod{2}, a_2+\Zmod{2^2}, \dots, a_k+\Zmod{2^k}, 0, 0, \dots)$ for some $a_1, a_2, \dots, a_k\in \Z$.
(Here $k$ depends on $a$.)

It follows that we have
$2^ka=0,$ and thus $M$ is a torsion $\Z$-module.

We now prove that any annihilator of $M$ must be the zero element of $R=\Z$.
Let $r\in \Z$ be an annihilator of $M$.
Choose an integer $k$ so that $r < 2^k$. Consider the element $a=(0, 0, \dots, 1+\Zmod{2^k}, 0, 0, \dots)$ in $M$. The only nonzero entry of $a$ is at the $k$-th place. Since $r$ is an annihilator, we have \begin{align*} 0=ra=(0, 0, \dots, r+\Zmod{2^k}, 0, 0, \dots) \end{align*} and this implies that $r=0$ because $r < 2^k$. We conclude that the annihilator is the zero ideal.

### More from my site

• Annihilator of a Submodule is a 2-Sided Ideal of a Ring Let $R$ be a ring with $1$ and let $M$ be a left $R$-module. Let $S$ be a subset of $M$. The annihilator of $S$ in $R$ is the subset of the ring $R$ defined to be $\Ann_R(S)=\{ r\in R\mid rx=0 \text{ for all } x\in S\}.$ (If $rx=0, r\in R, x\in S$, then we say $r$ annihilates […]
• Torsion Submodule, Integral Domain, and Zero Divisors Let $R$ be a ring with $1$. An element of the $R$-module $M$ is called a torsion element if $rm=0$ for some nonzero element $r\in R$. The set of torsion elements is denoted $\Tor(M)=\{m \in M \mid rm=0 \text{ for some nonzero} r\in R\}.$ (a) Prove that if $R$ is an […]
• Nilpotent Ideal and Surjective Module Homomorphisms Let $R$ be a commutative ring and let $I$ be a nilpotent ideal of $R$. Let $M$ and $N$ be $R$-modules and let $\phi:M\to N$ be an $R$-module homomorphism. Prove that if the induced homomorphism $\bar{\phi}: M/IM \to N/IN$ is surjective, then $\phi$ is surjective.   […]
• A Module $M$ is Irreducible if and only if $M$ is isomorphic to $R/I$ for a Maximal Ideal $I$. Let $R$ be a commutative ring with $1$ and let $M$ be an $R$-module. Prove that the $R$-module $M$ is irreducible if and only if $M$ is isomorphic to $R/I$, where $I$ is a maximal ideal of $R$, as an $R$-module.     Definition (Irreducible module). An […]
• Linearly Dependent Module Elements / Module Homomorphism and Linearly Independency (a) Let $R$ be a commutative ring. If we regard $R$ as a left $R$-module, then prove that any two distinct elements of the module $R$ are linearly dependent. (b) Let $f: M\to M'$ be a left $R$-module homomorphism. Let $\{x_1, \dots, x_n\}$ be a subset in $M$. Prove that if the set […]
• Submodule Consists of Elements Annihilated by Some Power of an Ideal Let $R$ be a ring with $1$ and let $M$ be an $R$-module. Let $I$ be an ideal of $R$. Let $M'$ be the subset of elements $a$ of $M$ that are annihilated by some power $I^k$ of the ideal $I$, where the power $k$ may depend on $a$. Prove that $M'$ is a submodule of […]
• Basic Exercise Problems in Module Theory Let $R$ be a ring with $1$ and $M$ be a left $R$-module. (a) Prove that $0_Rm=0_M$ for all $m \in M$. Here $0_R$ is the zero element in the ring $R$ and $0_M$ is the zero element in the module $M$, that is, the identity element of the additive group $M$. To simplify the […]
• If Every Proper Ideal of a Commutative Ring is a Prime Ideal, then It is a Field. Let $R$ be a commutative ring with $1$. Prove that if every proper ideal of $R$ is a prime ideal, then $R$ is a field.   Proof. As the zero ideal $(0)$ of $R$ is a proper ideal, it is a prime ideal by assumption. Hence $R=R/\{0\}$ is an integral […]

#### You may also like...

##### Nilpotent Ideal and Surjective Module Homomorphisms

Let $R$ be a commutative ring and let $I$ be a nilpotent ideal of $R$. Let $M$ and $N$ be...

Close