>>757
つづき

応用例
非自明な有限 p-群 P（つまり位数 pn の群、ただし p は素数で n > 0）を考えよう。類等式を使うと

「すべての非自明な有限 p-群は非自明な中心をもつ」
ことが証明できる[9]。

証明：P の任意の共役類の元の数は P の位数を割らなければならない。よって中心に含まれていない各共役類 Ci の元の数もまたあるベキ pki（ただし 0 < ki < n）であることが従う。すると類等式から pn = |P| = |Z(P)| + 琶 pki となる。ゆえに p は |Z(P)| も割らなければならず、したがって |Z(P)| > 1 であることがわかる。

共役集合と共役部分群
群 G の部分集合 S （S は部分群である必要はない）と g ∈ G に対して

Sg = g^-1Sg = { g^-1sg | s ∈ S }
を S の g による共役集合という[10]。SG を部分集合 S の群 G における共役集合からなる集合とする。 次の定理はよく使われる。 G の部分集合 S が与えられたとき、SG の元の数は G における S の正規化群 NG(S) の指数に等しい[4]：

|SG| = [G : NG(S)].
これは G の元 g と h に対して Sg = Sh であることと gh^-1 が NG(S) の元であること??つまり g と h が NG(S) を法として等しいこと??の同値性から従う。

この公式は共役類の元の数に対する前に与えられたものを一般化することに注意しよう（S = {a} とせよ）。

上記は G の部分群について話すときに特に有用である。部分群のなす集合は共役部分群へ分割できる。共役部分群は同型であるが、同型な部分群が共役であるとは限らない。たとえば、アーベル群は同型な 2 つの異なる部分群をもつかもしれないが、それらは決して共役でない。
一方でシロー部分群は互いに共役である（シローの定理）。また、部分群 H がそのすべての共役部分群と一致することは部分群は正規部分群であることに他ならない。

つづく