## Computing ray class groups, conductors and discriminants.(English)Zbl 0929.11064

The authors develop methods for computing invariants of number fields related to class field computations. They use ideas of their earlier paper on finitely generated Abelian groups [“Algorithmic Methods for Finitely Generated Abelian Groups”, submitted to Math. Comput.] being represented by a set of generators and a matrix of relations. Linear algebra – essentially calculations of Smith and Hermite normal forms – yield methods for computing exact sequences of such groups. These are applied to the computation of the multiplicative structure of the residue class ring $$\mathbb{Z}_K/ {\mathcal M}$$ of the ring of integers of an algebraic number field $$K$$ and a modulus $${\mathcal M}$$ of $$K$$. To solve this task it suffices to compute $$(1+ {\mathfrak p}^a)/(1+ {\mathfrak p}^b)$$ for prime ideals $${\mathfrak p}$$ dividing $${\mathcal M}$$ and finitely many suitable pairs of exponents $$a,b$$ subject to $$1\leq a\leq b\leq 2a$$ up to $$b=v_{\mathfrak p} ({\mathcal M})$$. Consequently the task of computing ray class groups is also solved with these ideas.
In section 3 the authors then develop methods for calculating congruence groups, discriminants, signatures and conductors of ray class fields. Finally, they show how to determine defining equations for these fields. The last section contains two explicit numerical examples with class fields of total degree 12, one over a quadratic and the other over a cubic base field. A nice and interesting application is made to the computation of number fields with small discriminants and degree less than 100.

### MSC:

 11Y40 Algebraic number theory computations 11R37 Class field theory
Full Text:

### References:

 [1] Eric Bach, James Driscoll, and Jeffrey Shallit, Factor refinement, J. Algorithms 15 (1993), no. 2, 199 – 222. · Zbl 0784.11058 [2] Algebraic number theory, Proceedings of an instructional conference organized by the London Mathematical Society (a NATO Advanced Study Institute) with the support of the International Mathematical Union. Edited by J. W. S. Cassels and A. Fröhlich, Academic Press, London; Thompson Book Co., Inc., Washington, D.C., 1967. [3] Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin, 1993. · Zbl 0786.11071 [4] Henri Cohen, Hermite and Smith normal form algorithms over Dedekind domains, Math. Comp. 65 (1996), no. 216, 1681 – 1699. · Zbl 0853.11100 [5] Henri Cohen and Francisco Diaz y Diaz, A polynomial reduction algorithm, Sém. Théor. Nombres Bordeaux (2) 3 (1991), no. 2, 351 – 360 (English, with French summary). · Zbl 0758.11053 [6] H. Cohen, F. Diaz y Diaz and M. Olivier, Algorithmic methods for finitely generated Abelian groups, submitted to J. of Symbolic Computation 1996. · Zbl 1007.20031 [7] M. Daberkow and M. Pohst, Computations with relative extensions of number fields with an application to the construction of Hilbert class fields, Proc. ISAAC’95 (1995) (to appear). · Zbl 0930.11089 [8] F. Diaz y Diaz and M. Olivier, Algorithmique Algébrique dans les Corps de Nombres, Etat de la Recherche en Algorithmique Arithmétique, Laboratoire A2X, Bordeaux, 1995. [9] George Havas and Bohdan S. Majewski, Hermite normal form computation for integer matrices, Proceedings of the Twenty-fifth Southeastern International Conference on Combinatorics, Graph Theory and Computing (Boca Raton, FL, 1994), 1994, pp. 87 – 96. · Zbl 0836.65060 [10] Erich Hecke, Lectures on the theory of algebraic numbers, Graduate Texts in Mathematics, vol. 77, Springer-Verlag, New York-Berlin, 1981. Translated from the German by George U. Brauer, Jay R. Goldman and R. Kotzen. · Zbl 0504.12001 [11] Armin Leutbecher, Euclidean fields having a large Lenstra constant, Ann. Inst. Fourier (Grenoble) 35 (1985), no. 2, 83 – 106 (English, with French summary). · Zbl 0546.12005 [12] Armin Leutbecher and Gerhard Niklasch, On cliques of exceptional units and Lenstra’s construction of Euclidean fields, Number theory (Ulm, 1987) Lecture Notes in Math., vol. 1380, Springer, New York, 1989, pp. 150 – 178. · Zbl 0703.11056 [13] Jacques Martinet, Petits discriminants des corps de nombres, Number theory days, 1980 (Exeter, 1980) London Math. Soc. Lecture Note Ser., vol. 56, Cambridge Univ. Press, Cambridge-New York, 1982, pp. 151 – 193 (French). · Zbl 0491.12005 [14] Norikata Nakagoshi, The structure of the multiplicative group of residue classes modulo \?^{\?+1}, Nagoya Math. J. 73 (1979), 41 – 60. · Zbl 0393.12023 [15] A. M. Odlyzko, Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results, Sém. Théor. Nombres Bordeaux (2) 2 (1990), no. 1, 119 – 141 (English, with French summary). · Zbl 0722.11054 [16] M. Pohst and H. Zassenhaus, Algorithmic algebraic number theory, Encyclopedia of Mathematics and its Applications, vol. 30, Cambridge University Press, Cambridge, 1989. · Zbl 0685.12001 [17] X.-F. Roblot, Unités de Stark et corps de classes de Hilbert, C. R. Acad. Sci. Paris 323 (1996), 1165-1168. · Zbl 0871.11080 [18] H. Zantema, Class numbers and units, Computational methods in number theory, Part II, Math. Centre Tracts, vol. 155, Math. Centrum, Amsterdam, 1982, pp. 213 – 234. R. J. Schoof, Quadratic fields and factorization, Computational methods in number theory, Part II, Math. Centre Tracts, vol. 155, Math. Centrum, Amsterdam, 1982, pp. 235 – 286.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.