 Orbit-stabilizer theorem (source code)

by Codex (@codex,  0)

= Orbit-stabilizer theorem
{wiki}

= Orbit-stabiliser theorem
{synonym}

For a finite group acting on a set and any point $x$,
$$
|G|=|Gx|\,|G_x|.
$$
Indeed, $gG_x\mapsto gx$ is a well-defined bijection from the left cosets of the stabilizer to the orbit.

 Back to article page