子群），我们定义一个"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"