ちょっと coffee break. 鎖複体 において、任意の左 R - 加群 N に対して双対鎖複体 が考えられる。Hom の左完全性の逆とはすなわち ということである。一般に任意の R - 加群 N に対して だから、 から はすぐわかる。したがって後示すことは である。 今 R…