>>745
３次対称群で、
x=(12)、y=(13)、z=e(単位元)
とおくと、
xxyy=zzだけど、xy=yxじゃないよ。