Possible Duplicate:
Is a “non-analytic” proof of Dirichlet’s theorem on primes known or possible?

Dirichlet's theorem on primes in arithmetic progression states that there are infinitely many primes of the form $kn+h$ given that $k$ and $h$ are coprime. Is there a short proof for this?


marked as duplicate by Harry Gindi, François G. Dorais, Harald Hanche-Olsen, Pete L. Clark, Andy Putman Jun 15 '10 at 4:41

This question was marked as an exact duplicate of an existing question.

  • 17
    $\begingroup$ short answer: no. $\endgroup$ – KConrad Jun 14 '10 at 20:30
  • 4
    $\begingroup$ "It is rash to assert that a particular theorem cannot proved in a particular way." Thought you were an endorser of that viewpoint, Professor K. C. $\endgroup$ – José Hdz. Stgo. Jun 14 '10 at 20:40
  • 5
    $\begingroup$ Every proof I've even seen takes the same form up until the final steps. (1) Introduce the character group of the unit group of $Z/N$. (2) Consider the sum $\sum \chi(k)/k$, where $chi$ is a character of $Z/N$. Notice that this sum is much larger for $\chi$ trivial than for $\chi$ nontrivial. (3) Use the multiplicativity of $\chi$, and step 2, to deduce that $\sum 1/p$ grows much faster than $\sum \chi(p)/p$. (4) THE HARD STEP: Deduce somehow that $\sum \chi(k)/k \neq 0$, so $- \sum \chi(p)/p$ is also small. (5) Deduce the theorem. $\endgroup$ – David E Speyer Jun 14 '10 at 20:52
  • 5
    $\begingroup$ J.H.S.: I didn't mean there can't be a short proof, but rather that (right now) there isn't one. That's what it seemed he was asking about, not some meta-mathematical query on the possible existence of a short proof. $\endgroup$ – KConrad Jun 14 '10 at 21:04
  • 4
    $\begingroup$ I have voted to close, but not for the reason that others have (they said "exact duplicate"). Rather, I think that the question "does there exist a short proof of Theorem X?" is inherently vague and subjective and could well lead to arguments of the form "Proof X which assumes Y and takes Z pages is / is not short." Please clarify what you actually want to know. There are proofs of Dirichlet's theorem which avoid complex or even real analysis, but I am not aware of a proof which could be given in an undergraduate course in less than a week of lectures. $\endgroup$ – Pete L. Clark Jun 15 '10 at 3:12

Well, there are short proofs of particular instances of the result. For example, emulating the Euclidean assault on the infinitude of primes, one can establish, almost effortlessly, that there are infinitely many primes of the form 4k+3. Nevertheless, you have to be warned that there is no way to strenghten this technique in order to get the result for every arithmetic progression. You may want to take a look at [1]. In that note, Professor Murty mentions that it was I. Schur the one who first derived a sufficient condition for the existence of an "Euclidean" proof for the infinitude of primes in the arithmetic progression {$mk+a$}$_{k \in \mathbb{N}}$.

Edit: As David Speyer mentioned above one on the main ingredients in the proof is a certain non-vanishing result for L-series. Hence, a way in which one might shorten the proof is by spotting the shortest demonstration for the corresponding non-vanishing theorem. I higly recommend that you take a look at the thread in [2] if you wish to learn more about this particular matter.


[1] M. R. Murty, Primes in certain arithmetic progressions, J. Madras. Univ. (1988), 161-169.

[2] Shortest/Most elegant proof for the non-vanishing of $L(1, \chi)$ :

Shortest/Most elegant proof for $L(1,\chi)\neq 0$

  • $\begingroup$ Oh, that's a different matter! The person who asked the question should definitely clarify if he was asking for a short proof of the general theorem or if he'd be content with a short proof of some special cases (which usually don't give a flavor of the general proof). $\endgroup$ – KConrad Jun 14 '10 at 21:01
  • $\begingroup$ Point taken, Sire. Nonetheless, I decided to enter the reply because I thought it'd help to disseminate the fact that there are specific arithmetic progressions for which the related proofs are as short as possible. $\endgroup$ – José Hdz. Stgo. Jun 14 '10 at 21:44
  • 1
    $\begingroup$ More information here: math.uconn.edu/~kconrad/blurbs/gradnumthy/dirichleteuclid.pdf $\endgroup$ – danseetea Jun 14 '10 at 21:50
  • 1
    $\begingroup$ There's also a short proof for $4k+1$. Assume there were a finite number of such primes, take their product, square it, and add one. Then there is a prime $p$ that divides this result. This forces $-1$ to be a square in $F_p$, hence $p$ is congruent to 1 modulo 4, contradiction. $\endgroup$ – David Carchedi Jun 14 '10 at 22:09
  • 3
    $\begingroup$ For more on Murty's result that the usual elementary approach is doomed to failure look at: math.uiuc.edu/%7Epppollac/euc4.pdf There Paul Pollack shows that a commonly believed conjecture implies a generalization of Murty's result to a broader type of elementary proof. $\endgroup$ – Noah Snyder Jun 14 '10 at 22:45

Not the answer you're looking for? Browse other questions tagged or ask your own question.