12　準同型定理
f-denshi.com  最終更新日：　04/04/18

１．群の準同型と核

［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］　準同型写像の一般的な（厳密な）定義は以下のとおりです。

Φが準同型写像であれば，

Φ(e)＝e’
Φ(g^-1)＝Φ(g)^-1，　　g^-1∈G，Φ(g)^-1∈G’

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

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

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

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

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

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

核の定義 　群 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^-1*H*g ⊂ H 。　よって，H は G の正規部分群。

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

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

ことを述べています。

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

Φ（x）＝g’   ⇒   Φ（x）＝Φ（g）及び，Φ（g’）^-1＝Φ（g^-1）

なので，

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

すなわち，

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

２．準同型定理

この定理はこれまで述べてきたことを，カッコよく言い換えたに過ぎません。正規部分群を用いた類別を考えたとき，得られる同値類（集合）をそれぞれ，ひとつの元とみなすと，これらの元の間に演算が定義できて新しい群を構成できることを見てきました。正四面体群 G の場合，正規部分群，H（＝h_xH ）による類別から作った商群 G/H が構成でき，これが群としては巡回群 Z₃ に等しいことを見てきました。一方，前章では整数の集合 Z の正規部分群，5Zによる類別からつくた整数の剰余群（これも商群）が構成でき，これが巡回群 Z₅ に等しいことを確認しました。（下図）

準同型定理	Φ（x）＝e， x∈hxH 正四面体の剰余群	Φ（x）＝e， x∈［0］5 整数の剰余群

記号は，a₁H＝｛a₁，a₂，a₃，a₄｝など[#]，　　［0］₅＝5Z＝｛･･･，-10，-5，0，5，10，･･･｝ などに注意。

これらのことを抽象化・一般化したのが準同形定理と呼ばれるものであって，この定理では，

「 ある準同型写像Φ：G→G’の性質は，この準同型写像Φに付随するもう一つの準同型写像Λ：G→G/Ker Φ と同じ 」

ものなので，これを調べれば十分だということをいっているのです。

［略証］　Ker Φ ＝H　とし，G の同値類 G/KerΦ＝ ｛aH，bH，・・・｝から G’への１対１写像 Ψ：　G/H　→G’ を，

Ψ（aH）＝Φ（a），　　もちろんΨ（bH）＝Φ（b）

と定義します。すると，

Ψ（aH･bH）＝Ψ（abH）＝Φ（ab）＝Φ（a）Φ（b）＝Ψ（aH）*Ψ（bH）　　⇒　[#]

ここで，同値類どおしの演算[#]，Φが準同型写像であることを利用しています。

（注意1）

ここでは群の用語，商群の構成法に慣れるために，故意にまわりくどい説明をしてますが，［ｑ］_nは要するに，整数を

Z＝kn+q，　q ＝ 0，1，2，・・・，n-1，（k は整数で商という）

と一意的に表したときの余りがｑの整数の集合に対応しています。そしてそのような整数をすべて同一視したものが剰余類群の元［ｑ］_nです。

また，次の命題が成り立ちます。

［目次へ］　

準同形写像の例

R^*＝R−｛0｝^， R⁺＝｛x∈R｜x＞0｝ ，
S⁰＝｛1，-1｝，S¹＝｛c∈C｜|c|＝1｝＝｛e^iθ｝

対称群 S_n からZ₂｛1，-1｝への写像：　　f（σ）＝sgnσ

合同変換群E（Rⁿ）：｛ φ｜φ（x）＝Ax＋b ｝
平行移動群D（Rⁿ）：｛ φ｜φ（x）＝x＋b ｝
直交群O（n）