Free group action

A group action of a group on a set is called free (or simple) if for any such that In other words, only the identity element maps a point to itself. For every other group element, the action moves the point around (it’s not fixed).