On capitulation of ideals of an algebraic number field (Q798712): Difference between revisions

Let k be a number field and let K/k be an unramified abelian extension. Denote by \(\lambda\) : C\({\mathcal L}(k)\to C{\mathcal L}(K)\) the map on the corresponding class groups which is obtained by viewing ideals of k as ideals of K and let \(S_ k(K)/k\) be the unramified abelian extension corresponding to the kernel of \(\lambda\) by class field theory. The main purpose of this note is to characterize unramified abelian extensions of k which are of the form \(S_ k(K)\).