Karoubi-Villamayor and Quillen functors for triangular categories (Q1076131): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Higher algebraic K-theory: I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trivial extensions of Abelian categories. Homological algebra of trivial extensions of Abelian categories with applications to ring theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: K i of Upper Triangular Matrix Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rings with several objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: K-Theory of Free Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Excision in algebraic \(K\)-theory / rank
 
Normal rank

Revision as of 13:25, 17 June 2024

scientific article
Language Label Description Also known as
English
Karoubi-Villamayor and Quillen functors for triangular categories
scientific article

    Statements

    Karoubi-Villamayor and Quillen functors for triangular categories (English)
    0 references
    0 references
    1983
    0 references
    We compute the Bass K-functors \(K_ i\), the K-functors \(k_ i\) of Karoubi-Villamayor and of Quillen, and the Quillen K-functors \(G_ i\) of some trivial ring extensions. Theorem: Let R,S be associative rings, M an R-S-bimodule, N an S-R-bimodule, and \(f: R\times S\to \left( \begin{matrix} R\quad M\\ N\quad S\end{matrix} \right)\) the inclusion. Then (a) \(k_ if\) is an isomorphism for all \(i\in {\mathbb{Z}}\); (b) \(K_ if\) is an isomorphism for all \(i\leq 1\), but already \(K_ 2f\) need not be an isomorphism, in general; (c) if \(N=0\), then \(K_ if\) is an isomorphism for all \(i\in {\mathbb{Z}}\); (d) if \(\left( \begin{matrix} R\quad M\\ N\quad S\end{matrix} \right)\) is coherent from the right, \(N=0\), and for each finitely presented right R-module P there is an \(n\in {\mathbb{Z}}\) such that \(Tor^ R_ i(P,M)=0\) for \(i\geq n\), then \(G_ if\) is an isomorphism for all \(i\geq 0\).
    0 references
    higher algebraic K-theory
    0 references
    \(K_ i\)
    0 references
    Karoubi-Villamayor K-functors
    0 references
    triangular categories
    0 references
    Quillen K-functors
    0 references
    trivial ring extensions
    0 references

    Identifiers