Advanced Topics in Computational Number Theory

✍ Scribed by Henri Cohen (auth.)

• Publisher: Springer-Verlag New York
• Year: 2000
• Tongue: English
• Leaves: 599
• Series: Graduate Texts in Mathematics 193
• Edition: 1
• Category: Library

✦ Synopsis

The computation of invariants of algebraic number fields such as integral bases, discriminants, prime decompositions, ideal class groups, and unit groups is important both for its own sake and for its numerous applications, for example, to the solution of Diophantine equations. The practical com­ pletion of this task (sometimes known as the Dedekind program) has been one of the major achievements of computational number theory in the past ten years, thanks to the efforts of many people. Even though some practical problems still exist, one can consider the subject as solved in a satisfactory manner, and it is now routine to ask a specialized Computer Algebra Sys­ tem such as Kant/Kash, liDIA, Magma, or Pari/GP, to perform number field computations that would have been unfeasible only ten years ago. The (very numerous) algorithms used are essentially all described in A Course in Com­ putational Algebraic Number Theory, GTM 138, first published in 1993 (third corrected printing 1996), which is referred to here as [CohO]. That text also treats other subjects such as elliptic curves, factoring, and primality testing. Itis important and natural to generalize these algorithms. Several gener­ alizations can be considered, but the most important are certainly the gen­ eralizations to global function fields (finite extensions of the field of rational functions in one variable overa finite field) and to relative extensions ofnum­ ber fields. As in [CohO], in the present book we will consider number fields only and not deal at all with function fields.

✦ Table of Contents

Front Matter....Pages i-xv
Fundamental Results and Algorithms in Dedekind Domains....Pages 1-47
Basic Relative Number Field Algorithms....Pages 49-132
The Fundamental Theorems of Global Class Field Theory....Pages 133-162
Computational Class Field Theory....Pages 163-222
Computing Defining Polynomials Using Kummer Theory....Pages 223-295
Computing Defining Polynomials Using Analytic Methods....Pages 297-346
Variations on Class and Unit Groups....Pages 347-387
Cubic Number Fields....Pages 389-428
Number Field Table Constructions....Pages 429-473
Appendix A: Theoretical Results....Pages 475-521
Appendix B: Electronic Information....Pages 523-531
Appendix C: Tables....Pages 533-548
Back Matter....Pages 549-581

✦ Subjects

Number Theory; Combinatorics