next up previous
Next: About this document ...

1=10 1 by -1

代数学 IA No.10要約

\fbox{今日のテーマ}

準同型とは、演算を保つ写像の事である。

定義 10.1   $ G$ を群、$ K$ をその部分群とする。$ K$$ G$ の正規部分群であるとは、 任意の $ g\in G$ と任意の $ h\in K$ とに対して、

$\displaystyle ghg^{-1}\in K
$

が成り立つときに言う。

定理 10.2   $ ($ 重要$ )$ $ G$ を群、$ H$ をその部分群とする。$ G/H$ に次のような乗法を定めて群にしてやりたい 。

$\displaystyle \overline{a} \overline{b} =\overline{ab}
$

これが、代表元の取りかたによらずにうまくいって、$ G/H$ が実際に群にな るためには、$ H$ が正規部分群である事が必要十分である。

定理 10.3   $ G$ を群、$ N$ をその正規部分群とする。このとき $ G$ の二つの元 $ x,y$ に関する次の 二つの条件は同値である。
(1).
ある $ n\in N$ があって、$ xn=y$ が成り立つ。
(2).
ある $ m\in N$ があって、$ mx=y$ が成り立つ。
すなわち、正規部分群でクラスわけする時には、 「左」「右」をあまり気にしなくて良い。

定義 10.4   $ G,H$ を群とする。$ G$ から $ H$ への写像 $ f:G\to H$群準同型 であるとは、 任意の $ g_1,g_2\in G$ に対して、

$\displaystyle f(g_1 g_2)=f(g_1)f(g_2)
$

が成り立つときに言う。 準同型 $ f$ が全単射でもある時、$ f$ を同型と言う。

例 10.5   準同型の例
  1. 任意の群 $ G$ に対して、$ G$ の上の恒等写像 $ {\operatorname{id}}:G\to G$$ G$ から $ G$ への準同型である。これは全単射であるから、同型である。
  2. $ n$ を正の整数とする。 $ {\mbox{${\mathbb{Z}}$}}$ から $ n{\mbox{${\mathbb{Z}}$}}$ への写像 $ f$ を、

    $\displaystyle f(k)=nk
$

    により定めると、$ f$ は準同型である。これも同型である。
  3. $ n$ を正の整数とする。 $ {\mbox{${\mathbb{Z}}$}}$ から $ {\mbox{${\mathbb{Z}}$}}$ への写像 $ f$ を、

    $\displaystyle f(k)=nk
$

    で定めると、$ f$ は準同型である。これは $ n>1$ なら同型ではない。
  4. $ n$ を正の整数とする。 $ {\mbox{${\mathbb{Z}}$}}$ から $ C_n=\langle a; a^n=e \rangle $ を、

    $\displaystyle f(k)=a^k
$

    で定めると、$ f$ は準同型である。これは同型ではない。
  5. $ ({\mbox{${\mathbb{Z}}$}},+)$ から $ ($$ \mbox{${\mathbb{Q}}$}$$ ^\times,\times))$ への写像 $ f$

    % latex2html id marker 1211
$\displaystyle f(k)=2^k \qquad(k\in {\mbox{${\mathbb{Z}}$}})
$

    で定義すると、$ f$ は準同型である。これは同型ではない。

例 10.6 (準同型でない例)  
  1. $ {\mbox{${\mathbb{Z}}$}}$ から $ {\mbox{${\mathbb{Z}}$}}$ への写像 $ n\mapsto n^2$ は準同型ではない。
  2. $ {\mbox{${\mathbb{Z}}$}}$ から $ {\mbox{${\mathbb{Z}}$}}$ への写像 $ n\mapsto n+1$ も準同型ではない。

これまで、群には演算、というデータのほかに、単位元、逆元の存在が基本的である と言ってきた。これらは準同型で自動的に保存される。次の定理でそのことを示そう。

定理 10.7   $ G,H$ を群とする。$ G$ から $ H$ への準同型写像 $ f:G\to H$ に対して、次の事が 成り立つ。
  1. $ f$ は単位元を単位元にうつす。すなわち、

    % latex2html id marker 1247
$\displaystyle f(e_G)=e_H. \quad ($$e_G,e_H$ はそれぞれ $G.H$ の単位元$\displaystyle )
$

  2. $ f$ は逆元を逆元にうつす。すなわち、任意の $ G$ の元 $ g$ に対して、

    $\displaystyle f(g^{-1})=f(g)^{-1}
$

    が成り立つ。
  3. 任意の整数 $ n$ と任意の $ G$ の元 $ g$ に対して、

    $\displaystyle f(g^n)=f(g)^n
$

    が成り立つ。

$ \bullet$ 準同型の核

定義 10.8   $ f:G\to H$ を二つの群の間の準同型とする。$ f$ の核 (kernel) とは、$ H$ の単位元 $ e_H$$ f$ の逆像の事である。すなわち、

$\displaystyle \operatorname{Ker}(f)=f^{-1}(e_H)=\{g\in G; f(g)=e_H\}
$

準同型を調べよ、と言われたらとりあえずその核を調べる。核は次のような性質と役割 をもつ。

定理 10.9   $ f:G\to H$ を二つの群の間の準同型とする。このとき、
  1. $ f$ の核 $ \operatorname{Ker}(f)$$ G$ の正規部分群である。
  2. $ g_1,g_2\in G$ に対して、「 $ f(g_1)=f(g_2)$ 」 と 「 % latex2html id marker 1302
$ g_1 \equiv g_2 \ ({\operatorname{mod}}\operatorname{Ker}(f))$ 」 とは同値である。

上の定理はとても大事であるので、次回からも引き続き考えることになる。 (実力のある諸君はこの時点で準同型定理(NO.1 要約参照) の証明を完結できる筈である。試していただきたい。)

※レポート問題

問題 10.1   $ G=\mathbb{D}_4 =\langle a,b ; a^4=e, b^2=e, bab^{-1}=a^{-1}\rangle $ の 部分群 $ H=\{e,b\}$ について、
  1. $ G$$ \mod H$ での左合同によるクラス分けを クラス分けの表を用いて書きなさい。
  2. $ G$$ \mod H$ での右合同によるクラス分けをクラス分けの表を用いて書きなさい。 ただし、$ x,y\in G$ が右合同であるとは、 $ \exists h \in H$ があって、 $ h x =y$ が成り立つときにいう。

  3. $ G$ の元 $ s,t$ で、つぎの性質を同時に満たすものを見つけなさい。
    ((i))
    % latex2html id marker 1331
$ s \equiv a \mod H $ .
    ((ii))
    % latex2html id marker 1333
$ t \equiv a^2 \mod H $ .
    ((iii))
    % latex2html id marker 1335
$ s t \not \equiv a^3 \mod H$ .


next up previous
Next: About this document ...
2015-06-22