群中的乘法运算满足ab=ba()。