>>842
もうすこし分かりやすくかいてくれないかな
加法に関して可換群で,結合法則が成り立つんだから
a0=0は常に成り立つわけで0に関する逆元は存在しようが無い気がするけど
(自明な場合を除く)