结合律筹检法的改进

用乘法表给出一个n元群胚(具有二元积的n元系),要检验它是否为群,较为困难的是结合律的检验,因为检验结合律的工作量较大。因此寻求检验结合律的简便方法,也是人们关心的一个问题。1]、2]、3]中各有一种检验结合律的方法,在实际施行中1]的方法较简便。以下简称1]的方法为筹检法,简称2]的方法为置换法。筹检法需构作2(n-1)个n阶方阵。本文将筹检法与置换法结合起来,给出一个改进的关于群的结合律的筹检法,它只需构作n-1个n阶方阵。本文还将筹检法推广到有限半群,并得出含左(右)单位元的半群及交换半群的特殊筹检法。