まずは定義を述べよう. とおく. を次対称群という. これは合成に関して群をなす. の元を(次)の置換という. に対して, を と定め, の互換という. また, とおき, に対して をの符号という. また, は, のとき偶置換, のとき奇置換であるという. 以下ではすぐに…