\(K_2\) of finite abelian group algebras
type: Item
instance of: scholarly article
title: \(K_2\) of finite abelian group algebras
zbMATH Open document ID: 1165.19001
author: Guoping Tang
author: Yubin Gao
published in: Journal of Pure and Applied Algebra
publication date: 2009-04-16T00:00:00Z
review text: Let \(F\) be a finite field of odd characteristic \(p\), and \(G\) a finite abelian group. A covering of \(K_2(F[G])\) in terms of \(G \otimes A[G]\), where \(A\) is the unramified \(p\)-ring such that \(A/pA = F\), was given by \textit{R. Oliver} [J. Algebra 94, 425--487 (1985; Zbl 0595.18004)]. The purpose of the current paper is to give a more precise description of \(K_2(F[G])\) in various cases. The authors first note that \(K_2(F[G])\) is a finite \(p\)-group, annihilated by the exponent of the \(p\)-Sylow subgroup of \(G\). They prove that \(K_2[G \times \mathbb{Z}/p\mathbb{Z}]\) is a direct sum of \(K_2[G]\) and an elementary abelian \(p\)-group of rank \([F : \mathbb{F}_p] \cdot \left|G\right| \cdot (1-p^{-r} + (p-1)r)\), where \(r\) is the dimension of \(G/G^p\). By induction it follows that when \(G\) has \(p^2\)-rank at most \(1\), \(K_2[G]\) is the elementary abelian \(p\)-group of rank \([F : \mathbb{F}_p] \cdot \left|G\right| \cdot (t-1) (1-p^{-r})\), where \(t\) is the \(p\)-rank of \(G\), similarly to the case \(p = 2\) which was computed by \textit{B. A. Magurn} [J. Pure Appl. Algebra 209, No.~3, 801--811 (2007; Zbl 1120.19002)]. More generally, one defines the groups \(\Phi_i(F[G])\) as the kernels of the projection \[ K_2(F[G][t]/\left<t^i\right>) \rightarrow K_2(F[G][t]/\left<t^{i-1}\right>) \] then the order of \(K_2(F[G \times \mathbb{Z}/p^s\mathbb{Z}])\) is the product \(\left|K_2(F[G])\right| \cdot \prod_{i=2}^{p^s} \left|\Phi_i(F[G])\right|\). For \(i \not \equiv 1 \pmod{p}\), the groups \(\Phi_i(F[G])\) can be described in terms of the Kahler differentials \(\Omega_{F[G]/\mathbb{Z}}^1\). However the structure of \(\Phi_i(F[G])\) for \(i \equiv 1 \pmod{p}\) is far more complicated, and is related to the de Rham complex of \(F[G]\).
reviewed by: Uzi Vishne
Mathematics Subject Classification ID: 19C99
zbMATH DE Number: 5544374
zbMATH Keywords: \(K_2\)
zbMATH Keywords: finite abelian group
zbMATH Keywords: group algebra over a finite field
MaRDI profile type: Publication
full work available at URL: j.jpaa.2008.09.015
OpenAlex ID: W1970044323
cites work: Lower bounds for the order of \(K_2(ZG)\) and \(Wh_2(G)\)
cites work: Explicit \(K_{2}\) of some finite group rings
cites work: Q3913502
cites work: Q3050532
cites work: Algebraic K-theory and crystalline cohomology
cites work: \(K_2\) of discrete valuation rings
cites work: Lower bounds for \(K_ 2^{top}({\hat {\mathbb{Z}}}_ p\pi)\) and \(K_ 2({\mathbb{Z}}\pi)\)
DOI: 10.1016/J.JPAA.2008.09.015
Recommended article: Some remarks on K2 and K3 of finite abelian group algebras
Recommended article: On the explicit structure of \(K_2({\mathbb F}_pG)\) for \(G\) a finite abelian \(p\)-group
Recommended article: Q4808140
Recommended article: Explicit \(K_{2}\) of some finite group rings
Recommended article: On the explicit structure of \(K_2(\mathbb{F} G)\) for \(G\) a finite abelian group and \(\mathbb{F}\) a finite field
Recommended article: Q3338397
Recommended article: On 2-extensions of the rationals with restricted ramification
Recommended article: On fields with finite Brauer groups
Recommended article: Lower bounds for \(K_ 2^{top}({\hat {\mathbb{Z}}}_ p\pi)\) and \(K_ 2({\mathbb{Z}}\pi)\)
Recommended article: Elements of order 4 of the Hilbert kernel in quadratic number fields
description: scientific article; zbMATH DE number 5544374