An -module is finitely generated when there are finitely many elements such that every element is an -linear combination of them.
Articles by others on the same topic
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.