Further results on finitely generated projective modules (Q1862872)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Further results on finitely generated projective modules |
scientific article |
Statements
Further results on finitely generated projective modules (English)
0 references
15 June 2003
0 references
Let \(p(R)\) be the category of finitely generated projective \(R\)-modules. The author obtains the following results: (1) For any exchange ring \(R\) and any two-sided ideal \(I\) of \(R\), the canonical ring homomorphism from \(R\) to \(R/I\) induces an epimorphic group homomorphism from \(K_0(R)\) to \(K_0(R/I)\), the kernel of which is \(K=\{[P]-[Q]:P,Q\) in \(p(R)\) and \(P=PI\), \(Q=QI\}\), and \(K\) is the subgroup of \(K_0(R)\) generated by the subset \(\{[eR]\) in \(K_0(R):ee=e\) in \(I\}\) in \(K_0(R)\); (2) For any exchange ring \(R\) with primitive factor rings Artinian, there is an order preserving group isomorphism from \((K_0(R),[R])\) to \((G,u)\), where \(G\) is the Abelian group generated by the cone consisting of all the rational functions over the set of all primitive ideals of \(R\).
0 references
exchange rings
0 references
\(K_0\)-groups
0 references
Artinian primitive factor rings
0 references
categories of finitely generated projective modules
0 references
primitive ideals
0 references