Tn＝{1,2,3,…,n}一共有n!个置换，它们组成的集合记作Sn，如果把置换之间的合成“•”看成是Tn上的运算，那么下述四条成立：
（1）Sn中任意两个置换合成的结果一定在Sn中。
（2）Sn中存在恒等置换。
（3）Sn中任意一个置换的逆置换也在Sn中。
（4）Sn中置换的合成满足结合律。
那么( Sn，• )是Tn的对称群，叫做n元对称群。