Orbit-stabilizer Theorem Definition

noun

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.

Wiktionary