Pre-special unit groups and ideal classes of Q(_ p)
Let \(p\) be a prime number and \(\mathbb{Q}(\zeta_ p)^ +\) the maximal real subfield of the field of \(p\)-th roots of unity. Let \(E_ p\) be the group of units \(\mathbb{Q}(\zeta_ p)^ +\). For an odd prime \(\ell\) with \(\ell\equiv\pm 1\pmod p\), let \(K\) denote the composite field of \(\mathbb{Q}(\zeta_ p)^ +\) and \(\mathbb{Q}(\zeta_ \ell)^ +\); and let \(E\) be the group of units of \(K\). Moreover let \({\mathcal E}_ p(\ell)=\bigl\{\eta\in E\mid N_{K/\mathbb{Q}(\zeta_ p)^ +}(\eta)=1\bigr\}\), and \({\mathcal C}_ p(\ell)=\bigl\{\varepsilon\in E_ p\mid\exists\eta\in{\mathcal E}_ p(\ell)\) such that \(\varepsilon^ 2\equiv\eta\pmod{\tilde{\mathfrak l}})\bigr\}\), where \(\tilde{\mathfrak l}\) denotes the product of the distinct primes of \(K\) above \(\ell\). Then the author calls \({\mathcal C}_ p(\ell)\) pre-\(\ell\) special unit group of \(\mathbb{Q}(\zeta_ p)^ +\), which appears when \textit{K. Rubin} [Invent. Math. 89, 511-526 (1987; Zbl 0628.12008)] defined the group of special units \({\mathcal C}_ p\). In this paper the author announces some results on estimates of the order of the \(p\)-part of \(E_ p/{\mathcal C}_ p(\ell)\) and results on the relations between the \(p\)-part of the ideal class group of \(\mathbb{Q}(\zeta_ p)^ +\) and the \(p\)-part of \(E/{\mathcal C}_ p^{(M,\alpha)}\), where \({\mathcal C}_ p^{(M,\alpha)}\) is a subgroup of \(E_ p\) with \({\mathcal C}_ p\subset{\mathcal C}_ p^{(M,\alpha)}\) which is defined using pre-special unit groups, a \(Gal\bigl(\mathbb{Q}(\zeta_ p)^ +/\mathbb{Q}\bigr)\)-module map \(\alpha: E_ p\to\mathbb{Z}\bigl[Gal(\mathbb{Q}(\zeta_ p)^ +/\mathbb{Q})\bigr]\), and a sufficiently large integer \(M\). No proof is given.
- On the ideal class groups of the \(p\)-class fields of quadratic number fields
- Ideal class groups in basic \(\mathbb Z_{p_1}\times\dots\times\mathbb Z_{p_s}\)-extensions of abelian number fields
- Special units and ideal class groups of extensions of imaginary quadratic fields
- The 2-ideal class groups of \(\mathbb{Q} (\zeta_l)\)
- The ideal class group of the basic Z_p-extension over an imaginary quadratic field
- The ideal class group of the Z_p-extension over the rationals
- On the \(p\)-part of the ideal class group of \(\mathbb{Q} (\zeta_ p + \zeta_ p^{-1})\) and Vandiver's conjecture
- Certain primary components of the ideal class group of the \(\mathbb Z_p\)-extension over the rationals
- On the group of modular units and the ideal class group
- scientific article; zbMATH DE number 2113493
This page was built for publication: Pre-special unit groups and ideal classes of \(\mathbb{Q}(\zeta_ p)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1201487)
