On the class groups of certain imaginary cyclic fields of 2-power degree (Q2165755)

Let \(p\equiv 1\pmod {2^{e+1}}\) be prime with \(e\ge 2\), and let \(\ell\equiv \pm 1\pmod 8\) be a prime that is not a quadratic residue mod \(p\). Let \(L_0=\mathbb Q(\sqrt{-2})\), \(\mathbb Q(\sqrt{2})\), or \(\mathbb Q(\sqrt{-2\ell})\), and let \(L_n=L_0k_n\), where \(k_n\) is the subfield of degree \(2^n\) of the \(p\)th cyclotomic field. Let \(\tilde{f}\) be the largest integer such that \(2\) splits completely in \(k_{\tilde{f}}/\mathbb Q\) and let \(f=\text{min}(\tilde{f}, e)\). Let \(\mathcal{F}_n\) be the intermediate degree 2 subextension of \(L_{n+1}/k_n\) that is not \(k_{n+1}\) or \(L_n\). The authors study the Galois module structure of the 2-Sylow subgroup \(A_n\) of the class group of \(\mathcal{F}_n\) in the case that \(\mathcal{F}_n\) is totally imaginary. A typical result is the following. Let \(\Lambda = \mathbb Z_2[[T]]\). Let \(0\le n\le f-1\). There is an explicit ideal \(\Theta_n\) of \(\Lambda\) depending on \(L_0\) such that \(A_n\) is isomorphic to \(\Lambda/\Theta_n\) when \(L_0= \mathbb Q(\sqrt{-2})\) and is isomorphic to \(\Lambda/(2,T)\oplus \Lambda/\Theta_n\) when \(L_0=\mathbb Q(\sqrt{-2\ell})\). A similar result is proved when \(f\le n\le e-1\). The paper also studies the 4-rank of \(A_n\). The results of the present paper generalize the classical work of \textit{L. Redei} and \textit{H. Reichardt} [J. Reine Angew. Math. 170, 69--74 (1933; Zbl 0007.39602)], who treated the case \(n=0\).