Countably generated module
Module generated by a countable subset
In mathematics, a module over a (not necessarily commutative) ring is countably generated if it is generated as a module by a countable subset. The importance of the notion comes from Kaplansky's theorem (Kaplansky 1958), which states that a projective module is a direct sum of countably generated modules.
More generally, a module over a possibly non-commutative ring is projective if and only if (i) it is flat, (ii) it is a direct sum of countably generated modules and (iii) it is a Mittag-Leffler module. (Bazzoni-Stovicek)
Sources and credits
This article is adapted from the Wikipedia article “Countably generated module”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.