加法群
アーベル群
で、特に
演算を
$ +
単位元
を0
逆元を
$ -x
と表記するもののこと
https://ja.wikipedia.org/wiki/加法群