Mathlib
Library

Area VI

ζNumber theory

Arithmetic functions, number fields, valuations, and modular forms.

0/8 rooms

Pathway XXI

L(s)Arithmetic functions and L-series

Möbius inversion, Euler products, and the Riemann zeta function as a product over primes.

0/2 rooms

Pathway XXII

KNumber fields and algebraic number theory

Finite extensions of ℚ. Rings of integers, and the class group that measures unique factorization.

0/2 rooms

Pathway XXIII

vₚValuations and local fields

The p-adic valuation counts factors of p. Nested balls make a totally different metric.

0/2 rooms

Pathway XXIV

ΓModular forms

Functions on the upper half-plane, invariant under SL₂(ℤ) up to a weight factor.

0/2 rooms