Computing class fields via the Artin map
To explicitly construct a class field \(F\) over \(E\), we append to \(E\) a sufficiently large root of unity to obtain a Kummer extension \(G\supseteq F\). For \(G/E\) a minimal number of radicals is found by using the Artin map to select radicands from \(S\)-units by the map into the identity, likewise for the selection of \(F\subseteq G\). An illustration even for the Hilbert class field \(E = \mathbb{Q}(\sqrt{10})\) is not trivial with modulus 1, class group \(C_2 =\langle 2_1\rangle\), \(2_1 = (2,\sqrt{10})\). By Hasse's Theorem [\textit{H. Hasse}, Vorlesungen über Klassenkörpertheorie, Physica-Verlag, Würzburg (1967; Zbl 0148.28005) pp. 232-233], \(G\) must allow for the new modulus \(2^5_1\infty_1\infty_2\) with \(\{3 + \sqrt{10}, -1,2\}\) as \(S\)-units in \(E\). The corresponding ray class is \(C^2_2\times C_4\) with three generating ideals \((1\pm 4\sqrt{10})\) (and prime factors \(\{3_1,3_2,53_1,53_2\})\) and \((5 + \sqrt{10})\) (ignored since it is in the unit ray class). Under the Artin mapping of the primes on all combinations of the \(S\)-units, only 2 is invariant and the class field is predictably \(E(\sqrt{2})\). The more difficult illustration with another modulus, e.g., \(9\infty_1\) with class group \(C_3\times C_4\) (and two Kummer extensions) is too long to summarize. Also a table of ray classfields for \(\mathbb{Q}(x)\), \(x^4 + 3x^3 + 2x + 1\) and various moduli up to 18 is shown.NEWLINENEWLINENEWLINEMuch remains to be done in simplifying or standardizing the results. [See \textit{H. Cohen}, Advanced topics in computational number theory, Springer Graduate Texts 193 (1999; Zbl 0977.11056), Chapter 5, and \textit{M. Daberkow} and \textit{M. E. Pohst}, J. Number Theory 69, 213-220 (1998; Zbl 0910.11058)].
- scientific article; zbMATH DE number 1113824
- On a problem of Hasse and Ramachandra
- Advanced Topics in Computional Number Theory
- Construction of class fields over cyclotomic fields
- scientific article; zbMATH DE number 4175079
- Konstruktion von Klassenkörpern und Potenzrestkriterien für quadratische Einheiten
- scientific article; zbMATH DE number 3910503
- scientific article; zbMATH DE number 2066358
- scientific article; zbMATH DE number 2053181
- scientific article; zbMATH DE number 1254235
- Computing automorphisms of abelian number fields
- Computing ray class groups, conductors and discriminants
- Computing Stark units for totally real cubic fields
- Explicit bounds for primes in residue classes
- scientific article; zbMATH DE number 435565 (Why is no real title available?)
- scientific article; zbMATH DE number 611919 (Why is no real title available?)
- scientific article; zbMATH DE number 663925 (Why is no real title available?)
- scientific article; zbMATH DE number 1075583 (Why is no real title available?)
- scientific article; zbMATH DE number 1075588 (Why is no real title available?)
- scientific article; zbMATH DE number 843465 (Why is no real title available?)
- scientific article; zbMATH DE number 3239662 (Why is no real title available?)
- On the computation of Hilbert class fields
- Zur expliziten Berechnung von Ganzheitsbasen in Strahlklassenkörpern über einem imaginär-quadratischen Zahlkörper. (On the explicit calculation of integral bases in ray class fields over an imaginary quadratic number field)
- A survey of computational class field theory
- Minimal discriminants for fields with small Frobenius groups as Galois groups.
- Algebraic number fields generated by an infinite family of monogenic trinomials
- Principalization algorithm via class group structure
- Constructing class fields over local fields
- The group \(\mathrm{Gal}(k_3^{(2)}|k)\) for \(k=\mathbb Q(\sqrt{-3},\sqrt{d})\) of type \((3,3)\)
- Modèle de Legendre d'une courbe elliptique à multiplication complexe et monogénéité d'anneaux d'entiers. I
- The distribution of second \(p\)-class groups on coclass graphs
- scientific article; zbMATH DE number 1113824 (Why is no real title available?)
- 3-class field towers of exact length 3
- Computing the multiplicative group of residue class rings
- A Database for Field Extensions of the Rationals
- Computing the Hilbert class field of real quadratic fields
- Constructing abelian extensions with prescribed norms
- Topics in computational algebraic number theory
- Minimal ramifications
- On the construction of class fields
- Cyclic extensions of prime degree and their p-adic regulators
- Computing quadratic subfields of number fields
- Coclass of the second 3-class group
- The capitulation problem in certain pure cubic fields
- Minimizing representations over number fields. II: Computations in the Brauer group.
- Valuations of \(p\)-adic regulators of cyclic cubic fields
- Swan modules and elliptic functions
This page was built for publication: Computing class fields via the Artin map
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2719081)
