Grothendieck groups of dihedral and quaternion group rings
type: Item
instance of: scholarly article
title: Grothendieck groups of dihedral and quaternion group rings
zbMATH Open document ID: 0558.20006
DOI: 10.1016/0022-4049(85)90041-6
published in: Journal of Pure and Applied Algebra
publication date: 1985-01-01T00:00:00Z
review text: In this interesting paper the author gives a description of the Grothendieck group \(G_ 0({\mathbb{Z}}G)\), where G is the semidirect product of a cyclic group C with a finite group H, in terms of certain twisted group rings of H, by extending the results of \textit{H. W. Lenstra} [ibid. 20, 173-193 (1981; Zbl 0467.16016)] from G abelian to the present situation. This is then applied to explicitly describe \(G_ 0({\mathbb{Z}}G)\) for G dihedral groups and generalized quaternion groups. For example for \(G=D_{2n}\) the dihedral group of order 2n let for \(d| n\), \(\zeta_ d\) be a primitive dth root of unity. \({\mathbb{Q}}[\zeta_ d]_+\) the maximal real subfield of \({\mathbb{Q}}[\zeta_ d]\) with ring of integers \({\mathbb{Z}}[\zeta_ d]_+\) and \({\mathbb{Z}}[\zeta_ d,1/d]_+=:{\mathbb{Z}}[\zeta_ d]_+[1/d]\). Then \[ G_ 0({\mathbb{Z}}D_{2n})={\mathbb{Z}}^{(\epsilon)}\oplus \oplus_{d| n}({\mathbb{Z}}\oplus Cl({\mathbb{Z}}[\zeta_ d,1/d]_+)) \] where \(\epsilon =2\) for n odd and \(\epsilon =4\) for n even, and Cl denotes the class-group. Finally, it is shown that for a finite group G with no commuting elements of relatively prime order, the ''restriction of scalars'' map \(G_ 0(\Gamma_ G)\to G_ 0({\mathbb{Z}}G)\), where \(\Gamma_ G\) is a maximal order containing \({\mathbb{Z}}G\), is an isomorphism, a result suggested by S. Chase.
Mathematics Subject Classification ID: 20C10
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 16E20
Mathematics Subject Classification ID: 16S34
zbMATH DE Number: 3889776
zbMATH Keywords: Grothendieck group
zbMATH Keywords: semidirect product
zbMATH Keywords: twisted group rings
zbMATH Keywords: dihedral groups
zbMATH Keywords: generalized quaternion groups
zbMATH Keywords: class-group
zbMATH Keywords: restriction of scalars
zbMATH Keywords: maximal order
author: David L. Webb
MaRDI profile type: Publication
full work available at URL: 0022-4049(85)90041-6
OpenAlex ID: W2016239033
cites work: The Brauer Group of a Commutative Ring
cites work: Maximal Orders
cites work: Q5562621
cites work: Q3968159
cites work: Q5518494
cites work: Grothendieck groups of integral group rings
cites work: Grothendieck Groups of Orders in Semisimple Algebras
cites work: Induction theorems for Grothendieck groups and Whitehead groups of finite groups
cites work: Grothendieck groups of Abelian group rings
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: S-groupes des classes d'un ordre arithmétique
cites work: Integral representations. Topics in integral representation theory by I. Reiner. Integral representations and presentations of finite groups by K. W. Roggenkamp
cites work: Q4061092
cites work: Equivalence of representations under extensions of local ground rings
cites work: The Grothendieck ring of a finite group
cites work: K-theory of finite groups and orders. Notes by E. Graham Evans
cites work: Q5723265
description: scientific article; zbMATH DE number 3889776