On the Steinitz module and capitulation of ideals (Q2709965)

If \(L/K\) is an extension of degree \(n\) of an algebraic number field \(K\) and \(Z_K\),\(Z_L\) are the corresponding rings of integers, then there is an ideal \(I\subset Z_K\) such that \(Z_L\) is isomorphic to \(Z_L^n\oplus I\) as a \(Z_K\)-module. The class \(St(L/K)\) of \(I\) in the class-group of \(K\) is called the \textit{Steinitz class} of \(L/K\). The authors obtain some properties of \(St(L/K)\) in the case when \(L/K\) is unramified, relate it to the capitulation problem and produce an example of a quadratic field all of whose ideals capitulate already in a proper subfield of the Hilbert class field. The same example occurs already in a paper of \textit{P. Furtwängler} [Monatsh. Math.-Phys. 27, 1-15 (1916; JFM 46.0246.01)] and can be found in textbooks, so the authors attribution to K. Iwasawa of the first such example is incorrect.