Comment by gaze

Yes. The exchange operators form a group that is non-abelian.