We establish formulas for computation of the higher algebraic -groups of the endomorphism rings of objects linked by a morphism in an additive category. Let be an additive category, and let be a covariant morphism of objects in . Then $K_n\big({\mathcal C}(X\oplus Y)\big)\simeq K_n\big({{\mathcal C},Y}(X)\big)\oplus K_n\big({\mathcal C}(Y)\big)1\le n\in {{\mathcal C},Y}(X)$ is the quotient ring of the endomorphism ring of modulo the ideal generated by all those endomorphisms of which factorize through . Moreover, let be a ring with identity, and let be an idempotent element in . If is homological and has a finite projective resolution by finitely generated projective -modules, then $K_n®\simeq K_n(R/J)\oplus K_n(eRe)n\in $. This reduces calculations of the higher algebraic -groups of to those of the quotient ring and the corner ring , and can be applied to a large variety of rings: Standardly stratified rings, hereditary orders, affine cellular algebras and extended affine Hecke algebras of type .

生成讲解博客的中文版本

生成AI智能校验的中文版本