En mathématiques, et plus précisément en théorie des nombres, le théorème de la progression arithmétique, s'énonce de la façon suivante : Ce théorème est une généralisation du théorème d'Euclide sur les nombres premiers. Sa première démonstration, due au mathématicien allemand Gustav Lejeune Dirichlet en 1838, fait appel aux résultats de l'arithmétique modulaire et à ceux de la théorie analytique des nombres. La première démonstration « élémentaire » est due à Atle Selberg en 1949.
vignette|Nombres naturels de zéro à cent. Les nombres premiers sont marqués en rouge. vignette|Le nombre 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs. Ces deux diviseurs sont 1 et le nombre considéré, puisque tout nombre a pour diviseurs 1 et lui-même (comme le montre l’égalité n = 1 × n), les nombres premiers étant ceux qui ne possèdent pas d'autre diviseur.
vignette|Une illustration du théorème des nombres premiers : en rouge, le nombre de nombres premiers inférieurs ou égaux à x ; en vert, une approximation utilisant ; en bleu, une approximation utilisant l'intégrale logarithmique . En mathématiques, et plus précisément en théorie analytique des nombres, le théorème des nombres premiers, démontré indépendamment par Hadamard et La Vallée Poussin en 1896, est un résultat concernant la distribution asymptotique des nombres premiers.
En mathématiques, et plus précisément en arithmétique modulaire, un caractère de Dirichlet est une fonction particulière sur un ensemble de classes de congruences sur les entiers et à valeurs complexes. Elle a été utilisée par Dirichlet pour la démonstration de son théorème de la progression arithmétique. Dans cet article, n désigne un entier strictement positif et U le groupe des unités (Z/nZ) de l'anneau Z/nZ. Dans le corps C des nombres complexes, le conjugué d'un nombre c est noté .
En mathématiques, une série de Dirichlet est une série f(s) de fonctions définies sur l'ensemble C des nombres complexes, et associée à une suite (a) de nombres complexes de l'une des deux façons suivantes : Ici, la suite (λ) est réelle, positive, strictement croissante et non bornée. Le domaine de convergence absolue d'une série de Dirichlet est soit un demi-plan ouvert de C, limité par une droite dont tous les points ont même abscisse, soit l'ensemble vide, soit C tout entier. Le domaine de convergence simple est de même nature.