Finitely generated projective modules over exchange rings (Q1345752): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Tong Suo Wu / rank | |||
Property / reviewed by | |||
Property / reviewed by: Veereshwar A. Hiremath / rank | |||
Revision as of 08:08, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finitely generated projective modules over exchange rings |
scientific article |
Statements
Finitely generated projective modules over exchange rings (English)
0 references
3 April 1995
0 references
The authors study finitely generated projective modules over exchange rings. They prove that a finitely generated projective module over an exchange ring \(R\) is isomorphic to a direct sum of cyclic \(R\)-modules generated by idempotents. If \(R\) is an exchange ring such that \(R/J(R)\) is a ring with central idempotents, then the cancellation law holds in \(p(R)\), the category of all finitely generated projective \(R\)-modules. If \(R\) is an exchange ring with central idempotents then the family of all nonnegative integral-valued continuous functions on \(\text{Spec} (R)\) is precisely the family of all rank functions from \(\text{Spec} (R)\) into \(Z_ +\) induced by finitely generated projective \(R\)-modules. Finally, if \(R\) is an exchange ring with central idempotents, there is an order- preserving isomorphism between \((K_ 0 (R), [R])\) and \((H_ 0 (R), u)\), where \(K_ 0(R)\) is the Grothendieck group of \(R, H_ 0(R)\) is the set of all continuous functions from \(\text{Spec} (R)\) into \(Z\) and \(u\) is the order unit of \(H_ 0 (R)\).
0 references
spectra of rings
0 references
finitely generated projective modules
0 references
exchange rings
0 references
direct sum of cyclic modules
0 references
central idempotents
0 references
cancellation
0 references
rank functions
0 references
Grothendieck groups
0 references