Group Action

A Group Action is a homomorphism from a group G to the permutation group Sym(X) of a set X, equivalently a map G × X → X satisfying e·x = x for the identity e and (gh)·x = g·(h·x) for all g,h ∈ G and x ∈ X; it describes how group elements permute or transform elements of X.