orbit-stabilizer theorem

专有名词proper noun

1. 1(algebra) A theorem which states that for each element of a given set that a given group acts on, there is a natural bijection between the orbit of that element and the cosets of the stabilizer subgroup with respect to that element.