Lower bounds for \(K_ 2^{top}({\hat {\mathbb{Z}}}_ p\pi)\) and \(K_ 2({\mathbb{Z}}\pi)\)
type: Item
instance of: scholarly article
title: Lower bounds for \(K_ 2^{top}({\hat {\mathbb{Z}}}_ p\pi)\) and \(K_ 2({\mathbb{Z}}\pi)\)
zbMATH Open document ID: 0595.18004
DOI: 10.1016/0021-8693(85)90195-4
author: Bob Oliver
published in: Journal of Algebra
publication date: 1985-01-01T00:00:00Z
review text: Let \(\pi\) be a finite group. In order to compute SK\({}_ 1\)(\({\mathbb{Z}}\pi)\) and find lower bounds for \(K_ 2({\mathbb{Z}}\pi)\) it is very useful to understand \(K_ 2({\hat {\mathbb{Z}}}_ p\pi)\), p a prime. In this paper the author detects elements of \(K_ 2({\hat {\mathbb{Z}}}_ p\pi)\) by describing \(K^*\!_ 2({\hat {\mathbb{Z}}}_ p\pi)=\lim_{\leftarrow}\) \(co\ker (K_ 2({\hat {\mathbb{Z}}}_ p{\tilde \pi})\to K_ 2({\hat {\mathbb{Z}}}_ p\pi))\), where the limit is taken over all surjections \({\tilde \pi}\to \pi\) of p-groups. More generally, \({\hat {\mathbb{Z}}}_ p\) can be replaced in these arguments by the valuation ring A in any finite unramified extension of \({\hat {\mathbb{Z}}}_ p.\) There are many applications. For example: (1) \(K^*\!_ 2({\hat {\mathbb{Z}}}_ p\pi)=0\) if and only if \(\pi\) is cyclic or quaternionic; (2) \(K_ 2\)(F\(\pi)\) can be described explicitly for any finite field F and abelian group \(\pi\) ; (3) For odd primes p, upper and lower bounds are obtained for \(Cl_ 1({\mathbb{Z}}\pi)\), \(\pi\) a p-group (an explicit combinatorial algorithm computing \(Cl_ 1({\mathbb{Z}}\pi)\) is conjectured here and proved in a subsequent paper). The methods used to derive these results involve the construction of several maps and exact sequences of great interest.
Mathematics Subject Classification ID: 18F25
Mathematics Subject Classification ID: 16E20
zbMATH DE Number: 3957390
zbMATH Keywords: Whitehead groups
zbMATH Keywords: class groups of group rings
zbMATH Keywords: \(SK_ 1\)
zbMATH Keywords: \(K_ 2\)
zbMATH Keywords: exact sequences
reviewed by: Michael R. Stein
MaRDI profile type: Publication
full work available at URL: 0021-8693(85)90195-4
OpenAlex ID: W2000182537
cites work: The congruence subgroup and metaplectic problems for \(SL_{n>1}\) of division algebras
cites work: Q5562621
cites work: Q3240881
cites work: Lower bounds for the order of \(K_2(ZG)\) and \(Wh_2(G)\)
cites work: Q5577154
cites work: Q5648522
cites work: Values of Tame Symbols on Division Algebras
cites work: $K$-théorie algébrique et représentations de groupes
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: $SK_1$ for finite group rings: II.
cites work: SK 1 for Finite Group Rings: IV
cites work: On the principal indecomposables of a modular group algebra
cites work: Surjective Stability in Dimension 0 for K 2 and Related Functors
cites work: On the classification of Hermitian forms. III: Complete semilocal rings
cites work: Q5566639
cites work: Q5587110
cites work: \(SK_1\) of finite abelian groups. II
cites work: Algebraic K-theory and crystalline cohomology
cites work: \(K_2\) of discrete valuation rings
cites work: \(SK_1\) for finite groups rings. I
cites work: Q3901623
cites work: Higher algebraic K-theory: I
cites work: Realisierung von Darstellungen endlicher nilpotenter Gruppen. (Realization of representations of finite-dimensional nilpotent groups)
description: scientific article; zbMATH DE number 3957390