# Finitely generated abelian is subgroup-closed

From Groupprops

(Redirected from Finitely generated abelian implies Noetherian)

This article gives the statement, and possibly proof, of a group property (i.e., finitely generated abelian group) satisfying a group metaproperty (i.e., subgroup-closed group property)

View all group metaproperty satisfactions | View all group metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for group properties

Get more facts about finitely generated abelian group |Get facts that use property satisfaction of finitely generated abelian group | Get facts that use property satisfaction of finitely generated abelian group|Get more facts about subgroup-closed group property

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 abelian group) must also satisfy the second group property (i.e., Noetherian group)

View all group property implications | View all group property non-implications

Get more facts about finitely generated abelian group|Get more facts about Noetherian group

## Statement

Any subgroup of a finitely generated abelian group is a finitely generated abelian group. In particular, any finitely generated abelian group is a Noetherian group -- every subgroup of it is also a Finitely generated group (?).