記事ソース/準同型写像改
メニュー現在 3 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/準同型写像改†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容===================================
準同型写像
===================================
ここまでに、群の性質や、群の働き方、部分群にまつわる様々なトピックを勉強してきました。いわば、いままでは群そのものについて勉強してきたとも言えるでしょう。
この記事では少し趣向を変えて、二つの群、 $G$ と $G'$ があったときに、群 $G$ の元から群 $G'$ の元へ対応関係がつけられるかを考えます。今までは二つの群が同型である、という意味を、やや曖昧にしたまま直観的に使ってきましたが、二つの群の対応関係をきちんと考えることで、群の同型という意味がはっきりしてきます。
実は、対象そのものを一つだけ考えるよりも、対象を写像してみることで、結局は対象の構造がよく分かる、ということが数学ではよくあります。写像の話題が大事なのは、一つには、写像を考えることで代数構造への理解が深まるという理由が考えられます。
準同型
--------------------------------------------------
何か関数 $f$ があり、群 $G$ の元と、群 $G'$ の元とが関数によって対応づけられるとします。ある集合の元を、異なる集合の元に対応づける関数関係を *写像* と呼ぶのでした。集合論や線形代数を既に勉強したことがある人ならば、聞いたことがあると思います。
.. image:: Joh-Homo1.gif
:align: center
つまり、写像 $f$ によって、群 $G$ の元は、何らかの方法により群 $G'$ の元に移されます。しかし $f$ の働き方にだって色々あるはずです。例えば $G$ の一つの元に対して $G'$ の複数の元が滅茶苦茶に対応する [*]_ とか、全ての $G$ の元が $G'$ の単位元に移されてしまうとか、そんな写像の方法だって考えられます(だから、上の絵では元の対応関係を、わざといい加減にしておきました)。
.. [*] 厳密には多価の対応関係は写像ではない。とのご指摘を頂きました。ここでは、対応関係がでたらめなことを意図したものだとお考えください。
しかし、実際に使う場面では、そのような変チクリンな写像は、あまり便利ではありません。群論で一番大事なのは、次のように定義される、 **準同型写像** と呼ばれる写像です。
.. admonition:: definition
写像 $f$ が群 $G$ の元 $x,y$ に作用するとき、 $f(xy)=f(x)f(y)$ を満たすものを準同型写像という。
なぜ、準同型写像が群論ではそんなに重要なのかを次に考えていきましょう。写像先の群 $G'$ の元には、以後全てダッシをつけて $x',y'$ のように表記することにします。
演算が移されること
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ の元 $a,b$ の積が、準同型写像 $f$ によってどう移されるかを見ます。群 $G'$ の元について $f(a)=a'$ , $f(b)=b'$ と定義すると、準同型写像の定義式より次式が言えるでしょう。
<tex>
f(ab)=f(a)f(b)=a'b'
</tex>
すなわち、準同型写像によって群 $G$ の元 $ab$ が、群 $G'$ の元 $a'b'$ に移されるということです。群 $G$ の元の間に、どのような演算が成り立つか、ということは(積の形に表現はしてありますが)具体的には、明らかではないことに注意してください。とにかく、群 $G$ で閉じている「ある演算」が、群 $G'$ で閉じている「ある演算」(同じ演算ではないことに注意してください)に移されたということです。
.. [*] 演算は同じものではありませんが、演算が演算に移った、ということは、群の構造が準同型写像によってある程度移されるということです。これは嬉しいことです。ただし、具体的に個々の準同型写像が一体どのようなものかが不明なのですから、 $G'$ の構造について、これだけの情報では、より具体的なことは言えません。しかし、群 $G'$ は群 $G$ を写像することで得られる群ですから、大抵の場合、群 $G'$ の構造を「ある程度は」反映した構造になっているものです。
単位元
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
まず、群 $G$ の単位元 $e$ は、準同型写像 $f$ によって次のように移されます。
<tex>
f(e)f(e)=f(ee)=f(e)
</tex>
左辺と中辺は準同型写像の定義そのまま、中辺と右辺の変形には $ee=e$ という関係を使っただけです。 $f(e)$ は群 $G'$ の元のはずですから、逆元 $f^{-1}(e)$ が存在するはずです。 $f^{-1}(e)$ を両辺から掛けると、次式を得ます。
<tex>
f(e)=f^{-1}(e)f(e)=e'
</tex>
つまり、準同型写像によって **単位元は単位元に移されます** . これは、非常に便利な性質です。
.. image:: Joh-Homo2.gif
:align: center
逆元
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
同様に、 $G$ のある元 $a$ の逆元 $a^{-1}$ がどのように写像されるかを見てみましょう。
<tex>
f(a)f(a^{-1})=f(aa^{-1})=f(e)=e'
</tex>
つまり、群 $G'$ において、 $f(a)$ と $f(a^{-1})$ は逆元の関係になっているということです。準同型写像によって **逆元は逆元に移される** ということが分かりました。これを、次のように書いておきましょう。
<tex>
f(a^{-1})=f(a)^{-1}
</tex>
.. image:: Joh-Homo3.gif
:align: center
.. [*] 準同型写像によって、単位元や逆元はそれぞれ単位元や逆元にうつされ、また、移された先の群でも、元同士の演算は閉じていることが分かりました。つまり、準同型写像は『群の構造を保存する写像』だと言うことができます。だから準同型写像が群論で重要なわけです。しかし $G'$ が群になるからといって、ただちに $G$ と $G'$ が同型だとは言えません。同型の定義には、後に見ますが、もっと強い条件が必要です。『群の構造を保存する』という言い回しと、『群が同型である』というのは全然別のことですから、慣れるまで言葉の意味に注意して下さい。準同型写像の"準"は、その辺りの事情を反映した、なかなか絶妙な命名です。
.. [*] 数学では『構造を保存する写像』を特に"射"と呼ぶのでした。準同型写像は、上に見たように群の構造を保存しますから、群論における射である、と言えるでしょう。いま私達が考えているのとは違う数学的構造、例えば位相構造における射は、二つの集合の連続性を保つような写像を射と考えます。数学には、いま私達が勉強している代数構造の他に、位相構造、順序構造などの構造があるのでした( 群について基本的なこと_ 参照)。いま、私達は『群構造を保つ射として準同型写像を考えているんだ』という立場を諒解しておいて下さい。というのは、私達はいま群論を勉強しているからです。
準同型写像の合成
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
最後に、群 $G$ から群 $G'$ への準同型写像を $f$ , 群 $G'$ から群 $G''$ への準同型写像を $g$ として、これらの合成写像 $g\circ f$ がどのように移されるかを見ます。 $g\circ f$ を $(xy)$ に作用させ、あとは準同型写像の定義式に当てはめていくだけです。
<tex>
(g\circ f)(xy)=g(f(xy))=g(f(x)f(y))=g(f(x))g(f(y))=(g\circ f(x))(g\circ f(y))
</tex>
準同型写像の合成は、やはり準同型写像になることが分かりました。
単準同型、全準同型、同型
--------------------------------------------------------------------
次に、準同型写像によって、群 $G$ が群 $G'$ にどのように移されるかによって、準同型写像を、少し種類分けしたいと思います。(先ほどは、単位元や逆元など、特定の元にだけ着目して準同型写像の働き方を見ましたが、一般的には、まだ写像の仕方を決めていません。)
難しい写像は出てきませんが、ここで十分に写像の基礎を復習をしている訳にはいきません。『どうも難しい...(・_・)』と感じる人は、自分で集合論や線形代数を復習してみてください。
単射
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ の元から、群 $G'$ の元への写像により、 $G$ の元が必ず $G'$ の一つの元に写像されるとき、このような写像を *単射* と呼びます。 $G$ の中で異なる二つの元は、必ず $G'$ の中でも異なる二つの元に移されるという、 *一対一の関係* が単射のポイントです。当然、 $G'$ が $G$ よりも小さな群ということはあり得ませんが(少なくとも同じ位数でなければならないはずです)、 $G'$ の方が大きな群であれば、 $G'$ の元の中には $G$ に対応する元を持たないものも含まれるでしょう。
.. image:: Joh-SinPro1.gif
:align: center
つまり、単射の場合、一般に $G$ の $f$ による像は、 $G'$ の部分群になると言えます。単射の写像により二つの群が準同型の場合、これを *単準同型* と呼びます。(間違えて単純同型と書かないように注意しましょう。)
例えば、正の整数で、ある整数 $n$ に対し、それよりも $2$ 大きい数 $n+2$ を考え(例えば $1$ と $3$ , $2$ と $4$ という具合）、これを $\frac{n}{n+2}$ という分数に対応させます。これによって正の整数は有理数に対応づけられますし、有理数の方からも $\frac{n}{n+2}$ の形で表わされる有理数が一つに決まります。よって、この写像は一対一で、単射だと言えます。しかし、有理数の中には $\frac{n}{n+2}$ の形で表わせないものもたくさんありますから、有理数の方が大きな集合で、この写像による対応関係はちょうど上図のようになります。確認してみて下さい。
全射
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ の全ての元を写像させたものが $G'$ になるとき、この写像を *全射* と呼びます。写像によって、 $G$ の一つの元は $G'$ の一つの元へ移されますので、一つの $G$ の元に対して複数の $G'$ の元が対応することはありません。しかし逆に、複数の $G$ の元が、同一の $G'$ の元に写像される可能性はあります。一般的には、全射の対応関係は、次図のように表せるでしょう。全射の写像により二つの群が準同型である場合、これを *全準同型* と呼びます。
.. image:: Joh-bijection2.gif
:align: center
例えば、実数 $\theta$ に複素数 $\cos \theta + i \sin \theta$ を対応させることで、実数の乗法群 $R^{*}$ を複素数の乗法群 $C^{*}$ に対応させることができます。これを $f(\theta) = \cos \theta + i \sin \theta$ と表わしましょう。 $f(\theta + \phi) = \cos (\theta +\phi)+ i \sin (\theta + \phi) = (\cos \theta + i \sin \theta)(\cos \phi + i \sin \phi)$ がなりたつので、この写像は準同型写像になっています。しかし、例えば $\pi$ と $3\pi$ がどちらも $-1$ に移されるように、 $2\pi$ ずれた実数は、どれも同じ複素数に移されてしまいますので、この写像は全射なのです。
同型
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
全射と単射は異なる概念ですから、この二つを組み合わせると、計四つのパターンが考えられます。頭を整理するために、それぞれがどのような場合を意味しているのかを納得するまで考えてみてください。
.. image:: Joh-Bijection1.gif
:align: center
特に『単射でもあり全射でもある』写像を *同型写像* と呼びます。上図の４番目のものです。
.. [*] 同型写像では、二つの元の間に、過不足なく一対一の対応関係が成り立ちますので、 $G$ から $G'$ の写像も、 $G'$ から $G$ の写像も行ったり来たり自由自在です。つまり、同型写像には逆写像があるということです。逆写像の存在こそが、同型写像の最大の特徴であり、便利な点です。一般の準同型写像では、一意的な逆写像は無いかも知れないという点をもう一度確認してみてください。
.. [*] 同型写像の定義として『 $G \rightarrow G'$ が準同型写像であり、 $G' \rightarrow G$ も準同型写像であるとき、この写像を同型写像と呼ぶ』としても良いでしょう。
.. [*] 準同型写像の定義式は、いま積の形で書かれていますが、もしも集合になりたつ演算が可換ならば、もちろん和の形で書いても良いのです。すると、準同型写像の定義式は $f(a+b)=f(a)+f(b)$ になりますね。線形代数を勉強した人なら、この形は線形写像という名前で見覚えがあると思います。 *線形写像は可換な準同型写像の一種だった* のです。(ただし線形写像には、もう一つスカラー倍演算という性質が必要です。)この記事では、集合として群を考えていますが、集合としてベクトル空間を考えるのが線形代数です。
自己準同型、自己同型
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ を $G$ 自身へ移す準同型写像を *自己準同型* と呼び、群 $G$ を $G$ 自身へ移す同型写像を *自己同型* と呼びます。群 $G$ の自己同型を ${\rm Aut}(G)$ のように書きます。
自己同型は写像ですが、自己同型 ${\rm Aut}(G)$ を何度合成しても、やはり $G$ の元は $G$ に移されますから、いわば写像の合成に関して閉じている、と言えます。同型写像なので逆写像もあります。よって、逆写像を逆元、恒等写像を単位元として、自己同型写像の全体は、やはり群の構造を持ちます。これを *自己同型群* と言います。写像を元とする群なんていうのもあるんですね。
.. [*] 自己同型群は、ガロア理論で非常に重要な役割を果たします。何となく覚えておいて下さい。
準同型写像の核
---------------------------------------------------------------------
さて、話が同型写像にまで行ってしまいましたが、また準同型写像に戻ります。写像には単射や全射といった種類があったことを確認してください。
群 $G$ の単位元 $e$ は必ず群 $G'$ の単位元 $e'$ に移されるということでしたが、もし写像が全射ならば、 $G$ の中には他にも $e'$ に移される元があるかも知れない、と考えられます(よく分からない人は、もう一度、全射の節を復習して下さい)。
群 $G$ の部分集合で、準同写像によって $e'$ に移されてしまうものを *Gの核* と呼びます。ドイツ語で核を $Kernel$ と言いますが、日本語でも核と言わずに *カーネル* とそのまま呼ぶ人もいます。
.. image:: Joh-Kernel.gif
:align: center
核の大きさは、もちろん準同型写像によって変わります。最低で元１つ(単位元のみ)、最大で群 $G$ そのものです。準同型写像の核について、次の定理がとても重要です。
.. admonition:: theorem
準同型写像 $f$ の核 $K$ は正規部分群になります
.. admonition:: proof
群 $G$ の核 $K$ に属する二つの元 $a,b$ に対し、準同型写像の定義より、 $f(ab)=f(a)f(b)=e'e'=e'$ がなりたちます。よって、 $a,b$ の積 $ab$ も核 $K$ の元であるはずで、 $K$ は演算について閉じていることが分かります。また、準同型写像によって逆元は逆元に移されるということでしたが、 $e'$ の逆元は $e'$ 自身ですから、 $a$ や $b$ の逆元 $a^{-1},b^{-1}$ も核 $K$ に入っていなければならないことが分かります。 $G$ の単位元 $e$ が $e'$ に移されることは既に見ました。これらの結果より、核 $K$ は部分群になっていることが分かります。最後に、核 $K$ が正規部分群であることを示します。準同型写像の定義より、 $K$ の任意の元 $g$ に対し $f(gag^{-1})=f(g)f(a)f(g^{-1})=f(g)e'f(g)^{-1}=f(g)f(g)^{-1}=e'$ が言え、 $gag^{-1}$ も $K$ の元であることが示せました。■
.. [*] 正規部分群の概念は群論の中でも非常に重要です。順番としては剰余類や商群から出てきた概念ですが、より現代的な捉え方としては、正規部分群を準同型写像の核として定義した方がスマートかも知れません。
.. _剰余類: http://www12.plala.or.jp/ksp/algebra/Remainder/
.. _群について基本的なこと: http://www12.plala.or.jp/ksp/algebra/GroupBasic/
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: Homomorphic@@
|
