群の定義集合 G とその上の二項演算 μ: G × G → G の組 (G, μ) が群であるとは、以下の3つの条件を満たすことを言います。1.単位元の存在2.逆元の存在3.結合則通常の積や和などの演算ばかり考えていると、3.結合則をチェックする必要感じなくなる気しません…