群 (Group) 復習→ ノート:群・モノイド・半群・マグマ(亜群) - 滴了庵日録集合 G と 演算 ◦ の組 (G, ◦) が G0~G3をみたすなら群、G0~G1をみたすなら半群 (G0) 閉じている (G1) 結合法則 (G2) 単位元の存在 (G3) 逆元の存在 さらにG4も満たすなら可換群(アーベル群) (G4) 交換法則 環 (Ring) 集合 R と 乗法・, 加法+ の組 (R,+,・) が R1~R3をみたすなら環 (R1) 加法について可換群である (R2) 乗法について半群である (R3) 分配法則 さらにR4も満たすなら可換環 (R4) 乗法の交換法則 加法の単位元…