Assertion: abelian group's subgroup | /r/AtLocation | the kernel
Facets:
Source sentences:
text: It yields that the subgroup $N$ is in the kernel $\ker(\psi)$.