generated at
加法群
可換群で、特に
演算を+
逆元を-x

と表記するもののこと
つまり単なる慣用上の表記の話