前に数学ガールを読んでいるってことを書いたけど、その中で群というものが出てくる。 群の定義（群の公理） 以下の公理を満たす集合を群という。 G1 演算*に関して閉じている。 G2 任意の元に対して、結合法則が成り立つ。 G3 単位元が存在する。 G4 任意の…