n 元对称群

所有的 n 元置换 构成的集合 $S_n$ 关于置换乘法构成群, 称为 $n$ 元对称群. 其子群称为 $n$ 元置换群.