12　準同型定理
f-denshi.com  最終更新日：　23/04/11
［目次へ］
サイト検索

１．群の準同型と核

［1］　整数 Z から剰余群 Z_nへの写像 Φ：a　→　［a］_n　（＝Φ（a））を考えます。このとき，すべての a，b∈Z について，

Φ（a+b）＝Φ（a）+Φ（b）　　　　←　［a+b］_n＝［a］_n+［b］_n

が成り立っていました。このとき，

 a　 　+　 　b　　 ＝　　c　　　　　：整数の加法
↓　　　　　↓　　　　　↓Φ
Φ（a） +　Φ（b）   ＝ Φ（c）　　  ：剰余群の加法

    （　［a］_n   +   ［b］_n  ＝ ［a+b］_n　＝［c］_n　）

の対応が成立しますが，このような写像 Φ は準同型写像と呼ばれます。

［2］　準同型写像の一般的な（厳密な）定義は以下のとおりです。

このとき，最も基本的は関係として，

ここで，Φ(g)^-1∈G’は，Φ(g)の逆元です。　なお，Φ^-1(g’)∈G　におけるΦ^-1はΦの逆写像という意味なので混同しないように。

証明

（１）　準同型写像の定義より，

Φ(e)＝Φ(e*e)＝Φ（e）*Φ（e）

Φ^-1(e)を両辺に掛けて。

(e’＝)　Φ^-1(e)*Φ(e)＝Φ^-1(e)*Φ（e）*Φ（e）＝e’*Φ（e）＝Φ（e）

（２）　準同型写像の定義より，

e’＝Φ(g*g^-1)＝Φ(g)*Φ(g^-1)

両端を着目すると，Φ(g^-1)はΦ(g)の逆元Φ(g)^-1に等しいことが分かる。　(終)

例　　

正四面体群 G＝｛ e，h_x，h_y，h_z，a₁，a₂，a₃，a₄，b₁，b₂，b₃，b₄ ｝[#] から３文字の巡回群 Z₃＝ { e’，t₁，t₂ } [#] への写像を以下の通り定めると，

Φ(e)＝Φ(h_x)＝Φ(h_y)＝Φ(h_z)＝e’
Φ(a₁)＝Φ(a₂)＝Φ(a₃)＝Φ(a₄)＝t₁
Φ(b₁)＝Φ(b₂)＝Φ(b₃)＝Φ(b₄)＝t₂

Φ： G→Z₃ は準同型写像となります。実際，

Φ（a_k*a_k）＝Φ(b_k)＝t₂＝t₁*t₁＝Φ（a_k)*Φ(a_k）
Φ（a_k*b_k）＝Φ(e)＝e’＝t₁*t₂＝Φ（a_k)*Φ(b_k）
　　　　　　　・・・・・・・・・・
Φ（h_x*h_y）＝Φ(h_z)＝e’＝e’*e’＝Φ(h_x)*Φ(h_y)
　　　　　　　・・・・・・・・・・

などと準同型定理の定義を満足していることをすべて確かめることができます。

あるいは，

Φ（a_k^-1）＝Φ（b_k）＝t₂＝t₁^-1＝Φ（a_k）^-1
Φ（h_k^-1）＝Φ（h_k）＝e’＝e’^-1＝Φ（h_k）^-1

などを確認してもよいでしょう。

ついでに述べておくと，このような Φ が，さらに群 G から群 G’への

（1）1対1写像（単射），
（2）上への写像（全射）

という両条件をみたすときは同型写像と呼ばれます。その場合，G と G’は群として全く同じ構造をもっているといえます。

　　写像，Φ：Z  → Z_n の場合は，1対1写像ではありませんが，Z_n の上への写像（全射）となっています。この場合，上への準同型写像（または，全準同型写像）と呼ばれます。

［３］　　ここで，準同型写像において重要な用語を一つ定義しておきましょう。

核の定義 　群G（単位元： e ）から群G’（単位元： e’）への準同型写像を Φとする。このとき，Φ によって群 G’の単位元 e’に移される G の元すべてからなる G の部分集合，すなわち， Ker Φ＝｛g｜Φ（g）＝e’，g∈G　｝ を Φの核といい，Ker Φと書く。

整数の集合，Z から剰余類群，Z_nへの準同型写像 Φ の核は：　Ker Φ＝nZ　です。つまり，n の倍数はΦによって，すべて Z_n の単位元 [0]_n へ写されています。

［４］　この用語を用いて，これまでみてきたことを一般化すると，

と言うことができます。

［５］

［略証］　

（1）　Ker Φ が正規部分群であることは，すべての g に対して，g^-1Ｈg ⊂ H＝KerΦ を示せばよい。[#]

任意の h ∈ KerΦ をとると，どんな g ∈ G に対しても，

　　Φ（g*h*g^-1）＝Φ（g）*Φ（h）*Φ（g^-1）
　　　　　　　　　　＝ Φ（g）*e’*Φ（g）^-1＝Φ（g）*Φ（g）^-1
　　　　　　　　　　＝e’

したがって，g*h*g^-1 ∈KerΦ，ここで，h は核の任意の元なので，g^-1Ｈg ⊂ KerΦ。

(2) 　H　＝Φ^-1（H’）とおくと，任意の h ∈ H について Φ（h）∈H’であり，任意の g∈G に対して，

Φ（g*h*g^-1）＝Φ（g）*Φ（h）*Φ（g^-1）∈H’         ∵　 H’は正規部分群なので最後の∈がいえる。                

すなわち，任意の h∈H について，g*h*g^-1 ∈ H  ⇒ g*H*g^-1 ⊂ H 。　よって，H は G の正規部分群。

（3）　証明の前にこの定理のかみ砕いた言い方をしておくと，

　G （Z）の部分集合，Ker Φ （nZ） の元が Φによって　”すべて”，G’のひとつの点　e’（[0]_n）に移されるように，G の部分集合 g₁Ker Φ（g₁+nZ ）はそっくりすべて，G’のひとつの点　g₁’点 （[g₁]_n ）に移される。（右図）

ことを述べています。

証明は，x∈Φ^-1（g’），Φ（g）＝g’　ならば，

Φ（x）＝g’   ⇒   Φ（x）＝Φ（g）＝g’　

また，Φ（g）^-1＝Φ（g^-1）　なので，

e’＝Φ（g）^-1*Φ（g）＝Φ（g^-1）*Φ（x）
　　＝Φ（g^-1x）

すなわち，

g^-1x ∈ Ker Φ　　⇔　　x∈ g KerΦ　　

逆に，x＝gKerΦ　ならば，

Φ(x)＝Φ(g)Φ(kerΦ)＝Φ(g)e’＝g’　

よって，gKerΦとg’が1対１に対応している。

これは，g＝g_k　(k＝1,2,…,n)について成り立つ。

２．準同型定理

　　上へのという条件がないときでも，G/KerΦ と Im Φ⊂ G’は同型である，と述べることはできる。

［１］

例の解説はクドイので削除しました。

［２］　この準同型定理の一般的な証明を書いておきましょう。

準同型定理

(1)　群Gの正規部分群をH，その剰余群をG/Hとする。このとき，

Λ：　G　→　G/H　　　　  [ 射影 ：標準的全準同型写像］

すなわち，

Λ(g)＝gH　　：　　g∈G，gH∈G/H

とするとき，剰余類の積はΛを用いれば，

(g_jH)(g_kH)＝g_jg_kH　　　⇔　　Λ(g_j)Λ(g_k)＝Λ(g_jg_k)

と表されるので，Λは(標準的)全準同型写像である。

(2)　定理１より，GからG’への準同型写像Φの核 KerΦは，Gの正規部分群であるからこれを同じHで表すこととする。

G のH による剰余群 (等質集合) G/H＝ ｛g₀H=H，g₁H，・・・｝から G’への１対１写像を，

Ψ：　G/H　→ G’

ただし，

Ψ（g₀H）＝Φ（g₀），　Ψ（g₁H）＝Φ（g₂），・・・

と定義する。

ここで，仮定よりΦが全射なので，任意のg’∈G’に対して，Φ(g)＝ｇ’ となる g が存在する。

また，Λも全射であるから　Ψ(Λ(g))＝Φ(g)＝g’ を考えるとΨは全射である。

(3)　g_j とg_k が同じ同値類に属することは，定理１-(3) より，Φ(g_j)＝Φ(g_k)　と同じことである。すると，

Ψ(g_jH)＝Ψ(g_kH) ⇔ Φ(g_j)＝Φ(g_k) ならば，g_jH＝g_kH  

であるから，Ψは単射であり，(2)の結論と合わせて，Ψは全単射である。

(5)　さらに，Φが準同型写像であることを利用して，

Ψ（g_jH*g_kH）＝Ψ（g_jg_kH）＝Φ（g_j*g_k）＝Φ（g_j）*Φ（g_k）＝Ψ（g_jH）*Ψ（g_kH）　　

よって，Ψは準同型写像である。以上より，Ψは同型写像である。

この定理を成り立たせているポイントは，「KerΦがGの正規部分群である」というところです。

［３］　連続濃度の元を持つ群に対する例を一つ挙げておきます。

群の元が離散的でない乗法群 C^* から R⁺への準同型写像

Φ（c）＝|c|

を考えます。この写像が準同型であることは容易に確かめられます。

この写像によって複素平面単位円上の点はすべて，乗法群 R^* の単位元 1 に写されますから，

KerΦ＝exp (iθ)，0≦θ＜2π　　(半径1の円で S¹ と書く)

が核 [#] であることが分かります。

すると，準同型定理によって，剰余群

C^*/S¹＝｛r｜re^iθ/e^{iθ，r＞0，0≦θ＜2π}｝

は，

ImΦ＝R^*

と同型であることが分かります。

これを図で示すと下のように表すことができます。

R⁺＝｛x∈R｜x＞0｝
C^*＝C−｛0｝

［４］

定理２の言い換え (集合の演算を考えない場合への拡張) です。証明も同様なので省略します。

［目次へ］　

加群では，e　→　0　，　零写像　Φ（z）＝0 ∈Z_m 　とみなす。

例　Φ：Z₆→Z₃とZ₃　→Z₆　において最大公約数は3なので，それぞれ，以下のような3つの準同型写像が存在する。

ここで，Φ₂，および，Φ₃は全射であり，ともに，核：KerΦ＝｛[0]₆，[3]₆｝であるが，

剰余群　Z₆/｛[0]₆，[3]₆｝

を考えることが可能で，これはZ₃：｛[0]₃，[1]₃，[2]₃｝と同型である。

古典群

準同形写像の例

A∈ M_n 実n次正方行列，　

K^*＝K−{0}
R^*＝R−｛0｝
R⁺＝｛x∈R｜x＞0｝
C^*＝C−｛0｝

S⁰＝｛x∈R |　|x|＝1｝＝｛1，-1｝
S¹＝｛c∈C |　|c|＝1｝＝｛e^iθ｝

行列，

S0＝			1	0	･･	0		，		-1	0	･･	0
			0	1	･･	･･				0	1	･･	･･
			･･	･･	1	0				･･	･･	1	0
			0	･･	0	1				0	･･	0	1

S1＝	，		a	0	･･	0
			0	1	･･	･･
			･･	･･	1	0
			0	･･	0	1