Assume that $M$ and $N$ are two finitely generated $R$-modules. Then $\operatorname{Hom}_{R}(M,N)$ is a finitely generated $\mathbb Z$-module and/or $R$-module (in this case, assume that $R$ is commutative)?
Note that $R$ is not Noetherian ring. Is there any counterexample (for any cases)?
Best Answer
If $R$ is not noetherian it is not clear (to me) what kind of finiteness conditions on modules would imply that $\operatorname{Hom}_R(M,N)$ is finitely generated. Even for finitely presented modules this property fails. An example is the following: $R=K[X_1,\dots,X_n,\dots]/(X_1,\dots,X_n,\dots)^2$, $M=R/I$, where $I=(x_1)$, and $N=R$.
However, there are some trivial cases when $\operatorname{Hom}_R(M,N)$ is finitely generated, e.g. $M$ finitely generated and projective and $N$ finitely generated.