𝐾-theory and right ideal class groups for HNP rings

Abstract

Let R R be an hereditary Noetherian prime ring, let S S be a "Dedekind closure" of R R and let T \mathcal {T} be the category of finitely generated S S -torsion R R -modules. It is shown that for all i ≥ 0 i \geq 0 , there is an exact sequence 0 → K i ( T ) → K i ( R ) → K i ( S ) → 0 0 \to {K_i}(\mathcal {T}) \to {K_i}(R) \to {K_i}(S) \to 0 . If i = 0 i = 0 , or R R has finitely many idempotent ideals then this sequence splits. A notion of "right ideal class group" is then introduced for hereditary Noetherian prime rings which generalizes the standard definition of class group for hereditary orders over Dedekind domains. It is shown that there is a decomposition K 0 ( R ) ≅ Cl ( R ) ⊕ F {K_0}(R) \cong {\text {Cl}}(R) \oplus F where F F is a free abelian group whose rank depends on the number of idempotent maximal ideals of R R . Moreover there is a natural isomorphism Cl ( R ) ≅ Cl ( S ) {\text {Cl}}(R) \cong {\text {Cl}}(S) and this decomposition corresponds closely to the splitting of the above exact sequence for K 0 {K_0} .