Assertion: abelian group's image | /r/HasProperty | nilpotent of class
Facets:
Source sentences:
text: Every subgroup of a nilpotent group of class n is nilpotent of class at most n; in addition, if f is a homomorphism of a nilpotent group of class n, then the image of f is nilpotent of class at most n.