Definition:Faithful Group Action

Definition
Let $G$ be a group with identity $e$.

Let $X$ be a set.

Let $\phi: G \times X \to X$ be a group action.

Also known as
A faithful group action is also known as an effective group action.

Also see

 * Equivalence of Definitions of Faithful Group Action
 * Definition:Kernel of Group Action
 * Definition:Free Group Action