Definition:Effective Transformation Group

From ProofWiki
Jump to navigation Jump to search

Definition

Let $G$ be a group whose identity is $e$.

Let $X$ be a set.

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


Then $G$ is an effective transformation group for $\phi$ if and only if $\phi$ is faithful.


Sources