The Abc Conjecture and Non-Wieferich Primes in Arithmetic Progressions ∗ Hester Graves A, , M

The Abc Conjecture and Non-Wieferich Primes in Arithmetic Progressions ∗ Hester Graves A, , M

Journal of Number Theory 133 (2013) 1809–1813 Contents lists available at SciVerse ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt The abc conjecture and non-Wieferich primes in arithmetic progressions ∗ Hester Graves a, , M. Ram Murty b a 518 Jeffrey Hall, Queen’s University, Kingston, Ontario K7L 3N6, Canada b 312 Jeffrey Hall, Queen’s University, Kingston, Ontario K7L 3N6, Canada article info abstract Article history: Silverman proved that, if one assumes the abc conjecture, then Received 18 June 2012 there are log x non-Wieferich primes for base a for all a 2. Revised 12 September 2012 We show that for any a 2andanyfixedk 2, there are Accepted 6 October 2012 − log x/ log log x primes p x such that ap 1 ≡ 1 (mod p2) and Available online xxxx p ≡ 1 (mod k), under the assumption of the abc conjecture. Communicated by Greg Martin © 2013 Elsevier Inc. All rights reserved. MSC: 11A41 11B25 Keywords: Wieferich primes Arithmetic progressions abc conjecture 1. Wieferich primes In 1909, Arthur Wieferich showed that if there existed some odd prime p and some integers x, y, z such that xyz = 0 and xp + y p + zp = 0, p coprime to xyz,then − 2p 1 ≡ 1 mod p2 . (1) * Corresponding author. E-mail addresses: [email protected] (H. Graves), [email protected] (M. Ram Murty). 0022-314X/$ – see front matter © 2013 Elsevier Inc. All rights reserved. http://dx.doi.org/10.1016/j.jnt.2012.10.012 1810 H. Graves, M. Ram Murty / Journal of Number Theory 133 (2013) 1809–1813 Since then, primes satisfying (1) have been called Wieferich primes. If − ap 1 ≡ 1 mod p2 (2) for some integer a,thenwesayp is a Wieferich prime for base a. The only known Wieferich primes for base two are 1093 and 3511, found respectively by Meissner in 1913 and Beegner in 1922. According to the PrimeGrid project, as of May 2012, these are the only Wieferich primes for base two less than 17 × 1015. Even though only two Wieferich primes for base two are known, it is unknown whether there are finitely many or infinitely many Wieferich primes. It is not even known if there are infinitely many non-Wieferich primes. The only non-computational results on Wieferich primes are conditional. Silverman showed that if the abc conjecture (see the next section) holds, then there are log x non-Wieferich primes. De Koninck and Doyon proved the same result under the weaker assumption that there exists some { ∈ N log(2n−1) − } > 0 such that the set n : log rad(2n−1) < 2 is of density one [1]. In this paper, we will show that if the abc conjecture is true, then for any integer k > 1, there are infinitely many non-Wieferich primes p with p ≡ 1 (mod k). In fact, the number of such primes is log x log log x . 2. Background Let us recall that the abc conjecture of Oesterlé and Masser (1985) states that if a, b and c are positive integers such that a + b = c and (a, b) = 1, then for all > 0, 1+ c rad(abc) . Let us also remind ourselves that Rosser found a lower bound for the nth prime, stated below. Proposition 2.1 (Rosser’s theorem). (See [3].) The nth prime is strictly greater than n logn. One can prove, assuming the conjecture, the infinitude of non-Wieferich primes p ≡ 1 (mod k) using elementary methods, but we use the following recent result of Thangadurai and Vatwani [5] in order to cleanly prove our growth result. Before we state their result, we define φ to be the Euler totient function and Φn(x) to be the nth cyclotomic polynomial. Proposition 2.2. For all integers a 2 and n > 2, 1 φ(n) Φn(a) a . 2 Our proof also requires the following, proved on page 233 of [2]. Lemma 2.3. If p | Φn(a), then either p | norp≡ 1 (mod n). Lastly, we need the concept of the powerful part of a number. = α | Definition 1. Given an integer n, n p p , where the product is over the distinct primes p n,we + define its powerful part to be the product of the prime powers pα | n such that pα 1 n, and α 2. n n Lemma 2.4. Suppose a − 1 is factored into Cn Dn,whereDn is the powerful part of a − 1.Ifp| Cn,then − ap 1 ≡ 1 (mod p2). H. Graves, M. Ram Murty / Journal of Number Theory 133 (2013) 1809–1813 1811 Proof. This proof follows Silverman [4]. Suppose that p | Cn.Lete be the order of a modulo p,so e | (p − 1) and ae = 1 + pt. We know that an ≡ 1 (mod p),soe | n. Therefore, n n e n n 2 a = a e = (1 + pt) e ≡ 1 + pt mod p . e 2 n Since p | Cn and Cn is square-free, p (a − 1) and p t. Similarly, p−1 − − p−1 e p 1 p 1 2 a = a e = (1 + pt) e ≡ 1 + pt mod p e 2 p−1 p−1 ≡ 2 2 and, as p t, p ( e pt) and thus a 1 (mod p ). 3. Results Theorem 3.1. If a and k are integers greater than one and one assumes the abc conjecture, then there are − infinitely many primes p such that ap 1 ≡ 1 (mod p2) and p ≡ 1 (mod k). φ(k) Proof. Let < 3k .Wedenotebypn the nth prime number that is relatively prime to k and we pnk − = pnk − factor a 1 C pnk D pnk, where D pnk is the powerful part of a 1. Since apnk = apnk − 1 + 1, the abc conjecture implies that p k p k p k 1+/2 a n rad a n a n − 1 , so 1+/2 pnk − a 1 rad(aCpnk D pnk) and thus 1/2 1+/2 C D aC D , pnk pnk pnk pnk 1/2 since rad(D ) D . This implies that pnk pnk 1/2 /2 D ,a (aC D ) , pnk pnk pnk pnk − so D pnk ,a (a(a 1)) and we conclude that pnk D pnk ,a a . As pnk − pnk a 1 ,a C pnka , − pnk(1 ) C pnk ,a a . 1812 H. Graves, M. Ram Murty / Journal of Number Theory 133 (2013) 1809–1813 Let C = (C ,Φ (a)) and D = (D ,Φ (a)), so that C D = Φ (a).ByProposi- pnk pnk pnk pnk pnk pnk pn pnk pnk tion 2.2, 1 pnk φ(pnk) a C Φp k(a) a , pnk n 2 so by our choice of and Rosser’s theorem (Proposition 2.1, [3]), φ(p k)−p k φ(pnk) n logn C a n n a 2 a . pnk Thus as C is a product of distinct primes, pnk lim primes p: p | C , j n =∞. n→∞ p jk Every prime p that divides C also divides Φ (a) and is therefore congruent to 1 modulo pnk by pnk pnk − Lemma 2.3. We also know that if p divides C ,thenap 1 ≡ 1 (mod p2) by Lemma 2.4. Thus there pnk − are infinitely many primes p such that ap 1 ≡ 1 (mod p2) and p ≡ 1 (mod k). 2 Lemma 3.2. For large n, there exists some prime p such that p | C but p C for j < n. pnk p jk Proof. Proof by contradiction. Suppose not. Then n−1 C C , C . pnk pik pnk i=1 As C | (apik − 1) and C | (apnk − 1), (C , C ) | (apik − 1,apnk − 1). It is well-known that (ab − 1, pik pnk pik pnk − ac − 1) = (a(b,c) − 1). Therefore, C (ak − 1)n 1 akn. From the proof of Theorem 3.1,weknow pnk that C an logn,so pnk akn C an logn, pnk which is clearly a contradiction for large n. 2 Theorem 3.3. If a, k, and n are positive integers and one assumes the abc conjecture, then p ≡ 1 (mod k) log x primes p x: − . ap 1 ≡ 1 mod p2 log log x Proof. The largest n such that x apnk log x pnk is log log x , and as a > Cn and p ≡ 1 (mod k) primes p C : − n, n ap 1 ≡ 1 mod p2 H. Graves, M. Ram Murty / Journal of Number Theory 133 (2013) 1809–1813 1813 we obtain that p ≡ 1 (mod k) log x primes p x: − . 2 ap 1 ≡ 1 mod p2 log log x Acknowledgments We thank the referee for several helpful remarks on an earlier version of this paper. References [1] J.M. De Koninck, N. Doyon, On the set of Wieferich primes and of its complement, Ann. Univ. Sci. Budapest. Sect. Comput. 27 (2007) 3–13. [2] M. Ram Murty, Problems in Analytic Number Theory, second edition, Grad. Texts in Math., vol. 206, Springer, 2008. [3] J.B. Rosser, The nth prime is greater than n log(n), Proc. London Math. Soc. 45 (1938) 21–44. [4] J. Silverman, Wieferich’s criterion and the abc-conjecture, J. Number Theory 30 (2) (1988) 226–237. [5] R. Thangadurai, A. Vatwani, The least prime congruent to one modulo n, Amer. Math. Monthly 118 (2011) 737–742..

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    5 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us