是集合上的置換群,也就是的一一對應(yīng)，一個群作用就是群同態(tài)

，取,定義為所在的軌道。

定義為的不動子群，因此作為集合其實就是商群，如果，就說作用是可遷的，如果,就說這個作用是忠實的。是共軛子群關(guān)系，可驗證。以后都用代表。