準同型
準同型(homomorphic)
積を取ってから写したものと、写してから積を取ったものが等しいというやつ
???
定義
群$ G_1, G_2 、$ \phi : G_1 \to G_2 を写像とする。 (1)$ \phi(xy) = \phi(x)φ(y) がすべての$ x,y \in G_1 に対して成り立つとき、$ \phi を準同型(homomorphic)という。
$ \phi, φ : 写像
$ \phi(xy) : 積を取ってから写す
$ \phi(x)φ(y) : 写してから積を取る
$ \phi(xy) = \phi(x)φ(y) の意味
$ x,y の積に写像を写したものと、写像を写してから積を取ったものが等しいことを表す
(2)$ \phi が準同型で、逆写像$ \phi^{^-1} : G_2 \to G_1 を持ち、$ \phi^{-1} も準同型であるとき、$ \phi は同型(isomorphic)であるという。このとき群$ G_1, G_2 は同型であるという。 $ G_1 \simeq G_2 と書く。読み方は$ G_1, G_2 は同型。
(3)$ \phi が準同型のとき、$ \mathrm{Ker}(\phi) = \lbrace x \in G_1 | \phi(x) = 1_{G_2} \rbrace を$ \phi を核(kernel)という。
$ 1_{G_1} : 群$ G_1 の単位元
(4)$ \phi が準同型のとき、$ \mathrm{Im}(\phi) = \lbrace \phi(x) | x \in G_1 \rbrace を$ \phi を像(image)という。 確認用
Q. 準同型
Q. 準同型の定義
Q. 写像
Q. 同型と準同型の違い
関連
参考
https://www.youtube.com/watch?v=yI7FZbUQ2BI&list=PLx3dFfRgOu4QEiSs9kdGUQ0KK-Bx8tJig&index=5
https://youtu.be/FzTr-468G0w