Number Fields and Rings of Integers - Applications
The theory of rings of integers has profound applications to classical problems in number theory and beyond.
A prime is expressible as a sum of two squares if and only if or .
Proof sketch: Work in . If , then in . Conversely, if , the equation has a solution, which lifts to a factorization in .
The ring of integers provides a framework for solving equations like . Working in , we can factor and use unique factorization to constrain solutions.
For instance, the equation can be solved by working in and analyzing ideals in . The complete set of integer solutions is .
The splitting behavior of primes in number field extensions encodes deep reciprocity laws. For :
A prime splits completely in (i.e., factors into two distinct prime ideals) if and only if , where is the Legendre symbol.
This is a special case of the Artin reciprocity law in class field theory.
Number field sieve algorithms use rings of integers to factor large composite numbers. The basic idea:
- Choose a number field with small discriminant
- Search for smooth elements in (elements with only small prime factors)
- Combine relations to extract factors of the target integer
This is currently the fastest known algorithm for factoring large integers, underlying the security of RSA cryptography.
The theory of complex multiplication connects elliptic curves to number fields. An elliptic curve has complex multiplication by an order in an imaginary quadratic field if .
The -invariants of such curves generate abelian extensions of , providing explicit class field theory. For example, generates the Hilbert class field of .
The modularity theorem (formerly the Taniyama-Shimura conjecture) relates elliptic curves over to modular forms, ultimately leading to Wiles's proof of Fermat's Last Theorem. Number field extensions and their arithmetic provide the necessary framework for formulating and proving such results.
Modern applications extend to algebraic geometry, representation theory, and mathematical physics, where number fields provide the arithmetic foundation for geometric and analytic constructions.