关于群的一个定义 (1979年)

在M・Hall著的群论中用“除法”给出了群的一个定义,该定义为:群G是一元素之集G(a,b,…),具有二元运算a/b满足;L0.对G之每有序元素偶a,b确定唯一元素a/b=c∈GL1.a/a=b/bL2.a/(b/b)=a (Ⅰ)L3.(a/a)/(b/c)=c/bL4.(a/c)/(b/c)=a/b