On algebraic \(K\)-functors of crossed group rings and its applications. (English) Zbl 1444.19003

Summary: Let \(R[\pi, \sigma, \rho]\) be a crossed group ring. An induction theorem is proved for the functor \(G_0^R(R[\pi, \sigma, \rho])\) and the Swan-Gersten higher algebraic \(K\)-functors \(K_i(R[\pi,\sigma,\rho])\). Using this result, a theorem on reduction is proved for the discrete normalization ring \(R\) with the field of quotients \(K\): If \(P\) and \(Q\) are finitely generated \(R[\pi, \sigma, \rho]\)-projective modules and \(K\bigotimes_RP\simeq K\bigotimes_RQ\) as \(K[\pi, \sigma, \rho]\)-modules, then \(P\simeq Q\). Under some restrictions on \(n=(\pi:1)\) it is shown that finitely generated \(R[\pi,\sigma,\rho]\)-projective modules are decomposed into the direct sum of left ideals of the ring \(R[\pi,\sigma,\rho]\). More stronger results are proved when \(\sigma=\mathrm{id}\).


19D25 Karoubi-Villamayor-Gersten \(K\)-theory
13C10 Projective and free modules and ideals in commutative rings
19M05 Miscellaneous applications of \(K\)-theory
Full Text: DOI Euclid


[1] R. G, Swan. Induced Representations and Projective Modules. Ann. of Math., 71, No 3, 1960, 552-578. · Zbl 0104.25102
[2] T. Y. Lam. Induction Theorems for Grothendieck Groups and Whitehead Groups of Finite Groups. - Ann. Scient. Ec.Norm. Super., 1, 1968, 91-148. · Zbl 0164.02703
[3] A. I. Nemytov. \(K_n(R\pi)\) Functors as Frobenius Modules on the Functor \(G_0^R(\pi)\). - Russian Mathematical Surveys, 28, No 3, 1973, 187-188 (in Russian).
[4] R. G. Swan. Nonabelian Homological Algebra and \(K\)-Theory. - Proc. Symp. Pure Math. (AMS), 17, 1970, 88-123. · Zbl 0262.16024
[5] S. M. Gersten. On the Functor \(K_2\). - J. of Algebra, 17, No 2, 1971, 212-237. · Zbl 0215.09704
[6] K. Kawakubo. Induction theorems for equivariant K-theory and J-theory. J. Math. Soc. Japan. 38, 1986, 173-198. · Zbl 0596.18007
[7] A. Bartels, W. Luck. Induction theorems and isomorphism conjectures for K- and L-Theory. Forum Mathematicum. 19, 2007, 1-28. · Zbl 1141.19001
[8] N. Jacobson. The Theory of Rings. AMS, 1943. · Zbl 0060.07302
[9] M. Auslander, O. Goldman. The Brauer Group of a Commutative Ring. Trans. AMS, 97, No 3, 1960, 367-409. · Zbl 0100.26304
[10] G. Rakviashvili. Generalization of the Artin Theorem for Semisimple Algebras and Inductive Theorems for Orders and Crossed Group Rings. Bull. of the Acad. Sciences of the Georgian SSR, 96, No1, 1979, 25-28 (in Russian). · Zbl 0429.16025
[11] G. Rakviashvili. On the Structure of Projective Modules over Crossed Group Rings. Bull. of the Acad. Sciences of the Georgian SSR, 101, No 3, 1981, 549-552 (in Russian). · Zbl 0467.16015
[12] G. Rakviashvili. Inductive Theorems and Projective Modules over Crossed Group Rings. Acad. of Sciences of Georgian SSR, Proceedings of the A. Razmadze Tbilisi Mathematical Institute. Collection of papers on algebra 3. Cohomologies, K-Theory of Rings and Lie Groups. 1982, 92-107 (in Russian).
[13] D. Quillen. Higher Algebraic \(K\)-Theory, I. Lect. Notes in Math., 341, 1972, 85-147. · Zbl 0292.18004
[14] S. Williamson. \( \Pi \)-Principal Hereditary Orders, Nagoya Math. J., v. 32, 1968, 41-65. · Zbl 0162.05202
[15] E. Hecke. Vorlesungen ueber die Theorie der algebraischen Zahlen, Leipzig, 1923. · JFM 49.0106.10
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.