共役類
群 G の部分集合 S (S は部分群である必要はない)と g ∈ G に対して
S = gSg = { gsg | s ∈ S }
を S の g による共役集合という。S を部分集合 S の群 G における共役集合からなる集合とする。 次の定理はよく使われる。 G の部分集合 S が与えられたとき、S の元の数は G における S の正規化群 NG(S) の指数に等しい:
|S| = [G : NG(S)].
これは G の元 g と h に対して S = S であることと gh が NG(S) の元であること——つまり g と h が NG(S) を法として等しいこと——の同値性から従う。
この公式は共役類の元の数に対する前に与えられたものを一般化することに注意しよう(S = {a} とせよ)。
上記は G の部分群について話すときに特に有用である。部分群のなす集合は共役部分群へ分割できる。共役部分群は同型であるが、同型な部分群が共役であるとは限らない。たとえば、アーベル群は同型な 2 つの異なる部分群をもつかもしれないが、それらは決して共役でない。一方でシロー部分群は互いに共役である(シローの定理)。また、部分群 H がそのすべての共役部分群と一致することは部分群は正規部分群であることに他ならない。