A construction of normal bases over the Hilbert \(p\)-class field of imaginary quadratic fields (Q1130270)

Soient \(p\) un nombre premier impair, \(F\) un corps quadratique imaginaire et \(K\) une \(\mathbb{Z}_p\)-extension de \(F\). Lorsque \(k\) est le corps des classes de rayon modulo \(p\) de \(F\), K. Komatsu établit l'existence d'une base normale pour la \(\mathbb{Z}_p\)-extension \(kK/k\). Dans cet article, l'auteur examine le cas où \(k\) désigne le corps des \(p\)-classes de Hilbert de \(F\). Plus précisément, il prouve que l'extension \(kK/k\) admet une base normale sauf dans le cas suivant: \[ p=3 \quad\text{et}\quad F=\mathbb{Q}(\sqrt{-3d}) \] avec \(d>1,\) \(d\equiv 1\pmod 3\) (\(d\) étant suppsé entier sans facteur carré). Les démonstrations reposent sur des lemmes de transposition d'une extension à une autre, du problème d'existence d'une base normale pour l'anneau des \(p\)-entiers.