10-1　中心と中心化群
f-denshi.com  更新日：　21/03/25　　群表をたくさん追加しました。
［目次へ］
サイト検索

急ぐ方はこの章を飛ばして「11」へ進んでも構いません。
このページは正規部分群を見つけ出すツールの紹介です。

［１］　しばらく抽象的な定義を列挙しますが，すぐわからなくてもそのまま読み進み，そのあとにあげる具体例をみながら，行きつ戻りつしてください。

中心とは共役[#]の条件をさらに厳しくしたものと見ることができます。つまり，h と a が共役であるというときの g の条件は，”ある g∈G” だったのですが，中心では， ”すべての g∈G” となっているところに注意してください。また，

［証明］　⇒　[#]

［２］　さらに，G の G自身への働きを考えたときの固定部分群[#]には特別な名称がついてます。

この用語を用いれば，中心 [#] とは中心化群 C_a＝G　（ a と可換な元全体の集合がGと一致）[#]となる a を集めてきたものなのです。

［３］　このとき，次の定理が成り立ちます。

［証明］　

これは，7．類別２　で述べた固定部分群と剰余類の軌道に関する定理の（３）[#]において，G-軌道を共役類，固定部分群を中心化群としたものです。（つまり，Gの働く相手Mを頂点ではなく，G自身とする。）

正四面体群について確かめてみると，共役類は，

C(a_k)＝｛a₁，a₂，a₃，a₄｝
C(b_k)＝｛b₁，b₂，b₃，b₄｝；　k = 1,2,3,4
C(h_j)＝｛ h_x，h_y，h_z｝　　 ；　j = x,y,z
C(e)　＝｛e｝

一方，中心化群は，

C_ak＝C_bk＝｛e，a_k，b_k｝
C_hj＝｛e，h_x，h_y，h_z｝
C_e＝　G

であるから，

｜C(a_k)｜×｜C_ak｜＝4×3＝12
｜C(h_j)｜×｜C_hj｜＝3×4＝12
｜C(e)｜×｜C_e｜＝12×1＝12

などが確かめられます。

以上の定義，定理について例でその意味することを確認して行きましょう。

  まず，これまで調べてきた正四面体群の中心は，単位元 ｛ e ｝ だけです。この e について上記の定理などを具体的に確かめることができますが，これでは簡単に過ぎるので，ここでは他の例として単位元以外にも中心を持つ，結晶点群で C_4v または，4mm と呼ばれる群を調べて見ましょう。

［４］　C_4v は，いわゆるピラミッドの３次元空間内での広義の回転対称操作を取り出した群です。その元の名称と対応する操作は下図のように正方形の底面の４つの頂点の動きで分類することができます。

ここで，σ_j というのは鏡映対称と呼ばれる変換で，下図の水色の線上に鏡をこの（モニタの）画面に垂直において鏡写ししたものとなります。その群表は下のようになります。

e	c1	c2	c3
σx	σy	σd	σd’

［５］　背景が白い部分を見ると，c₂　はすべての元，g∈C_4v　と可換であることがわかります。(元の幾何学的な意味は右図を見よ)このような元は他には単位元 e しかありません。したがって，

（１）　群 C_4v の中心 [#] は，部分群：Z (C_4v)＝｛e，c₂ ｝　となります。

X･Y	e	c2
e	e	c2
c2	c2	e

（２）　これ以外にも自明でない部分群としては，

｛e，σ_x ｝，｛e，σ_y ｝，
｛e，σ_d ｝，｛e，σ_d’｝，
｛e，c₁，c₂，c₃ ｝，｛e，c₂，σ_x，σ_y｝，｛e，c₂，σ_d，σ_d’｝

が存在します。

（３）　共役類 [#] は，

　　｛e｝，｛c₂｝，｛c₁，c₃｝，｛σ_x，σ_y｝，｛σ_d，σ_d’｝

であって，C_4v は５つの共役類に分割されています。

［６］　たとえば，c₁，c₃ が共役 [#]であることは次のような計算結果から，

g＝	e	c1	c2	c3	σx	σy	σd	σd’
g-1＝	e	c3	c2	c1	σx	σy	σd	σd’
g･c1g-1＝	c1	c1	c1	c1	c3	c3	c3	c3
g･c3g-1＝	c3	c3	c3	c3	c1	c1	c1	c1

わかります。つまり，

C（c₁）＝｛ c₁，c₃ ｝　　　　←左右の90°回転は同じ仲間

また，共役類は共通部分がない同値類に分類されているので，

｜C4v｜＝

｜C(a)｜

この関係式は類等式と呼ばれます。

（４）　c₁ の中心化群：　C_c1＝｛ g｜g･c₁＝c₁･g；　g∈G ｝は c₁ と可換な元を抜き出して，

C_c1＝｛ e，c₁，c₂，c₃ ｝

となります。したがって，　

8＝　｜G｜＝｜C_c1｜･｜C（c₁）｜　＝　4×2　

なお，c₂ の中心化群は c₂ がすべての C_4v の元と可換なので，C_c2＝｛e，c₁，c₂，c₃，σ_x，σ_y，σ_d，σ_d’｝です。

a　＝	e	c2	c1，c3	σx，σy	σd，σd’
共役類　C（a）＝	｛e｝	｛c2｝	｛c1，c3｝	｛σx，σy｝	｛σd，σd’｝
中心化群　Ca＝	C4v	C4v	｛ e，c1，c2，c3 ｝	｛e，c2，σx，σy｝	｛e，c2，σd，σd’｝

中心化群の群表を書いておくと，

これらが可逆な部分群であることは一目瞭然ですね。

［５］　中心化群の定義[#]において，a∈Gの固定部分群を考える代わりに，a → H (Gの部分集合) と置き換えて定義される群を正規化群といいます。

ここで，H はGの任意の部分集合でも構いませんが，重要なのは，H がGの部分群となっているときです。具体例 として，C_4v でみておくと，

（１） 部分群 H＝｛e，σ_x ｝，および，｛e，σ_y ｝の正規化群は，どちらもN (H) ＝｛e，c₂，σ_x，σ_y｝である。
そして，HはN (H)の正規部分群[#]となっている。（N(H)より大きな群はHを正規部分群としない。）

（２） 部分群 H＝｛e，σ_d ｝，および，｛e，σ_d’｝の正規化群は，どちらもN (H) ＝｛e，c₂，σ_d，σ_d’｝である。
そして，HはN (H)の正規部分群[#]となっている。

（３） 部分群 H＝｛e，c₁，c₂，c₃ ｝，｛e，c₂，σ_x，σ_y｝，および，｛e，c₂，σ_d，σ_d’｝の正規化群は，どれもN (H) ＝C_4v である。そして，HはN (H)の正規部分群[#]となっている。

（４） 部分群 H＝｛e，c₂｝の正規化群は，まず，N (H) ＝C_4vである。
そして，HはC_4vでの正規部分群となっています。

ところが，この一部分を抜き出してもH＝｛e，c₂｝を正規部分群とする部分群が以下のとおり存在します。

以上のまとめ

	｛e，c2 ｝　　　＝＜c2＞ ｛e，σx ｝　　＝＜σx＞ ｛e，σy ｝　　＝＜σy＞ ｛e，σd ｝　　＝＜σd＞ ｛e，σd’｝　　＝＜σd’＞ ｛e，c1，c2，c3 ｝　　　＝＜c1＞ ｛e，c2，σx，σy｝　　＝＜c2，σx＞＝＜c12，σx＞ ｛e，c2，σd，σd’｝　＝＜c2，σd＞＝＜c12，σd＞ ｛e，c1，c2，c3，σx，σy，σd，σd’｝＝＜c1，σx＞
Hasse図　C4v　　(赤線： C4vの正規部分群) 　　　　　　　　　　　　　　白線は直上の群の正規部分群
	生成元による表示

説明文はこちら，　⇒　Appendix　冪零群

［目次へ］　

命題１の証明

定理１の証明

C(a)からG/C_aへ同型写像ψ(gag^-1)＝[g] が存在することを示せばよい。

gag^-1∈C(a)，[g]，[h]∈G/C_a　

関連項目：

点群で使われる記号　　C_4V

E＝｛E｝；　C₂＝｛C₄²｝；　2C₄＝｛C₄、 C₄³｝；　2σ_v＝｛σ_x、σ_y｝；　2σ_d＝｛σ_d、σ_d’｝

同じ類に属する既約表現のトレースは等しいという重要な性質があります。これを指標と呼びます。