Foundations of Number Theory
Understand the fundamentals of number theory, its historical evolution, and its main branches—including elementary, analytic, algebraic, and Diophantine geometry.
Summary
Read Summary
Flashcards
Save Flashcards
Quiz
Take Quiz
Quick Practice
According to the prime number theorem, what is the asymptotic equivalent of the prime-counting function $\pi(x)$ as $x \to \infty$?
1 of 18
Summary
An Introduction to Number Theory
What is Number Theory?
Number theory is the branch of pure mathematics that studies the integers and the properties of objects constructed from them. At its core, number theory asks fundamental questions about numbers: What makes a number prime? How can we solve equations with integer solutions? What patterns exist among the integers?
Number theorists investigate prime numbers—integers greater than one divisible only by one and themselves—along with related mathematical objects like rational numbers (fractions of integers) and algebraic integers (generalizations of ordinary integers used in more abstract settings). The field encompasses both the concrete and computational (How do we find prime numbers?) and the deeply theoretical (What can we prove about the distribution of primes?).
Number theory has two main branches distinguished by their methods. Analytic number theory uses tools from calculus and complex analysis to study integers indirectly. Algebraic number theory employs abstract algebraic structures like fields and rings to understand number systems that generalize the ordinary integers.
Elementary Number Theory: Foundations and Core Concepts
Elementary number theory forms the foundation of the subject. It deals with the most basic properties of integers and is largely self-contained, requiring only the properties of ordinary integers to understand.
The Euclidean Algorithm and Greatest Common Divisor
The greatest common divisor (GCD) of two integers is the largest positive integer that divides both of them. Computing the GCD is one of the oldest algorithms in mathematics: the Euclidean algorithm.
The Euclidean algorithm repeatedly applies Euclid's division lemma, which states that for any integers $a$ and $b$ with $b \neq 0$, we can write $a = bq + r$ where $0 \leq r < |b|$. To find the GCD of $a$ and $b$, we replace the pair $(a,b)$ with $(b, r)$ and repeat until the remainder becomes zero. The last nonzero remainder is the GCD.
Example: To find $\gcd(48, 18)$:
$48 = 18 \cdot 2 + 12$
$18 = 12 \cdot 1 + 6$
$12 = 6 \cdot 2 + 0$
Therefore $\gcd(48, 18) = 6$.
Prime Numbers and Their Infinite Abundance
A prime number is an integer greater than one whose only positive divisors are one and itself. The first few primes are 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, ...
One of the most beautiful results in all of mathematics is Euclid's theorem: there are infinitely many prime numbers. The proof is remarkably elegant. Suppose there were only finitely many primes: $p1, p2, \ldots, pn$. Consider the number $P = p1 \cdot p2 \cdots pn + 1$. This number is not divisible by any of the listed primes (dividing $P$ by any $pi$ leaves remainder 1). Since $P > 1$, it must have a prime divisor. But this prime divisor cannot be on our list, contradicting the assumption that we had listed all primes.
To find all primes up to a given number $N$, we can use the sieve of Eratosthenes. This algorithm works by iteratively marking the multiples of each prime as composite (non-prime): start with all numbers from 2 to $N$; mark 2 as prime and strike out all its multiples; move to the next unmarked number (3), mark it prime, and strike its multiples; continue until every number is either marked prime or struck out.
The Fundamental Theorem of Arithmetic
The fundamental theorem of arithmetic states that every integer greater than one can be expressed uniquely as a product of prime numbers, up to the order of the factors. For example, $60 = 2^2 \cdot 3 \cdot 5$. This unique factorization is so important that it underpins much of what makes the integers special.
Modular Arithmetic and Congruences
Modular arithmetic is a system of arithmetic performed with a fixed modulus $m$. Two integers $a$ and $b$ are congruent modulo $m$, written $a \equiv b \pmod{m}$, if $m$ divides $a - b$.
For example, $17 \equiv 5 \pmod{12}$ because $12 \mid (17-5) = 12$.
Congruences behave like equations: if $a \equiv b \pmod{m}$ and $c \equiv d \pmod{m}$, then $a+c \equiv b+d \pmod{m}$ and $ac \equiv bd \pmod{m}$.
Modular arithmetic is useful for solving problems that involve remainders. For instance, what is the remainder when $2^{100}$ is divided by 7? Rather than computing $2^{100}$ directly, we can work modulo 7: $2^3 = 8 \equiv 1 \pmod{7}$, so $2^{100} = 2^{99} \cdot 2 = (2^3)^{33} \cdot 2 \equiv 1^{33} \cdot 2 = 2 \pmod{7}$.
Fermat's Little Theorem and Euler's Theorem
Fermat's Little Theorem is a cornerstone result about modular arithmetic. It states: if $p$ is prime and $a$ is an integer not divisible by $p$, then
$$a^{p-1} \equiv 1 \pmod{p}.$$
This powerful result has numerous applications, from primality testing to cryptography.
Euler's theorem generalizes Fermat's result. Before stating it, we need to define Euler's totient function $\varphi(n)$, which counts how many integers from 1 to $n$ are coprime to $n$ (share no common factor other than 1).
Euler's theorem states: for any integer $a$ coprime to $n$,
$$a^{\varphi(n)} \equiv 1 \pmod{n}.$$
When $n$ is prime, $\varphi(n) = n-1$, which gives us Fermat's Little Theorem.
Diophantine Equations
A Diophantine equation is a polynomial equation for which we seek integer or rational solutions. The name honors Diophantus of Alexandria, who studied such problems extensively in the 3rd century AD.
A classic example is the Pythagorean equation: $x^2 + y^2 = z^2$. Integer solutions to this equation, called Pythagorean triples, represent the sides of right triangles with integer lengths. The triple $(3, 4, 5)$ is the most famous: $3^2 + 4^2 = 9 + 16 = 25 = 5^2$.
Some Diophantine equations have infinitely many solutions, others have finitely many, and some have none at all. Determining which case applies and finding all solutions is often extremely difficult—this is where number theory becomes a research frontier.
Analytic Number Theory: Understanding Prime Distribution
While elementary number theory studies integers using only basic properties, analytic number theory employs powerful tools from real and complex analysis to answer questions about how integers behave statistically.
The Prime Number Theorem
One of the most important results in mathematics is the prime number theorem. It describes how the number of primes less than or equal to $x$—denoted $\pi(x)$ and called the prime-counting function—grows as $x$ increases.
The theorem states that
$$\pi(x) \sim \frac{x}{\log x} \text{ as } x \to \infty,$$
where $\log$ denotes the natural logarithm. The notation $\sim$ means the ratio of the two sides approaches 1. In other words, for very large $x$, approximately $\frac{x}{\log x}$ of the integers less than $x$ are prime.
This result was conjectured by Legendre in the early 19th century and finally proved (independently) by Hadamard and de la Vallée Poussin in 1896, demonstrating the power of analytic methods in number theory.
The Riemann Zeta Function
Central to analytic number theory is the Riemann zeta function, defined by the infinite series
$$\zeta(s) = \sum{n=1}^{\infty} \frac{1}{n^s},$$
where $s$ is a complex number with $\operatorname{Re}(s) > 1$ (so the series converges).
The zeta function connects to primes through Euler's product formula:
$$\zeta(s) = \prod{p \text{ prime}} \frac{1}{1-p^{-s}}.$$
This remarkable formula shows that the zeta function "knows" about all the primes. The proof is surprisingly elegant: using unique factorization, the product expands to give exactly the sum $\sum{n=1}^{\infty} \frac{1}{n^s}$.
<extrainfo>
The Riemann zeta function can be analytically continued to other values of $s$, and the famous Riemann Hypothesis concerns the location of its zeros. This hypothesis remains one of the most important unsolved problems in mathematics and has profound implications for the distribution of prime numbers.
</extrainfo>
Algebraic Number Theory: Extending the Integers
Algebraic number theory studies number systems that generalize the ordinary integers. It uses abstract algebra—the theory of fields, rings, and ideals—to understand these extended systems.
Algebraic Numbers and Number Fields
An algebraic number is any complex number that is a root of a polynomial equation with rational coefficients. For example, $\sqrt{2}$ is algebraic because it satisfies $x^2 - 2 = 0$. Even the seemingly exotic number $\frac{1 + \sqrt{5}}{2}$ (the golden ratio) is algebraic because it satisfies $x^2 - x - 1 = 0$.
A number field is a finite-dimensional extension of the rational numbers $\mathbb{Q}$. The simplest number fields are quadratic fields, consisting of all numbers of the form
$$a + b\sqrt{d}$$
where $a, b \in \mathbb{Q}$ and $d$ is a fixed non-square rational number. For instance, the Gaussian integers are $\{a + bi : a, b \in \mathbb{Z}\}$, which form a quadratic field.
The Role of Ideals
A remarkable and troubling discovery in algebraic number theory is that unique factorization fails in many number fields. That is, there are number fields where an integer can be factored into "primes" in more than one way.
For example, in the ring $\mathbb{Z}[\sqrt{-5}] = \{a + b\sqrt{-5} : a, b \in \mathbb{Z}\}$, the number 6 factors in two different ways:
$$6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5}).$$
To restore unique factorization, mathematicians introduced ideals—generalizations of numbers that behave much like numbers but satisfy unique factorization properties. Prime ideals are the generalization of prime numbers. This theory, developed primarily by Kummer, Dedekind, and others in the 19th century, is one of the greatest achievements in mathematics.
Quadratic Reciprocity
The law of quadratic reciprocity, proved by Gauss, is a cornerstone theorem of algebraic number theory. It describes when a number is a quadratic residue modulo a prime—that is, when the congruence $x^2 \equiv a \pmod{p}$ has a solution.
<extrainfo>
The law of quadratic reciprocity is remarkably elegant but notoriously difficult to state precisely without significant notation. In its simplest form, for distinct odd primes $p$ and $q$, there is a precise relationship between whether $p$ is a quadratic residue modulo $q$ and whether $q$ is a quadratic residue modulo $p$.
</extrainfo>
Other Important Subfields
Beyond the major branches, number theory encompasses several other active areas:
<extrainfo>
Diophantine Approximation investigates how closely real numbers can be approximated by rational numbers. A rational number $\frac{p}{q}$ is a good approximation to a real number $\alpha$ if $|\alpha - \frac{p}{q}| < \frac{1}{q^2}$ for large $q$. This field studies which numbers have good rational approximations and which do not.
Probabilistic Number Theory asks statistical questions about integers. For example: what fraction of integers are prime? What does a "typical" integer look like? These questions are answered not deterministically but in a probabilistic or average-case sense.
Combinatorial Number Theory studies additive structures in sets of integers. A central question is: if you take a large subset of the integers, must it contain patterns like long arithmetic progressions? Results like the Green-Tao theorem (proving that the primes contain arbitrarily long arithmetic progressions) represent major achievements in this area.
Computational Number Theory focuses on algorithmic questions: How do we test whether a number is prime? How do we factor large integers? These questions have practical importance for cryptography. Remarkably, we can test primality of large numbers efficiently, but no known algorithm factors large integers in polynomial time—a gap that underlies much of modern cryptography.
</extrainfo>
Flashcards
According to the prime number theorem, what is the asymptotic equivalent of the prime-counting function $\pi(x)$ as $x \to \infty$?
$\frac{x}{\log x}$ (where $\pi(x)$ is the number of primes less than or equal to $x$).
How is the Riemann zeta function $\zeta(s)$ defined for $\operatorname{Re}(s) > 1$?
$\zeta(s) = \sum{n=1}^{\infty} \frac{1}{n^{s}}$ (where $n$ is a positive integer).
Which formula links the Riemann zeta function to prime numbers?
Euler’s product formula: $\zeta(s) = \prod{p \text{ prime}} \frac{1}{1-p^{-s}}$.
What is an algebraic number?
A complex number that satisfies a polynomial equation with rational coefficients.
What is a number field in the context of algebraic number theory?
A finite extension of the rational numbers.
How does ideal theory resolve the failure of unique factorization in certain number fields?
By introducing ideals and prime ideals.
What were the two major contributions to number theory found in Euclid’s Elements?
The Euclidean algorithm (for computing the greatest common divisor)
A proof of the infinitude of prime numbers
What defines a Diophantine equation?
A polynomial equation for which integer or rational solutions are sought.
In the Pythagorean equation $x^{2} + y^{2} = z^{2}$, what are the resulting integer solutions called?
Pythagorean triples.
How does the Euclidean algorithm compute the greatest common divisor of two integers?
By repeatedly applying Euclid’s division lemma.
What is the definition of a prime number?
An integer greater than one whose only positive divisors are one and itself.
What is the purpose of the sieve of Eratosthenes?
To identify all primes up to a given natural number by iteratively removing multiples of each prime.
What does the fundamental theorem of arithmetic state regarding integers greater than one?
They can be expressed uniquely as a product of prime numbers (up to the order of factors).
In modular arithmetic with modulus $m$, what does the congruence $a \equiv b \pmod{m}$ mean?
$m$ divides the difference $a - b$.
What is the statement of Fermat’s little theorem regarding a prime $p$ and integer $a$?
If $a$ is not divisible by $p$, then $a^{p-1} \equiv 1 \pmod{p}$.
What is the generalized version of Fermat’s little theorem known as Euler’s theorem?
$a^{\varphi(n)} \equiv 1 \pmod{n}$ (where $a$ is coprime to $n$ and $\varphi(n)$ is Euler's totient function).
What does a "good" rational approximation $\frac{p}{q}$ of a real number $\alpha$ satisfy for large $q$?
$\left| \alpha - \frac{p}{q} \right| < \frac{1}{q^{2}}$.
What is the current status of algorithms for primality testing versus integer factorization?
Primality testing is efficient, but no known polynomial-time algorithm exists for factoring large integers.
Quiz
Foundations of Number Theory Quiz Question 1: Which of the following objects are commonly studied by number theorists?
- Prime numbers and rational numbers (correct)
- Complex manifolds and topological spaces
- Quantum fields and particles
- Statistical ensembles and random variables
Foundations of Number Theory Quiz Question 2: Number theorists also investigate objects that generalize the integers, such as:
- Algebraic integers (correct)
- Transcendental functions
- Vector spaces over finite fields
- Matrix groups over the reals
Foundations of Number Theory Quiz Question 3: Algebraic number theory makes extensive use of which algebraic structures?
- Fields and rings (correct)
- Vector bundles and sheaves
- Lie algebras and Hopf algebras
- Metric spaces and normed spaces
Foundations of Number Theory Quiz Question 4: Which ancient work introduced the Euclidean algorithm and proved the infinitude of primes?
- Euclid’s *Elements* (correct)
- Archimedes’ *On the Sphere and Cylinder*
- Apollonius’ *Conics*
- Aristotle’s *Organon*
Foundations of Number Theory Quiz Question 5: Which mathematician communicated conjectures such as Fermat’s little theorem and Fermat’s Last Theorem?
- Pierre de Fermat (correct)
- Leonhard Euler
- Joseph‑Louis Lagrange
- Adrien‑Marie Legendre
Foundations of Number Theory Quiz Question 6: Who provided the first proof of Fermat’s little theorem?
- Leonhard Euler (correct)
- Pierre de Fermat
- Carl Friedrich Gauss
- Johann Dirichlet
Foundations of Number Theory Quiz Question 7: Adrien‑Marie Legendre is credited with stating which fundamental result in number theory?
- The law of quadratic reciprocity (correct)
- The prime number theorem
- The fundamental theorem of arithmetic
- Dirichlet’s theorem on arithmetic progressions
Foundations of Number Theory Quiz Question 8: Dirichlet’s theorem on arithmetic progressions is a foundational result in which subfield?
- Analytic number theory (correct)
- Algebraic number theory
- Geometric number theory
- Probabilistic number theory
Foundations of Number Theory Quiz Question 9: Which algorithm repeatedly applies Euclid’s division lemma to compute the greatest common divisor?
- The Euclidean algorithm (correct)
- The Sieve of Eratosthenes
- The Fast Fourier Transform
- The Newton–Raphson method
Foundations of Number Theory Quiz Question 10: The equation $x^{2}+y^{2}=z^{2}$ is an example of a:
- Diophantine equation (correct)
- Linear differential equation
- Partial differential equation
- Transcendental equation
Foundations of Number Theory Quiz Question 11: Which statement correctly defines a prime number?
- An integer greater than one whose only positive divisors are 1 and itself (correct)
- An integer that can be written as a product of two smaller integers
- An integer divisible by every integer less than it
- An integer that is a perfect square
Foundations of Number Theory Quiz Question 12: Who proved that there are infinitely many prime numbers?
- Euclid (correct)
- Fermat
- Euler
- Gauss
Foundations of Number Theory Quiz Question 13: Which algorithm identifies all primes up to a given number by iteratively removing multiples?
- Sieve of Eratosthenes (correct)
- Euclidean algorithm
- Extended Euclidean algorithm
- Pollard’s rho algorithm
Foundations of Number Theory Quiz Question 14: What does the fundamental theorem of arithmetic assert?
- Every integer greater than one has a unique prime factorization (correct)
- Every prime number can be expressed as a sum of two squares
- The number of primes less than $x$ is about $x/\log x$
- All integer solutions to $x^2+y^2=z^2$ are given by Pythagorean triples
Foundations of Number Theory Quiz Question 15: In modular arithmetic, the statement $a \equiv b \pmod{m}$ means:
- $m$ divides $a-b$ (correct)
- $a$ and $b$ are both multiples of $m$
- $a$ equals $b$ plus $m$
- $a$ is a multiple of $b$ modulo $m$
Foundations of Number Theory Quiz Question 16: Analytic number theory studies integers using tools from which areas of mathematics?
- Real and complex analysis (correct)
- Algebraic topology
- Combinatorial design theory
- Category theory
Foundations of Number Theory Quiz Question 17: What does the prime number theorem state about $\pi(x)$, the prime‑counting function?
- $\pi(x) \sim \dfrac{x}{\log x}$ as $x\to\infty$ (correct)
- $\pi(x) = \log(\log x)$ for large $x$
- $\pi(x)$ grows faster than any polynomial in $x$
- $\pi(x)$ is bounded above by $\sqrt{x}$
Foundations of Number Theory Quiz Question 18: Euler’s product formula expresses $\zeta(s)$ as a product over which set?
- All prime numbers (correct)
- All natural numbers
- All composite numbers
- All even numbers
Foundations of Number Theory Quiz Question 19: A quadratic number field consists of numbers of the form $a+b\sqrt{d}$. What are $a$ and $b$?
- Rational numbers (correct)
- Integers
- Complex numbers
- Algebraic integers
Foundations of Number Theory Quiz Question 20: What mathematical concept resolves the failure of unique factorization in many number fields?
- Ideal theory (correct)
- Galois theory
- Homology theory
- Measure theory
Foundations of Number Theory Quiz Question 21: The law of quadratic reciprocity is a fundamental result in which area?
- Algebraic number theory (correct)
- Analytic number theory
- Probabilistic number theory
- Computational number theory
Foundations of Number Theory Quiz Question 22: Which pair correctly identifies the principal objects studied in number theory?
- Integers and arithmetic functions (correct)
- Real numbers and differential equations
- Complex numbers and topology
- Vectors and matrices
Foundations of Number Theory Quiz Question 23: In the definition of a good rational approximation in Diophantine approximation, the error is bounded by 1 divided by the denominator $q$ raised to what power?
- 2 (correct)
- 1
- 3
- 4
Foundations of Number Theory Quiz Question 24: Computational number theory is concerned with algorithmic problems such as which of the following?
- Fast primality testing and integer factorization (correct)
- Classification of finite simple groups
- Proving theorems in algebraic topology
- Solving differential equations numerically
Which of the following objects are commonly studied by number theorists?
1 of 24
Key Concepts
Number Theory Fundamentals
Number theory
Prime number
Euclidean algorithm
Diophantine equation
Advanced Number Theory
Analytic number theory
Algebraic number theory
Prime number theorem
Riemann zeta function
Law of quadratic reciprocity
Ideal theory
Definitions
Number theory
A branch of pure mathematics devoted to the study of integers and their properties.
Prime number
An integer greater than one whose only positive divisors are one and itself.
Euclidean algorithm
A procedure for finding the greatest common divisor of two integers by repeated division.
Diophantine equation
A polynomial equation for which integer or rational solutions are sought.
Analytic number theory
The subfield that applies real and complex analysis to investigate integer‑theoretic problems.
Algebraic number theory
The subfield that studies algebraic numbers, number fields, and the structure of ideals.
Prime number theorem
The theorem stating that the prime‑counting function π(x) is asymptotically x / log x.
Riemann zeta function
A complex function ζ(s)=∑ₙ₌₁^∞ n^{‑s} whose Euler product links it to the distribution of primes.
Law of quadratic reciprocity
A fundamental result describing the solvability of quadratic congruences between two odd primes.
Ideal theory
The framework in algebraic number theory that restores unique factorization by using ideals and prime ideals.