设＜S，*＞是半群，对∀a，b∈S，若a≠b，就有a*b≠b*a，则下列叙述中不正确的是（）。A.对∀a，b，

单项选择题

设＜S，*＞是半群，对∀a，b∈S，若a≠b，就有a*b≠b*a，则下列叙述中不正确的是（）。

A.对∀a，b，c∈S，必有a*b*c=a*c
B.对∀a，x，y∈S，若a*x=a*y，必有x=y
C.对∀a，b∈S，必有a*b*a=a
D.对∀a∈S，必有a*a=a