【正确答案】先证明(G，*)是一个群．因为已知(G，*)是一个独异点，并且对于G中的每一个元素x都有x*x=e，其中e是单位元，即G中的每一个元素x的逆元都是x本身，从而得(G，*)是一个群．
   对于G中的任意两个元素x、y，只要其中有一个为单位元，就有x*y=y*x．
   下面证明对于G中的任意两个不为单位元的元素x、y，有x*y=y*x．用反证法．
   假使x*y≠y*x，则有x*x*y*y≠x*y*x*y，即
   (x*y)²=(x*y)*(x*y)≠e．
   因x*y∈G，则由题目的条件知，一定有
   (x*y)²=(x*y)*(x*y)=e．
   二者矛盾，从而得到x*y=y*x成立．
   所以(G，*)是一个阿贝尔群．