Group action orbit Orbit counting lemma Given an action of the group on the set , let denote the set of all left invariant by . Then the number of orbits of in is group where enumerate conjugacy classes. Proof proof develop | en | sembr