Abelian prinicipalization of groups of logarithmic classes (Q2285761): Difference between revisions

Let \(l\) be a prime number. In this paper, the author extends, to logarithmic class groups, the results on abelian principalization of tame ray class groups of a number field obtained in a previous article. As a consequence, the author proves that for any extension \(K/k\) of number fields which satisfies the Gross-Kuz'min conjecture for the prime \(l\) and where at least one of the infinite places completely splits, there exists infinitely many abelian \(l\)-extensions \(F/k\) such that the relative subgroup \(\tilde{Cl}_{K/k}=\mathrm{Ker}(\tilde{C}_{K} \rightarrow \tilde{C}_{k})\) of the \(l\)-group of logarithmic classes of \(K\) capitulates in the compositum \(FK\).