Visibility of ideal classes (Q710506)

The authors study capitulation of ideal classes of an abelian number field \(K\) in the minimal cyclotomic field containing \(K\). Let \(p\) and \(l\) be prime numbers such that \(l\equiv 1\pmod p\). Let \(G:=\text{Gal}({\mathbb Q}(\zeta_l)^+/{\mathbb Q})\), \(\pi\) the maximal subgroup of \(G\) of \(p\)-power order, \(\Delta\) the maximal subgroup of \(G\) of order prime to \(p\). Let \(p^n\) be the order of \(\pi\). Let \(\chi\) be a \(p\)-adic valued Dirichlet character of \(\Delta\), and let \({\mathcal O}_\chi\) be the \({\mathbb Z}_p[\Delta]\)-algebra generated by the values of \(\chi\). Let \(F\) be the fixed field of \(\pi\). Let \(H\) be the kernel of \(\chi\), and let \(K\) be the fixed field of \(H\). Let \(A_K\) be the \(p\)-Sylow subgroup of the class group of \(K\). The authors prove that \(A_K\) capitulates in \({\mathbb Q}(\zeta_l)^+\) if and only if \(\frac{(1+T)^{p^n}-1}{T}\) belongs to a certain ideal of \({\mathcal O}_\chi[[T]]\).