18
$\begingroup$

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?

  • 0
    For the counterexample I have no idea. For the first question I believe to have an answer but I'm not sure. Here it is: $M=_R$, take $\varphi\in\mathrm{Hom}_R(M,N)$. Then $\varphi(x_i)=n_{i1}+\cdots+n_{im_{i}}$ where $n_{ij}\in N_j$ (for semplicity I took all the homogeneous elements in $N$ of positive degree). If we adjoin zero to the decomposition of $\varphi(x_i)$ we can suppose that they are of the form $\varphi(x_i)=n_{i1}+\cdots+n_{im}$. If we define $\varphi_j(x_i)=n_{ij}$ then $\varphi(x_i)=\sum^m_{j=1}\varphi_j(x_i)$ and so $\varphi=\sum^m_{j=1}\varphi_j$.2011-02-02
  • 0
    Well, maybe I have the conterexample: take $R=\mathbb{Z}$ and $M=\mathbb{Z}[x]$. As an $R$-module $M$ is not finite. Take $N=M$ and $id\in\mathrm{Hom}_R(M,M)$. If $id=\varphi_1+\ldots+\varphi_n$ with $\varphi_i$ homogeneous of degree $i$, then for all $j$ we have $x^j=\varphi_1(x^j)+\cdots+\varphi_n(x^j)$, if this equality holds for all $j$ we have a contradiction.2011-02-02
  • 0
    In the previous comment I'm assuming $\mathbb{Z}$ graded with the trivial grading.2011-02-02
  • 0
    In my first comment I'm not sure that the homomorphisms $\varphi_j$ are homogeneous of some degree.2011-02-02
  • 0
    Wesley, the identity map of every graded module is a morphism of graded modules, of degree zero.2011-02-02
  • 0
    Yes...I forgot the grade 0, I believe that also my proof of the first question is wrong, because $\varphi_j$ maps all $M$ in $N_j$.2011-02-02
  • 1
    maybe $\varphi\in\mathrm{Hom}_{\mathbb{Z}}(\mathbb{Z}[x],\mathbb{Z}[x])$ such that $\varphi(x^i)=x^{2i}$ works2011-02-03

3 Answers 3