Skip to content

Chapter 1. Foundations of Arithmetic

The natural numbers arise from the basic act of counting. When we count objects in a collection, we assign successive numbers:

SectionTitle
1Chapter 1. Foundations of Arithmetic
2The Integers
3Arithmetic Operations
4Order Relations
5Absolute Value and Distance
6Mathematical Induction
7Strong Induction
8Recursive Definitions
9Growth of Integers
10Historical Development of Number Systems
11Divisibility Relations
12Prime Numbers
13Composite Numbers
14The Division Algorithm
15Greatest Common Divisors
16Least Common Multiples
17Euclidean Algorithm
18Extended Euclidean Algorithm
19Bezout Identities
20Coprime Integers
21Unique Prime Factorization
22Canonical Prime Decomposition
23Arithmetic Functions from Factorization
24Infinitude of Primes
25Euclid’s Proof
26Euler’s Proof
27Distribution Heuristics of Primes
28Congruence Relations
29Residue Classes
30Arithmetic Modulo nn
31Linear Congruences
32Modular Inverses
33Systems of Congruences
34Chinese Remainder Theorem
35Fast Modular Exponentiation
36Applications to Computation
37Divisor Functions
38Möbius Function
39Euler Totient Function
40Liouville Function
41Completely Multiplicative Functions
42Dirichlet Convolution
43Möbius Inversion
44Average Orders of Arithmetic Functions
45Dirichlet Series
46Euler Products
Chapter 1. Foundations of ArithmeticThe natural numbers arise from the basic act of counting. When we count objects in a collection, we assign successive numbers:
3 min
The IntegersThe natural numbers are sufficient for counting and addition, but they are not sufficient for subtraction. For example,
3 min
Arithmetic OperationsAn arithmetic operation is a rule that combines numbers to produce another number. The most basic operations on integers are addition, subtraction, multiplication, and division.
4 min
Order RelationsThe integers are not merely a collection of numbers equipped with arithmetic operations. They also possess an order structure. Given two integers $a$ and $b$, one can...
4 min
Absolute Value and DistanceThe order relation distinguishes positive and negative integers, but in many situations the sign of a number is less important than its magnitude. For example, the integers
3 min
Mathematical InductionMany statements in number theory concern all natural numbers. For example, one may wish to prove that
4 min
Strong InductionOrdinary induction proves a statement $Pn$ by showing that truth passes from one case to the next:
4 min
Recursive DefinitionsMany mathematical objects are defined recursively. A recursive definition specifies:
3 min
Growth of IntegersThe integers extend infinitely in both directions:
4 min
Historical Development of Number SystemsThe idea of number arose long before formal mathematics. Early civilizations used numbers for counting objects, measuring land, recording trade, and tracking time.
5 min
Divisibility RelationsDivision of integers does not always produce an integer. For example,
3 min
Prime NumbersPrime numbers are the fundamental building blocks of arithmetic.
4 min
Composite NumbersA positive integer $n>1$ is called composite if it is not prime.
4 min
The Division AlgorithmThe division algorithm is one of the basic structural facts about the integers. It says that any integer can be divided by a positive integer with a unique quotient and remainder.
4 min
Greatest Common DivisorsLet $a$ and $b$ be integers, not both zero. An integer $d$ is called a common divisor of $a$ and $b$ if
4 min
Least Common MultiplesLet $a$ and $b$ be nonzero integers. An integer $m$ is called a common multiple of $a$ and $b$ if
4 min
Euclidean AlgorithmThe greatest common divisor of two integers can be found by listing divisors, but this method becomes inefficient for large numbers. For example, finding
3 min
Extended Euclidean AlgorithmThe Euclidean algorithm computes the greatest common divisor of two integers. The extended Euclidean algorithm does more. It also expresses the gcd as an integer linear...
3 min
Bezout IdentitiesLet $a$ and $b$ be integers. An integer of the form
4 min
Coprime IntegersTwo integers $a$ and $b$, not both zero, are called coprime if their greatest common divisor is $1$:
4 min
Unique Prime FactorizationThe fundamental theorem of arithmetic states that every integer $n>1$ can be written as a product of prime numbers, and that this product is unique up to the order of the factors.
4 min
Canonical Prime DecompositionUnique prime factorization says that every integer $n>1$ can be written as a product of primes. The canonical prime decomposition is the ordered and exponentiated version of...
3 min
Arithmetic Functions from FactorizationAn arithmetic function is a function whose domain is the positive integers. It assigns a value to each integer
3 min
Infinitude of PrimesPrime numbers are the building blocks of the positive integers. Once unique prime factorization is known, a natural question arises: are there only finitely many primes, or do...
4 min
Euclid's ProofEuclid's proof of the infinitude of primes is one of the earliest examples of a general argument in number theory. It does not depend on computation, experimentation, or...
4 min
Euler's ProofEuclid proved that there are infinitely many primes by contradiction. Euler discovered a very different proof based on infinite series and products.
4 min
Distribution Heuristics of PrimesThe infinitude of primes guarantees that primes continue indefinitely, but it says nothing about how frequently primes occur.
4 min
Congruence RelationsOrdinary equality compares integers exactly. In many arithmetic problems, however, only the remainder after division matters.
3 min
Residue ClassesCongruence modulo $n$ groups integers according to their remainders after division by $n$. If two integers have the same remainder, they are congruent modulo $n$.
3 min
Arithmetic Modulo $n$Arithmetic modulo $n$ is arithmetic performed on residue classes modulo $n$. Instead of distinguishing all integers separately, we identify integers that have the same...
4 min
Linear CongruencesA linear congruence is a congruence of the form
3 min
Modular InversesIn ordinary arithmetic, division by a nonzero number means multiplication by its reciprocal. Modular arithmetic is more delicate. A residue class may or may not have a...
3 min
Systems of CongruencesA system of congruences asks for an integer satisfying several congruence conditions simultaneously.
4 min
Chinese Remainder TheoremThe Chinese remainder theorem describes when several congruence conditions can be combined into one congruence. Its cleanest form occurs when the moduli are pairwise coprime.
3 min
Fast Modular ExponentiationModular arithmetic often requires computing powers such as
3 min
Applications to ComputationModular arithmetic is not only a theoretical language for divisibility. It is also one of the main tools of computation with integers.
4 min
Divisor FunctionsDivisor functions measure the positive divisors of an integer. They are among the first examples of arithmetic functions, because their values depend directly on the prime...
3 min
Möbius FunctionThe Möbius function is an arithmetic function denoted by
4 min
Euler Totient FunctionEuler's totient function is an arithmetic function denoted by
3 min
Liouville FunctionThe Liouville function is an arithmetic function denoted by
3 min
Completely Multiplicative FunctionsAn arithmetic function is a function defined on the positive integers. Such a function
3 min
Dirichlet ConvolutionArithmetic functions can be added and multiplied pointwise, but number theory has another product that is better adapted to divisibility.
3 min
Möbius InversionMany arithmetic functions are defined through sums over divisors. For example,
3 min
Average Orders of Arithmetic FunctionsArithmetic functions often fluctuate strongly from one integer to the next.
4 min
Dirichlet SeriesAn arithmetic function $fn$ can be encoded into an infinite series of the form
3 min
Euler ProductsEuler products are one of the central ideas of analytic number theory. They express infinite sums over integers as infinite products over primes.
4 min