Unit · year 2
MU-207 · Number Theory
Threads number24 lectures5 theorems
The deep structure of the integers, from unique factorisation to reciprocity.
Lectures
| L01 | Divisibility and the Division Algorithm — |
| L02 | Greatest Common Divisors — |
| L03 | The Euclidean Algorithm |
| L04 | Bézout's Identity and Linear Diophantine Equations |
| L05 | Primes and Euclid's Lemma |
| L06 | The Fundamental Theorem of Arithmetic |
| L07 | Consequences of Unique Factorisation |
| L08 | The Distribution of Primes: First Estimates — |
| L09 | Congruences and Residue Classes — |
| L10 | Linear Congruences and Modular Inverses |
| L11 | The Chinese Remainder Theorem Revisited — |
| L12 | Euler's Totient Function |
| L13 | Euler's Theorem |
| L14 | Wilson's Theorem |
| L15 | Primitive Roots and Primality Testing |
| L16 | Quadratic Residues |
| L17 | The Legendre Symbol and Euler's Criterion |
| L18 | Gauss's Lemma |
| L19 | The Law of Quadratic Reciprocity |
| L20 | Applications of Reciprocity |
| L21 | Sums of Two Squares — |
| L22 | Continued Fractions and Pell's Equation — |
| L23 | Public-Key Cryptography: RSA |
| L24 | Synthesis: Arithmetic as Structure |
Theorems in this unit
T-074
The Euclidean algorithm and Bézout's identity
The gcd is an integer combination of its arguments.
T-075
The fundamental theorem of arithmetic
Every integer factors uniquely into primes.
T-076
Euler's theorem
a^φ(n) ≡ 1 (mod n) for a coprime to n.
T-077
Wilson's theorem
(p−1)! ≡ −1 (mod p) exactly when p is prime.
T-078
The law of quadratic reciprocity
A reciprocal relationship between two primes being squares mod each other.