**Integer factorization**using the number field sieve. The number field sieve is the asymptotically fastest known algorithm for factoring general large integers (that don't have too special of a form). Recently, in December 2003, the number field sieve was used to factor the RSA-576 $10000 challenge:**Primality test:**Agrawal and his students Saxena and Kayal from India recently (2002) found the first ever deterministic polynomial-time (in the number of digits) primality test. There methods involve arithmetic in quotients of , which are best understood in the context of algebraic number theory. For example, Lenstra, Bernstein, and others have done that and improved the algorithm significantly.**Deeper point of view**on questions in number theory:- Pell's Equation ( ) Units in real quadratic fields Unit groups in number fields
- Diophantine Equations For which does have a nontrivial solution in ?
- Integer Factorization Factorization of ideals
- Riemann Hypothesis Generalized Riemann Hypothesis
- Deeper proof of Gauss's quadratic reciprocity law in terms of arithmetic of cyclotomic fields , which leads to class field theory.

- Wiles's proof of
**Fermat's Last Theorem**, i.e., has no nontrivial integer solutions, uses methods from algebraic number theory extensively (in addition to many other deep techniques). Attempts to prove Fermat's Last Theorem long ago were hugely influential in the development of algebraic number theory (by Dedekind, Kummer, Kronecker, et al.). **Arithmetic geometry:**This is a huge field that studies solutions to polynomial equations that lie in arithmetically interesting rings, such as the integers or number fields. A famous major triumph of arithmetic geometry is Faltings's proof of Mordell's Conjecture.For example, Theorem 2.3.1 implies that for any and any number field , there are only finitely many solutions in to . A famous open problem in arithmetic geometry is the**Theorem 2.3.1**(Faltings)*Let be a plane algebraic curve over a number field . Assume that the manifold of complex solutions to has genus at least (i.e., is topologically a donut with two holes). Then the set of points on with coordinates in is finite.***Birch and Swinnerton-Dyer conjecture**, which gives a deep conjectural criterion for exactly when should be infinite when is a torus.

William Stein 2004-05-06