In abstract algebra, an abelian group is called finitely generated if there exist finitely many elements in such that every in can be written in the form for some integers. In this case, we say that the set is a generating set of or that generate.... Wikipedia