Nilpotent Ideal and Surjective Module Homomorphisms

Module Theory problems and solutions

Problem 431

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.

 
LoadingAdd to solve later

Proof.

Since the homomorphism $\bar{\phi}:M/IM \to N/IN$ is surjective, for any $b\in N$ there exists $a\in M$ such that
\[\bar{\phi}(\bar{a})=\bar{b}, \tag{*}\] where $\bar{a}=a+IM$ and $\bar{b}=b+IN$.
By definition of $\bar{\phi}:M/IM \to N/IN$, we have
\[\bar{\phi}(\bar{a})=\overline{\phi(a)}=\phi(a)+IN.\] Thus, it follows from (*) that
\[\phi(a)+IN=b+IN,\] or equivalently
\[b-\phi(a)\in IN.\] Thus we have
\[b\in \phi(M)+IN.\]


Now we claim that for any $b\in N$ and any positive integer $k$, we have
\[b\in \phi(M)+I^kN.\] We prove this claim by induction on $k$.
The base case $k=1$ is proved above.
Suppose that $b\in \phi(M)+I^nN$. Then we prove that $b\in \phi(M)+I^{n+1}N$.
Since $b\in \phi(M)+I^nN$, we have
\[b=\phi(a)+\sum_{i}\alpha_i c_i,\] where the sum is finite and $\alpha_i\in I^n$ and $c_i\in N$.
Since each $c_i\in N$, we have $c_i \in \phi(M)+IN$ by the base case.
Hence we have
\[c_i=\phi(a_i)+\sum_{j_i}\beta_{j_i}d_{j_i}\] for some finite pairs $(\beta_{j_i}, d_{j_i})\in (I, N)$.
It follows that we have
\begin{align*}
b&=\phi(a)+\sum_{i}\alpha_i c_i\\
&=\phi(a)+\sum_{i}\alpha_i \left(\, \phi(a_i)+\sum_{j_i}\beta_{j_i}d_{j_i} \,\right)\\
&=\phi(a)+\sum_i\alpha_i\phi(a_i)+\sum_{i}\sum_{j_i}\alpha_i\beta_{j_i}d_{j_i}\\
&=\phi(a)+\sum_i\phi(\alpha_ia_i)+\sum_{i, j_i}(\alpha_i\beta_{j_i})d_{j_i}\\
&=\phi\left(\, a+\sum_i\alpha_ia_i \,\right)+\sum_{i, j_i}(\alpha_i\beta_{j_i})d_{j_i},
\end{align*}
where the last two equalities follows since $\phi$ is an $R$-module homomorphism.
Since $\alpha_i\in I^n$ and $\beta_{j_i}\in I$, the product $\alpha_i\beta_{j_i}\in I^{n+1}$.
Hence the above expression of $b$ yields that
\[b\in \phi(M)+I^{n+1}N,\] and this completes the induction step and the claim is proved.


Now, since $I$ is a nilpotent ideal by assumption, there is a positive integer $n$ such that $I^n$ is the zero ideal of $R$. Thus, it follows from the claim that for any $b\in N$ we have
\begin{align*}
b\in \phi(M)+I^nN=\phi(M).
\end{align*}
This implies that $\phi:M\to N$ is surjective as required.


LoadingAdd to solve later

Sponsored Links

More from my site

  • Linearly Dependent Module Elements / Module Homomorphism and Linearly IndependencyLinearly 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 […]
  • Finitely Generated Torsion Module Over an Integral Domain Has a Nonzero AnnihilatorFinitely Generated Torsion Module Over an Integral Domain Has a Nonzero Annihilator (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 […]
  • Short Exact Sequence and Finitely Generated ModulesShort Exact Sequence and Finitely Generated Modules Let $R$ be a ring with $1$. Let \[0\to M\xrightarrow{f} M' \xrightarrow{g} M^{\prime\prime} \to 0 \tag{*}\] be an exact sequence of left $R$-modules. Prove that if $M$ and $M^{\prime\prime}$ are finitely generated, then $M'$ is also finitely generated.   […]
  • Torsion Submodule, Integral Domain, and Zero DivisorsTorsion 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 […]
  • A Module $M$ is Irreducible if and only if $M$ is isomorphic to $R/I$ for a Maximal Ideal $I$.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 […]
  • Annihilator of a Submodule is a 2-Sided Ideal of a RingAnnihilator 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 […]
  • Submodule Consists of Elements Annihilated by Some Power of an IdealSubmodule 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 TheoryBasic 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 […]

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

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

More in Module Theory
Module Theory problems and solutions
Difference Between Ring Homomorphisms and Module Homomorphisms

Let $R$ be a ring with $1$ and consider $R$ as a module over itself. (a) Determine whether every module...

Close