Tensor product of Noetherian modules

Solution 1:

The tensor product of two Noetherian modules is indeed Noetherian. Even better, if $L$ is finitely generated and $N$ is Noetherian, then $L \otimes_R N$ is Noetherian.

Because $L$ is finitely generated, there is an exact sequence $R^m \to L \to 0$ for some integern $m \geq 0$. Applying the right exact functor $-\otimes_R N$ yields an exact sequence $R^m \otimes_R N \to L \otimes_R N \to 0$. But $R^m \otimes_R N \cong N^m$ is Noetherian, so its homomorphic image $L \otimes_R N$ must also be Noetherian.