Arxiv:2101.05274V3 [Math.NT] 15 Jun 2021 P H Odtoa Euto O-Ifrc Rm.Asmn Th Assuming Prime
![Arxiv:2101.05274V3 [Math.NT] 15 Jun 2021 P H Odtoa Euto O-Ifrc Rm.Asmn Th Assuming Prime](http://data.docslib.org/img/6021460/arxiv-2101-05274v3-math-nt-15-jun-2021-p-h-odtoa-euto-o-ifrc-rm-asmn-th-assuming-prime.jpg)
arXiv:2101.05274v3 [math.NT] 15 Jun 2021 p h odtoa euto o-ifrc rm.Asmn th Assuming prime. non-Wieferich on result conditional the i.e., replace we r.Nvrhls,i ssilukonwehrteeaeinfi are base there the to whether there unknown are still primes is non-Wieferich it Nevertheless, ory. h euti sfollows. as is result The t today of As [13]). (see are connected primes an well primes very non-Wieferich are Theorem that last well-known is it Furthermore, b ndi eto 3 ,h rvdteifiiueo non-Wieferi of infinitude the proved he ), (3) Section in fined tews ti aldannWeeihpiefrtebase the for prime non-Wieferich a called is it Otherwise fteeuto 11 sntstse o prime a for satisfies not is (1.1) equation the If aacn o-ifrc primes. non-Wieferich balancing if , aifistecongruence, the satisfies erhfraWeeihpiei n fteln tnigprob standing long the of one is prime Wieferich a for search A o n fixed any For Let e od n phrases. and words Key 2020 OEO AACN O-IFRC RMSI ARITHMETIC IN PRIMES NON-WIEFERICH BALANCING ON NOTE A > b ahmtc ujc Classification. Subject Mathematics uefrtenme field number the for ture hr are there Ding. ifrc rmsi rtmtcporsin nparticular In progression. arithmetic in primes Wieferich A BSTRACT 2 1093 b ea nee,w a nodprime odd an say we integer, an be by ≫ nti ae,w nac h oe on o h ubro ba of number the for bound lower the enhance we paper, this In . 2 .AIH,I UTJFTIA N VIJAYALAKSHMI R A AND FATHIMA, MUMTAJ I. ANITHA, K. b and ti ipycle ifrc prime. Wieferich a called simply is it , log ∈ Q x # 3511 aacn o-ifrc primes non-Wieferich balancing × b ojcue aacn ubr,aihei progressio arithmetic numbers, balancing conjecture, abc { b , rmsp primes . 6= Q ± ( 1 √ then , 2) ≤ hsipoe h oercn euto .Wn n Y. and Wang Y. of result recent more the improves This . 2 2 b .I 1. x p 12,1B9 11A41. 11B39, 11B25, p p PROGRESSION − − − : 1 1 1 b NTRODUCTION ≡ 6≡ ≡ p − 1 (mod 1 (mod 1 (mod 1 6≡ 1 b (mod 1 ≥ p p scle o-ifrc rm.Ta is That prime. non-Wieferich a called is 2 scle ifrc rm o h base the for prime Wieferich a called is p u .H ivra 1]established [10] Silverman H. J. But . p p p ≤ 2 2 2 ) ) ) x . . . p ihtetuho the of truth the with 2 o n ie integer given any for , ) ≫ } b nta faybase any of Instead . famous e b h rtcs fFermat of case first the d ieymn ifrc or Wieferich many nitely eol nw Wieferich known only he hpie o n base any for primes ch log x. e nNme The- Number in lem abc acn non- lancing ,Weeihprimes, Wieferich n, abc ojcue(de- conjecture conjec- r ≥ 2 > b (1.1) 2 if , b . 2 K. ANITHA, I. MUMTAJ FATHIMA, AND A R VIJAYALAKSHMI
H. Graves and M. Ram Murty [5] improved the above result for certain arithmetic pro- gression. In particular, they proved that for any integer b 2, r 2 be any fixed integer and under the assumption of the abc conjecture, then ≥ ≥ log x # primes p x : p 1 (mod r), bp−1 1 (mod p2) . { ≤ ≡ 6≡ }≫ log log x Then there has been further enhancement made by Y.-G Chen and Y. Ding [2]. The improvement is as follows. log x (log log log x)M # primes p x : p 1 (mod r), bp−1 1 (mod p2) , { ≤ ≡ 6≡ }≫ log log x where M is any fixed positive integer. Recently, Y. Ding [3] further improved the lower bound as # primes p x : p 1 (mod r), bp−1 1 (mod p2) log x. { ≤ ≡ 6≡ }≫ Now we consider the lower bound for non-Wieferich primes in balancing numbers with the assumption of the abc conjecture for the number field Q(√2). We state our main result after short introduction of balancing numbers.
2. BALANCING NUMBERS
The positive integer sequence Bn is a sequence of balancing numbers are defined by the recurrence relation B ={ 6B} B for n 1 with initial conditions B = n+1 n − n−1 ≥ 0 0, B1 = 1. The concept of balancing numbers were first propounded by A. Behera and G. K. Panda [1]. Definition 2.1. A positive integer n is said to be balancing number, if 1+2+ ... +(n 1)=(n +1)+(n +2)+ ... +(n + k), − where k Z+ is called balancer to the balancing number n. ∈ In other words, any n Z+ is a balancing number if and only if n2 is a triangular number, that is 8n2 +1 is∈ a perfect square and the Binet formula for balancing number is αn βn B = − , n α β − where α =3+2√2 and β =3 2√2 (see [1]). − Definition 2.2. A number l N is said to be period of the balancing sequence modulo m ∈ if Bl 0 (mod m) and Bl+1 1 (mod m) and if any n N satisfies these congruences, that is≡B 0 (mod m) and B≡ 1 (mod m), then l divides∈ n (see [7]). n ≡ n+1 ≡ The periodicity of balancing numbers are mainly help to find the divisibility condi- tions of these numbers. Moreover, G. K. Panda and S. S. Rout [7] conjectured that there A NOTE ON BALANCING NON-WIEFERICH PRIMES IN ARITHMETIC PROGRESSION 3
are only three prime numbers 13, 31, and 1546463 such that periods of balancing se- quence modulo those prime numbers are equal to the periods modulo its square. How- 8 ever, for any prime p > 2, B 8 0 (mod p), where p denotes the Jacobi symbol p− p ≡ [7]. Definition 2.3. An odd prime p is said to be a balancing Wieferich prime if it satisfies the congruence 2 B 8 0(modp ). p− p ≡ Otherwise it is called a balancing non-Wieferich prime. In [9] S. S. Rout proved that for any integer r 2, under the assumption of the abc ≥ conjecture for the number field Q(√2), there are at least O(log x/ log log x) balancing non-Wieferich primes p with p 1(modr). Then U. K. Dutta et al. improved the lower ≡ bound from log x/ log log x to (log x/ log log x)(log log log x)M , where M is any fixed pos- itive integer. More Recently, Y. Wang and Y. Ding [12] improved this lower bound to at least log x, but they were not included the condition that the balancing non-Wieferich primes p are in arithmetic progression. In this paper, we improve the lower bound to at least log x primes p x such that balancing non-Wieferich primes p are in arithmetic progression, under the≤ assumption of the abc conjecture. In particular, we prove the following result. Theorem 2.4. Let r 2 be any fixed integer and n> 0 be any square-free integer. Assume the ≥ abc conjecture for the number field Q(√2) is true. Then # primes p x : p 1(modr) ≤ ≡ 2 B 8 0(modp ) log x. p− p 6≡ ≫
3. PRELIMINARIESANDSOMELEMMAS We start this section with abc conjecture, it was propounded by D. Masser (1985) and J. Oesterl´e(1988). We state the abc conjecture as given in ([6, p. 281]). For any ǫ> 0, there is a constant Cǫ which depends only on ǫ such that for every triple of positive integers a, b, c satisfying a + b = c with gcd(a, b)=1 we have 1+ǫ c 3.1. The abc conjecture for the number field([11], [6]). Let K be an algebraic number field and V be the set of primes on K, that is any υ V is an equivalence class of non- K ∈ K trivial norms on K (finite or infinite). Let x := N (p)−υp(x), if υ (finite) is defined k kυ K/Q by a prime ideal p of the ring of integers in K and υp is the corresponding valuation, OK 4 K. ANITHA, I. MUMTAJ FATHIMA, AND A R VIJAYALAKSHMI e where NK/Q is the absolute value norm. For υ is infinite, let x υ := ρ(x) for all non- conjugate embeddings ρ : K C with e = 1 if ρ is real andk k e =| 2 if ρ| is complex. → Now the height of any triple (a, b, c) K∗ is defined by, ∈ H (a, b, c) := max( a , b , c ) K k kυ k kυ k kυ υY∈VK and the radical of the triple (a, b, c) K∗ is defined by, ∈ υp(p) radK(a, b, c) := NK/Q(p) , p∈IKY(a, b, c) where p is a rational prime with pZ = p Z and IK (a, b, c) is the set of all prime ideals p of for which a , b , c are not∩ equal. OK k kυ k kυ k kυ The abc conjecture for algebraic number field states that, for any ǫ> 0, H (a, b, c) (rad (a, b, c))1+ǫ, K ≪ǫ,K K for all a, b, c K∗ satisfy a + b + c =0. ∈ Definition 3.1. The m th cyclotomic polynomial can be defined as, for any integer m 1, − ≥ Φ (X)= (X ζi ), m − m gcd(Yi,m)=1 0 Lemma 3.5. ([9, Lemma 2.12]) Suppose that Bn factored into XnYn, where Xn and Yn are square-free and powerful part of B respectively. If p X , then n | n 2 B 8 0(modp ). p− p 6≡ Lemma 3.6. ([9, Lemma 2.9]) For any n 2, the n-th balancing number satisfies the following inequality. ≥ n−1 n α < Bn <α . Lemma 3.7. [9] If the abc conjecture for the number field Q(√2) is true, then Y B2ǫ . nr ≪ǫ nr A NOTE ON BALANCING NON-WIEFERICH PRIMES IN ARITHMETIC PROGRESSION 5 4. MAIN RESULTS Through out this section, let r 2 be a given fixed integer and n > 1 be any square- free integer. ≥ Let us take, ′ Xnr = gcd(Xnr, Φnr(α/β)), ′ Ynr = gcd(Ynr, Φnr(α/β)). The following theorem closely follows the proof of [9, Theorem 3.1]. For the sake of completeness we give the proof. Theorem 4.1. Assume that the abc conjecture for the number field Q(√2) is true. Then for any ǫ> 0, X′ B2(φ(n)−ǫ). nr ≫ φ(r) Proof. By using equation (3.2) we write, BnrΦ1(α/β) Φnr(α/β)= . nr−1 β Φd(α/β) dY|nr It follows that Φ (α/β) B Φ (α/β). nr | nr 1 That is, Φ (α/β) X Y Φ (α/β). nr | nr nr 1 As prime divisor of Φ1(α/β) is √2 and √2 ∤ Φnr(α/β), we say that gcd(Φ1(α/β), Φnr(α/β)) = 1. Since gcd(Xnr,Ynr)=1, we obtain either Φnr(α/β) Xnr or Φnr(α/β) Ynr. We sup- ′ | | pose that Φnr(α/β) Xnr, it follows that Xnr = gcd(Xnr, Φnr(α/β)) = Φnr(α/β) and ′ | ′ Ynr = gcd(Ynr, Φnr(α/β)) = 1. Similar argument for Φnr(α/β) Ynr implies that Xnr = 1 ′ | and Ynr = Φnr(α/β). Any of these cases, we finally get ′ ′ XnrYnr = Φnr(α/β). (4.2) By using Lemma (3.4) we write, X′ Y ′ = Φ (α/β) (4.3) | nr nr| | nr | C α/β φ(nr) (4.4) ≥ | | = C α2 φ(nr). (4.5) | | Since B are sequence of positive integers and by using Lemma (3.6) we get, { nr} ′ ′ φ(r) 2φ(n) XnrYnr C(α ) (4.6) ≥ 2φ(n) > CBφ(r) . (4.7) 6 K. ANITHA, I. MUMTAJ FATHIMA, AND A R VIJAYALAKSHMI Now by combining Lemma (3.7) with equation (4.7), we obtain X′ B2ǫ X′ Y X′ Y ′ B2φ(n) nr nr ≫ nr nr ≫ nr nr ≫ φ(r) B2φ(n) ′ φ(r) Xnr 2ǫ . ≫ Bnr After simplification we write, X′ B2(φ(n)−ǫ). nr ≫ φ(r) Let τM be the set of all square-free integers with exactly M + 1 prime factors and M+1 1 δ = (1 ), where p be the i-th prime. We recall some Lemmas from [4] and [3]. M − p i Yi=1 i Lemma 4.8. ([4, Lemma 3.3]) Suppose that the abc conjecture for the number field Q(√2) is true. There exists an integer n0 depending only on α, r, M such that if n τM with n n0, then X′ nr. ∈ ≥ nr ≫ ′ ′ Lemma 4.9. ([4, Lemma 3.2]) If i < n, then gcd(Xnr, Xir)=1. Lemma 4.10. ([3, Lemma 2.5]) For any given positive integers r and n, we have φ(nr) = c(r)x + O(log x), nr Xn≤x gcd(p, r) where c(r)= 1 > 0 and the implied constant depends on r. − p2 Yp ′ Let us take T = n : Xnr > nr and T (x) = T [1, x] . The following lemma closely follows the result in{ [3, Lemma 2.6].} | ∩ | Lemma 4.11. We have T (x) x, where the implied constant depends only on α, r. ≫ Proof. Let R = n : φ(nr) > 2c(r) nr and R(x)= R [1, x] . 3 | ∩ | Now by equation (4.6) we have, X′ Y ′ α2φ(n)φ(r). (4.12) nr nr ≫ By using Lemmas (3.6) and (3.7) we obtain, Y ′ Y B2ǫ < (αnr)2ǫ. (4.13) nr ≪ nr ≪ǫ nr On substituting equation (4.13) in (4.12) we get, X′ α2(φ(nr)−ǫnr). (4.14) nr ≫ A NOTE ON BALANCING NON-WIEFERICH PRIMES IN ARITHMETIC PROGRESSION 7 c(r)nr c(r) 2 φ(nr)− ′ 3 Let ǫ = 3 in (4.14) and we get Xnr α . For any n R, we have 2c(r)nr ≫ ∈ φ(nr) > 3 . Therefore, c(r)nr ′ 2 φ(nr)− 3 Xnr α ≫ 2 c(r)nr > α 3 > nr. Therefore there exists an integer n0 depending only on α, r such that if n n0 and n R, then X′ > nr. Hence we obtain, ≥ ∈ nr T (x) = 1 1 (4.15) ≥ n≤x n≤x X′ X Xnr>nr n≥n0 n∈R = 1. (4.16) Xn≤x n≥n0 φ(nr)>2c(r)nr/3 Since we note that, φ(nr) 2c(r) 2c(r) x. (4.17) nr ≤ 3 ≤ 3 Xn≤x Xn≤x φ(nr)≤2c(r)nr/3 φ(nr)≤2c(r)nr/3 Hence by Lemma (4.10) and equation (4.17) we obtain, T (x) 1 ≥ Xn≤x n≥n0 φ(nr)>2c(r)nr/3 1 ≫ Xn≤x φ(nr)>2c(r)nr/3 φ(nr) ≥ nr Xn≤x φ(nr)>2c(r)nr/3 φ(nr) φ(nr) = nr − nr Xn≤x Xn≤x φ(nr)≤2c(r)nr/3 c(r)x + O(log x) 2c(r) x x. ≥ − 3 ≫ This completes the proof of Lemma (4.11). 5. PROOF OF THEOREM (2.4) The main idea of this theorem is to count number of primes p such that p divides X′ x. For any n T, it follows that there exists a prime p such that p X′ and nr ≤ ∈ n n| nr 8 K. ANITHA, I. MUMTAJ FATHIMA, AND A R VIJAYALAKSHMI p ∤ nr. Since X′ X and p X′ , by using Lemma (3.5) we obtain n nr| nr n| nr 2 B 8 0 (mod pn). pn− pn 6≡ ′ ′ We note that pn Xnr, Xnr Φnr(α/β) and pn ∤ nr. Therefore pn 1 (mod nr), by using Proposition (3.3).| Thus for| any n T , there is a prime p satisfying,≡ ∈ n 2 B 8 0 (mod pn), pn− pn 6≡ p 1 (mod nr). n ≡ By Lemma (4.9), we conclude that p (n T ) are distinct primes. Thus we find that, n ∈ # primes p x : p 1 (mod r) ≤ ≡ 2 ′ B 8 0 (mod p ) # n : n T, Xnr x . p− p 6≡ ≥ ∈ ≤ Since X′ X B <α nr, we write nr ≤ nr ≤ nr # n : n T, X′ x # n : n T, αnr x { ∈ nr ≤ } ≥ { ∈ ≤ } = # n : n T, n log x ∈ ≤ r log α log x = T . r log α Hence by Lemma (4.11) we conclude that, # primes p x : p 1(modr) { ≤ ≡ 2 B 8 0(modp ) p− p 6≡ } log x T ≥ r log α log x. ≫ ACKNOWLEDGMENT The author I. Mumtaj Fathima would like to thank Moulana Azad National Fellow- ship for minority students, UGC. This research work is supported by MANF-2015-17- TAM-56982, University Grants Commission (UGC), Government of India. REFERENCES [1] A. Behera, G. K. Panda, On the square roots of triangular numbers, Fibonacci Quart. , 37 (1999), 98– 105. [2] Y.-G. Chen, Y. Ding, Non-Wieferich primes in arithmetic progressions, Proc. Amer. Math. Soc. , 145 (2017), 1833–1836. [3] Y. Ding, Non-Wieferich primes under the abc conjecture, C. R. Math. Acad. Sci. Paris, 357 (2019), no. 6, 483– 486. [4] U. K. Dutta, B. K. Patel, P. K. Ray, Balancing non-Wieferich primes in arithmetic progressions, Proc. Indian Acad. Sci. (Math. Sci.) , 129 (2019), no. 2, Paper No. 21. A NOTE ON BALANCING NON-WIEFERICH PRIMES IN ARITHMETIC PROGRESSION 9 [5] H. Graves, M. Ram Murty, The abc conjecture and non-Wieferich primes in arithmetic progressions, J. Number Theory. , 133 (2013), 1809–1813. [6] K. Gy˝ory, On the abc conjecture in algebraic number fields, Acta Arith. , 133 (2008), no. 3, 281–295. [7] G. K. Panda, S. S. Rout, Periodicity of balancing numbers, Acta Math. Hungar. , 143 (2014), no. 2, 274–286. [8] M. Ram Murty, Problems in analytic number theory. 2nd ed. , Graduate texts in mathematics, 206, Springer, New York, 2008. [9] S. S. Rout, Balancing non-Wieferich primes in arithmetic progression and abc conjecture, Proc. Japan Acad. Ser. A Math. Sci. , 92 (2016), no. 9, 112–116. [10] J. H. Silverman, Wieferich’s criterion and the abc-conjecture, J. Number Theory. , 30 (1988), 226–237. [11] P. Vojta, Diophantine approximations and value distribution theory. Lecture notes in mathematics, 1239, Springer, Berlin, 1987. [12] Y. Wang, Y. Ding, A note on balancing non-Wieferich primes, J. Anhui Norm. Univ. Nat. Sci. , 43 (2020), no. 2, 129–133. [13] A. Wieferich, Zum letzten Fermatschen theorem (German), J. Reine Angew Math. , 136 (1909), 293– 302. DEPARTMENT OF MATHEMATICS, SRM IST RAMAPURAM,CHENNAI 600089, INDIA RESEARCH SCHOLAR, DEPARTMENT OF MATHEMATICS,SRI VENKATESWARA COLLEGE OF ENGI- NEERING,AFFILIATED TO ANNA UNIVERSITY,SRIPERUMBUDUR,CHENNAI 602117, INDIA DEPARTMENT OF MATHEMATICS,SRI VENKATESWARA COLLEGE OF ENGINEERING,SRIPERUMBUDUR, CHENNAI 602117, INDIA Email address, K. Anitha: [email protected] Email address, I. Mumtaj Fathima: [email protected] Email address, A R Vijayalakshmi: [email protected]