>>493
三文字 [1, 2, 3} 上の置換全体の群である３次対称群。
1,2 の入れ替えと、 2, 3 の入れ替えは
順序を交換すると違った置換になるので非可換。

>>494は非可換性が説明(証明)されていない。