Algebraic number theory
Algebraic number theory is a branch of number theory that, in a nutshell, extends various properties of the integers to more general rings and fields. In doing so, many questions concerning Diophantine equations are resolved, including the celebrated quadratic reciprocity theorem. More recently, the field has been linked to the theory of elliptic curves, and its ideas are responsible for the successful attack on Fermat's Last Theorem. This field is extremely rich and advanced, and this article gives no more than a brief introduction.
Interest in the field was largely motivated by the desire to understand numbers of the form for some fixed, squarefree (if is not squarefree, the case is equivalent to ). More specifically, the question at hand was what numbers could be expressed in that form. Since , there was a natural connection to quadratic residues in play. In the ring of integers, this is a difficult question to analyze, but it becomes much easier when considering the field because then is the product of two elements - and the norm of one. The case of , in particular, leads to factorization in the Gaussian integers.
This extension of the concept of factorization quickly spilled into other problems as well, most notably Fermat's Last Theorem. In the case, a simple solution exists by taking and using an infinite descent argument. However, this does not extend well to larger because analogous factorizations contain terms of degree larger than 2. Early attempts at proof factored into , where is a th root of unity. However, though this was not well-understood at the time, the implicit assumption was that was a principal ideal domain, later shown to be false.
An algebraic number is a number that is the root of some nonzero integer polynomial (i.e. a polynomial with integer coefficients). When that polynomial is monic, the number is said to be an algebraic integer. For example, all rational numbers are algebraic integers (and thus an algebraic number as well), as the linear polynomial has root for any integers (with ). When such a polynomial exists, it is called the minimal polynomial of the algebraic number in question. It can be shown that a number is an algebraic integer if and only if its minimal polynomial has integer coefficients.
The sum, difference, product, and quotient of any two algebraic numbers is itself an algebraic number; as a result, the algebraic numbers form a field. In this article, will denote an arbitrary algebraic number field; for example, , which consists of the numbers of the form where are rational. As a sidenote, this shows that the sum of any two algebraic integers is itself an algebraic integer, and furthermore any rational algebraic integer is obviously also an integer. This gives an easy way to show that sums similar to are irrational - as all of these terms are algebraic integers (they are roots of for ), the sum is an algebraic integer as well, and so must be an integer if rational. But any old approximation is sufficient to determine that this sum is not an integer, hence it is irrational.
In the ring of integers, all numbers have unique factorizations by the Fundamental theorem of arithmetic, up to multiplication by the units 1 and -1. We will extend this notion to an integral domain ; in other words, a commutative ring in which the product of two nonzero elements is nonzero. An element is a unit if is invertible in ; i.e. there exists an inverse such that (where 1 is the multiplicative identity). An element is prime if it is not zero, not a unit, and or . In a principal ideal domain, any element can be unique factored as the product of primes, up to order and multiplication by units. The first order of business is to explore when unique factorization holds.
Of course, we first need to define the term factorization. An element is irreducible if it is not a unit and cannot be written as the product of two nonunits; obviously, primes are irreducible (but not necessarily vice versa). A factorization of an element is its expression as a product of irreducible elements, and a ring is a unique factorization domain (or UFD) if this factorization is unique (up to order and multiplication by units).
As previously mentioned, is an arbitrary algebraic number field; as a field, factorization only makes sense in the presence of a subring. Fortunately, can be shown that the algebraic integers form a subring of ; however, though it can be shown that algebraic integers can always be factored, they do not generally form a UFD. For example, if , we have and so the factorization is not unique.
It can be shown that unique factorization occurs when irreducibles are necessary primes. When this is not the case, the concept can be largely recovered through the use of ideals. The general idea is to consider entities that "divide" irreducibles, for the purpose of recovering unique factorization. This may sound contrived, but in fact it is a very important idea. In the above example, we define ideals such that which is not unlike writing (or ). The usual divisibility rules - namely , , - still hold for ideals. When we define by the set of irreducibles they divide, we can extend the notion to multiplication as well: this recovers unique factorization, as we can write for all . When we have to resort to this definition, is a principal ideal domain.
The norm map
We skated over a key detail in the above section: how do we know that , and are themselves irreducibles? To show this, we use the norm map , . It can be shown that the norm is multiplicative, and so if for some , we have . We can immediately discard the cases where , as this implies is a unit, and we can easily verify that the other two cases do not occur. There is one final detail to process: we must show that no two of these irreducibles are associates; i.e. they do not differ only by units. Fortunately, it is easy to verify that has no solutions in .
The discovery of Quadratic reciprocity was an early success of this research, stating the impressive formula where is the Legendre symbol, equal to 1 if is a quadratic residue modulo and -1 otherwise (or 0 when , but this clearly does not occur for primes). In other words, unless , is a quadratic residue modulo if and only if is a quadratic residue modulo .