原创 (Orbit-stabilizer theorem) 的簡單證明

給定一個羣 G ,m∈G ,則元素 m 的跡 G⋅m={am|a∈G} 。羣元素 m 的isotropy group 定義爲 Gm={a|am=m,a∈G} 。有如下定理: 定理: 元素 m 軌道集合 G⋅m 的元素個數與元素