Let $R$ be a commutative ring and $I,J$ ideals of $R$ such that $J$ is finitely generated and the rings $R/I$ and $R/J$ are Noetherian. Are the $R$-modules $R/J$, $J/IJ$, $R/IJ$ Noetherian? Is the ring $R/IJ$ is Noetherian?
Noetherian quotient rings
4
$\begingroup$
commutative-algebra
noetherian
-
1$R/J$ is a noetherian ring, which means that all its ideals are finitely generated. The $R$-submodules of $R/J$ are also $R/J$-submodules which are precisely the ideals of $R/J$. But those are all finitely generated which is equivalent to $R/J$ being noetherian. – 2011-01-14
1 Answers
7
Sebastian did the $R/J$ case in the comments. Now $J/IJ$ is $J\otimes R/I$ which, since $J$ is finitely generated and $R/I$ is Noetherian (as an R-module), is a Noetherian R-module. The exact sequence $ 0\rightarrow J/IJ \rightarrow R/IJ\rightarrow R/J\rightarrow 0$ and the previous two results show $R/IJ$ is Noetherian.