記事ソース/準同型定理の例 - 物理のかぎプロジェクトWiki

新規
編集
添付
変更点
トップ
メニュー

間違い報告
現在 5 名がオンラインです。
記事ソース/準同型定理の例†

これはrst2hooktailの記事ソース保存・変換用です（詳細）．
コンバート

最近コンバートされた結果： HTML， PDF， TeX
公開・更新メニュー ▼▲

記事ソースの内容

ソースのテキストファイルを表示
============================================
準同型定理の例
============================================
一つ前の記事で、準同型定理を勉強しました。準同型定理とは次のようなものでした。

.. admonition:: theorem

		群 $G$ の群 $G'$ の上への準同型写像の核を $K$ とします。このとき、 $G/K$ と $G'$ は同型になります。


証明も簡単につけましたが、これだけではまだ、定理の意味(使い勝手や、威力を発揮する場面を含めて)がピンと来ないと思います。この記事では定理の復習も兼ねて、幾つか例を見ます。


例１
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
複素数の乗法群 $C^{*}$ (複素数全体から $0$ を抜くと乗群になります)から、正の実数の乗法群 $R^{*}$ (同じく正の実数全体から $0$ を抜くと乗群になります)への準同型写像 $f$ として、次のものを考えます。

<tex>
z \in C^{*}  \  \longmapsto  \  f(z)=|z| \in R^{*}
</tex> 


ある一つの複素数に、絶対値は一つしかありませんし、絶対値は必ず実数です。また、二つの複素数 $z,w$ に対し、 $|zw|=|z||w|$ が成り立ちますから、絶対値を取ることで複素数を実数に対応させる写像は、準同型写像になります。

さて、 $R^{*}$ の単位元は $1$ ですが、 $1$ に移される複素数とは、絶対値が $1$ の複素数です。これは極座標表示で $z=\cos \theta + i \sin \theta$ と表わされる複素数です。よって、この準同型写像の核 $T$ は $z=\cos \theta + i \sin \theta$ と表わされる複素数の全体となります。

<tex>
T= \{z||z|=1,z \in C^{*}  \}
</tex>

よって、準同型定理より次のことが言えます。

<tex>
C^{*}/T \sim R^{*}
</tex>


.. [*] この結果の意味が、よく納得できるでしょうか？極座標表示で書くと分かりやすいのですが、複素数は絶対値と偏角という二つの数を表わす、いわば「二次元の数」です。一方、実数は一次元の数ですから、複素数の絶対値にしか対応できません。そこで、偏角に関わらず、絶対値が等しい複素数同士を、一つの集合にまとめてしまったのが $C^{*}/T$ なわけです。 $C^{*}/T \sim R^{*}$ がひと目で当たり前と思えるまで、時間をかけて準同型定理の意味に慣れていきましょう。


例２
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
実数の加法群 $R$ から、複素数の乗法群 $C^{*}$ への準同型写像 $f$ として、次のものを考えます。

<tex>
\theta \in R  \  \longmapsto  \  f(\theta)=\cos 2 \pi \theta + i\sin 2 \pi \theta \in C^{*}
</tex>


確かにこの写像が、実数の加法群を複素数の乗法群に対応させる準同型写像になっていることを確認してみてください。 $f(\theta)$ 全体は、絶対値が $1$ の複素数全体になります(例１に出てきた $T$ です)。複素数の乗群の単位元は $1$ ですが、これは $\theta$ が整数の場合です。よって、この準同型写像の核は整数全体 $Z$ で、次の関係がなりたちます。


<tex>
R/Z \sim T 
</tex>



.. [*] ここで出てきた $R/Z$ を一次元トーラス群と呼びます( $R/Z$ が群になっていることを確認してみてください)。トーラスとは、要するにドーナツ型のことです。



例３
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
正則な $n \times n$ の行列全体からなる乗群 $GL(n,R)$ (これを *n次一般線形群* と呼びます)から、実数の乗法群 $R^{*}$ への準同型写像として「行列式を取る」という操作を考えます。

<tex>
A \in GL(n,R) \ \longmapsto \ {\rm det}A \in R^{*}
</tex>


確かに行列式は一つの行列に一つだけ決まりますし、正則な行列には必ず行列式があるので、これによって行列を実数に対応させることが出来るわけです。また、 ${\rm det}(AB)={\rm det}A{\rm det}B$ がなりたちますので(分からない人は線形代数を復習して下さい)、確かに準同型写像になっています。実数の乗法群 $R^{*}$ の単位元は $1$ ですから、この準同型写像の核は、行列式が $1$ の行列になります。行列式が $1$ になる $n \times n$ 行列の集合を $SL(n,R)$ と置くと(これを *n次特殊線形群* と呼びます)、準同型定理から次式が言えます。


<tex>
GL(n,R)/SL(n,R) \sim R^{*}
</tex>

.. [*] この例も、行列を一次変換の作用素だと考えると、特殊線形群は長さを変えない一次変換(回転だけ)を表わすものですから、例１と全く同じ話だと考えることができます。もう一度、例１と見比べてみて下さい。


例４
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ から群 $G'$ への準同型写像を考えます。もし $G$ が単純群だとすると、正規部分群は単位元 $e$ か $G$ 自身の二つしかないわけですから、核として可能なのは $e$ か $G$ 自身だけです。すると、準同型写像は、単純群に対しては次のような二種類しかないことになります。

<tex>
G/\{ e\} =G \sim G'
</tex>

<tex>
G/G = \{ e \} \sim G' 
</tex>

最初の例は、 $G$ と $G'$ が同型だという主張です。二番目の主張は、 $G'$ が単位元だけからなる群 $\{ e' \}$ だということです。単純群には、このような極端な準同型写像しか成り立たないのですね。(写像の「タイプ」には、この二種類のような準同型写像しか無いわけですが、「個々の写像の方法」は無数にある点にも注意して下さい。)



@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: Homomorphic3@@
物理のかぎプロジェクト

メニュー

最新の25件

記事ソース/準同型定理の例†

コンバート

公開・更新メニュー ▼▲

記事ソースの内容
