orbit stabilizer theorem

Statement

For a group acting on a set , the orbit mapping

gives a well-defined bijection

where denotes the -stabilizer of and the orbit of .

Importance

This shows a crucial link between stabilizers and orbits. Most specifically, the “larger” the stabilizer, then the orbit will be “smaller”. This can be in terms of co-dimension for infinite sets or order for finite sets.