a_3包含所有可能的置换，那么formula_3被称为对称群formula_10。一般地，任何置换群都是formula_1的对称群的子群。凯莱定理表明，通过构造左正规表示，任何一个群都可以视作自身上的一个变换群。
矩阵群.例子：李群
变换群.如果集合formula_12的所有一一变换作成群，则称为formula_12的一一变换群或对称群。设formula_3是一个非空集合，formula_3的元素间定义一种运算“formula_16”。如果formula