generated at
2/16/2025, 3:14:16 AM
加法群
可換群
で、特に
演算を+
単位元
を0
逆元を-x
と表記するもののこと
つまり単なる慣用上の表記の話