edgepedia

Number theory

311 articles

1 + 2 + 3 + 4 + ⋯

The series 1 + 2 + 3 + 4 + ⋯, the sum of all natural numbers, diverges, but is assigned the value −1/12 in analytic continuation.

2,147,483,647

2,147,483,647, the maximum value of a signed 32-bit integer, is the prime number equal to 2^31 − 1 and the eighth Mersenne prime, proved prime by Leonhard Euler.

Abc conjecture

The abc conjecture, also known as the Oesterlé–Masser conjecture, is a 1985 conjecture in number theory about coprime integers satisfying a + b = c.

Abelian variety

An abelian variety is a complete algebraic variety equipped with a commutative group structure, a higher-dimensional generalization of elliptic curves central to algebraic geometry and cryptography.

Additive basis

An additive basis is a set of integers from which every integer can be written as a sum of a bounded number of elements, studied in additive number theory.

Additive combinatorics

Additive combinatorics, also called arithmetic combinatorics, is a branch of mathematics studying combinatorial properties of algebraic objects such as Abelian groups, rings, and fields, centered on sumsets and small doubling.

Additive function

An additive function, or additive arithmetic function, is an arithmetic function satisfying f(mn) = f(m) + f(n) for relatively prime integers m and n; log n is completely additive.

Adele ring

The adele ring, or ring of adeles, is the locally compact topological ring built from all completions of a global field, central to class field theory.

AKS primality test

The AKS primality test, or Agrawal-Kayal-Saxena primality test, is a deterministic polynomial-time algorithm deciding whether an integer is prime, announced in 2002 by three researchers at IIT Kanpur.

Alex Chui

Alex Chui (Alex Chui Tsz Fung), born in Hong Kong in 2008, is a British mathematician who won seven medals, including five golds, in seven consecutive International Mathematical Olympiads from 2020 to 2026.

Alex Kontorovich

Alex Kontorovich is an American mathematician at Rutgers University known for work on thin orbits in number theory and for winning the AMS's 2014 Conant Prize.

Algebraic number theory

Algebraic number theory studies algebraic integers in finite-degree number fields over Q, using rings of integers, ideal class groups, Dirichlet's unit theorem, class field theory, and zeta and L-functions; it arose from Fermat's last theorem and differs from elementary number theory by restoring unique factorization through ideals.

Anabelian geometry

Anabelian geometry, also known as the anabelian conjecture, is a branch of arithmetic geometry, proposed by Alexander Grothendieck in 1983, that reconstructs geometric objects from their fundamental groups.

Analytic number theory

Analytic number theory is the branch of mathematics that applies real, complex, and harmonic analysis to problems about the integers, above all the distribution of prime numbers.

Apéry's constant

Apéry's constant, the value of the Riemann zeta function at 3, equals about 1.2020569 and is the sum of the reciprocals of the cubes of the positive integers.

Arakelov theory

Arakelov theory, also called Arakelov geometry, is an intersection theory on arithmetic varieties introduced by Suren Arakelov in 1974 and extended by Gillet and Soulé in 1990.

Arithmetic combinatorics

Arithmetic combinatorics, also called additive combinatorics, is a branch of mathematics at the intersection of combinatorics and number theory that studies sets under addition and multiplication.

Arithmetic dynamics

Arithmetic dynamics is a branch of mathematics, established around 2000 by Joseph H. Silverman, that reformulates number theory problems as questions about iterated rational maps.

Arithmetic of abelian varieties

The arithmetic of abelian varieties is the branch of arithmetic geometry studying rational points, torsion, and L-functions of abelian varieties, centered on the Mordell–Weil finiteness theorem.

Arithmetic topology

Arithmetic topology is a branch of mathematics studying the analogy that knots are like prime numbers and 3-manifolds are like number rings, named in the mid-1990s.

Artin reciprocity law

The Artin reciprocity law, Emil Artin's 1927 theorem, is the central result of class field theory, identifying Galois groups of abelian extensions with class groups.

Automorphic representation

An automorphic representation is an irreducible representation occurring in the space of automorphic forms, packaging modular forms and their L-functions into representation theory for the Langlands program.

Baby-step giant-step

Baby-step giant-step is a deterministic algorithm introduced by Daniel Shanks in 1971 that computes discrete logarithms in a cyclic group in square-root time, at the cost of comparable storage.

Bailey–Borwein–Plouffe formula

The Bailey–Borwein–Plouffe formula (BBP) is a 1995 series for π that computes hexadecimal or binary digits of π starting at any position without earlier digits.

Baker's theorem

Baker's theorem is a result in transcendental number theory giving explicit lower bounds for nonzero linear forms in logarithms of algebraic numbers, proved by Alan Baker in 1966.

Basel problem

The Basel problem, named for the Bernoulli family of Basel, asks for the exact sum of the reciprocals of the squares of the positive integers.

Beal conjecture

The Beal conjecture is an unsolved number theory problem, posed by Andrew Beal in 1993, stating that A^x + B^y = C^z with exponents above 2 forces a common prime factor.

Ben Green (mathematician)

Ben Joseph Green, born 1977 in Bristol, is a British mathematician who proved the Green–Tao theorem with Terence Tao in 2004 and is Waynflete Professor at Oxford.

Bernoulli numbers

The Bernoulli numbers are a sequence of rational numbers named for Jacob Bernoulli, who introduced them in his 1713 Ars Conjectandi to compute sums of powers of integers.

Bertrand's postulate

Bertrand's postulate, also called the Bertrand–Chebyshev theorem, states that for every n > 1 there is a prime between n and 2n; conjectured in 1845 by Joseph Bertrand and first proved by Chebyshev in 1850.