Generating the tame and wild kernels by Dennis-Stein symbols
type: Item
instance of: scholarly article
title: Generating the tame and wild kernels by Dennis-Stein symbols
zbMATH Open document ID: 0761.11040
DOI: 10.1007/BF01046939
author: Thom Mulders
published in: \(K\)-Theory
publication date: 1993-01-16T00:00:00Z
review text: Let \(F\) be a number field and \(S\) a finite set of primes of \(F\) containing the infinite primes. Let \(p\) be a prime number, \(e\) a positive integer, and \(n=p^ e\). Also, let \(L=F(\zeta_ n)\) and let \(T\) be the set of primes of \(L\) lying over \(S\). Let \({\mathcal O}_ S\subset F\) denote the \(S\)-integers of \(F\), i.e. \({\mathcal O}_ S=\{\alpha\in F\mid\;v_ \wp(\alpha)\geq 0\) for all \(\wp\not\in S\}\). Similarly for \({\mathcal O}_ T\subset L\). One has a homomorphism \[ J: \mu_ n\otimes\text{Cl}({\mathcal O}_ T)@>I>> K_ 2({\mathcal O}_ T)/n@>\text{tr}>> K_ 2({\mathcal O}_ S)/n, \] where tr denotes the transfer map. Write \({\mathcal H}\) for the maximal unramified abelian extension of \(L\) such that the finite primes of \(T\) split completely in \({\mathcal H}\). Then the main theorem of the paper says: Theorem. Let \(\varepsilon\in{\mathcal O}_ S^*\) and let \(k\) be such that \(\zeta_{p^ k}\in L\) but \(\zeta_{p^{k+1}}\not\in L\). If \(\root p \of {\varepsilon}\not\in L(\zeta_{p^{k+1}})\) and \(\zeta_{p^{k+1}}\not\in{\mathcal H}\), then the image of \(J\) is generated by classes of Dennis-Stein symbols. Several applications of the theorem are given, e.g. (*): for real quadratic number fields \(F=\mathbb{Q}(\sqrt d)\), \(d>1\) a square free integer such that \(d\not\equiv\pm 1 \pmod 8\), it follows that the 2-primary part of \(K_ 2({\mathcal O}_ F)\) is generated by Dennis-Stein symbols. In case \(\zeta_ p\not\in F\), \(e=1\), let \(N:{\mathcal O}_ T\to {\mathcal O}_ S\) be the norm map on ideal class groups. Also, let \(\Gamma=\text{Gal}(L/F)\). Consider the homomorphism \[ J':\mu_ p\otimes\text{Ker} (N) \to (\mu_ p\otimes\text{Cl}({\mathcal O}_ T))_ \Gamma@>I>> (K_ 2({\mathcal O}_ T)/p)_ \Gamma@>\text{tr}>> K_ 2({\mathcal O}_ S)/p. \] The theorem can no be improved to give: Theorem. Let \(\varepsilon\in{\mathcal O}_ S^*\). If \(\root p \of {\varepsilon}\not\in L\),then the image of \(J'\) is generated by classes of Dennis-Stein symbols. As a …
Mathematics Subject Classification ID: 11R37
Mathematics Subject Classification ID: 11R70
Mathematics Subject Classification ID: 19F15
zbMATH DE Number: 89975
zbMATH Keywords: tame kernel
zbMATH Keywords: class field theory
zbMATH Keywords: Dennis-Stein symbols
zbMATH Keywords: fundamental units
zbMATH Keywords: generators
zbMATH Keywords: wild kernel
reviewed by: W. W. J. Hulsbergen
MaRDI profile type: Publication
cites work: \(K_ 2\)-analogs of Hasse's norm theorems
cites work: A finiteness theorem for K\(_2\) of a number field
cites work: On the size of certain k-groups
cites work: Another presentation for the \(K_ 2\) of a local domain
cites work: On the structure of the \(K_ 2\) of the ring of integers in a number field
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Relations between \(K_2\) and Galois cohomology
cites work: Q3943047
description: scientific article; zbMATH DE number 89975