Stabilizers are a subgroup

up:: Stabilizer of Group Action

Let there be a Group Action of over , and let . Then the stabilizer of is

1. Operation closure

Let . Then

which implies that

2. Identity element

Let , since .

3. Inverse element

Let . Then, since

Thus, .

Thus, is a Normal Subgroup of .