Lemma 10.5.5. Let $R \to S$ be a ring map. Let $M$ be an $S$-module. If $M$ is finite as an $R$-module, then $M$ is finite as an $S$-module.

Proof. In fact, any $R$-generating set of $M$ is also an $S$-generating set of $M$, since the $R$-module structure is induced by the image of $R$ in $S$. $\square$

There are also:

• 9 comment(s) on Section 10.5: Finite modules and finitely presented modules

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).