余代数のグラフ表現についてを書いていて思ったことでもあるのだが、次の主張は正しいのだろうか？ 主張 を環、を-加群、をその部分加群とする。 はと同型である。 実は桂利行『代数学2』の2.2節(IV)に「証明」が載っている。として、の全射性までは正しいと…