finitely generated abelian group
A commutative group where every element is the sum of elements from one finite subset
finite abelian group
finite group whose group operation is commutative
A commutative group where every element is the sum of elements from one finite subset