用反证:
如果a*a=b(a,b不同)
那么(a*a)*a=b*a;
a*(a*a)=a*b;推出b*a=a*b
任意两个不同元素关于运算符“·”不可交换矛盾
所以对任何a є A ,a*a=a