可換群
任意の元について交換法則が成り立つ群
アーベル群ともいう