Categorical noetherian-ness

A ring A is noetherian iff the category _A\mathrm{mod} of finitely generated A-modules is a full abelian subcategory of the category _A\mathrm{Mod} of all A-modules.

Advertisements
Categorical noetherian-ness