A Course in Computational Algebraic Number Theory

by Henri Cohen

Book Overview

This book describes 148 algorithms which are essential for serious number-theoretic computations, in particular for computations related to lattices, algebraic number theory, elliptic curves, primality testing and factoring. For each algorithm, a complete theoretical introduction is given so that prerequisites are reduced to a minimum. Many implementation hints and exercises are also provided.

• Format: Paperback
• Language: English
• ISBN: 3642081428
• ISBN13: 9783642081422
• Release Date: December 2010
• Publisher: Springer
• Length: 536 Pages
• Weight: 1.75 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"

Customer Reviews

Great book for computational aspects

I bought this book for the math course I had taken having the same title. This is an excellent book, but only if you are really interested in its content. It's not a casual read, since it's graduate text. Also, a background in number theory will be of great help - being a CS major, I had a little tough time in the beginning, but things turned out just fine. As for content, it has excellent coverage of the subject, and I would highly recommend this as a reference in this subject. Remember, though, that this book deals COMPUTATIONAL aspects, for only number theory, look for other books like Ireland-Rosen.

Definitely belongs on the shelf of all number theory lovers

This book is an excellent compilation of both the theory and pseudo-code for number theoretic algorithms. The author also takes the time to prove some of the major results as background to the algorithms, in addition to sets of exercises at the end of the book. The book is too large to do a chapter by chapter review, so instead I will list the algorithms in the book that I thought were particularly useful: 1. Most of the algorithms on elliptic curves. The author reminds the reader that number-theoretical experiments resulted in the famous Swinnerton-Dyer Conjecture and the Birch Conjecture. (a) the reduction algorithm, which for a given point in the upper half plane, gives the unique point in the half plane equivalent to this point under the action of the special linear group along with the matrix that maps these two points to each other. (b) The computation of the coefficient g2 and g3 of the Weierstrass equation of an elliptic curve. (c) The computation of the Weierstrass function and its derivative. (d) Determination of the periods of an elliptic curve over the real numbers. (e) The determination of the elliptic logarithm. (f) The reduction of a general cubic (f) The Shanks-Mestre algorithm for computing the order of an elliptic curve over a finite field F(p), where p is prime and greater than 457. (g) The reduction of an elliptic curve modulo p for p > 3. (h) The reduction of an elliptic curve modulo 2 or 3. (i) Reduction of an elliptic curve over the rational numbers. (j) Determination of the rational torsion points of an elliptic curve. (k) Computation of the Hilbert class polynomials and thus a determination of the j-function of an elliptic curve. <p> 2. A few of the algorithms on factoring. (a) The Pollard algorithm for finding non-trivial factors of composites. (The author does not give the improved algorithm due to P. Montgomery, but does give references) (b) Shanks Square Form Factorization algorithm for finding a non-trivial factor of an odd integer. (c) Lenstra's Elliptic Curve test for compositeness. <p> 3. Primality tests (a) The Jacobi Sum Primality Test for a positive integer. (b) Goldwasser-Killian elliptic curve test for a positive integer not equal to 1 and coprime to 6. <p> The author gives an overview of the computer packages used for number theory, including Pari, which was written by him and his collaborators. I have not used this package, but instead use Lydia and Mathematica for most of the number theoretic computations I need to do.

Excellent!

Cohen (the world renowned expert) starts with the most basic of algorithms (i.e. Euclid & Shanks). He moves seamlessly into Linear Algebra & Polynomials (bedrocks of most CAS). Although meant to be concise, he proves, or sketches a proof of the important results. Finally, the meat of the book, C.A.N.T. One important problem is finding the "class number" (has to do with unique factorization, which we are all accustomed to in Z). A detailed description of the continued fraction algorithm (for finding the fundamental unit), and others made it very enlightening. He then deals with primality testing and factoring, two very important problems, the latter because of RSA. First, a description of the algorithm, then the theory behind it. He covered everything, from Trial Division (Dark Ages) to Pollard Rho to NFS (cutting-edge). Also included are some useful tables.Of course, CAS information from 1993, won't be that helpful (look in his newest, Advanced Topics in C.A.N.T.).Excellent. Also try Knuth's "Semi-numerical Algorithms" for a more computer oriented approach.