可換群
可換群(commutative group)
群の条件 + 交換則(可換則(commutative law))を満たすと可換群
アーベル群であるともいう
(G1)演算が閉じている
(G2)結合則を満たす
(G3)単位律
単位元$ 0 が存在する
(G4)逆元の存在
(G5)交換則
$ x \circ y = y \circ x が成り立つ
交換則ともいう
関連
閉じている(群論)
初等代数学
メモ
交換法則 - ウィクショナリー日本語版