给定一个群 G , m∈G ,则元素 m 的迹 G⋅m={am|a∈G} 。群元素 m 的isotropy group 定义为 Gm={a|am=m,a∈G} 。有如下定理: 定理: 元素 m 轨道集合 G⋅m 的元素个数与元素 m 的isotropy group Gm 的元素个数之积,等于群 G 的元素个数。