摘要

利用C语言编制程序检验有限集合及其上二元运算是否适合结合律,是否存在单位元,每一个元是否存在逆元,从而快速检查一个有限集合对所给二元运算是否成一个群。