>>57は解答になって無いと思うんだが、
ありゃ加群としての準同型ってだけで