Kernel

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

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

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

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

한 줄 직관

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