Construction of certain maximal p-ramified extensions over cyclotomic fields (Q749603)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Construction of certain maximal p-ramified extensions over cyclotomic fields |
scientific article |
Statements
Construction of certain maximal p-ramified extensions over cyclotomic fields (English)
0 references
1990
0 references
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)].
0 references
cyclotomic field
0 references
maximal abelian pro-p-extension
0 references
circular units
0 references