Torsion Galois modules and embeddings in \(\mathbb Z_p\)-extensions (Q1116971): Difference between revisions

Let \(p\) be an odd prime, \(F\) a number field, \(F''\) its maximal \(p\)-ramified abelian pro-\(p\) extension, \(\mathcal T\) the \(\mathbb Z_p\)-torsion subgroup of \(\mathrm{Gal}(F''/F)\), and \(F'\) the subfield of \(F''\) fixed by \(\mathcal T\), that is, the compositum of the \(\mathbb Z_p\)-extensions of \(F\). If \(F\) contains \(\mu_p\), the \(p\)-th roots of unity, let \(\chi\) be the subgroup of \(F^*/F^{*p}\) orthogonal to \(\mathcal T/\mathcal T^p\); then \(L=F[\chi^{1/p}]\) is the maximal exponent \(p\) subextension of \(F'\). The author presents a method of calculating \(\mathcal T\) and \(\chi\), and applies it to compute generators of \(\mathcal T\) and \(\chi\) for \(p=3\), \(F=\mathbb Q[\mu_3,d^{1/2}]\), when \(| d| <200\). These results complete results of \textit{K. Kramer} and \textit{A. Candiotti} [Am. J. Math. 100, 177--196 (1978; Zbl 0388.12004)]. The methods are related to work of \textit{T. Nguyen Quang Do} [Ann. Inst. Fourier 36, No. 2, 27--46 (1986; Zbl 0576.12010)].