Stabilizer

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