orbit-stabilizer theorem

English

Noun

orbit-stabilizer theorem (uncountable)

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.