Noetherian 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., Noetherian 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 Noetherian group|Get more facts about Hopfian group
Further information: Noetherian group
A group is termed Noetherian if every subgroup of the group is finitely generated. Equivalently, it satisfies the ascending chain condition of subgroups: every ascending chain of subgroups stabilizes after a finite length.
Further information: Hopfian group
A group is termed Hopfian if it is not isomorphic to its quotient by any nontrivial normal subgroup.
The proof follows by piecing together facts (1) and (2).