Assertion: abelian group's subgroup | /r/HasProperty | $n$
Facets:
Source sentences:
text: It yields that the subgroup $N$ is in the kernel $\ker(\psi)$.
text: As a result, the subgroup $N$ is contained in the center of $G$.