Kernel

If $\varphi: G \to H$ is a group homomorphism, the kernel is

$\ker(\varphi) = \{g \in G : \varphi(g) = e_H\}$.

군 준동형사상의 핵은 그 사상이 얼마나 많은 정보를 뭉개버리는지를 재는 척도이다.

준동형사상이 단사인 것은 정확히 그 핵이 자명할 때이다.

한 줄 직관

핵은 준동형사상 아래에서 보이지 않게 되는 군의 부분이다.