Suppose we have a Group action of a Group on a set .
The stabilizer of is defined as:
Proposition
The stabilizer is a Subgroup of .
NOTE: Not necessarily Normal.
Proposition
Suppose are in the same Orbit
Then the stabilizers and are Conjugate (in the sense of subsets)
Proof
Let .
Then check