Orbit of Element under Conjugacy Action is Conjugacy Class
Jump to navigation
Jump to search
Theorem
Let $\struct {G, \circ}$ be a group whose identity is $e$.
Let $*$ be the conjugacy group action on $G$:
- $\forall g, h \in G: g * h = g \circ h \circ g^{-1}$
Let $x \in G$.
Then the orbit of $x$ under this group action is:
- $\Orb x = C_x$
where $C_x$ is the conjugacy class of $x$.
Proof
Follows from the definition of the conjugacy class.
This article, or a section of it, needs explaining. In particular: Needs expansion. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
$\blacksquare$
Also see
- Conjugacy Action on Group Elements is Group Action
- Stabilizer of Element under Conjugacy Action is Centralizer
Sources
- 1996: John F. Humphreys: A Course in Group Theory ... (previous) ... (next): Chapter $10$: The Orbit-Stabiliser Theorem: Example $10.15$