Logarithmic descriptions of \(K'_ 1({\hat {\mathbb{Z}}}_ pG)\) and class- groups of symmetric groups
type: Item
instance of: scholarly article
title: Logarithmic descriptions of \(K'_ 1({\hat {\mathbb{Z}}}_ pG)\) and class- groups of symmetric groups
zbMATH Open document ID: 0557.16007
DOI: 10.1007/BF01455913
author: Bob Oliver
published in: Mathematische Annalen
publication date: 1985-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164037
review text: A logarithmic description of \(K'_ 1({\hat {\mathbb{Z}}}_ pG)=K_ 1({\hat {\mathbb{Z}}}_ pG)/SK_ 1({\hat {\mathbb{Z}}}_ pG)\) is given for any finite group G and any prime p. This is based on a homomorphism \[ \Gamma_ G: K'\!_ 1({\hat {\mathbb{Z}}}_ pG)\to H_ 0(G;{\hat {\mathbb{Z}}}_ pG)={\hat {\mathbb{Z}}}_ pG/<x-gxg^{-1};\quad x\in {\hat {\mathbb{Z}}}_ pG,\quad g\in G> \] induced by setting \(\Gamma_ G(u)=\log u-p^{-1}\Phi (\log u)\quad (\Phi (a_ ig_ i)=\sum a_ ig^ p_ i)\) for any \(u\in 1+rad({\hat {\mathbb{Z}}}_ pG).\) In particular, \(Ker(\Gamma_ G)\) and \(Co\ker (\Gamma_ G)\) are seen to be finite groups of the same order. As one application, the following formula for \(| \tilde K_ 0({\mathbb{Z}}S_ n)|\) is derived, where \(S_ n\) denotes the symmetric group: Theorem. For \(r\in {\mathbb{Q}}\), set \(f(r)=(-1)^{k-1}\) if \(r=(3k^ 2\pm k)/2\), \(k\in {\mathbb{Z}}\); \(f(r)=0\) otherwise. For any prime p and any \(k\geq 1\), set \[ a_ p(k)= ord_ p(k)\sigma_ 0(k)-f(k/p)+\sum_{p<q\leq k,\quad q prime}(ord_ p(q-1)\cdot f(k/q)). \] Then for any prime p and any \(n\geq 2:\) \[ ord_ p| \tilde K_ 0({\mathbb{Z}}S_ n)| = \begin{cases} \sum^{n}_{k=1} a_ p(k)p(n-k) &\text{ if p is odd;} \\ 2-p(n)+ \sum^{n}_{k=1}a_ p(k)p(n-k) &\text{ if p=2.}\end{cases} \] Here \(p(.)\) denotes the partition function and \(\sigma_ 0(.)\) the number of divisors. For any integer \(k>0\), and any prime p, \(ord_ p(k)=a\) if \(p^ a| k\), \(p^{a+1}\nmid k\).
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 16E20
Mathematics Subject Classification ID: 20C11
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20C30
zbMATH DE Number: 3887885
zbMATH Keywords: finite group
zbMATH Keywords: symmetric group
zbMATH Keywords: partition function
zbMATH Keywords: number of divisors
MaRDI profile type: Publication
cites work: Q5340151
cites work: Q3922829
cites work: Induction and structure theorems for orthogonal representations of finite groups
cites work: Artin exponent of finite groups
cites work: Note on the class-number of the maximal real subfield of a cyclomatic field.
cites work: Q3283895
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: $SK_1$ for finite group rings: II.
cites work: Q3901623
cites work: D(Zpi)+ and the Artin cokernel
cites work: The Whitehead transfer homomorphism for oriented $S^1$-bundles.
cites work: Q4061092
cites work: Induced representations and projective modules
cites work: Locally free classgroups of groups of prime power order
cites work: The locally free classgroup of the symmetric group
cites work: Nontrivial lower bounds for class groups of integral group rings
cites work: On the classification of Hermitian forms. III: Complete semilocal rings
cites work: Norms of Units in Group Rings
OpenAlex ID: W1980778177
description: scientific article; zbMATH DE number 3887885