数学上，特别是在群论中，群的元素可以分割成共轭类（Conjugacy class）；同一个共轭类的元素有很多共同的属性，而且研究非交换群的共轭类可以看出很多关于它们的结构的重要特征。对于
交换群，这个概念是平凡的，因为每个类就是一个
单元素集合。
定义
设有两元素a，b∈G，若有一元素g∈G，使得
a=gbg-1
则称a是b的共轭元素，或简称共轭。
共轭关系是一个等价关系，因为
（i）任一元素是其自身的共轭，只要取g=e即可；
（ii）若a是b的共轭，则b也是a的共轭
即a=gbg-1⇒b=（g-1）a（g-1）-1
（ii）若a是b的共轭，b是c的共轭，则a是c的共轭，即
a=gbg-1，b=hch-1⇒a=（gh）c（gh）-1
所以，群G可按共轭关系分割成一些等价类Aa={gag-1|∀g∈G}，我们称Aa为群G的元素a的共轭类，简称为群的a类。
例子
对称群S3，由所有3个元素的6个置换组成，拥有三个共轭类：
对称群S4，由4个元素的全部24个置换组成，有5个共轭类：
参看立方体的恰当转动，它可以用体对角线的枚举刻划。
属性
共轭类方程
定义
若G为有限群，则上节的内容，加上
拉格朗日定理，可以得出如下结论：每个共轭类的元素个数整除G的阶。
进一步的有，对于任何群G，可以通过从G的每个元素个数大于1的共轭类中取出一个元素来定义一个代表集S= {xi}。则G是Z（G）和S的元素的共轭类Cl（xi）的不交并集。由此可以写出重要的类方程：
其中求和取遍对于每个S中的xi的Hi= CG（xi）。注意[G:Hi]是共轭类i的元素个数，一个|G|的大于1的
除数。如果|G|的除数已知，则该方程经常用于获得关于共轭类或者中心的大小的信息。
例子
考虑一个有限p-
群G（也即，次数为p的群，其中p是一个
素数而n> 0）。我们将证明：每个有限p-群有非
平凡的中心。
因为G的任意子群的次数必须整除G的次数，所以每个Hi也是某个幂p。但是类方程要求|G| =p= |Z（G）| + ∑i（p）。因此我们可以看出p必须整除|Z（G）|，所以|Z（G）| > 1。
子群的共轭
更一般的来讲，给定任意G的
子集S（S不必是子群），我们定义一个G的子集T为S的共轭，当且仅当存在某个g属于G满足T=gSg。我们可以定义Cl（S）为所有共轭于S的子集T的集合。
一个常用的定理是，给定任意子集S，N（S）（S的
正规化子）的指数等于Cl（S）的次数：
这是因为，如果g和h属于G，则gSg=hSh当且仅当gh属于N（S），换句话说，当且仅当g和h属于N（S）的同一个
陪集。
注意这个公式推广了前面关于共轭类元素的个数的定理（S= {a}的特殊情况）。
上述定理在讨论G的子群时尤其有用。子群可以由此分为等价类，两个子群属于同一类当且仅当它们共轭。共轭子群是
同构的，但是同构子群未必共轭（例如，交换群可以有两个不同的互相同构的子群，但是它们不可能共轭）。
作为群作用
如果对于任意两个G中的元素g和x定义
则我们有了一个G在G上的
群作用。该作用的轨道就是共轭类，而给定元素的定点子群就是该元素的中心化子。
同样，我们可以定义一个在G的所有子群或者所有子集的集合上的G的群作用如下