Definition:Conjugacy Class

From ProofWiki
Jump to: navigation, search

Definition

The equivalence classes into which the conjugacy relation divides its group into are called conjugacy classes.

The conjugacy class of an element $x \in G$ can be denoted $\conjclass x$.


Also denoted as

Some authors use the notation $\operatorname {cl} \paren x$, but this can be confused with the notation for closure in the context of topology, so its use is not recommended.

Variants on the $\mathrm C$ motif can be seen: $C_x$ or $\map C x$ are fairly common.


Examples

Conjugacy Classes of Symmetric Group on $3$ Letters

Let $S_3$ denote the Symmetric Group on 3 Letters, whose Cayley table is given as:

$\begin{array}{c|cccccc} & e & p & q & r & s & t \\ \hline e & e & p & q & r & s & t \\ p & p & q & e & s & t & r \\ q & q & e & p & t & r & s \\ r & r & t & s & e & q & p \\ s & s & r & t & p & e & q \\ t & t & s & r & q & p & e \\ \end{array}$


The conjugacy classes of $S_3$ are:

\(\displaystyle \) \(\) \(\displaystyle \set e\) $\quad$ $\quad$
\(\displaystyle \) \(\) \(\displaystyle \set {\tuple {123}, \tuple {132} }\) $\quad$ $\quad$
\(\displaystyle \) \(\) \(\displaystyle \set {\tuple {12}, \tuple {13}, \tuple {23} }\) $\quad$ $\quad$


Technical Note

The $\LaTeX$ code for \(\conjclass {x}\) is \conjclass {x} .

When the subscript is a single character, it is usual to omit the braces:

\conjclass x


Sources