finitely generated module
In algebra, a module that has a finite generating set
finitely generated abelian group
A commutative group where every element is the sum of elements from one finite subset
invertible module
module over commutative ring with an inverse under tensor product
Finite algebra
algebra over a ring that is finitely generated as a module over the ring