Conjugacy class

Let ${\displaystyle G}$ be a group. Two elements ${\displaystyle a,b\in G}$ are conjugate if there exists an element ${\displaystyle g\in G}$ such that ${\displaystyle gag^{-1}=b,}$ in which case ${\displaystyle b}$ is called a conjugate of ${\displaystyle a}$ and ${\displaystyle a}$ is called a conjugate of ${\displaystyle b.}$

In the case of the general linear group ${\displaystyle \operatorname {GL} (n)}$ of invertible matrices, the conjugacy relation is called matrix similarity.

It can be easily shown that conjugacy is an equivalence relation and therefore partitions ${\displaystyle G}$ into equivalence classes. (This means that every element of the group belongs to precisely one conjugacy class, and the classes ${\displaystyle \operatorname {Cl} (a)}$ and ${\displaystyle \operatorname {Cl} (b)}$ are equal if and only if ${\displaystyle a}$ and ${\displaystyle b}$ are conjugate, and disjoint otherwise.) The equivalence class that contains the element ${\displaystyle a\in G}$ is

$${\displaystyle \operatorname {Cl} (a)=\left\{gag^{-1}:g\in G\right\}}$$

and is called the conjugacy class of ${\displaystyle a.}$ The class number of ${\displaystyle G}$ is the number of distinct (nonequivalent) conjugacy classes. All elements belonging to the same conjugacy class have the same order.

Conjugacy classes may be referred to by describing them, or more briefly by abbreviations such as "6A", meaning "a certain conjugacy class with elements of order 6", and "6B" would be a different conjugacy class with elements of order 6; the conjugacy class 1A is the conjugacy class of the identity which has order 1. In some cases, conjugacy classes can be described in a uniform way; for example, in the symmetric group they can be described by cycle type.

The symmetric group ${\displaystyle S_{3},}$ consisting of the 6 permutations of three elements, has three conjugacy classes:

1. No change ${\displaystyle (abc\to abc)}$. The single member has order 1.
2. Transposing two ${\displaystyle (abc\to acb,abc\to bac,abc\to cba)}$. The 3 members all have order 2.
3. A cyclic permutation of all three ${\displaystyle (abc\to bca,abc\to cab)}$. The 2 members both have order 3.

These three classes also correspond to the classification of the isometries of an equilateral triangle.

Table showing ${\displaystyle bab^{-1}}$ for all pairs ${\displaystyle (a,b)}$ with ${\displaystyle a,b\in S_{4}}$ (compare numbered list). Each row contains all elements of the conjugacy class of ${\displaystyle a,}$ and each column contains all elements of ${\displaystyle S_{4}.}$

The symmetric group ${\displaystyle S_{4},}$ consisting of the 24 permutations of four elements, has five conjugacy classes, listed with their description, cycle type, member order, and members:

1. No change. Cycle type = [1⁴]. Order = 1. Members = { (1, 2, 3, 4) }. The single row containing this conjugacy class is shown as a row of black circles in the adjacent table.
2. Interchanging two (other two remain unchanged). Cycle type = [1²2¹]. Order = 2. Members = { (1, 2, 4, 3), (1, 4, 3, 2), (1, 3, 2, 4), (4, 2, 3, 1), (3, 2, 1, 4), (2, 1, 3, 4) }). The 6 rows containing this conjugacy class are highlighted in green in the adjacent table.
3. A cyclic permutation of three (other one remains unchanged). Cycle type = [1¹3¹]. Order = 3. Members = { (1, 3, 4, 2), (1, 4, 2, 3), (3, 2, 4, 1), (4, 2, 1, 3), (4, 1, 3, 2), (2, 4, 3, 1), (3, 1, 2, 4), (2, 3, 1, 4) }). The 8 rows containing this conjugacy class are shown with normal print (no boldface or color highlighting) in the adjacent table.
4. A cyclic permutation of all four. Cycle type = [4¹]. Order = 4. Members = { (2, 3, 4, 1), (2, 4, 1, 3), (3, 1, 4, 2), (3, 4, 2, 1), (4, 1, 2, 3), (4, 3, 1, 2) }). The 6 rows containing this conjugacy class are highlighted in orange in the adjacent table.
5. Interchanging two, and also the other two. Cycle type = [2²]. Order = 2. Members = { (2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2) }). The 3 rows containing this conjugacy class are shown with boldface entries in the adjacent table.

The proper rotations of the cube, which can be characterized by permutations of the body diagonals, are also described by conjugation in ${\displaystyle S_{4}.}$

In general, the number of conjugacy classes in the symmetric group ${\displaystyle S_{n}}$ is equal to the number of integer partitions of ${\displaystyle n.}$ This is because each conjugacy class corresponds to exactly one partition of ${\displaystyle \{1,2,\ldots ,n\}}$ into cycles, up to permutation of the elements of ${\displaystyle \{1,2,\ldots ,n\}.}$

In general, the Euclidean group can be studied by conjugation of isometries in Euclidean space.

• The identity element is always the only element in its class, that is ${\displaystyle \operatorname {Cl} (e)=\{e\}.}$
• If ${\displaystyle G}$ is abelian then ${\displaystyle gag^{-1}=a}$ for all ${\displaystyle a,g\in G}$, i.e. ${\displaystyle \operatorname {Cl} (a)=\{a\}}$ for all ${\displaystyle a\in G}$ (and the converse is also true: if all conjugacy classes are singletons then ${\displaystyle G}$ is abelian).
• If two elements ${\displaystyle a,b\in G}$ belong to the same conjugacy class (that is, if they are conjugate), then they have the same order. More generally, every statement about ${\displaystyle a}$ can be translated into a statement about ${\displaystyle b=gag^{-1},}$ because the map ${\displaystyle \varphi (x)=gxg^{-1}}$ is an automorphism of ${\displaystyle G}$ called an inner automorphism. See the next property for an example.
• If ${\displaystyle a}$ and ${\displaystyle b}$ are conjugate, then so are their powers ${\displaystyle a^{k}}$ and ${\displaystyle b^{k}.}$ (Proof: if ${\displaystyle a=gbg^{-1}}$ then ${\displaystyle a^{k}=\left(gbg^{-1}\right)\left(gbg^{-1}\right)\cdots \left(gbg^{-1}\right)=gb^{k}g^{-1}.}$) Thus taking ${\displaystyle k}$^th powers gives a map on conjugacy classes, and one may consider which conjugacy classes are in its preimage. For example, in the symmetric group, the square of an element of type (3)(2) (a 3-cycle and a 2-cycle) is an element of type (3), therefore one of the power-up classes of (3) is the class (3)(2) (where ${\displaystyle a}$ is a power-up class of ${\displaystyle a^{k}}$).
• An element ${\displaystyle a\in G}$ lies in the center ${\displaystyle \operatorname {Z} (G)}$ of ${\displaystyle G}$ if and only if its conjugacy class has only one element, ${\displaystyle a}$ itself. More generally, if ${\displaystyle \operatorname {C} _{G}(a)}$ denotes the centralizer of ${\displaystyle a\in G,}$ i.e., the subgroup consisting of all elements ${\displaystyle g}$ such that ${\displaystyle ga=ag,}$ then the index ${\displaystyle \left[G:\operatorname {C} _{G}\left(a\right)\right]}$ is equal to the number of elements in the conjugacy class of ${\displaystyle a}$ (by the orbit-stabilizer theorem).
• Take ${\displaystyle \sigma \in S_{n}}$ and let ${\displaystyle m_{1},m_{2},\ldots ,m_{s}}$ be the distinct integers which appear as lengths of cycles in the cycle type of ${\displaystyle \sigma }$ (including 1-cycles). Let ${\displaystyle k_{i}}$ be the number of cycles of length ${\displaystyle m_{i}}$ in ${\displaystyle \sigma }$ for each ${\displaystyle i=1,2,\ldots ,s}$ (so that ${\displaystyle \sum \limits _{i=1}^{s}k_{i}m_{i}=n}$). Then the number of conjugates of ${\displaystyle \sigma }$ is:[1]
  $${\displaystyle {\frac {n!}{\left(k_{1}!m_{1}^{k_{1}}\right)\left(k_{2}!m_{2}^{k_{2}}\right)\cdots \left(k_{s}!m_{s}^{k_{s}}\right)}}.}$$

  

For any two elements ${\displaystyle g,x\in G,}$ let

$${\displaystyle g\cdot x:=gxg^{-1}.}$$

This defines a group action of ${\displaystyle G}$ on ${\displaystyle G.}$ The orbits of this action are the conjugacy classes, and the stabilizer of a given element is the element's centralizer.[3]

Similarly, we can define a group action of ${\displaystyle G}$ on the set of all subsets of ${\displaystyle G,}$ by writing

$${\displaystyle g\cdot S:=gSg^{-1},}$$

or on the set of the subgroups of ${\displaystyle G.}$

If ${\displaystyle G}$ is a finite group, then for any group element ${\displaystyle a,}$ the elements in the conjugacy class of ${\displaystyle a}$ are in one-to-one correspondence with cosets of the centralizer ${\displaystyle \operatorname {C} _{G}(a).}$ This can be seen by observing that any two elements ${\displaystyle b}$ and ${\displaystyle c}$ belonging to the same coset (and hence, ${\displaystyle b=cz}$ for some ${\displaystyle z}$ in the centralizer ${\displaystyle \operatorname {C} _{G}(a)}$) give rise to the same element when conjugating ${\displaystyle a}$:

$${\displaystyle bab^{-1}=cza(cz)^{-1}=czaz^{-1}c^{-1}=cazz^{-1}c^{-1}=cac^{-1}.}$$

That can also be seen from the orbit-stabilizer theorem, when considering the group as acting on itself through conjugation, so that orbits are conjugacy classes and stabilizer subgroups are centralizers. The converse holds as well.

Thus the number of elements in the conjugacy class of ${\displaystyle a}$ is the index ${\displaystyle \left[G:\operatorname {C} _{G}(a)\right]}$ of the centralizer ${\displaystyle \operatorname {C} _{G}(a)}$ in ${\displaystyle G}$; hence the size of each conjugacy class divides the order of the group.

Furthermore, if we choose a single representative element ${\displaystyle x_{i}}$ from every conjugacy class, we infer from the disjointness of the conjugacy classes that

$${\displaystyle |G|=\sum _{i}\left[G:\operatorname {C} _{G}\left(x_{i}\right)\right],}$$

where ${\displaystyle \operatorname {C} _{G}\left(x_{i}\right)}$ is the centralizer of the element ${\displaystyle x_{i}.}$ Observing that each element of the center ${\displaystyle \operatorname {Z} (G)}$ forms a conjugacy class containing just itself gives rise to the class equation:[4]

$${\displaystyle |G|=|\operatorname {Z} (G)|+\sum _{i}\left[G:\operatorname {C} _{G}\left(x_{i}\right)\right],}$$

where the sum is over a representative element from each conjugacy class that is not in the center.

Knowledge of the divisors of the group order ${\displaystyle |G|}$ can often be used to gain information about the order of the center or of the conjugacy classes.

More generally, given any subset ${\displaystyle S\subseteq G}$ (${\displaystyle S}$ not necessarily a subgroup), define a subset ${\displaystyle T\subseteq G}$ to be conjugate to ${\displaystyle S}$ if there exists some ${\displaystyle g\in G}$ such that ${\displaystyle T=gSg^{-1}.}$ Let ${\displaystyle \operatorname {Cl} (S)}$ be the set of all subsets ${\displaystyle T\subseteq G}$ such that ${\displaystyle T}$ is conjugate to ${\displaystyle S.}$

A frequently used theorem is that, given any subset ${\displaystyle S\subseteq G,}$ the index of ${\displaystyle \operatorname {N} (S)}$ (the normalizer of ${\displaystyle S}$) in ${\displaystyle G}$ equals the order of ${\displaystyle \operatorname {Cl} (S)}$:

$${\displaystyle |\operatorname {Cl} (S)|=[G:N(S)].}$$

This follows since, if ${\displaystyle g,h\in G,}$ then ${\displaystyle gSg^{-1}=hSh^{-1}}$ if and only if ${\displaystyle g^{-1}h\in \operatorname {N} (S),}$ in other words, if and only if ${\displaystyle g{\text{ and }}h}$ are in the same coset of ${\displaystyle \operatorname {N} (S).}$

By using ${\displaystyle S=\{a\},}$ this formula generalizes the one given earlier for the number of elements in a conjugacy class.

The above is particularly useful when talking about subgroups of ${\displaystyle G.}$ The subgroups can thus be divided into conjugacy classes, with two subgroups belonging to the same class if and only if they are conjugate. Conjugate subgroups are isomorphic, but isomorphic subgroups need not be conjugate. For example, an abelian group may have two different subgroups which are isomorphic, but they are never conjugate.

Conjugacy classes in the fundamental group of a path-connected topological space can be thought of as equivalence classes of free loops under free homotopy.

In any finite group, the number of distinct (non-isomorphic) irreducible representations over the complex numbers is precisely the number of conjugacy classes.

• Topological conjugacy
• FC-group – Group in group theory mathematics
• Conjugacy-closed subgroup

• Grillet, Pierre Antoine (2007). Abstract algebra. Graduate texts in mathematics. Vol. 242 (2 ed.). Springer. ISBN 978-0-387-71567-4.

• "Conjugate elements", Encyclopedia of Mathematics, EMS Press, 2001 [1994]