[Math] Homomorphisms of graded modules

abstract-algebracommutative-algebragraded-modulesmodules

Let $M$ and $N$ be graded $R$-modules (with $R$ a graded ring). $\varphi:M\rightarrow N$ is a homogeneous homomorphism of degree $i$ if $\varphi(M_n)\subset N_{n+i}$. Denote by $\mathrm{Hom}_i(M,N)$ the group of homogeneous homomorphisms of degree $i$. We define $^*\mathrm{Hom}_R(M,N)=\bigoplus_{i\in\mathbb{Z}}\mathrm{Hom}_i(M,N)$. This is a (graded) $R$-submodule of $\mathrm{Hom}_R(M,N)$.

How can I prove that these two modules are equal if $M$ is finite? And do you know a counterexample if $M$ is not finite?

Best Answer

I will just take a guess that you mean $M$ is finitely generated, not finite.

Pick a set of homogeneous generators $g_1, \ldots, g_n$ of $M$ such that $g_i \in M_{m_i}$. For any $g_i$, $\varphi(g_i) \in \bigoplus_{j=1}^{k_m} N_{n_{i,j}}$, i.e., degrees seen by applying $\varphi$ to $g_i$ are $n_{i,j} - m_i$. Since $\varphi$ is completely determined by $g_i$, we know that $\varphi \in \sum_{i,j} \hbox{Hom}_{n_{i,j} - m_i}(M, N)$. (I use "sum" because there might be duplicates.)

Related Question