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)

References

edit
  • Kaplansky, Irving (1958). "Projective Modules". Annals of Mathematics. 68 (2): 372–377. doi:10.2307/1970252. hdl:10338.dmlcz/101124. JSTOR 1970252.
  • Bazzoni, Silvana; Šťovíček, Jan (2012). "Flat Mittag-Leffler modules over countable rings". Proceedings of the American Mathematical Society. 140 (5): 1527–1533. arXiv:1007.4977. doi:10.1090/S0002-9939-2011-11070-0.


Stub icon

This linear algebra-related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Finitely generated module

finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite

Countably generated

generating set Countably generated space, a topological space in which the topology is determined by its countable subsets Countably generated module. (Kaplansky's

Projective module

a direct product of countably many copies of F2 and I is the direct sum of countably many copies of F2 inside of R. The R-module R/I is locally free since

Kaplansky's theorem on projective modules

M_{i},i\in I} are countably generated modules with local endomorphism rings and if N {\displaystyle N} is a countably generated module that is a direct

Generating set of a module

a module. Countably generated module Flat module Invariant basis number "ac.commutative algebra – Existence of a minimal generating set of a module –

Glossary of module theory

continuous module countably generated A countably generated module is a module that admits a generating set whose cardinality is at most countable. cyclic

Countably generated space

convergent sequences. The countably generated spaces are precisely the spaces having countable tightness—therefore the name countably tight is used as well

Finitely generated algebra

finitely generated algebra (also called an algebra of finite type) over a (commutative) ring R {\displaystyle R} , or a finitely generated R {\displaystyle