轨道-稳定集定理

设G是[1，n]上的一个置换群，Ek是[1，n]在G的作用下包含k的等价类，Zk是k不动置换类。有|Ek||Zk|=|G|.轨道-稳定集定理(Orbit-stabilizer theorem) 设G是[1，n]上的一个置换群，Ek是[1，n]在G的作用下包含k的等价类，Zk是k不动置换类。