# Ring contained in a R-module finitely generated

Let $R$ be a Noetherian domain with quotient field $K$ and let $b_1,\ldots,b_n\in K$.

Suppose that $R'$ is a integral domain, $R\subseteq R'$ and

$$R'\subseteq \sum_j Rb_j.$$

Remark: It is well know that if $R$ is a Noetherian ring and $M$ is a finitely generated $R$-module then $M$ is Noetherian.

Thus, the $R$-module $\sum_j Rb_j$ is Noetherian.

Now, let $I$ be a ideal of $R'$, then $I$ is a $R$-submodule of $\sum_j Rb_j.$

This implies that $I$ is a finitely generated $R$-submodule, in particular is finitely generated as $R'$-module.

The conclusion is that $R'$ is a Noetherian ring.

Is correct ?

Thank you all.

• Why are you saying "Now, let $I$ be a ideal of $R'$, then $I$ is a $R$-submodule of $\sum_j Rb_j.$" It will be $R'$ submodule, I agree, but I do not think it has to $R$ module. – Bhaskar Vashishth Feb 26 '15 at 8:13
• Because $R\subseteq R'$, then $I$ is a $R-$ submodule of $\sum_j Rb_j.$. right? – user126033 Feb 26 '15 at 8:23
• Ohh ya. Ok. But from here we can only say that $I$ is a noetherian module over $R$. Not that $R'$ is noetherian. Why you concluded this? – Bhaskar Vashishth Feb 26 '15 at 8:27

A minor remark: you should assume that $R'$ is a subring of $K$, containing $R$. This ensures the operations match.
First of all, $R'$ is an $R$-algebra, in particular an $R$-module. Since $R'$ is contained in a finitely generated $R$-module, it is noetherian as an $R$-module.
Now we prove that whenever $A$ is an $R$-algebra, finitely generated as $R$-module, it is a noetherian ring. (Of course, we keep the basic hypothesis that $R$ is a noetherian ring).
If $I_0\subseteq I_1\subseteq\dots\subseteq I_n\subseteq \dotsb$ is an ascending chain of ideals of $A$, it is also an ascending chain of $R$-submodules of $A$, so it stabilizes.