Let R be a hereditary Noetherian prime ring. We determine a full set of invariants for the isomorphism class of any finitely generated projective R-module of uniform dimension at least 2. In particular we prove that P โ X โผ = Q โ X implies P โผ = Q whenever P has uniform dimension at least 2. Among t
Hereditary Noetherian prime rings, 3: Infinitely generated projective modules
โ Scribed by Lawrence S. Levy; J. Chris Robson
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 153 KB
- Volume
- 225
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
โฆ Synopsis
We describe the structure of infinitely generated projective modules over hereditary Noetherian prime rings. The isomorphism invariants are uniform dimension and ranks at maximal ideals. Infinitely generated projective modules need not be free. However, every uncountably generated projective module is the direct sum of a finitely generated module and free modules over specific finite overrings of the given ring in its Goldie quotient ring.
๐ SIMILAR VOLUMES
This is the first of three papers that aim to bring the known theory of projective modules over a hereditary Noetherian prime ring R up to roughly the same level as the well-known commutative case, where R is a Dedekind domain. This first paper lays the foundations by introducing the notion of an in