定義
X と Y を上半束(過去スレ021の115)とする。
f:X → Y を準同型(過去スレ021の144)とする。
Y が最小元 0 を持つとき Ker(f) = {x ∈ X； f(x) = 0} と書き、f の核(kernel)と呼ぶ。