Strengthening of Dirichlet's theorem on arithmetic progressions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T03:29:57Z http://mathoverflow.net/feeds/question/17162 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/17162/strengthening-of-dirichlets-theorem-on-arithmetic-progressions Strengthening of Dirichlet's theorem on arithmetic progressions Ewan Delanoy 2010-03-05T05:52:30Z 2011-01-21T14:22:06Z <p>Hello all, Dirichlet's famous theorem asserts that any arithmetic progression $\lbrace ax+b | x \in {\mathbb N}\rbrace$ contains infinitely many primes if a and b are relatively prime. </p> <p>I am wondering if the following strengthening of Dirichlet's theorem is also true : </p> <p>Let $a,b$ be relatively prime integers as above. Then there is a uniform bound $g(a,b)$ such that any interval $\lbrace x+1,x+2, \ldots ,x+g(a,b)\rbrace$ of $g(a,b)$ successive integers contains at least one integer $y$ which is congruent to $b$ modulo $a$ and which is not divisible by any integer between $x+1$ (inclusive if $y\neq x+1$) and $y$ (exclusive). </p> <p>Without the uniform bound, this would be a tasteless easy consequence of Dirichlet's theorem. With the bound, however, it becomes stronger than Dirichlet's theorem.</p> <p>Perhaps the two are in fact equivalent ?</p> http://mathoverflow.net/questions/17162/strengthening-of-dirichlets-theorem-on-arithmetic-progressions/18796#18796 Answer by Jonas Meyer for Strengthening of Dirichlet's theorem on arithmetic progressions Jonas Meyer 2010-03-19T21:52:34Z 2010-03-19T21:52:34Z <p>This question has essentially been answered in the comments, so I see no reason for it to remain officially unanswered.</p> <p>The proposed property holds. It is "equivalent to" Dirichlet's theorem, in the informal sense that each could be used to prove the other. However, we are not talking about axiomatization, so rather I would say that both are true and equivalence isn't meaningful. (This is not to be confused with <a href="http://mathoverflow.net/questions/13896/what-are-some-famous-rejections-of-correct-mathematics/13903#13903" rel="nofollow">Fréchet's objection to Tarski</a>.)</p> <p>This is community wiki, so feel free edit.</p>