群準同型ぐんじゅんどうけいgroup homomorphismと同型どうけいisomorphism

date2026-07-14document_iddoc_56e7c273d30060a1591234a6ff558442description群準同型を、演算を保つ写像として定義し、核・像・同型が何を保存するかを説明する。prerequisites[群/ぐん]の[基本/きほん] / [正規部分群/せいきぶぶんぐん]と[商群/しょうぐん] / [写像/しゃぞう]の[基本/きほん]type講義content_typelecturestatusactive

mathabstract-algebragroup-theorylecture

群ぐんどうしを比くらべるとき、元げんの名前なまえが一致いっちする必要ひつようはない。重要じゅうようなのは、演算えんざんの構造こうぞうが保たもたれることである。この「演算えんざんを保たもつ写像しゃぞう」が群準同型ぐんじゅんどうけいである。

1群準同型ぐんじゅんどうけい

群ぐん $G, H$ に対たいして、写像しゃぞう $φ : G \to H$ が群準同型ぐんじゅんどうけいであるとは、任意にんいの $a, b \in G$ について

φ (a b) = φ (a) φ (b)

が成立せいりつすることである。

ここで左辺さへんの積せきは $G$ の演算えんざんであり、右辺うへんの積せきは $H$ の演算えんざんである。記号きごうが同おなじでも、どの群ぐんの演算えんざんかを区別くべつする必要ひつようがある。

2準同型じゅんどうけいが自動的じどうてきに保たもつもの

群準同型ぐんじゅんどうけい $φ : G \to H$ は単位元たんいげんを単位元たんいげんへ送おくる。

φ (e_{G}) = e_{H}

また、逆元ぎゃくげんを逆元ぎゃくげんへ送おくる。

φ (a^{- 1}) = φ (a)^{- 1}

これらは定義ていぎに直接ちょくせつ書かかれていないが、演算えんざんを保たもつことから導みちびかれる。

3核かくと像ぞう

群準同型ぐんじゅんどうけい $φ : G \to H$ の核かくkernelを

\ker φ = {g \in G ∣ φ (g) = e_{H}}

で定義ていぎする。核かくは、写像しゃぞうによって単位元たんいげんに潰つぶれる部分ぶぶんである。

像ぞうimageは

Im φ = {φ (g) ∣ g \in G}

である。像ぞうは、実際じっさいに到達とうたつする元げん全体ぜんたいであり、 $H$ の部分群ぶぶんぐんになる。 $e_{H} = φ (e_{G})$ なので像ぞうは空からでない。実際じっさい、 $x = φ (a)$ 、 $y = φ (b)$ が像ぞうに属ぞくするなら

x y^{- 1} = φ (a) φ (b)^{- 1} = φ (a b^{- 1})

も像ぞうに属ぞくするので、部分群判定法ぶぶんぐんはんていほうを使つかえる。

4同型どうけい

群準同型ぐんじゅんどうけい $φ : G \to H$ が全単射ぜんたんしゃであるとき、群ぐん同型どうけいという。このとき $G$ と $H$ は群ぐんとして同おなじ構造こうぞうを持もつ。

G ≅ H

と書かく。

同型どうけいでは、元げんの名前なまえは変かわる。演算表えんざんひょうを文字通もじどおり同おなじ並ならびで保存ほぞんするのではなく、行ぎょう・列れつの見出みだしと各成分かくせいぶんを $φ$ で対応たいおうする元げんに置おき換かえると、二ふたつの演算表えんざんひょうは一致いっちする。これは $φ (a b) = φ (a) φ (b)$ そのものである。

その結果けっか、単位元たんいげん、逆元ぎゃくげん、部分群ぶぶんぐんの包含関係ほうがんかんけい、群ぐんの位数いすう、および各元かくげんの位数いすうなどの群論的性質ぐんろんてきせいしつが保存ほぞんされる。

これらを確たしかめる。 $K [PARSE ERROR: Undefined("Command(\"le\")")] G$ なら $φ (K)$ は空からでなく、 $a, b \in K$ に対たいして

φ (a) φ (b)^{- 1} = φ (a b^{- 1}) \in φ (K)

なので、部分群判定法ぶぶんぐんはんていほうより $φ (K) [PARSE ERROR: Undefined("Command(\"le\")")] H$ である。逆ぎゃくに $L [PARSE ERROR: Undefined("Command(\"le\")")] H$ なら、逆像ぎゃくぞう

φ^{- 1} (L) = {g \in G ∣ φ (g) \in L}

も同おなじ判定法はんていほうで $G$ の部分群ぶぶんぐんになる。 $φ$ は全単射ぜんたんしゃなので、 $K \mapsto φ (K)$ と $L \mapsto φ^{- 1} (L)$ は互たがいに逆ぎゃくであり、

K_{1} \subseteq K_{2} ⟺ φ (K_{1}) \subseteq φ (K_{2})

である。したがって部分群ぶぶんぐんの包含関係ほうがんかんけいが保存ほぞんされる。

また、全単射ぜんたんしゃは $G$ と $H$ の元げんを一対一いちたいいちに対応たいおうさせるので、 $| G | = | H |$ である。 $m [PARSE ERROR: Undefined("Command(\"ge\")")] 0$ については、 $m = 0$ のときの $φ (e_{G}) = e_{H}$ を出発点しゅっぱつてんとし、

φ (g^{m + 1}) = φ (g^{m} g) = φ (g^{m}) φ (g)

を使つかう帰納法きのうほうにより $φ (g^{m}) = φ (g)^{m}$ である。 $m = - n < 0$ なら、逆元ぎゃくげんの保存ほぞんから

φ (g^{- n}) = φ ((g^{- 1})^{n}) = φ (g^{- 1})^{n} = φ (g)^{- n}

となる。したがって任意にんいの $m \in Z$ について $φ (g^{m}) = φ (g)^{m}$ であり、単射性たんしゃせいから

g^{m} = e_{G} ⟺ φ (g)^{m} = e_{H}

となる。よって $g$ と $φ (g)$ は、有限位数ゆうげんいすうなら同おなじ最小さいしょうの正せいの指数しすうを持もち、そのような指数しすうがなければどちらも無限位数むげんいすうである。

5具体例ぐたいれい

$φ : Z \to Z / n Z$ を

φ (k) = [k]

で定さだめる。これは群準同型ぐんじゅんどうけいである。

φ (a + b) = [a + b] = [a] + [b]

だからである。この写像しゃぞうの核かくは

\ker φ = n Z

である。

6証明しょうめい補足ほそく：準同型じゅんどうけいが保存ほぞんするもの

$φ : G \to H$ を群準同型ぐんじゅんどうけいgroup homomorphism とする。このとき

φ (e_{G}) = e_{H}, φ (g^{- 1}) = φ (g)^{- 1}

である。

まず $φ (e_{G}) = φ (e_{G} e_{G}) = φ (e_{G}) φ (e_{G})$ である。左ひだりから $φ (e_{G})^{- 1}$ を掛かけると $e_{H} = φ (e_{G})$ である。つぎに

e_{H} = φ (e_{G}) = φ (g g^{- 1}) = φ (g) φ (g^{- 1})

なので、 $φ (g^{- 1})$ は $φ (g)$ の逆元ぎゃくげんである。よって $φ (g^{- 1}) = φ (g)^{- 1}$ である。

さらに、核かくkernel $\ker φ$ は $G$ の正規部分群せいきぶぶんぐんである。 $a, b \in \ker φ$ なら

φ (a b^{- 1}) = φ (a) φ (b)^{- 1} = e_{H} e_{H^{- 1}} = e_{H}

なので $a b^{- 1} \in \ker φ$ であり、部分群判定法ぶぶんぐんはんていほうから部分群ぶぶんぐんである。また $g \in G$ 、 $a \in \ker φ$ について

φ (g a g^{- 1}) = φ (g) φ (a) φ (g)^{- 1} = φ (g) e_{H} φ (g)^{- 1} = e_{H}

なので $g a g^{- 1} \in \ker φ$ である。したがって核かくは正規せいきである。

最後さいごに、 $φ$ が単射たんしゃであることと $\ker φ = {e_{G}}$ は同値どうちである。 $φ$ が単射たんしゃなら、 $φ (g) = e_{H} = φ (e_{G})$ から $g = e_{G}$ である。逆ぎゃくに $\ker φ = {e_{G}}$ とし、 $φ (g_{1}) = φ (g_{2})$ とする。すると

φ (g_{1} g_{2^{- 1}}) = e_{H}

なので $g_{1} g_{2^{- 1}} \in \ker φ$ 、したがって $g_{1} g_{2^{- 1}} = e_{G}$ である。よって $g_{1} = g_{2}$ であり、 $φ$ は単射たんしゃである。

7演習えんしゅうリンク

data/exercise/math/abstract-algebra/homomorphisms-and-isomorphisms.exercise.n.md

8まとめ

群準同型ぐんじゅんどうけいは演算えんざんを保たもつ写像しゃぞうである。核かくは潰つぶれる部分ぶぶん、像ぞうは到達とうたつする部分ぶぶんである。同型どうけいは構造こうぞうを完全かんぜんに保存ほぞんする準同型じゅんどうけいであり、抽象代数ちゅうしょうだいすうで「本質的ほんしつてきに同おなじ」を表あらわす。