up:: Group Action
Let be a Group acting upon a set . Let and its Orbit.
Then the map
is a surjection, since all points in the orbit have at least some which take to it.
Jul 09, 20231 min read
up:: Group Action
Let G be a Group acting upon a set X. Let x∈X and Orbx its Orbit.
Then the map
φ:G→Orbxg↦g⋅xis a surjection, since all points in the orbit have at least some g∈G which take x to it.