Conjugate Element: If , then is said to be a conjugate of in if there exist an element such that .
Symbolically, we shall write for this and shall refer to this relation as conjugacy.
Then for some
Theorem: Conjugacy is an equivalence relation in a group.
(i) Reflexivity: Let , then , hence i.e. the relation of conjugacy is reflexive.
(ii) Symmetric: Let , so that there exist an element such that . Now
Thus . Hence the relation is symmetric.
(iii) Transitivity: Let there exist two elements such that and for . Hence ,
Where and being the group. Therefore.
Hence relation is transitive.
Thus conjugacy is equivalence relation on.
Conjugate Classes: For , let , , the equivalence class of in under conjugacy relation is usually called the conjugate class of in . It consists of the set of all distinct elements of the type .