由n个元素的集合中各元素的全部置换所构成的群。n阶对称群的定义是：以n个数字{1，2，…，n}间的所有置换操作为元素构成的群，也称为n阶置换群Sn。