Finite Generation

The property of a module, algebra, or ideal that it can be generated by a finite set of elements: there exists a finite tuple whose R-linear combinations (or algebra combinations) produce the whole object. Often abbreviated 'finitely generated' (fg).