Theory of numbers: Congruences: Introduction

Item: Theory of numbers: Congruences: Introduction
Rating: 4
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematics PBHNumber theory

🎙 Richard E Borcherds 👥 82K 📅 January 28, 2021 ⏱ 25 min 👁 4K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

congruencemoduloequivalence relationsum of squaressum of cubes

Summary

This lecture introduces the concept of congruences in number theory. The lecturer defines a ≡ b (mod m) if m divides a-b, and shows that this is an equivalence relation. He then explains that the integers modulo m form a ring, and gives examples of modular arithmetic in timekeeping and computer arithmetic. The main applications discussed are determining which integers can be expressed as sums of two or three squares, and sums of three cubes. Using modular arithmetic, he derives necessary conditions: numbers congruent to 3 mod 4 cannot be sums of two squares, numbers congruent to 7 mod 8 cannot be sums of three squares, and numbers congruent to 4 or 5 mod 9 cannot be sums of three cubes. He also mentions the famous theorem that primes congruent to 1 mod 4 are sums of two squares, and the difficult problem of sums of three cubes, including the recent solution for 42. Finally, he explains the ‘casting out nines’ trick for checking divisibility by 9 using congruences.

169 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous introduction to congruences, with well-chosen examples that illustrate the power of modular arithmetic. The argumentation is solid: the lecturer proves the necessary conditions for sums of squares and cubes using modular arithmetic, and correctly notes that these conditions are not sufficient. He also highlights the contrast between easy necessary conditions and difficult sufficiency theorems, giving the viewer a sense of the depth of number theory. The presentation is logical and builds on previous knowledge, making it valuable for students.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is mathematically rigorous, with precise definitions and proofs. The lecturer does not cite external sources, but he mentions Gauss’s ‘Disquisitiones Arithmeticae’ and refers to the Wikipedia page on sums of three cubes. The title accurately reflects the content, which is an introduction to congruences. The lecture is part of a larger course, and the lecturer assumes some familiarity with basic algebra. Overall, the scientific quality is high, though the lack of citations to primary literature is a minor weakness.

182 words

Title / Content Match

The title accurately reflects the content, which is an introduction to congruences.

Quality & Reliability

8/10

Lecture by a renowned mathematician, clear definitions and proofs, but no citations to external sources.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

Course playlist — Link to other lectures in the course

Concurring Sources

Sum of two squares theorem — Supports the claim that primes congruent to 1 mod 4 are sums of two squares.
Sums of three cubes — Supports the discussion of the sum of three cubes problem and the recent solution for 42.

Contribution & Novelties

This lecture provides a clear and accessible introduction to congruences, with a focus on their applications to classical problems in number theory. The lecturer’s approach is pedagogical, building from basic definitions to significant results. The discussion of necessary conditions for sums of squares and cubes is particularly instructive, as it shows how modular arithmetic can be used to derive constraints. The lecture also touches on the historical context and recent developments, such as the solution for 42 as a sum of three cubes.

Pour aller plus loin :

Disquisitiones Arithmeticae — Gauss’s foundational work on number theory, where congruences were first systematically studied.
Sum of two squares theorem — The theorem that a prime p is expressible as a sum of two squares iff p=2 or p≡1 mod 4.
Sum of three cubes problem — The problem of representing integers as sums of three cubes, including recent computational results.

149 words

Radar Profile

The radar profile shows high scores in quality and reliability, with moderate scores in quantity and technical level. This indicates a lecture that is rigorous and well-presented, but not extremely dense in content or highly technical, making it suitable for an undergraduate audience.

Reliability 8/10