核
群準同型
f G -> G'に対して、
G'の単位元をe'とするとき、
$ Ker f = \{x = G | f(x) = e'\}
これを準同型fの核という
kernel