Contribution: OrbStab
Finite orbit-stabilizer theorem
Authors
- Robert Kam
Description
Finite orbit-stabilizer theorem, based on Rahbar Virk's lecture notes. A large portion of the work was a simplified version of the inclusion-exclusion principle. Requires Loic Pottier's Algebra contribution, and Jasper Stein's Linear Algebra contribution.
Keywords
orbit, stabilizer, inclusion exclusion