Article contents
Projective summands in generators
Published online by Cambridge University Press: 22 January 2016
Extract
An R-module M is a generator (of the category of modules) provided every module is a homomorphic image of a suitable direct sum of copies of M. Equivalently, some M(k) has R as a summand. Except in the last section, all rings are assumed to be commutative, Noetherian domains, and modules are usually finitely generated. In this context generators are exactly those modules that have non-zero free summands locally. Of course, generators can fail to have free summands (e.g., over Dedekind domains), and we ask whether they necessarily have non-zero projective summands. The answer is “yes” for rings of dimension 1, as we point out in § 3, and for the polynomial ring in one variable over a Dedekind domain. In § 1 we show that for 2-dimensional rings the answer is intimately connected with the structure of projective modules. Our main result in the positive direction, Theorem 1.3, grew out of the attempt, in conversations with T. Stafford, to understand the case R = k[x, y]. In § 2 we give examples of rings having generators with no projective summands. The last section contains miscellaneous observations, some of them on rings without chain conditions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1982
References
- 3
- Cited by