準同型定理 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 準同型定理 へ行く。

* (定理) 準同型定理 [#hcad20fe]

** 仮定 [#uc306db7]

- &mathjax{G, G'}; は群
- &mathjax{\phi}; は準同型写像 &mathjax{\phi: G \longrightarrow G'};

** 主張 [#f2274f05]

#mathjax(G/\mathrm{Ker}\phi \simeq \mathrm{Image}\phi);
は同型となる。

なお、

- &mathjax{G/\mathrm{Ker}\phi}; は &mathjax{G}; の正規部分群
- &mathjax{\mathrm{Image}\phi}; は &mathjax{G'}; の部分群

* 証明 [#m05ff4ad]

実際に同型写像 &mathjax{\bar{\phi}: G/\mathrm{Ker}\phi \longrightarrow \mathrm{Image}\phi}; を作っていく。以降では &mathjax{N = \mathrm{Ker}\phi}; とする。

次のように &mathjax{\bar{\phi}}; を定義する。

任意の &mathjax{x \in G/N}; に対し、 &mathjax{x = gN}; となる &mathjax{g}; を任意に選んで、その &mathjax{g}; で &mathjax{\bar{\phi}(x) = \phi(g)};

ここで &mathjax{\phi(g) \in \mathrm{Image}\phi}; は &mathjax{\mathrm{Image}\phi}; の定義から成り立つ。よって &mathjax{\phi(g) \in \mathrm{Image}\phi \subset G'}; となる。

まずこの &mathjax{\bar{\phi}}; の well-definedness を確認しよう。定義では「任意に選んで」としたが、選び方によって像が変わってしまうとすればそれは写像ではないため、どれを選んでも像が変化しないことを示す必要がある。 &mathjax{\bar{\phi}}; が well-defined であるための必要十分条件は、任意の &mathjax{x \in G/N}; に対し、 &mathjax{x = g_0N = g_1N}; となるような任意の &mathjax{g_0, g_1 ~(\in G)}; に対して &mathjax{\phi(g_0) = \phi(g_1)}; が成立していることである。これを言うためには、任意の &mathjax{g_0, g_1 ~(\in G)}; に対して &mathjax{g_0N = g_1N}; ならば &mathjax{\phi(g_0) = \phi(g_1)}; が成立していれば十分である (おそらく本当は必要十分だろうけど) 。これは実際次のようにして確かめられる。

&mathjax{g_0N = g_1N}; のとき、 &mathjax{[g_0] = [g_1]}; であるから、 &mathjax{G}; で &mathjax{g_0 \sim g_1}; となる。これは同値関係の定義により &mathjax{g_0^{-1}g_1 \in N}; となることを表す。ここで &mathjax{N = \mathrm{Ker}\phi}; だったことを思い出すと、 &mathjax{G'}; の単位元を &mathjax{e'}; として、 &mathjax{\phi(g_0^{-1}g_1) = e'}; となることが分かる。仮定から &mathjax{\phi}; は準同型写像であるから &mathjax{\phi(g_0^{-1})\phi(g_1) = \phi(g_0^{-1}g_1)}; となる。両辺に &mathjax{\phi(g_0)}; をかけることで &mathjax{\phi(g_1) = \phi(g_0)\phi(g_0^{-1}g_1) = \phi(g_0)e' = \phi(g_0)}; が分かる。よって、 &mathjax{\phi(g_0) = \phi(g_1)}; となり &mathjax{\bar{\phi}}; は well-defined である。

次に &mathjax{\bar{\phi}}; が準同型であることを示す。そのための必要十分条件は &mathjax{\bar{\phi}( (aN)(bN) ) = \bar{\phi}(aN)\bar{\phi}(bN)}; となることである。
&mathjax{N}; は[[核なので正規部分群]]であるから &mathjax{aN = Na}; を満たすことに注意する。また、 &mathjax{N}; は群なので、演算は &mathjax{N}; 内に閉じているはずだから &mathjax{NN = N}; となることにも注意。すると、左辺について
#mathjax(\bar{\phi}( (aN)(bN) ) = \bar{\phi}((aN)(Nb)) = \bar{\phi}(aNb) = \bar{\phi}(abN) = \phi(ab));
さらに &mathjax{\phi}; は準同型写像だから
#mathjax(\phi(ab) = \phi(a)\phi(b));
となる。一方で、右辺について
#mathjax(\bar{\phi}(aN)\bar{\phi}(bN) = \phi(a)\phi(b));
である。両辺から同じ式が得られたので、 &mathjax{\bar{\phi}(ab) = \bar{\phi}(a)\bar{\phi}(b)}; が言える。よって &mathjax{\bar{\phi}}; は準同型写像。

&mathjax{\bar{\phi}}; は次のように全単射であるから、同型写像である。したがってこの同型写像の存在により &mathjax{G_1/\mathrm{Ker}\phi \simeq \mathrm{Image}\phi}; が示せる。

** 単射性 [#jf58d092]

&mathjax{\bar{\phi}}; は準同型写像なので、その核が単位元一つからなる集合であればよい。 &mathjax{G_1/N}; の単位元は &mathjax{N}; であるから、 &mathjax{\mathrm{Ker}\bar{\phi} = \{N\}}; が言えればよい。実際、まず &mathjax{\bar{\phi}(N) = \phi(e_{G_1}) = e_{G_2}}; であるから &mathjax{N \in \mathrm{Ker}\bar{\phi}}; は言える。
&mathjax{\bar{\phi}}; は準同型写像なので、その核が単位元一つからなる集合であればよい (加筆します) 。 &mathjax{G_1/N}; の単位元は &mathjax{N}; であるから、 &mathjax{\mathrm{Ker}\bar{\phi} = \{N\}}; が言えればよい。実際、まず &mathjax{\bar{\phi}(N) = \phi(e_{G_1}) = e_{G_2}}; であるから &mathjax{N \in \mathrm{Ker}\bar{\phi}}; は言える。

他に &mathjax{gN \in \mathrm{Ker}f}; と仮定すると、 &mathjax{\bar{\phi}(gN) = \phi(g) = e_{G_2}}; となる。このような &mathjax{g}; は定義から &mathjax{\mathrm{Ker}\phi (= N)}; に属すので、 &mathjax{g \in N}; となる。ところで準同型写像の核は正規部分群なので部分群である。従って &mathjax{gN \subset N}; が成り立つ。また、 &mathjax{gN \supset N}; も成立する。 (実際、任意の &mathjax{n ~(\in N)}; に対して &mathjax{m = g^{-1}n ~(\in N)}; ととれば &mathjax{n = gm}; と表せるので、 &mathjax{n \in gN}; が分かる。) 従って &mathjax{gN = N}; となり、 &mathjax{\mathrm{Ker}\bar{\phi} = \{N\}}; が示せた。従って、 &mathjax{\bar{\phi}}; は単射である。

** 全射性 [#yf1bdc9e]

全射性を考えるときは、行き先が &mathjax{G_2}; であると勘違いしないように (私はしていた) 。本当の行き先は &mathjax{\mathrm{Image}\phi}; である。

&mathjax{\bar{\phi}(gN) = \phi(g)}; であることを思い出す。すると任意の &mathjax{y ~(\in \mathrm{Image}\phi)}; に対して、ある &mathjax{x ~(\in G_1)}; が存在し、 &mathjax{\phi(x) = y}; が成立する。この &mathjax{x}; で &mathjax{\bar{\phi}(xN) = \phi(x)}; が成立するので、全射である。