The group \(K_0\) of a generalized matrix ring (Q2434606): Difference between revisions

The main purpose of the paper under review is to calculate the \(K_0\)-group of a \(2{\times}2\)-generalized matrix ring. More precisely the rings \(K\) under consideration have to rings \(R\) and \(S\) in the main diagonal and \(M\) an \(R\)-\(S\)-bimodule, \(N\) and \(S\)-\(R\)-bimodule in the other diagonal. The bimodules are equipped with bimodule homomorphisms \[ {\phi}: M{\otimes}_SN \to R, \quad {\psi}: N{\otimes}_RM \to S \] The product is \(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. The author uses the category of finitely generated modules over a module to define the \(K_0\)-group of the module. For the ring \(K\), \(K\)-modules are pairs \((A, B)\) with \(A\) and \(R\)-module and \(B\) and \(S\)-module that have extra structure. The author gives the properties of the group \(K_0(A, B)\) and how it can be computed from the groups \(K_0(A)\) and \(K_0(B)\). He applies the previous ideas to the \(K\)-module \(K\). Using the above calculations, the author calculates the group \(K_0(K)\) is certain cases. If \(\psi\) is an epimorphism, then \(K_0(K) \cong K_0(R)\). If \(I = R\) and \(J = S\), then \(K_0(K) \cong K_0(R) \cong K_0(S)\). If \(I = 0 = J\), then \(K\) is a triangular matrix and \(K_0(K) \cong K_0(R){\oplus}K_0(S)\) (also \textit{R. K. Dennis} and \textit{S. C. Geller} [Proc. Am. Math. Soc. 56, 73--78 (1976; Zbl 0334.18019)]). The same conclusion for \(K_(K)\) is derived when \(I \subseteq J(R)\), \(J \subseteq J(S)\) (where \(J(-)\) denotes the Jacobson ideal of the ring) and the images of the natural maps \[ K_0(R){\oplus} K_0(S) \to K_0(R/I){\oplus} K_0(S/J), \quad K_0(K) \to K_0(R/I){\oplus} K_0(S/J) \] are equal. The last condition can be replaced by the conditions that \(R\) is complete in the \(I\)-adic topology and \(S\) is complete in the \(J\)-adic topology.