アーベル群
を満たすとき、この群のことをアーベル群（可換群）という。アーベル群の演算は "+" を用いて加法的にも書かれ、この際 "g" の逆元は −"g" と書かれる。