【代数学】可換群（アーベル群）の定義

$(G, *)$ を群とする．
任意の $a, b \in G$ に対して，

$$a * b = b * a$$

が成り立つとき，$(G, *)$ を可換群（またはアーベル群）という．