群の核Ker
群の
核Ker
定義域側の部分群
とりわけ
正規部分群
になる
群準同型
$ \phi
の写し先が
単位元
になる部分
定義
$ \ker\phi=\{x\in G|\phi(x)=1_{G'}\}
$ \phi
は群
$ G,G'
間の
群準同型
$ \phi:G\rightarrow G'
https://gyazo.com/554c9531547dd040e909871a488817c1
最低で単位元のみの元一つ
最大で群
$ G
そのものになる
https://ja.wikipedia.org/wiki/核_(代数学)#群の準同型