On the wild kernel of number fields and the group of logarithmic classes (Q5950066)

Let \(K\) be a number field, \(\ell\) a given prime, and \(\widetilde{\mathcal C\ell}_K\) the logarithmic class group of \(K\) introduced by the first author. The basic relation connecting the \(\ell\)-parts of \(\widetilde{\mathcal C\ell}_K\) and the wild kernel of \(K\) is extended and made more precise. Next, the authors prove an analogue of the classical Spiegelungssatz for logarithmic class groups. The last part is devoted to the question whether the triviality of the \(\ell\)-part of \(\widetilde{\mathcal C\ell}_K\) is preserved in a finite Galois \(\ell\)-extension \(L/K\). The result is rather complete if \(K\) is totally real. The main tool is the formula for the central logarithmic classes established by the first author [J. Théor. Nombres Bordx. 6, No. 2, 301--325 (1994; Zbl 0827.11064)]. The formula is extended and a slight error is corrected. The paper contains illustrative numerical examples.