Conjugacy Action on Subgroups is Group Action

From ProofWiki
Jump to navigation Jump to search


Let $\struct {G, \circ}$ be a group whose identity is $e$.

Let $X$ be the set of all subgroups of $G$.

For any $H \le G$ and for any $g \in G$, the conjugacy action:

$g * H := g \circ H \circ g^{-1}$

is a group action.


Clearly GA-1 is fulfilled as $e * H = H$.

GA-2 is shown to be fulfilled thus:

\(\ds \paren {g_1 \circ g_2} * H\) \(=\) \(\ds \paren {g_1 \circ g_2} \circ H \circ \paren {g_1 \circ g_2}^{-1}\)
\(\ds \) \(=\) \(\ds g_1 \circ g_2 \circ H \circ g_2^{-1} \circ g_1^{-1}\)
\(\ds \) \(=\) \(\ds g_1 * \paren {g_2 \circ H \circ g_2^{-1} }\)
\(\ds \) \(=\) \(\ds g_1 * \paren {g_2 * H}\)


Also see