加群の重要な定理の一つに Hom の左完全性と言われるものがありますが、私は今まで、その逆が成り立つことを知りませんでした。先日、DS 数学 BBS・2 へのとくなみきらさんからの質問によってこの事実を知り、また、その証明がAtiyah‐MacDonald 可換代数入門…