Orbit–Stabilizer Method

A method using a group action on a set that applies the orbit–stabilizer relationship |Orbit(x)| = [G : Stab(x)] (or its group-theoretic analogues) to relate sizes or indices of orbits and stabilizer subgroups, enabling counting arguments and structural deductions about actions, conjugacy classes, and quotient sets.