数学において、準同型の核(かく、英: kernel)とは、その準同型の単射からのずれの度合いを測る道具である。代数系における準同型の核が "自明" (trivial) であることとその準同型が単射であることとが同値となる。