The Orbit-Stabilizer says that, given a group G which acts on a set X, then there exists a bijection between the orbit of an element x∈X and the set of left cosets of the stabilizer group of x in G. In other words, that the cardinality of the orbit of an element x∈X is equal to the index of its stabilizer subgroup in G.
I’ve seen two different texts present this, both of which explicitly say that this captures a very intuitive idea. I’m sorry if it’s obvious, but I don’t see the intuition behind this.
I’ve asked a few questions looking for intuition now, and have received outstanding advice. As such, again I’m looking to the community to share some of their insights on this idea, and how they think of this theorem. As always, any help is greatly appreciated. Thanks!