A group action is free iff all its stabilizers are trivial

up:: Free Group Action

Let there be a Free Group Action of over . Let . Then the Stabilizer of is

However, by the definition of a free group action, we have that . Thus, .

Thus, the stabilizers of all are trivial.

Let , for which we assume .

Thus, this means that , which means that the group action is free.