projective module
in algebra, a module that is the direct summand of a free module
invertible module
module over commutative ring with an inverse under tensor product
free module
in algebra, a module that has a basis
in algebra, a module that is the direct summand of a free module