Exercise 4.1.1 Prove Proposition 4.1.5:

Suppose Gx X → X is an action. Then for all z € X, stabĠ(z) is a subgroup of G and the kernel K of the action

is the intersection of all stabilizers