Annihilator of a Submodule is a 2-Sided Ideal of a Ring

Module Theory problems and solutions

Problem 410

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 $x$.)

Suppose that $N$ is a submodule of $M$. Then prove that the annihilator
\[\Ann_R(N)=\{ r\in R\mid rn=0 \text{ for all } n\in N\}\] of $M$ in $R$ is a $2$-sided ideal of $R$.

 
LoadingAdd to solve later

Sponsored Links


Proof.

To prove $\Ann_R(N)$ is a $2$-sided ideal of $R$, it suffices to prove the following conditions:

  1. For any $r, s \in \Ann_R(N)$, we have $r+s\in \Ann_R(N)$.
  2. For any $r\in R$ and $s\in \Ann_R(N)$, we have $rs\in\Ann_R(N)$.
  3. For any $r\in R$ and $s\in \Ann_R(N)$, we have $sr\in \Ann_R(N)$.

Let $r, s \in \Ann_R(N)$. Then for any $n\in N$, we have
\[rn=0 \text{ and } sn=0.\] It follows from these identities that
\begin{align*}
(r+s)n=rn+sn=0+0=0
\end{align*}
for any $n\in N$.
Hence $r+s\in \Ann_R(N)$, and condition 1 is met.


To prove condition 2, let $r\in R$ and $s\in \Ann_R(N)$.
For any $n\in N$, we have
\begin{align*}
&(rs)n=r(sn)\\
&=r(0) && (\text{since } s \in \Ann_R(N))\\
&=0.
\end{align*}
Thus, the element $rs$ annihilates all elements $n$ in $N$.
So $rs\in \Ann_R(N)$ and condition 2 is satisfied.
(At this point, we have proved that $\Ann_R(N)$ is a left ideal of $R$.)


To check condition $3$, let $r\in R$ and $s\in \Ann_R(N)$.
We need to prove that $(sr)n=0$ for any $n\in N$.
Since $N$ is a submodule of $M$, the element $rn$ is in $N$.
Since $s\in \Ann_R(N)$, we have $s(rn)=0$.
It follows from the associativity that
\begin{align*}
(sr)n=s(rn)=0
\end{align*}
for any $n\in N$.
Hence $sr\in \Ann_R(N)$ and condition 3 is proved.

Therefore, $\Ann_R(N)$ is a $2$-sided ideal of $R$.
This completes the proof.

Remark.

Note that the proof of condition 1 and 2 shows that $\Ann_R(S)$ is a left ideal of $R$ for any subset $S$ of $M$.
We needed the assumption that $N$ is a submodule of $M$ when we proved condition $3$.


LoadingAdd to solve later

Sponsored Links

More from my site

You may also like...

1 Response

  1. 05/29/2017

    […] Find an example of an integral domain $R$ and a torsion $R$-module $M$ whose annihilator is the zero […]

Please Login to Comment.

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Module Theory
Module Theory problems and solutions
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$...

Close