finitely generated module
Finitely generated module
In
mathematics, a
finitely generated module is a
module that has a finite
generating set. A finitely generated
R-module also may be called a
finite R-module,
finite over R, or a
module of finite type.