You are here
Homenumber theory
Primary tabs
number theory
Number theory is the branch of math concerned with the study of the integers, and of the objects and structures that naturally arise from their study.
It is one of the oldest parts of mathematics, alongside geometry, and has been studied at least since the ancient Mesopotamians and Egyptians. Perhaps because of its purely mathematical nature (at least until the development of cryptography and cryptanalysis in the twentieth century, number theory was thought to be devoid of practical applications), number theory has often been considered as a central and particularly beautiful part of mathematics. Carl Friedrich Gauss, arguably the greatest number theorist of all time, has called mathematics the “Queen of science” and he referred to Number Theory as the “Queen of Mathematics”. Number theory has attracted many of the most outstanding mathematicians in history: Euclid, Diophantus, Fermat, Legendre, Euler, Gauss, Dedekind, Jacobi, Eisenstein and Hilbert all made immense contribution to its development. Great twentieth century number theorists include Artin, Hardy, Ramanujan, André Weil, Alexandre Grothendieck, JeanPierre Serre, Pierre Deligne, Gerd Faltings, John Tate and Andrew Wiles.
Number theory is also remarkable because small, easytounderstand conjectures abound alongside farreaching problems. One can mention the twinprime problem, the Goldbach conjecture, and the odd perfect number problem. Recent progress includes the resolution of Catalan’s conjecture (Mihailescu, 2002) and Fermat’s last theorem (Taylor and Wiles, 1994) .
The most important unsolved problem in number theory is probably the Riemann Hypothesis, which states that all nontrivial zeros of the Riemann zeta function have real part equal to onehalf. Though formulated in terms of complex analysis, this problem is central to understanding the distribution of prime numbers, the distribution of power residues modulo an integer and the size of the class group of a number field (to give just a few examples).
The Greeks, notably Euclid and Pythagoras, were the first to elucidate the basic theory of irrational numbers. Greeks improved a 1,500 year older Egyptian rational number system. Greeks wrote 1/p as p’ (in ciphered letters) and generally converted rational numbers to exact unit fraction series by selecting optimizing aliquot parts (of denominators). A proof of the irrationality of $\sqrt{2}$. Euclid also understood and proved some basic properties of prime and composite numbers. Euler, Liebniz, Liouville, and Lindemann, among many others, defined and refined the basic theory of algebraic and transcendental numbers. These four ideas recur over and over in number theory.
Four of the greatest achievements of number theorists in the twentieth century were abelian class field theory (the theory of abelian extensions of number fields, which extends the law of quadratic reciprocity) by Hilbert, Takagi, Artin, Tate and others; the proof of the Weil conjectures (which include the Riemann hypothesis for function fields and are intimately linked to geometry over finite fields) by Dwork, Grothendieck and Deligne using methods of $\ell$adic cohomology; the proof of the Mordell conjecture (which asserts that a curve of genus greater than one has only finitely many rational points) by Faltings; and the proof of the TaniyamaShimuraWeil conjecture (that states that every rational elliptic curve is modular) by Wiles, Taylor, Diamond, Conrad and Breuil.
Number theory, long regarded as the purest of the pure sciences, has recently begun to find applications in cryptography. The recent invention of publickey cryptosystems, which are usually based on the difficulty of a particular numbertheoretic computation, has encouraged research in number theory which is essentially applied.
Problems in number theory are often solved using sophisticated techniques from different branches of mathematics. Number theory itself can be loosely divided (not partitioned!) as follows

Analytic number theory uses the machinery of analysis to tackle questions related to integers and transcendence. One of its most famous achievements is the proof of the prime number theorem.

Algebraic number theory can either be defined as the study of algebraic numbers or as an algebraic study of number theory (depending on how you associate in English). By the definition of algebraic numbers, these two are equivalent. In the theory of abelian extensions of number fields, which extends the reciprocity laws of Gauss, Legendre, Hilbert et al. of the first half of the past century, class field theory constituted the bulk of algebraic number theory research. In the latter half, algebraic number theory has been subsumed under arithmetic geometry (see below) largely due to the efforts of Grothendieck, Serre, Deligne, et al.

Arithmetic geometry seeks to bring methods that have been spectacularly successful in “classical” geometric theories (such as complex manifold theory) to have bearing on problems in number theory. An illustrative example is the identification of the absolute Galois group of a field with the fundamental group of the associated affine scheme. Arithmetic geometry is often referred to as arithmetic algebraic geometry or Diophantine geometry.

Finally, computational number theory is the study of computations with numbers, developing algorithms to calculate things such as factorizations, discrete logarithms, numbers of points on curves, class groups and cohomology groups.
The attached bibliography for number theory contains many additional references for these topics.
Mathematics Subject Classification
1101 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new image: informationtheoreticdistributedmeasurementdds.png by rspuzio
new image: informationtheoreticdistributedmeasurement4.2 by rspuzio
new image: informationtheoreticdistributedmeasurement4.1 by rspuzio
new image: informationtheoreticdistributedmeasurement3.2 by rspuzio
new image: informationtheoreticdistributedmeasurement3.1 by rspuzio
new image: informationtheoreticdistributedmeasurement2.1 by rspuzio
Apr 19
new collection: On the InformationTheoretic Structure of Distributed Measurements by rspuzio
Apr 15
new question: Prove a formula is part of the Gentzen System by LadyAnne
Mar 30
new question: A problem about Euler's totient function by mbhatia
new problem: Problem: Show that phi(a^n1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia
Comments
Fermat's work in the 1800's
Can you help me with this...
Assume p is prime. Prove that p divides 2^p2 .
Re: Fermat's work in the 1800's
See the little theorem in http://planetmath.org/encyclopedia/FermatsLittleTheorem.html
Jussi
Re: Fermat's work in the 1800's
Hi,
p = 2 is trivial. So assume p not equal 2, therefore gcd(2,p) = 1.
But you have 2[2^{p1}1]/p. So that you must to show 2^{p1}1 divides p. Do a left click on pahio's link, read, and you get it.
perucho
Re: Fermat's work in the 1800's
OOOPS!
2^{p1}1 divides p???? p divides 2^{p1}1 ! Sorry.
Sequence
Consider the sequence a[n]=4+7(n1)=7n3. In my text this sequence is represented as follows: a, a+d, a+2d, a+3d,... a+n(n1)d,...
My comment is that the a+n(n1)d terms represent some of the terms but not each and every successive term. Please feel free to comment. Thanks.
z
Re: Fermat's work in the 1800's
OK, I just multiplied Fermat's little theorem by a to get
a^p is congruent to a mod p which is the same form as
2^p is congruent to 2 mod p. So p divides a^p p.
Correction
Sorry that's p divides a^p a .
Re: Sequence
Must be typo.
Re: Sequence
What would be the typo? The equality 4 + 7(n  1) = 7n  3 checks out. To make sense of a, a + d, a + 2d, a + 3d, ... a + n(n  1)d, ... plug in a = 4 and d = 7. Then the whole thing becomes just another way of writing a + (n  1)d = 4 + 7(n  1).
Re: Fermat's work in the 1800's
check out fermats little theorem