Assertion: abelian group's image | /r/HasProperty | trivial
Facets:
Source sentences:
text: Under any quotient map with a nontrivial kernel, the image of the subgroup is trivial.