Orbit-stabilizer theorem
For a complete finite group action, the orbit size and stabilizer size of the same point multiply to the group order.
atlas-orbit-stabilizer-theorem · canonical_mko
Orbit-stabilizer theorem
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data