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

用编程的方法讨论了群论中结合律的检查，同时把闭合律、单位元、逆元的检查也添进程序中，使得该程序能检查一个有限集合对所给二元运算是否成一个群。