Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
gptkb:Dirichlet's_theorem_on_arithmetic_progressions
|
| gptkbp:category |
theorems in number theory
|
| gptkbp:field |
number theory
|
| gptkbp:generalizes |
gptkb:Euclid's_theorem_on_the_infinitude_of_primes
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dirichlet's theorem
|
| gptkbp:implies |
infinitude of primes
|
| gptkbp:namedAfter |
gptkb:Peter_Gustav_Lejeune_Dirichlet
|
| gptkbp:provenBy |
gptkb:Peter_Gustav_Lejeune_Dirichlet
|
| gptkbp:relatedTo |
gptkb:lion
gptkb:prime_number_theorem |
| gptkbp:sentence |
There are infinitely many primes in any arithmetic progression a, a+d, a+2d, ... where a and d are coprime.
|
| gptkbp:uses |
gptkb:Dirichlet_characters
L-functions analytic number theory |
| gptkbp:yearProved |
1837
|
| gptkbp:bfsParent |
gptkb:Prime_number_theorem_for_arithmetic_progressions
|
| gptkbp:bfsLayer |
7
|