共役類 類等式 | 共役作用について、軌道の位数に関して成立する等式
「 共役類 類等式 」は、作用を受ける側の共役という関係の理解が効いてきます。
集合論で習った類別を足掛かりに、部分群に関する群の内容や作用の考えを合わせます。
そうすると、正確な基礎の理解から類等式という有限群の位数についての等式に辿り着きます。
まず、作用と合わせて共役類を考えます。
共役類 類等式 :類別を目指して
【群の作用】
G × X → X, (g, x) → g(x) という写像について、次が成立するとき、群 G が集合 X に作用するという。
[1] 単位元 e ∈ G は、任意の x ∈ X に対して、
e(x) = x
[2] 任意の g, h ∈ G と、任意の x ∈ X に対して、
(gh)(x) = g(h(x))
この [1] と [2] を満たす写像が定義されているときに、群 G は集合 X に作用しているといいます。
この群の作用について、作用を受ける集合 X が G 自身で、
g(x) = gxg-1 となっているのが、共役作用です。
群 G において、共役という二項関係を定義します。
この共役という関係は、反射律・対称律・推移律を満たし、同値関係となります。
【共役という二項関係】
x, y ∈ G に対して、ある g ∈ G が存在して、
g(x) = gxg-1 = y となっているとする。
このとき、x ～ y と表し、x と y が共役であるという。
そのため、G を共役という同値関係に基づいて、類別できます。
この類別は、群の作用についての言い方をすると、軌道分解です。
それでは、反射律から確認します。
反射律と対称律の確認
任意の x ∈ G に対して、x ～ x となることが反射律です。
これは、群の単位元の定義から明らかです。
実際、exe-1 = x
単位元 e なので、群における演算を計算したときの値は x そのものです。
つまり、e(x) = x なので、
x ～ x の定義を満たしています。
次に対称律の確認です。
x, y ∈ G が x ～ y となっていたときに、y ～ x にもなっているというのが対称律です。
これは、群の逆元の存在が効いてきます。
x ～ y だとすると、共役の定義から、
ある g ∈ G が存在して、gxg-1 = y となっています。
ここで、両辺に左から g-1 を、右から g を乗じます。
x = g-1(gxg-1)g = g-1yg なので、
g-1(x) = g-1(gxg-1)g = g-1yg
g-1 の存在より、y ～ x となっています。
～ という二項関係が同値関係だということを示すためには、あと推移律の確認が必要になります。
群の演算についての括弧のつけ方に注意して、推移律を確認します。
推移律の確認
x ～ y かつ y ～ z (x, y, z ∈ G) ならば、x ～ z であるということが、推移律です。推移律も成立することを確かめます。
x ～ y かつ y ～ z (x, y, z ∈ G) という仮定から、
ある g, h ∈ G が存在して、
gxg-1 = y かつ hyh-1 = z
ここで、群の演算についての結合律から、
(hg)x(g-1h-1) = hyh-1 = z
さらに、
hg の逆元は (hg)-1 = g-1h-1 なので、
(hg)x(hg)-1 = z
これで、hg ∈ G の存在から、x ～ z が示せました。
以上より、～ が同値関係なので、G は同値類たちに類別されます。この各同値類について、異なる同値類どおしの共通部分は空集合です。
そして、すべての同値類の和集合は全体 G に一致します。この同値類のことを共役類といいます。
ここまでの内容は、G が無限集合のときでも成立します。類等式を考えるときは、群の位数が有限のときです。
G が有限群のときに、同値類である共役類の個数は有限個です。
それらを C(1), … , C(n) とします。
G = C(1) ∪ … ∪ C(n) となっています。
そして、i ≠ j のとき、
C(i) ∩ C(j) = Φ です。
よって、集合に含まれている元の個数である位数 |G| について、
|G| = |C(1)| + … + |C(n)| となっています。
共通部分が空集合なので、共通部分の個数を重複として引く必要がありません。そのため、和集合が全体に一致していることと合わせて、|G| を分割できました。
ここからは、G を有限群として、類等式を示します。
共役類 類等式 :共役類と同値類
G = C(1) ∪ … ∪ C(n) の中には、1 点集合となっている共役類があります。
1 点集合となっている共役類が、どういった元となっているのかを論理的に考察します。
上で、さらっと共役類という同値類は、群の作用についての各軌道と述べましたが、これは証明が必要な内容です。
この軌道と同値類が同じということを見切れると類等式は、ほぼ明らかになります。
軌道が同値類である証明
【軌道の定義】
x ∈ G について、
{gxg-1 | g ∈ G} を x を含む G-軌道という。
x ∈ G について、x を含む G-軌道が、x を含む同値類と同じ集合となっていることを示します。
x ∈ G とすると、
G = C(1) ∪ … ∪ C(n) なので、和集合の定義から、
1 以上 n 以下の自然数 s が一意的に存在して、x ∈ C(s)となっています。
※ 異なる同値類が空集合なので、s の存在は一意的です。
この C(s) が x を含む G-軌道と一致することを示します。
任意の y ∈ C(s) について、同値類の定義から、y ～ x
対称律から、x ～ y なので、
ある g ∈ G が存在して、gxg-1 = y
そのため、y = gxg-1
∈ {gxg-1 | g ∈ G}
これで、
C(s) ⊂ {gxg-1 | g ∈ G} が示せました。
逆の包含関係
次に、任意の z ∈ {gxg-1 | g ∈ G} が、C(x) の元であることを示します。
軌道の定義から、ある h ∈ G が存在して、
z = hxh-1 となっています。
～ の定義から、この h の存在は、x ～ z ということを示しています。
x ～ z なので、z は x と ～ の関係にある G の元を全て集めた同値類 C(s) に含まれています。
以上より、x ∈ G について、x を同値類である共役類は、x を含む G-軌道と同じということが分かりました。
G-軌道が共役類ということなので、軌道の位数についての一般論が適用できます。
共役類 類等式 :共役類の位数と中心
{x ∈ G | gx = xg (∀g ∈ G)} を群 G の中心といい、Z(G) と表します。
これは、G の元で、どの G の元とも可換であるものを全て集めた集合です。
※ 論理記号 ∀∃という記事で∀について解説しています。
Z(G) は、G の部分群となっています。単位元 e は、Z(G) に含まれるので、どんな群についても、中心を定義することができます。
x ∈ Z(G) とすると、中心の定義から、
任意の g ∈ G に対して、
gx = xg となっています。
これは、gxg-1 = x と同値です。
よって、この g は任意なので、
x が中心 Z(G) に含まれていると、x を含む G-軌道は、
{gxg-1 | g ∈ G} = {x} となります。
ゆえに、中心 Z(G) の各元について、その元を含む G-軌道（共役類）は 1点集合ということになります。
ここまでの内容を整理します。
G = C(1) ∪ … ∪ C(n)
(|G| = |C(1)| + … + |C(n)|) という類別（軌道分解）について、1点集合となっている共役類を
C(t1), … , C(tl) と表すことにします。
そして、2 個以上の元からなる共役類を
C(i1), … , C(iα) と表します。
これらの 1点集合となっている共役類の元たちを全て集めると、中心 Z(G) となります。
よって、
|Z(G)| = |C(t1)| + … + |C(tl)|
|G| = |C(1)| + … + |C(n)| だったので、
|C(t1)|+…+|C(tl)|+|C(i1)|+…+|C(iα)| が |G| となっていることを合わせると、
|Z(G)| + |C(i1)| + … + |C(iα)| = |G| です。
あとは、2 個以上の元から成る共役類という G-軌道について、群論入門の結果を使えば、類等式の証明が完成します。
類等式へ
【定理】
有限群 G が有限集合 X に作用しているとする。
x ∈ X について、x を含む G-軌道 Gx に含まれている元の個数は、固定部分群 Gx の G における指数である。
※ ラグランジュの定理という記事で、この定理の内容を示しています。
この定理を使うと類等式の形になります。
x1 ∈ C(i1), … , xα ∈ C(iα) とすると、
xk の固定部分群 NG(xk) は、
{g ∈ G | gxkg-1 = xk} です。
この NG(xk) の指数 |G :NG(xk)| が xk を含む G-軌道である C(ik) の位数です。
よって、
|C(i1)| + … + |C(iα)|
= |G :NG(x1)| + … + |G :NG(xα)|
これと、先ほどの |Z(G)| を使った等式を合わせて、
シグマ記号を使ったものが類等式です。
|Z(G)| + Σk|G :NG(xk)| = |G| が類等式です。
今回の記事の内容ですが、内部自己同型写像は共役作用を表す自己同型写像写像です。
証明した類等式ですが、
ウェダーバーンの小定理を証明するときに使われます。
※ 数学科の三年くらいの内容になります。
これで、今回の記事を終了します。
読んで頂き、ありがとうございました。