>>602
間違えました

有限集合にある演算を定義したときその集合がその演算に関して群になるかどうか
判定するプログラムって可能ですか?

でした