15/03/22 09:26:14.84 bOyC9x7S.net
共役の性質から従うんよね
URLﾘﾝｸ(ja.wikipedia.org)
群論において、任意の群は共役類に分割できる
同じ共役類の元は多くの性質を共有し、非アーベル群の共役類の研究はそれらの構造のたくさんの重要な特徴を明らかにする。すべてのアーベル群において各共役類は1つの元からなる集合（単元集合）である
定義
G を群とする。G の2つの元 a と b が共役であるとは、G の元 g が存在して gag?1 = b を満たすことである
共役性は同値関係でありしたがって G を同値類に分割することが直ちに示せる
（これが意味するのは群の各元はちょうど1つの共役類に属し、類 Cl(a) と Cl(b) が等しいことと a と b が共役であることは同値であり、そうでなければ互いに素である。）G の元 a を含む同値類は
Cl(a) = { g ∈ G : ある x ∈ G が存在して g=xax?1 }
であり a の共役類と呼ばれる。G の類数とは互いに素な（異なる）共役類の個数である。同じ共役類に属するすべての元は同じ位数をもつ
部分群と一般の部分集合の共役
より一般に、G の任意の部分集合 S （S は部分群である必要はない）が与えられると、G の部分集合 T が S に共役であるということを、ある g ∈ G が存在して T = gSg?1 ということで定義する
Cl(S) を T が S に共役であるような G のすべての部分集合 T からなる集合として定義できる
頻繁に使われる定理は、G の任意の部分集合 S が与えられると、G における N(S) （S の正規化群）の指数は Cl(S) の位数に等しい：
|Cl(S)| = [G : N(S)]
これは従う、なぜならば g と h が G の元であれば、gSg?1 = hSh?1 であることと g?1h が N(S) の元であることは同値である、言い換えれば、g と h が N(S) の同じ剰余類の元であることと同値であるからである
この公式は共役類の元の数に対する前に与えられたものを一般化することに注意しよう（S = {a} とせよ）
したがって部分群は2つの部分群が同じ類に属することとそれらが共役であることは同値であるとして共役類に分けられることができる
共役部分群は同型であるが、同型な部分群が共役であるとは限らない。例えば、アーベル群は同型な 2 つの異なる部分群をもつかもしれないが、それらは決して共役でない