是某个幂"p"。但是类方程要求|"G"| = "p" = |Z("G")| + ∑ ("p")。因此我们可以看出"p"必须整除|Z("G")|，所以|Z("G")| > 1。
子群和一般子集的共轭.更一般的来讲，给定任意"G"的子集"S"（"S"不必是子群），我们定义一个"G"的子集"T"为"S"的共轭，当且仅当存在某个"g"属于"G"满足"T" = "gSg"。我们可以定义Cl("S")为所有共轭于"S"的子集"T"的集合。一个常用的定理是，给定任意子集"S"，N("S")（