Logarithmic descriptions of K'_ 1( Z_ pG) and class- groups of symmetric groups
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\).
- Logarithmic descriptions of Whitehead groups and class groups for 𝑝-groups
- \(SK_ 1\) of finite group rings. V
- Logarithms and assembly maps on \(K_n({\mathbf Z}_l[G])\)
- scientific article; zbMATH DE number 3908623
- Lower bounds for \(K_ 2^{top}({\hat {\mathbb{Z}}}_ p\pi)\) and \(K_ 2({\mathbb{Z}}\pi)\)
- $SK_1$ for finite group rings: II.
- Artin exponent of finite groups
- D(Zpi)+ and the Artin cokernel
- scientific article; zbMATH DE number 3165539 (Why is no real title available?)
- scientific article; zbMATH DE number 3710340 (Why is no real title available?)
- scientific article; zbMATH DE number 3736029 (Why is no real title available?)
- scientific article; zbMATH DE number 3477356 (Why is no real title available?)
- scientific article; zbMATH DE number 3212917 (Why is no real title available?)
- Induced representations and projective modules
- Induction and structure theorems for orthogonal representations of finite groups
- Introduction to Algebraic K-Theory. (AM-72)
- Locally free classgroups of groups of prime power order
- Nontrivial lower bounds for class groups of integral group rings
- Norms of Units in Group Rings
- Note on the class-number of the maximal real subfield of a cyclomatic field.
- On the classification of Hermitian forms. III: Complete semilocal rings
- The locally free classgroup of the symmetric group
- The Whitehead transfer homomorphism for oriented S¹-bundles.
This page was built for publication: Logarithmic descriptions of \(K'_ 1({\hat {\mathbb{Z}}}_ pG)\) and class- groups of symmetric groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762250)
