>>975
0がtorsion submoduleの元だからそういう言い方をするんだよ。

乗法的な（記法を用いているときの）モノイドで 0^0 = 1 に嫌悪感を持つ人は加法的モノイドで0 \times 0 = 0 も気持ち悪いんですかね。数学的な内容は全くおんなじだけどね。

まぁ人間は感情が大切な生きものだから。