定義
A と B を有界な上半束(過去スレ021の115)とする。
f：A → B を準同型(過去スレ021の145)とする。
>>847より f^(-1)(0) は A のイデアルである。
f^(-1)(0) を f の核と呼び Ker(f) と書く。