加法群

演算を+

逆元を-x

と表記するもののこと

つまり単なる慣用上の表記の話