设(G,*)是一个群,如果对于任意AB