成元和关系给定。
置换群.置换群是第一类被系统研究的群。对给定的集合formula_1，formula_1到自身的一些双射（通常叫做"置换"）的集合formula_3如果在复合运算和求逆运算下封闭，那么称formula_3是一个作用于formula_1上的群。如果formula_1包含formula_7个元素而formula_3包含所有可能的置换，那么formula_3被称为对称群formula_10。一般地，任何置换群都是formula_1的对称群的子群。凯莱定理表明，通过构造左