Finitely generated and nilpotent implies Hopfian

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., finitely generated nilpotent group) must also satisfy the second group property (i.e., Hopfian group)
View all group property implications | View all group property non-implications
Get more facts about finitely generated nilpotent group|Get more facts about Hopfian group

Statement

Any finitely generated nilpotent group is a Hopfian group.

Facts used

1. Equivalence of definitions of finitely generated nilpotent group: In particular, the equivalence of interest is that for a nilpotent group, being finitely generated is equivalent to being Noetherian (i.e., every subgroup is finitely generated).
2. Noetherian implies Hopfian

Proof

The proof follows directly by combining Facts (1) and (2).