準同型定理と加群同型+自己紹介

236

まえがき

こんにちは！的場沙雪です．珍しく群論の話です．いつも問題の投稿や問題の解説をしていますが，今回は出来ていなかった自己紹介も兼ねて以前考えていたことについて解説をしようと思います（要は準同型定理って存在性しか述べてないけど一意だよねって話です）．

今後は今まで通り問題の投稿や問題の解説の他に，高校の頃から書き溜めていたメモの一部を紹介+考察をしたりしていこうと思います．

自己紹介

的場沙雪です．趣味は絵，作曲，数学です．好きな数学の分野は数理論理学，微分積分学，抽象代数学で，最近は証明論と順序数解析に興味があります（この辺の話を一から教えてくれるとめちゃくちゃ嬉しいです）．好きな定数はオイラーの定数です．

定理の下準備

群 $(G, *)$ ， $(H, \cdot)$ に対して， $(G, *)$ から $(H, \cdot)$ への群準同型全体の集合を $Hom ((G, *), (H, \cdot))$ と表します．

群 $(G, *)$ ，環 $(R, +, \times)$ に対して，
$\forall (h, k) \in Hom {((G, *), (R, +))}^{2}, \forall u \in G, (h + k) (u) := h (u) + k (u)$
$\forall c \in R, \forall h \in Hom ((G, *), (R, +)), \forall u \in G, (c \times h) (u) := c \times h (u)$
により $Hom ((G, *), (R, +))$ 上の演算 $+$ ， $\times$ を定義します．

証明は省略

$(G, *)$ は群， $(R, +, \times)$ は環， $f$ は終域が $G$ の写像とします．

このとき，以下が成り立ちます．
$\forall (h, k) \in Hom {((G, *), (R, +))}^{2}, (h + k) \circ f = (h \circ f) + (k \circ f)$
$\forall c \in R, \forall h \in Hom ((G, *), (R, +)), (c \times h) \circ f = c \times (h \circ f)$

証明は省略

$(G, *)$ は群， $(R, +, \times)$ は環とします．

このとき， $(Hom ((G, *), (R, +)), +)$ は加群となり，また $((Hom ((G, *), (R, +)), +), \times)$ は環 $(R, +, \times)$ 上の左 $R$ -加群となります．

本題の定理

$(G, *)$ は群， $(R, +, \times)$ は環， $(N, *)$ は $(G, *)$ の正規部分群とします．

このとき，環 $(R, +, \times)$ 上の左 $R$ -加群同型
$Hom ((G / N, *), (R, +)) ≅ {f \in Hom ((G, *), (R, +)) : N \subseteq \ker (f)}$
が導かれます．

解説

写像

π : G \to G / N

を自然な全射とし，写像

F : Hom ((G / N, *), (R, +)) \to {f \in Hom ((G, *), (R, +)) : N \subseteq \ker (f)}

を

\forall g \in Hom ((G / N, *), (R, +)), F (g) := g \circ π

により定義します．

\forall (g_{1}, g_{2}) \in Hom {((G / N, *), (R, +))}^{2}, F (g_{1} + g_{2}) = (g_{1} + g_{2}) \circ π = (g_{1} \circ π) + (g_{2} \circ π) = F (g_{1}) + F (g_{2})

であり，また

\forall c \in R, \forall g \in Hom ((G / N, *), (R, +)), F (c \times g) = (c \times g) \circ π = c \times (g \circ π) = c \times F (g)

ですので，

F

は左

R

-加群準同型です．

Hom ((G / N, *), (R, +))

の元

g_{1}

，

g_{2}

を任意にとります．

F (g_{1}) = F (g_{2})

と仮定すると，

g_{1} \circ π = g_{2} \circ π

ですが，ここで

π

は全射ですからエピ射でもあり，

g_{1} = g_{2}

を得ます．従って

F

は単射です．

{f \in Hom ((G, *), (R, +)) : N \subseteq \ker (f)}

の元

h

を任意にとります．

h

は

(G, *)

から

(R, +)

への群準同型であり，

N \subseteq \ker (h)

ですから，準同型定理より

\exists g \in Hom ((G / N, *), (R, +)) s . t . h = g \circ π

です．これはつまり

\exists g \in Hom ((G / N, *), (R, +)) s . t . h = F (g)

です．従って

F

は全射です．

以上より

F

は左

R

-加群準同型かつ全単射なので，

F

は左

R

-加群同型です．よって環

(R, +, \times)

上の左

R

-加群同型

Hom ((G / N, *), (R, +)) ≅ {f \in Hom ((G, *), (R, +)) : N \subseteq \ker (f)}

が導かれます．

◼

あとがき

この定理により，例えば以下のことが言えます．

$F$ は体， $V$ は体 $F$ 上の線型空間， $V^{*}$ は $V$ の双対空間， $W$ は $V$ の線型部分空間， ${(V / W)}^{*}$ は $V / W$ の双対空間， $W^{\circ}$ は $W$ の $V^{*}$ における零化域とします．

このとき，体 $F$ 上の線型同型
${(V / W)}^{*} ≅ W^{\circ}$
が導かれます．

この系は， Wikipediaに証明無しでしれっと書いてあったこれです．大学の数学の講義で「 $V$ が有限次元のとき $\dim_{F} V = \dim_{F} W + \dim_{F} W^{\circ}$ を示せ」という課題が出たので，なにか使えそうな定理は無いかと調べて見つけたものです．

授業や講義で習ったことだけではなく，その一般化をしてみるとより深い理解が得られると思います．ここまで読んでくださりありがとうございました．

投稿日：2021年2月20日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

的場沙雪

8588

微分積分学，数理論理学，順序数解析が好きです．ここでは主に微積や級数の話題をすると思います．記事まとめは下のリンクからどうぞ．

他の人のコメント

コメントはありません。

読み込み中

的場沙雪

準同型定理と加群同型+自己紹介

まえがき
自己紹介
定理の下準備
本題の定理
あとがき