In mathematics, especially group theory, two elements and of a group are conjugate if there is an element in the group such that This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under for all elements 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. 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.
Definition
Let be a group. Two elements are conjugate if there exists an element such that in which case is called of and is called a conjugate of
In the case of the general linear group of invertible matrices, the conjugacy relation is called matrix similarity.
It can be easily shown that conjugacy is an equivalence relation and therefore partitions into equivalence classes. (This means that every element of the group belongs to precisely one conjugacy class, and the classes and are equal if and only if and are conjugate, and disjoint otherwise.) The equivalence class that contains the element is
and is called the conjugacy class of The of 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.
Examples
The symmetric group consisting of the 6 permutations of three elements, has three conjugacy classes:
No change . The single member has order 1. Transposing two . The 3 members all have order 2. A cyclic permutation of all three . The 2 members both have order 3.
These three classes also correspond to the classification of the isometries of an equilateral triangle.
The symmetric group consisting of the 24 permutations of four elements, has five conjugacy classes, listed with their description, cycle type, member order, and members:
No change. Cycle type = [14]. 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. Interchanging two (other two remain unchanged). Cycle type = [1221]. 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. A cyclic permutation of three (other one remains unchanged). Cycle type = [1131]. 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. A cyclic permutation of all four. Cycle type = [41]. 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. Interchanging two, and also the other two. Cycle type = [22]. 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
In general, the number of conjugacy classes in the symmetric group is equal to the number of integer partitions of This is because each conjugacy class corresponds to exactly one partition of into cycles, up to permutation of the elements of
In general, the Euclidean group can be studied by conjugation of isometries in Euclidean space.