初学者向け群論解説 その8~準同型写像の性質~
前回は準同型写像の定義と具体例をまとめました.
今回は準同型写像の性質についてまとめていきます.
はじめにまず次の二つの重要な部分群を定義します.
定義 1.(核と像) を群, を準同型とする. このとき
- を の核という. (カーネルと読む)
- を の像という. (イメージと読む)
さて, 核と像を定義しましたが, これらが実際に部分群になっていることなども含めて準同型の性質を見ていきましょう.
命題 2. を群, を準同型とする. このとき次が成り立つ.
任意の に対し,
はそれぞれ の部分群である.
証明
について: なので両辺 をかけてOK.
について:何を示せばいいかは大丈夫でしょうか. を示せば逆元の一意性より が言えます. が準同型写像なので も使いつつ
となりOK.
について:部分群の判定法は前に部分群をまとめた際に触れているのでリンクを一応貼っておきます.
・ について:
まず より はOK.
また, を任意にとったとき,
より となり積に関して閉じていることもOK.
を任意にとったとき, を使うと,
より逆元に関して閉じていることもOK. 以上より は の部分群である.
・ について:
これもまず より はOK.
を任意にとると, 定義からある が存在して とかける. すると
とかけるので となり, 積に関して閉じていることもOK.
最後に逆元に関して閉じていることも, を任意にとると, ある が存在して, とかけ,
よりOK. 以上より は の部分群である. (終)
すこし核と像について前回の準同型写像の例を使って具体例を見てみましょう.
恒等写像 については
となる. 全単射ですね.
指数関数 については
となる. こちらも全単射.
行列式 については
となり, 核は特殊線形群になります. (この特殊線形群なども部分群のときに触れました)
像は
となり全射です. なぜなら任意の に対して, 次実正方行列 を,
-成分が , そのほかの対角成分は
という対角行列にすると になるからです.
具体例はここではこれくらいにして引き続き準同型写像に関する性質を見ていきましょう.
ある性質を持つ写像を定義した時, そういった写像の合成もその性質を持つかどうかは数学をする上では気になるところです. (連続写像の合成は連続写像とか)
命題 3.(準同型写像の合成は準同型写像) を群の準同型写像とするとき, その合成写像 も準同型写像である.
証明 任意の に対して,
となり は準同型写像. (終)
また核と像によって, 準同型写像の単射性, 全射性が判定できます. 特に核を使った単射性の判定は普通の一般の写像では言えないことなので大事です.
命題 4.(核と像による単射性と全射性の判定法) を群の準同型とする. このとき次が成り立つ.
が単射 .
が全射 .
証明 まず は定義より本当に明らかです. (なんでわざわざ書いたかというと の主張との対称性を感じてほしかったからです)
では を示します.
について:任意に をとると
であり, 単射性から となり となる.
について: が とすると,
であり, なので となり がわかるので は単射である. (終)
今回はこれで終わります.
次回は「」という考え方ついてまとめたいと思います.
何か間違いなどあれば教えてください.
[参考文献]