In group theory, equivalence class under the relation of conjugation
Two Cayley graphs of dihedral groups with conjugacy classes distinguished by color.In mathematics, especially group theory, two elements a {\displaystyle a} and b {\displaystyle b} of a group are conjugate if there is an element g {\displaystyle g} in the group such that b = g a g − 1 . {\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 b = g a g − 1 {\displaystyle b=gag^{-1}} for all elements g {\displaystyle g} in 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 concept of conjugacy classes 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 S 5 {\displaystyle S_{5}} of order 5, and elements σ {\displaystyle \sigma } and π σ π − 1 {\displaystyle \pi \sigma \pi ^{-1}} that are conjugate. An element π σ π − 1 {\displaystyle \pi \sigma \pi ^{-1}} can be viewed as simply "renaming" the elements 1 , 2 , 3 , 4 , 5 {\displaystyle 1,2,3,4,5} to π ( 1 ) , π ( 2 ) , π ( 3 ) , π ( 4 ) , π ( 5 ) {\displaystyle \pi (1),\pi (2),\pi (3),\pi (4),\pi (5)} then applying the permutation σ {\displaystyle \sigma } on this new labeling.
The conjugacy action by π {\displaystyle \pi } does not change the underlying structure of σ {\displaystyle \sigma } . In a way, permutations σ {\displaystyle \sigma } and π σ π − 1 {\displaystyle \pi \sigma \pi ^{-1}} have the same "shape".[3]
Another way to view the conjugacy action is by considering the general linear group GL ( n ) {\displaystyle \operatorname {GL} (n)} of invertible matrices. Two matrices A {\displaystyle A} and B {\displaystyle B} conjugate if there exist a matrix P {\displaystyle P} such that B = P A P − 1 {\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 P {\displaystyle P} being the change-of-basis matrix.
Conjugates also come up in some important theorems of group theory. One example is the Sylow theorems, which state that every Sylow p {\displaystyle p} -subgroup of a finite group G {\displaystyle G} are conjugates to each other. It also appears in the proof of Cauchy's theorem, which makes use of conjugacy classes.
Let G {\displaystyle G} be a group. Two elements a , b ∈ G {\displaystyle a,b\in G} are conjugate if there exists an element g ∈ G {\displaystyle g\in G} such that g a g − 1 = b , {\displaystyle gag^{-1}=b,} in which case b {\displaystyle b} is called a conjugate of a {\displaystyle a} and a {\displaystyle a} is called a conjugate of b . {\displaystyle b.}
In the case of the general linear group GL ( n ) {\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 G {\displaystyle G} into equivalence classes. (This means that every element of the group belongs to precisely one conjugacy class, and the classes Cl ( a ) {\displaystyle \operatorname {Cl} (a)} and Cl ( b ) {\displaystyle \operatorname {Cl} (b)} are equal if and only if a {\displaystyle a} and b {\displaystyle b} are conjugate, and disjoint otherwise.) The equivalence class that contains the element a ∈ G {\displaystyle a\in G} is Cl ( a ) = { g a g − 1 : g ∈ G } {\displaystyle \operatorname {Cl} (a)=\left\{gag^{-1}:g\in G\right\}} and is called the conjugacy class of a . {\displaystyle a.} The class number of G {\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.
All 4! = 24 possible permutations from S 4 {\displaystyle S_{4}} , partitioned into conjugacy classes. Two elements belong in the same class iff they have the same cycle type. All 10 possible permutations from D 5 {\displaystyle D_{5}} , partitioned into conjugacy classes.The symmetric group S 3 , {\displaystyle S_{3},} consisting of the 6 permutations of three elements, has three conjugacy classes:
These three classes also correspond to the classification of the isometries of an equilateral triangle.
The symmetric group S 4 , {\displaystyle S_{4},} consisting of the 24 permutations of four elements, has five conjugacy classes, listed with their members using cycle notation:[4]
In general, the number of conjugacy classes in the symmetric group S n {\displaystyle S_{n}} is equal to the number of integer partitions of n . {\displaystyle n.} This is because each conjugacy class corresponds to exactly one partition of { 1 , 2 , … , n } {\displaystyle \{1,2,\ldots ,n\}} into cycles, up to permutation of the elements of { 1 , 2 , … , n } . {\displaystyle \{1,2,\ldots ,n\}.}
The dihedral group D 5 {\displaystyle D_{5}} consisting of symmetries of a pentagon, has four conjugacy classes:[5]
For an abelian group, each conjugacy class is a set containing one element (singleton set).
For any two elements g , x ∈ G , {\displaystyle g,x\in G,} let g ⋅ x := g x g − 1 . {\displaystyle g\cdot x:=gxg^{-1}.} This defines a group action of G {\displaystyle G} on G . {\displaystyle G.} The orbits of this action are the conjugacy classes, and the stabilizer of a given element is the element's centralizer.[6]
Similarly, we can define a group action of G {\displaystyle G} on the set of all subsets of G , {\displaystyle G,} by writing g ⋅ S := g S g − 1 , {\displaystyle g\cdot S:=gSg^{-1},} or on the set of the subgroups of G . {\displaystyle G.}
Conjugacy class equation[edit]If G {\displaystyle G} is a finite group, then for any group element a , {\displaystyle a,} the elements in the conjugacy class of a {\displaystyle a} are in one-to-one correspondence with cosets of the centralizer C G ( a ) . {\displaystyle \operatorname {C} _{G}(a).} This can be seen by observing that any two elements b {\displaystyle b} and c {\displaystyle c} belonging to the same coset (and hence, b = c z {\displaystyle b=cz} for some z {\displaystyle z} in the centralizer C G ( a ) {\displaystyle \operatorname {C} _{G}(a)} ) give rise to the same element when conjugating a {\displaystyle a} : b a b − 1 = c z a ( c z ) − 1 = c z a z − 1 c − 1 = c a z z − 1 c − 1 = c a c − 1 . {\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 a {\displaystyle a} is the index [ G : C G ( a ) ] {\displaystyle \left[G:\operatorname {C} _{G}(a)\right]} of the centralizer C G ( a ) {\displaystyle \operatorname {C} _{G}(a)} in G {\displaystyle G} ; hence the size of each conjugacy class divides the order of the group.
Furthermore, if we choose a single representative element x i {\displaystyle x_{i}} from every conjugacy class, we infer from the disjointness of the conjugacy classes that | G | = ∑ i [ G : C G ( x i ) ] , {\displaystyle |G|=\sum _{i}\left[G:\operatorname {C} _{G}(x_{i})\right],} where C G ( x i ) {\displaystyle \operatorname {C} _{G}(x_{i})} is the centralizer of the element x i . {\displaystyle x_{i}.} Observing that each element of the center Z ( G ) {\displaystyle \operatorname {Z} (G)} forms a conjugacy class containing just itself gives rise to the class equation:[7] | G | = | Z ( G ) | + ∑ i [ G : C G ( x i ) ] , {\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 | G | {\displaystyle |G|} can often be used to gain information about the order of the center or of the conjugacy classes.
Consider a finite p {\displaystyle p} -group G {\displaystyle G} (that is, a group with order p n , {\displaystyle p^{n},} where p {\displaystyle p} is a prime number and n > 0 {\displaystyle n>0} ). We are going to prove that every finite p {\displaystyle p} -group has a non-trivial center.
Since the order of any conjugacy class of G {\displaystyle G} must divide the order of G , {\displaystyle G,} it follows that each conjugacy class H i {\displaystyle H_{i}} that is not in the center also has order some power of p k i , {\displaystyle p^{k_{i}},} where 0 < k i < n . {\displaystyle 0<k_{i}<n.} But then the class equation requires that | G | = p n = | Z ( G ) | + ∑ i p k i . {\textstyle |G|=p^{n}=|{\operatorname {Z} (G)}|+\sum _{i}p^{k_{i}}.} From this we see that p {\displaystyle p} must divide | Z ( G ) | , {\displaystyle |{\operatorname {Z} (G)}|,} so | Z ( G ) | > 1. {\displaystyle |\operatorname {Z} (G)|>1.}
In particular, when n = 2 , {\displaystyle n=2,} then G {\displaystyle G} is an abelian group since any non-trivial group element is of order p {\displaystyle p} or p 2 . {\displaystyle p^{2}.} If some element a {\displaystyle a} of G {\displaystyle G} is of order p 2 , {\displaystyle p^{2},} then G {\displaystyle G} is isomorphic to the cyclic group of order p 2 , {\displaystyle p^{2},} hence abelian. On the other hand, if every non-trivial element in G {\displaystyle G} is of order p , {\displaystyle p,} hence by the conclusion above | Z ( G ) | > 1 , {\displaystyle |\operatorname {Z} (G)|>1,} then | Z ( G ) | = p > 1 {\displaystyle |\operatorname {Z} (G)|=p>1} or p 2 . {\displaystyle p^{2}.} We only need to consider the case when | Z ( G ) | = p > 1 , {\displaystyle |\operatorname {Z} (G)|=p>1,} then there is an element b {\displaystyle b} of G {\displaystyle G} which is not in the center of G . {\displaystyle G.} Note that C G ( b ) {\displaystyle \operatorname {C} _{G}(b)} includes b {\displaystyle b} and the center which does not contain b {\displaystyle b} but at least p {\displaystyle p} elements. Hence the order of C G ( b ) {\displaystyle \operatorname {C} _{G}(b)} is strictly larger than p , {\displaystyle p,} therefore | C G ( b ) | = p 2 , {\displaystyle \left|\operatorname {C} _{G}(b)\right|=p^{2},} therefore b {\displaystyle b} is an element of the center of G , {\displaystyle G,} a contradiction. Hence G {\displaystyle G} is abelian and in fact isomorphic to the direct product of two cyclic groups each of order p . {\displaystyle p.}
Conjugacy of subgroups and general subsets[edit]More generally, given any subset S ⊆ G {\displaystyle S\subseteq G} ( S {\displaystyle S} not necessarily a subgroup), define a subset T ⊆ G {\displaystyle T\subseteq G} to be conjugate to S {\displaystyle S} if there exists some g ∈ G {\displaystyle g\in G} such that T = g S g − 1 . {\displaystyle T=gSg^{-1}.} Let Cl ( S ) {\displaystyle \operatorname {Cl} (S)} be the set of all subsets T ⊆ G {\displaystyle T\subseteq G} such that T {\displaystyle T} is conjugate to S . {\displaystyle S.}
A frequently used theorem is that, given any subset S ⊆ G , {\displaystyle S\subseteq G,} the index of N ( S ) {\displaystyle \operatorname {N} (S)} (the normalizer of S {\displaystyle S} ) in G {\displaystyle G} equals the cardinality of Cl ( S ) {\displaystyle \operatorname {Cl} (S)} : | Cl ( S ) | = [ G : N ( S ) ] . {\displaystyle |{\operatorname {Cl} (S)}|=[G:N(S)].}
This follows since, if g , h ∈ G , {\displaystyle g,h\in G,} then g S g − 1 = h S h − 1 {\displaystyle gSg^{-1}=hSh^{-1}} if and only if g − 1 h ∈ N ( S ) , {\displaystyle g^{-1}h\in \operatorname {N} (S),} in other words, if and only if g and h {\displaystyle g{\text{ and }}h} are in the same coset of N ( S ) . {\displaystyle \operatorname {N} (S).}
By using S = { a } , {\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 G . {\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.
Geometric interpretation[edit]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.
Conjugacy class and irreducible representations in finite group[edit]In any finite group, the number of nonisomorphic irreducible representations over the complex numbers is precisely the number of conjugacy classes.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4