Let a of a group GG on a set XX be given. The kernel of the action is

ker⁡(G↷X):={g∈G:g⋅x=x for all x∈X}.\ker(G\curvearrowright X) := \{g\in G : g\cdot x = x \text{ for all } x\in X\}.

This is a of GG; it is the of the associated permutation homomorphism G→Sym(X)G\to \mathrm{Sym}(X). The action is precisely when this kernel is trivial.

Examples
  • For the trivial action, the kernel is all of GG.
  • For the left translation action of GG on itself, the kernel is the identity element alone.
  • For conjugation of GG on itself, the kernel is the center Z(G)Z(G) (elements that commute with everything).