generated at
加法群
アーベル群で、特に
演算を+
逆元を-x
と表記するもののこと