群的方程定义
군적방정정의
On the Equational Definition of Group