当且仅当"g"和"h"属于N("S")的同一个陪集。注意这个公式推广了前面关于共轭类元素的个数的定理（"S" = {"a"}的特殊情况）。上述定理在讨论"G"的子群时尤其有用。子群可以由此分为等价类，两个子群属于同一类当且仅当它们共轭。共轭子群是同构的，但是同构子群未必共轭（例如，交换群可以有两个不同的互相同构的子群，但是它们不可能共轭）。
作为群作用的共轭类.如果对于任意两个"G"中的元素"g"和"x"定义则我们有了一个"G"在"G"上的群作用。该作用的轨道就是共轭类，