对称群（symmetric group），设X是一个集合（可以是无限集），X上的一个双射：a:X→X（即是置换）。集合X上的所有置换构成的族记为S(x)，S(x)关于映射的复合运算构成了一个群，当X是有限集时，设X中的元素个数为n，则称群S(x)为n次对称群。