下列关于循环群的叙述,不一定成立的是( )。
A. ∀a, x, y∈G,若a*x=a*y,则x=y
B. ∀x, y∈G,x*y=y*x
C. ∀a∈G,a*a=a
D. ∀a, b, c∈G,a*(b*c)=(a*b)*c
设是半群,对∀a, b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是( )。 (用逆否命题)
A. 对∀a,x,y∈S,若a*x=a*y,必有x=y
B. 对∀a∈S,必有a*a=a
C. 对∀a, b∈S,必有a*b*a=a
D. 对∀a, b,c∈S,必有a*b*c=a*c