generated at
群の核Ker
群の核Ker
定義域側の部分群
とりわけ正規部分群になる
群準同型\phiの写し先が単位元になる部分


定義
\ker\phi=\{x\in G|\phi(x)=1_{G'}\}
\phiは群G,G'間の群準同型\phi:G\rightarrow G'


最低で単位元のみの元一つ
最大で群Gそのものになる





https://ja.wikipedia.org/wiki/核_(代数学)#群の準同型