Calculation of the group \(K_1\) of a generalized matrix ring
type: Item
instance of: scholarly article
title: Calculation of the group \(K_1\) of a generalized matrix ring
zbMATH Open document ID: 1304.19001
DOI: 10.1134/S0037446614040065
published in: Siberian Mathematical Journal
publication date: 2014-12-17T00:00:00Z
review text: The main purpose of the paper under review is to calculate the \(K_1\)-group of a \(2{\times}2\)-generalized matrix ring. More precisely those are rings of \(2{\times}2\)-matrices with diagonal elements in rings \(R\) and \(S\) and the off diagonal elements in \(M\) and \(N\) respectively, where \(R\) and \(S\) are rings, \(M\) an \(R\)-\(S\)-bimodule, \(N\) and \(S\)-\(R\)-bimodule equipped with bimodule homomorphisms \[ {\phi}: M{\otimes}_SN \to R, \quad {\psi}: N{\otimes}_RM \to S. \] The product im \(K\) is defined using multiplication of matrices and the homomorphisms \(\phi\) and \(\psi\). Let \(I = \text{im}({\phi})\) and \(J = \text{Im}({\psi})\) be the corresponding ideals, called the trace ideals. The author uses the description of \(K_1(K)\) as the abelian group generated by pairs \((P, {\alpha})\) where \(P\) is a finitely generated projective \(K\)-module that satisfies certain relations. The idea for the calculation of \(K_1(K)\) is that the category of those modules can be described explicitly in some cases. In general, such a module can be described as a pairs \((X, Y)\) with \(X\) and \(R\)-module and \(Y\) and \(S\)-module that have extra structure. The first result of the paper is that, if \(I \subset J(R)\) and \(R\) is complete in the \(I\)-adic topology and \(J \subset J(S)\) and \(S\) is complete in the \(J\)-adic topology then the categories of finitely generated \((R{\times}S)\)-modules is equivalent to the category of finitely generated projective \(K\)-modules. As a corollary, he derives that \(K_1(K) \cong K_1(R){\oplus}K_1(S)\). For the second result, the author defines projections maps from \(K_1(K)\) to \(K_1(R)\) and \(K_1(S)\). Let \({\pi}: K_1(K) \to K_1(R) \oplus K_1(S)\) be the sum of the maps. The second result in the paper, describes the quotient \(K_1(K)/\text{ker}({\pi})\). Using this description, the author gives conditions under which \(K_1(K) \cong K_1(R){\oplus}K_1(S){\oplus}K_1(\text{ker}({\pi}))\). One such condition is …
reviewed by: Stratos Prassidis
Mathematics Subject Classification ID: 19Bxx
zbMATH DE Number: 6381099
zbMATH Keywords: generalized matrix ring
zbMATH Keywords: \(K_1\)-group
author: P. A. Krylov
MaRDI profile type: Publication
cites work: K i of Upper Triangular Matrix Rings
cites work: MORITA CONTEXTS WITH MANY UNITS
cites work: Endomorphism rings of Abelian groups.
cites work: Modules over discrete valuation domains
cites work: Isomorphism of generalized matrix rings
cites work: Injective modules over formal matrix rings.
cites work: Modules over formal matrix rings.
cites work: Study of modules over formal triangular matrix rings
cites work: Q3495496
cites work: Strong cleanness of generalized matrix rings over a local ring.
cites work: Semi-centralizing maps of generalized matrix algebras
cites work: Commuting mappings of generalized matrix algebras
cites work: Q5562621
cites work: Q4300594
cites work: Algebraic \(K\)-theory
full work available at URL: s0037446614040065
OpenAlex ID: W2006244244
description: scientific article; zbMATH DE number 6381099