Abelian group
加法群是一种在某种意义上将群运算为加法的群。它通常是阿贝尔群，使用二元运算符号formula_1。