有限群的结合律的计算机检查法

• Checking by computer method for the associative law of finite groups