有限群的结合律的计算机检查法 (2000年)

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