An -module is Noetherian when every submodule is finitely generated, equivalently when every ascending chain of submodules stabilizes.
A free module is an -module with a basis: every element has a unique expression as a finite linear combination of basis elements.
A flat module is one for which the tensor functor is exact. Since tensor products are always right exact, it is equivalent to require that tensoring with preserve injections.
A projective module has the lifting property: for every surjection and every map , there is a map making the resulting triangle commute. Equivalently, is a direct summand of a free module.

Articles by others on the same topic (0)

There are currently no matching articles.