Construction of certain maximal p-ramified extensions over cyclotomic fields (Q749603)

For an odd prime p, let \(K_{\infty}\) denote the cyclotomic \({\mathbb{Z}}_ p\)-extension of the mth cyclotomic field, where \(m\geq 1\) and \(p\nmid m\). Consider the maximal abelian pro-p-extension \(\Omega_ p\) of \(K_{\infty}\) which is unramified outside p. Its odd part \(\Omega_ p^-\) contains the extension \(C/K_{\infty}\) generated by all p-power roots of circular units of \(K_{\infty}\). The author finds a system of generators for \(\Omega_ p^-/C\), more precisely, for its ``\(\chi\)- components'' \(\Omega_ p(\chi)/C(\chi)\), where \(\chi\) is an odd character mod p distinct from the Teichmüller character. The generators are p-power roots of certain elements of \(K_{\infty}\) constructed by means of a theory of special units due to \textit{F. Thaine} [Ann. Math., II. Ser. 128, No.1, 1-18 (1988; Zbl 0665.12003)].