空でない集合 G 上に積と呼ばれる二項演算が定義されている．
x,y の積を xy で表す．
次の条件が満たされるとき、G はこの積に関し群となるか。
1) 積は結合法則を満たす．(任意の x,y,z に対し，(xy)z=x(yz))
2) 任意の a に対し，x が存在し，任意の y に対し，
(xa)y=y となる。