群についてまた質問です

有限集合に定義された演算が群かどうか判定するプログラムって可能ですか?