A note on a paper of Iwasawa (Q917597)

In his paper [Proc. Japan Acad., Ser. A 65, No.2, 59-61 (1989; Zbl 0704.11047)], \textit{K. Iwasawa} showed the following fact: for a finite algebraic number field k, the ideal class group \(C_ k\) of k capitulates already in a proper subfield M of Hilbert's class field K over k if and only if there is a prime number p such that the p-class group \(C_{k,p}\) of k capitulates in a proper subfield F of Hilbert's p-class field \(K_ p\) over k. Moreover, he provided simple examples of such field k as follows: let p, \(p_ 1\), \(p_ 2\) be 3 distinct prime numbers such that \(p\equiv p_ 1\equiv p_ 2\equiv 1 mod 4\) and \((p/p_ 1)=(p/p_ 2)=-1\) for Legendre's symbol ( /), and that the norm of the fundamental unit of the real quadratic field \(k'={\mathbb{Q}}(\sqrt{p_ 1p_ 2})\) is 1. Moreover, put \(k={\mathbb{Q}}(\sqrt{pp_ 1p_ 2})\), \(K_ 2={\mathbb{Q}}(\sqrt{p},\sqrt{p_ 1},\sqrt{p_ 2})\), \(F={\mathbb{Q}}(\sqrt{p},\sqrt{p_ 1p_ 2})\). Then, \(K_ 2\) is Hilbert's 2- class field over k and \(C_{k,2}\) capitulates in the proper subfield F of \(K_ 2.\) The author considers a question whether \(C_{k,2}\) capitulates also in other proper subfields \(F_ 1={\mathbb{Q}}(\sqrt{p_ 1},\sqrt{pp_ 2})\), \(F_ 2={\mathbb{Q}}(\sqrt{p_ 2},\sqrt{pp_ 1})\), and gives necessary and sufficient conditions for \(C_{k,2}\) to capitulate in all F, \(F_ 1\), \(F_ 2\) (resp. in only F) in terms of the unit index, the 2-class number and the biquadratic residue symbol, respectively.