Finitely generated module

In abstract algebra, a finitely generated module is a type of module over a ring that can be spanned by a finite set of elements.