 Finitely generated module

An $R$-module is finitely generated when there are finitely many elements $m_1,\dots ,m_r$ such that every element is an $R$-linear combination of them.

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.