Noun
orbit-stabilizer theorem (uncountable)
(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.