規約：
A を可換環、 M を A-次数加群とする。 ただし A は A_0 = A,
p ≠ 0 のとき A_p = 0 として次数環と見なす。
Homgr(M, A) の p 次部分 Homgr(M, A)_p は Hom(M_(-p), A) と
見なせる。しかし、我々は Homgr(M, A) を考えるときは
Homgr(M, A)_p = Hom(M_p, A) と定義することにする。
何故、このように定義するかは後にわかる。