A对∀a∈G，必有B对∀a，x，y∈G，若ax=ay，必有x=yC对∀a，b∈G，必有ab=baD对∀a∈G，必有aa=a