Group Action Induces Equivalence Relation

From ProofWiki
Jump to navigation Jump to search


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

Let $X$ be a set.

Let $*: G \times S \to S$ be a group action.

Let $\mathcal R_G$ be the relation induced by $G$, that is:

$x \mathrel {\mathcal R_G} y \iff y \in \Orb x$


$\Orb x$ denotes the orbit of $x \in X$.


$\mathcal R_G$ is an equivalence relation.
The equivalence class of an element is its orbit.


Let $x \mathrel {\mathcal R_G} y \iff y \in \Orb x$.

Checking in turn each of the critera for equivalence:


$x = e * x \implies x \in \Orb x$ from the definition of group action.

Thus $\mathcal R_G$ is reflexive.



\(\displaystyle y\) \(\in\) \(\displaystyle \Orb x\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle \exists g \in G: y\) \(=\) \(\displaystyle g * x\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle g^{-1} * \paren {g * x}\) \(=\) \(\displaystyle g^{-1} * y\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle x\) \(=\) \(\displaystyle g^{-1} * y\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle \exists g^{-1} \in G: x\) \(=\) \(\displaystyle g^{-1} * y\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle x\) \(\in\) \(\displaystyle \Orb y\)

Thus $\mathcal R_G$ is symmetric.



\(\displaystyle y\) \(\in\) \(\displaystyle \Orb x, z \in \Orb y\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle \exists g_1 \in G: y\) \(=\) \(\displaystyle g_1 * x, \exists g_2 \in G: z = g_2 * y\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle z\) \(=\) \(\displaystyle g_2 * \paren {g_1 * x}\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle z\) \(=\) \(\displaystyle \paren {g_2 g_1} * x\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle z\) \(\in\) \(\displaystyle \Orb x\)

Thus $\mathcal R_G$ is transitive.


So $\mathcal R_G$ has been shown to be an equivalence relation.

Hence the result, by definition of an equivalence class.


Also see