statement theorem
Dirichlet's theorem on arithmetic progressions
Statement
Let and be positive integers that are coprime. Then there are infinitely many prime numbers of the form , with a natural number. That is, there are infinitely many primes with .
Remarks
The hypothesis is necessary. Each term of is a multiple of , so at most one term can be prime when . For , the theorem gives infinitely many primes and infinitely many primes . A special case with an elementary proof is that there are infinitely many primes congruent to 1 modulo n. The primes are in fact equally distributed among the possible classes, where is Euler's totient function.
History
Dirichlet proved the theorem in 1837. His proof introduced Dirichlet characters and Dirichlet -functions.
Explanations
L1 human
The sequence adds at each step. It contains infinitely many primes. In general, a sequence contains infinitely many primes, unless and have a common factor that blocks them all.
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Divisibility definition
- Greatest common divisor definition
- Prime number definition
- Coprime integers definition
- Dirichlet's theorem on arithmetic progressions statement
Sources
What links here
No node links to this node yet.