Pre-special unit groups and ideal classes of \(\mathbb{Q}(\zeta_ p)\) (Q1201487)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pre-special unit groups and ideal classes of \(\mathbb{Q}(\zeta_ p)\) |
scientific article |
Statements
Pre-special unit groups and ideal classes of \(\mathbb{Q}(\zeta_ p)\) (English)
0 references
17 January 1993
0 references
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.
0 references
unit group
0 references
ideal class group
0 references