next up previous
Next: About this document ...

1=10 1 by -1

代数学 IA No.10要約

\fbox{今日のテーマ}

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

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

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

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

定義 10.2   $ 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.3   準同型の例
  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 1123
$\displaystyle f(k)=2^k \qquad(k\in {\mbox{${\mathbb{Z}}$}})
$

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

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

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

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

    % latex2html id marker 1159
$\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.6   $ 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.7   $ 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 1214
$ g_1 \equiv g_2  ({\operatorname{mod}}\operatorname{Ker}(f))$ 」 とは同値である。

上の定理はとても大事であるので、次回からも引き続き考えることになる。

問題 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 1243
$ s \equiv a \mod H $ .
    ((ii))
    % latex2html id marker 1245
$ t \equiv a^2 \mod H $ .
    ((iii))
    % latex2html id marker 1247
$ s t \not \equiv a^3 \mod H$ .


next up previous
Next: About this document ...
2017-06-19