数学中,对一个给定的集合 $M$,所有由 $M$ 到自身的可逆映射构成的集合关于映射的合成构成一个群,称为 $M$ 的对称群,记为 $S_M$。
$S_M$ 的任一子群称为 $M$ 上的置换群(permutation group)。
如果 $M$ 是包含 $n$ 个元素的有限集,称其到自身的可逆映射为 $n$ 阶置换,其对称群 $S_M$ 称为 $n$ 阶对称群,记为 $S_n$。
$S_n$ 的任一子群亦为置换群。
置换群到被置换的元素的应用称为群作用;它在对称性和组合论以及数学的其他很多分支中有应用,也是研究晶体结构等所不可或缺的工具。