Conjugacy class

In mathematics, especially group theory, two elements ${\displaystyle a}$ and ${\displaystyle b}$ of a group are conjugate if there is an element ${\displaystyle g}$ in the group such that ${\displaystyle b=gag^{-1}.}$ This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under the maps ${\displaystyle a\mapsto gag^{-1},}$ with ${\displaystyle g}$ an element of the group.

Members of the same conjugacy class cannot be distinguished by using only the group structure, and therefore share many properties. The study of conjugacy classes of non-abelian groups is fundamental for the study of their structure.^[1][2] For an abelian group, each conjugacy class is a set containing one element (singleton set).

Functions that are constant for members of the same conjugacy class are called class functions.

The notion of a conjugate may be extended from elements to subsets: subsets ${\displaystyle S}$ and ${\displaystyle T}$ of ${\displaystyle G}$ are conjugate if there is an element ${\displaystyle g\in G}$ such that ${\displaystyle T=gSg^{-1},}$ where ${\displaystyle gSg^{-1}=\left\{gsg^{-1}:s\in S\right\}.}$ The conjugacy class of ${\displaystyle S}$ is the set of all subsets of ${\displaystyle G}$ conjugate to ${\displaystyle S.}$ A normal subgroup is defined by the property that its conjugacy class contains a single member, namely itself. Normal subgroups play a key role in the study of quotient groups and group homomorphisms.

The concept of conjugation may come from trying to formalize the idea that two group elements are considered the "same" after a relabeling of elements.

For example, consider the symmetric group ${\displaystyle S_{5}}$ of order 5!, and elements ${\displaystyle \sigma }$ and ${\displaystyle \pi \sigma \pi ^{-1}}$ that are conjugate. An element ${\displaystyle \pi \sigma \pi ^{-1}}$ can be viewed as simply "renaming" the elements ${\displaystyle 1,2,3,4,5}$ to ${\displaystyle \pi (1),\pi (2),\pi (3),\pi (4),\pi (5)}$ then applying the permutation ${\displaystyle \sigma }$ on this new labeling.

${\displaystyle {\text{If }}\sigma ={\begin{matrix}1\mapsto 3\\2\mapsto 1\\3\mapsto 5\\4\mapsto 2\\5\mapsto 4\end{matrix}}\quad {\text{ then }}\pi \sigma \pi ^{-1}={\begin{matrix}\pi (1)\mapsto \pi (3)\\\pi (2)\mapsto \pi (1)\\\pi (3)\mapsto \pi (5)\\\pi (4)\mapsto \pi (2)\\\pi (5)\mapsto \pi (4)\end{matrix}}}$

The conjugacy action by ${\displaystyle \pi }$ does not change the underlying structure of ${\displaystyle \sigma }$. In a way, permutations ${\displaystyle \sigma }$ and ${\displaystyle \pi \sigma \pi ^{-1}}$ have the same "shape".^[3]

In general, a map ${\displaystyle a\mapsto gag^{-1},}$ where ${\displaystyle g}$ is a fixed element of a group ${\displaystyle G}$ is an automorphism of ${\displaystyle G}$, that is, a map from ${\displaystyle G}$ to itself that preserves the group structure. Such an automorphism is called an inner automorphism.

Another way to illustrate the conjugacy action is by considering the general linear group ${\displaystyle \operatorname {GL} (n)}$ of invertible matrices. Two matrices ${\displaystyle A}$ and ${\displaystyle B}$ conjugate if there exists a matrix ${\displaystyle P}$ such that ${\displaystyle B=PAP^{-1}}$, which is the same condition as matrix similarity. The two matrices are conjugates if they are the "same" under two possibly different bases, with ${\displaystyle P}$ being the change-of-basis matrix.

In the study of three-dimensional rotations, vectors may be represented by ${\displaystyle 2\times 2}$ complex matrices. Rotation of a vector is then realized as conjugation by another ${\displaystyle 2\times 2}$ complex matrix whose elements are the Cayley–Klein parameters, an operation that can also be expressed in terms of unit quaternions.

Conjugate subgroups come up in some important theorems of group theory. An example is one of the Sylow theorems, which states that, for a fixed prime ${\displaystyle p}$, all Sylow ${\displaystyle p}$-subgroups of a finite group ${\displaystyle G}$ are conjugates of each other.

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.

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 identity element is always the only element in its class, that is ${\displaystyle \operatorname {Cl} (e)=\{e\}.}$ More generally, 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. This follows because if ${\displaystyle a\in \operatorname {Z} (G)}$ then ${\displaystyle gag^{-1}=a}$ for all ${\displaystyle g\in G.}$ Hence if ${\displaystyle G}$ is abelian, ${\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},}$ as noted previously, is an automorphism of ${\displaystyle G}$.

As 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 the kth power 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 inner automorphism on ${\displaystyle G}$ given by ${\displaystyle a\mapsto gag^{-1}}$ is the identity automorphism if and only if ${\displaystyle g\in \operatorname {Z} (G)}$. This implies that the quotient group ${\displaystyle G/\operatorname {Z} (G)}$ is isomorphic to the group of inner automorphisms of ${\displaystyle G.}$

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)}$
2. Transposing two: ${\displaystyle (abc\to acb,abc\to bac,abc\to cba)}$
3. A cyclic permutation of all three: ${\displaystyle (abc\to bca,abc\to cab)}$

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

For example, in the third class above (corresponding to rotations of the equilateral triangle by 120 and 240 degrees, respectively), a possible choice for g would be the transposition ${\displaystyle abc\to acb}$ from the second class (corresponding to the flipping of the triangle around its axis going through a, which is its own inverse): flipping a triangle vertically, then rotating it by 120 degrees, then flipping it again (${\displaystyle abc\to acb\to bac\to bca}$) is equivalent to rotating the unflipped triangle by 270 degrees (${\displaystyle abc\to bca}$).

The symmetric group ${\displaystyle S_{4},}$ consisting of the 24 permutations of four elements, has five conjugacy classes, listed with their members using cycle notation:^[4]

1. No change: ${\displaystyle \{(1)\}}$
2. Interchanging two: ${\displaystyle \{(12),(13),(14),(23),(24),(34)\}}$
3. A cyclic permutation of three: ${\displaystyle \{(123),(124),(132),(134),(142),(143),(234),(243)\}}$
4. A cyclic permutation of all four: ${\displaystyle \{(1234),(1243),(1324),(1342),(1423),(1432)\}}$
5. Interchanging two, and also the other two: ${\displaystyle \{(12)(34),(13)(24),(14)(23)\}}$

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\}.}$ The size of ${\displaystyle \operatorname {Cl} (\sigma ),}$ for ${\displaystyle \sigma \in S_{m},}$ can be computed from the cycle lengths. 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) and let ${\displaystyle k_{i}}$ be the number of cycles of length ${\displaystyle m_{i}}$ for each ${\displaystyle i=1,2,\ldots ,s}$ (so that ${\textstyle \sum _{i=1}^{s}k_{i}m_{i}=n}$). Then the number of elements in ${\displaystyle \operatorname {Cl} (\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)}}.}$$

The dihedral group ${\displaystyle D_{5}}$ consisting of symmetries of a pentagon, has four conjugacy classes:^[5]

1. The identity element: ${\displaystyle \{1\}}$
2. Two conjugacy classes of size 2: ${\displaystyle \{r,r^{4}\},\{r^{2},r^{3}\}}$
3. All the reflections: ${\displaystyle \{s,rs,r^{2}s,r^{3}s,r^{4}s\}}$

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. Let ${\displaystyle \operatorname {C} _{G}(a)}$ denote the centralizer of ${\displaystyle a\in G,}$ i.e., the subgroup consisting of all elements ${\displaystyle b\in G}$ such that ${\displaystyle ba=ab.}$ Then the stabilizer of a given element ${\displaystyle x\in G}$ is ${\displaystyle \operatorname {C} _{G}(x).}$^[6] Moreover, the set of elements fixed by ${\displaystyle g\in G}$ under conjugation is ${\displaystyle \operatorname {C} _{G}(g).}$

For any element ${\displaystyle a}$ of a group ${\displaystyle G,}$ the elements of 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}$ belong to the same coset of ${\displaystyle \operatorname {C} _{G}(a),}$ meaning ${\displaystyle b=cz}$ for some ${\displaystyle z\in \operatorname {C} _{G}(a),}$ if and only if they give rise to the same element when conjugating ${\displaystyle a}$: $${\displaystyle bab^{-1}=cac^{-1}\Longleftrightarrow \left(c^{-1}b\right)a=a\left(c^{-1}b\right)\Longleftrightarrow z=c^{-1}b\in \operatorname {C} _{G}(a).}$$ This is a special case of the orbit-stabilizer theorem, keeping in mind that conjugacy classes are orbits and centralizers are stabilizers under the action of the group on itself through conjugation.

Thus if ${\displaystyle G}$ is a finite group, 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}(x_{i})\right].}$$ Observing that each element of the center ${\displaystyle \operatorname {Z} (G)}$ forms a conjugacy class containing just itself gives rise to the class equation:^[7] $${\displaystyle |G|=|{\operatorname {Z} (G)}|+\sum _{i}\left[G:\operatorname {C} _{G}(x_{i})\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.

Consider a finite ${\displaystyle p}$-group ${\displaystyle G}$ (that is, a group with order ${\displaystyle p^{n},}$ where ${\displaystyle p}$ is a prime number and ${\displaystyle n>0}$). We are going to prove that every finite ${\displaystyle p}$-group has a center of size greater than 1.

Since the order of any conjugacy class of ${\displaystyle G}$ must divide the order of ${\displaystyle G,}$ it follows that each conjugacy class ${\displaystyle H_{i}}$ that is not in the center also has order some power of ${\displaystyle p^{k_{i}},}$ where ${\displaystyle 0<k_{i}<n.}$ But then the class equation requires that ${\textstyle |G|=p^{n}=|{\operatorname {Z} (G)}|+\sum _{i}p^{k_{i}}.}$ From this we see that ${\displaystyle p}$ must divide ${\displaystyle |{\operatorname {Z} (G)}|,}$ so ${\displaystyle |\operatorname {Z} (G)|>1.}$

In particular, when ${\displaystyle n=2}$ we can further show that ${\displaystyle G}$ is abelian. From the foregoing, ${\displaystyle |\operatorname {Z} (G)|,}$ equals either ${\displaystyle p}$ or ${\displaystyle p^{2}}$ and, if ${\displaystyle G}$ were nonabelian, would have to equal ${\displaystyle p.}$ Furthermore, there would have to be an element ${\displaystyle b}$ not in ${\displaystyle \operatorname {Z} (G)}$. Its centralizer subgroup ${\displaystyle \operatorname {C} _{G}(b)}$ would, however, have to include both ${\displaystyle b}$ and all the elements of ${\displaystyle \operatorname {Z} (G),}$ implying ${\displaystyle |\operatorname {C} _{G}(b)|=p^{2}.}$ This contradicts ${\displaystyle b\notin \operatorname {Z} (G).}$ Hence ${\displaystyle G}$ is abelian and is, in fact, isomorphic either to a cyclic group of order ${\displaystyle p^{2}}$ or to the direct product of two cyclic groups of order ${\displaystyle p.}$

By Burnside's lemma, the number of conjugacy classes of a finite group ${\displaystyle G}$ is equal to ${\displaystyle {\frac {1}{|G|}}\sum _{g}|C_{G}(g)|}$, the average size of the sets fixed by the elements of ${\displaystyle G}$ acting by conjugation, that is, the average size of the centralizers of elements of ${\displaystyle G.}$

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.}$

Define a group action of ${\displaystyle G}$ on the set of all subsets of ${\displaystyle G,}$ by writing $${\displaystyle g\cdot S:=gSg^{-1}.}$$ The result for the number of elements in the conjugacy class of an element generalizes to the case of subsets using an argument analogous to the one used previously: there is a one-to-one correspondence between elements of the conjugacy class of ${\displaystyle S}$ and cosets of ${\displaystyle \operatorname {N} (S),}$ the normalizer of ${\displaystyle S,}$ 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).}$ As a result, the index of ${\displaystyle \operatorname {N} (S)}$ in ${\displaystyle G}$ equals the cardinality of ${\displaystyle \operatorname {Cl} (S)}$: $${\displaystyle |{\operatorname {Cl} (S)}|=[G:N(S)].}$$ By using ${\displaystyle S=\{a\},}$ this formula specializes to the one given earlier for the number of elements in a conjugacy class since the normalizer of a singleton equals its centralizer.

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 nonisomorphic irreducible representations over the complex numbers is precisely the number of conjugacy classes.

• Topological conjugacy – Concept in topology
• 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]