Results for Nonwieferich Primes

Total Page:16

File Type:pdf, Size:1020Kb

Results for Nonwieferich Primes City University of New York (CUNY) CUNY Academic Works Publications and Research Bronx Community College 2019 Results for nonWieferich Primes Nelson A. Carella CUNY Bronx Community College How does access to this work benefit ou?y Let us know! More information about this work at: https://academicworks.cuny.edu/bx_pubs/64 Discover additional works at: https://academicworks.cuny.edu This work is made publicly available by the City University of New York (CUNY). Contact: [email protected] Results for nonWieferich Primes N. A. Carella Abstract: Let v ≥ 2 be a fixed integer, and let x ≥ 1 be a large number. The exact asymptotic counting function for the number of nonWieferich primes p ≤ x such that vp−1 − 1 ≡ 0 mod p2 in the interval [1; x] is proposed in this note. The current results in the literature provide lower bounds, which are conditional on the abc conjecture or the Erdos binary additive conjecture. 1 Introduction Let P = f2; 3; 5; 7;:::g be the set of prime numbers, and let v ≥ 2 be a fixed integer. The subsets of Wieferich primes and nonWieferich primes are defined by p−1 2 Wv = fp 2 P : v − 1 ≡ 0 mod p g (1) and p−1 2 Wv = fp 2 P : v − 1 6≡ 0 mod p g respectively. The set of primes P = Wv [ Wv is a disjoint union of these subsets. The subsets Wv and Wv have other descriptions by means of the orders ordp(v) = d j p − 1 and × 2 × ordp2 (v) = pd 6= p of the base v in the cyclic group (Z=pZ) and Z=p Z respectively. The order m−1 is defined by ordn(v) = minfm ≥ 1 : v − 1 ≡ 0 mod ng. Specifically, Wv = p : ordp2 (v) j p − 1 (2) and Wv = p : ordp2 (v) - p − 1 : For a large number x ≥ 1, the corresponding counting functions for the number of such primes up to x are defined by Wv(x) = # p ≤ x : ordp2 (v) j p − 1 (3) and W v(x) = π(x) − Wv(x); where π(x) = #fp ≤ xg is the primes counting function, respectively. Assuming the abc conjecture, several authors have proved that there are infinitely many non- Wieferich primes, see [13], [4], et alii. These results have lower bounds of the form log x W (x) (4) v log log x or slightly better. In addition, assuming the Erdos binary additive conjecture, there is a proof that the subset of nonWieferich primes has nonzero density. More precisely, x W (x) ≥ c (5) v log x July 29, 2019 AMS MSC :Primary 11A41; Secondary 11B25. Keywords: Distribution of primes; Wieferich Prime; nonWieferich Prime 1 Results for nonWieferich Primes 2 where c > 0 is a constant, see [5, Theorem 1] for the details. Here, it is shown that the subset of nonWieferich primes has density 1 in the set of primes unconditionally. Theorem 1.1. Let v ≥ 2 be a small base, and let x ≥ 1 be a large number. Then, the number of nonWieferich primes has the asymptotic formula x x W v(x) = + O : (6) log x log2 x Proof. The upper bound Wv(x) = O (log log x), confer Theorem 6.1, is used below to derive a lower bound for the counting function W v(x). This is as follows: W v(x) = # p ≤ x : ordp2 (v) - p − 1 = π(x) − Wv(x) (7) ≥ π(x) + O (log log x) x x = + O ; log x log2 x 2 where π(x) = #fp ≤ xg = x=log x + O(x=log x). Corollary 1.1. Almost every odd integer is a sum of a squarefree number and a power of two. Proof. Same as Theorem 1 in [5], but use the sharper upper bound Wv(x) = O (log log x). 2 Characteristic Functions Modulo Prime Powers The standard method for constructing characteristic function for primitive elements are discussed in [11, Corollary 3.5], [9, p. 258], and some characteristic functions for finite rings are discussed 2 × in [6]. These type of characteristic functions detect the orders of the elements v 2 Z=p Z by means of the divisors of '(p2). A new method for constructing characteristic functions in cyclic groups is developed here. These 2 × type of characteristic functions detect the orders of the elements v 2 Z=p Z by means of the solutions of the equation τ pn − v ≡ 0 mod p2, where v; τ are constants, and n is a variable such Q that 1 ≤ n < p − 1, and gcd(n; p − 1) = 1. The formula '(n) = pjn(1 − 1=p) denotes the Euler totient function. 2 2 × Lemma 2.1. Let p ≥ 3 be a prime, and let τ be a primitive root mod p . Let v 2 Z=p Z be a nonzero element. Then i2π(τpn−v)m 1 1 if ord 2 (v) = p − 1; X X '(p2) p 2 e = '(p ) 0 if ordp2 (v) 6= p − 1: 1≤n<p−1 0≤m<'(p2) gcd(n;p−1)=1 2 × 2 Proof. Let τ 2 Z=p Z be a fixed primitive root of order p(p − 1) = '(p ). As the index n ≥ 1 pn 2 × ranges over the integers relatively prime to p − 1, the element τ 2 Z=p Z ranges over the pn elements of order ordp2 (τ ) = p − 1. Hence, the equation τ pn − v = 0 (8) 2 × has a solution if and only if the fixed element Z=p Z is an elements of order ordp2 (v) = p − 1. pn 2 Setting w = ei2π(τ −v)='(p ) and summing the inner sum yield X 1 X m 1 if ordp2 (v) = p − 1; 2 w = (9) '(p ) 0 if ordp2 (v) 6= p − 1: gcd(n;p−1)=1 0≤m<'(p2) P m x This follows from the geometric series identity 0≤m≤x−1 w = (w − 1)=(w − 1); w 6= 1 applied to the inner sum. Results for nonWieferich Primes 3 The characteristic function for any element v ≥ 2 of any order ordp2 (v) = d j p − 1 in the cyclic 2 × group Z=p Z is a sum of characteristic functions. Lemma 2.2. Let Let v ≥ 2 be a fixed base, let p ≥ 3 be a prime, and let τ be a primitive root mod p2. The indicator function for the subset of primes such that vp−1 − 1 ≡ 0 mod p2 is given by X X 1 X i2π(τdpn−v)m Ψ (p2) = e '(p2) 0 '(p2) djp−1 1≤n<p−1 0≤m<'(p2) gcd(n;(p−1)=d)=1 1 if ord 2 (v) j p − 1; = p 0 if ordp2 (v) 6j p − 1: dpn 2 Proof. Suppose that ordp2 (v) j p − 1. Then, the congruence τ − v ≡ 0 mod p has a unique solution pair d j p − 1 and n ≥ 1 with gcd(n; (p − 1)=d) = 1. Otherwise, τ dpn − v 6≡ 0 mod p2 for all pairs d j p − 1 and gcd(n; (p − 1)=d) = 1. To complete the proof, proceed as in the proof of Lemma 2.1. 3 Equivalent Exponential Sums For any fixed 0 6= s 2 Z=p2Z, an asymptotic relation for the exponential sums X n 2 X n 2 ei2πsτ ='(p ) and ei2πτ ='(p ); (10) gcd(n;'(p2))=1 gcd(n;'(p2))=1 is provided in Lemma 3.1. This result expresses the first exponential sum in (10) as a sum of simpler exponential sum and an error term. The proof is based on Lagrange resolvent in the finite ring Z=p2Z. Specifically, dp dp 2dp (p−1)dp (!t; ζsτ ) = ζs + !−tζsτ + !−2tζsτ + ··· + !−(p−1)tζsτ ; (11) 2 where ! = ei2π=p, ζ = ei2π='(p ), and the variables 0 6= s 2 Z=p2Z, and 0 6= t 2 Z=pZ. Lemma 3.1. Let p ≥ 2 be a large prime. If τ be a primitive root modulo p2, then, X ndp 2 X ndp 2 ei2πsτ ='(p ) = ei2πτ ='(p ) + O(p1=2 log3 p); gcd(n;(p−1)=d)=1 gcd(n;(p−1)=d)=1 for any fixed d j p − 1, and 0 6= s 2 Z=p2Z. Proof. Summing (11) times !tn over the variable t 2 Z=pZ yields, (all the nontrivial complex pth root of unity), ndp 2 X ndp p · ei2πsτ ='(p ) = (!t; ζsτ )!tn: (12) 0≤t≤p−1 Summing (12) over the variable n ≥ 1, for which gcd(n; (p − 1)=d) = 1, yields X ndp 2 X X dp p · ei2πsτ ='(p ) = (!t; ζsτ )!tn gcd(n;(p−1)=d)=1 gcd(n;(p−1)=d)=1; 0≤t≤p−1 X dp X = (!t; ζsτ ) !tn − p: (13) 1≤t≤p−1 gcd(n;(p−1)=d)=1 The first index t = 0 contributes p, see [10, Equation (5)] for similar calculations. Likewise, the basic exponential sum for s = 1 can be written as X ndp 2 X dp X p · ei2πτ ='(p ) = (!t; ζτ ) !tn − p; (14) gcd(n;(p−1)=d)=1 1≤t≤p−1 gcd(n;(p−1)=d)=1 Results for nonWieferich Primes 4 Differencing (13) and (14) produces 0 1 X i2πsτ ndp='(p2) X i2πτ ndp='(p2) S1 = p · @ e − e A gcd(n;(p−1)=d)=1 gcd(n;(p−1)=d)=1 X dp dp X = (!t; ζsτ ) − (!t; ζτ ) !tn: (15) 1≤t≤p−1 gcd(n;(p−1)=d)=1 The right side sum S1 can be rewritten as X t sτ ndp t τ ndp X tn S1 = (! ; ζ ) − (! ; ζ ) ! 1≤t≤p−1 gcd(n;(p−1)=d)=1 et et( p−1 +1) X ndp ndp X ! − ! d = (!t; ζsτ ) − (!t; ζτ ) µ(e) (16) 1 − !et 1≤t≤p−1 e≤(p−1)=d et et( p−1 +1) X X ndp ndp ! − ! d = (!t; ζsτ ) − (!t; ζτ ) µ(e) : 1 − !et 1≤t≤p−1; e≤(p−1)=d The second line follows from Lemma 3.2-i.
Recommended publications
  • Results for Wieferich Primes 2
    Results for Wieferich Primes N. A. Carella Abstract: Let v 2 be a fixed integer, and let x 1 and z x be large numbers. ≥ ≥ ≥ The exact asymptotic formula for the number of Wieferich primes p, defined by vp−1 ≡ 1 mod p2, in the short interval [x,x + z] is proposed in this note. The search conducted on the last 100 years have produced two primes p<x = 1015 such that 2p−1 1 mod p2. ≡ The probabilistic and theoretical information within predicts the existence of another base v = 2 prime on the interval [1015, 1040]. Furthermore, a result for the upper bound on the number of Wieferich primes is used to demonstrate that the subset of nonWieferich primes has density 1. AMS Mathematical Subjects Classification: Primary 11A41; Secondary 11B25. Keywords: Distribution of Prime, Wieferiech prime, Finite Rings. Contents 1 Introduction 3 1.1 SummaryofHeuristics. .. .. .. .. .. .. .. .. 3 1.2 ResultsInShortIntervals . ... 4 1.3 AverageOrder .................................. 4 1.4 Guide ....................................... 5 2 Basic Analytic Results 6 2.1 SumsAndProductsOverThePrimes . 6 2.2 TotientsFunctions ............................... 7 2.3 Sums Of Totients Functions Over The Integers . ...... 7 2.4 Sums Of Totients Functions Over The Primes . ..... 9 2.5 Sums Of Totients Functionsc Over Subsets Of Integers . ......... 9 arXiv:1712.08166v2 [math.GM] 5 May 2018 2.6 Problems ..................................... 11 3 Finite Cyclic Groups 13 3.1 MultiplicativeOrders. 13 3.2 MaximalCyclicSubgroups . 14 4 Characteristic Functions 15 4.1 Characteristic Functions Modulo Prime Powers . ........ 15 4.2 Characteristic Functions Modulo n ....................... 16 4.3 Problems ..................................... 17 5 Equivalent Exponential Sums 17 1 results for wieferich primes 2 6 Upper Bound For The Main Term 20 7 Evaluations Of The Main Terms 21 7.1 SumsOverThePrimes.............................
    [Show full text]
  • Wieferich Primes and Period Lengths for the Expansions of Fractions
    314 MATHEMATICSMAGAZINE Wieferich Primesand PeriodLengths for the Expansionsof Fractions GENE GARZA JEFF YOUNG University of Montevallo Montevallo, Al 35115 [email protected] It is well known that some decimal expansions terminate, while others repeat, at least eventually, in patterns,which may be short or lengthy (we shall call this repeating pattern the period of the expansion). Here we will extend some known results while exploring expansions of fractions in any base. Our goal will be to find a formula for the length of the period of such expansions. The interested reader is referred to the recent award-winning article by Jones and Pearce, who show how to display such decimal expansions graphically [3]. We will consider both the expansions of (the reciprocals of) primes and of com- posites. It would seem that the easier part of this problem would be that of primes. However, there are difficulties/anomalies among primes that make it hard to find a for- mula that works in all cases. The most interesting such case is that of Wieferich primes, whose reciprocals are characterizedby expansions whose periods are the same length as the periods of their squares. For example, the length of the period of 1/1093 is 1092 which is the same as that of 1/10932. This, as we shall see, is not normally the case. For someone seeking a simple formula, this is bad news. However, as our table at the end shows, Wieferich primes are quite rare. Preliminaries Let's review what is meant by the expansion of a fraction and, in particular,the decimal expansion of a fraction.
    [Show full text]
  • Prime Divisors of Sparse Values of Cyclotomic Polynomials and Wieferich Primes
    Journal of Number Theory 201 (2019) 1–22 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt General Section Prime divisors of sparse values of cyclotomic ✩ polynomials and Wieferich primes M. Ram Murty ∗, François Séguin Department of Mathematics, Queen’s University, Kingston, Ontario K7L 3N6, Canada a r t i c l e i n f o a b s t r a c t Article history: Bang (1886), Zsigmondy (1892) and Birkhoff and Vandiver Received 17 September 2018 (1904) initiated the study of the largest prime divisors of Received in revised form 31 sequences of the form an − bn, denoted P (an − bn), by December 2018 essentially proving that for integers a >b > 0, P (an − bn) ≥ Accepted 25 February 2019 n +1 for every n > 2. Since then, the problem of finding Available online 20 March 2019 bounds on the largest prime factor of Lehmer sequences, Lucas Communicated by F. Pellarin sequences or special cases thereof has been studied by many, MSC: most notably by Schinzel (1962), and Stewart (1975, 2013). 11B39 In 2002, Murty and Wong proved, conditionally upon the abc − 11N69 conjecture, that P (an − bn) n2 for any > 0. In this 11D45 article, we improve this result for the specific case where b =1. 11A41 Specifically, we obtain a more precise result, and one that is Keywords: dependent on a condition we believe to be weaker than the Lucas sequences abc conjecture. Our result actually concerns the largest prime Wieferich primes factor of the nth cyclotomic polynomial evaluated at a fixed integer a, P (Φn(a)), as we let n grow.
    [Show full text]
  • Overpseudoprimes, Mersenne Numbers and Wieferich Primes 2
    OVERPSEUDOPRIMES, MERSENNE NUMBERS AND WIEFERICH PRIMES VLADIMIR SHEVELEV Abstract. We introduce a new class of pseudoprimes - so-called “overpseu- doprimes” which is a special subclass of super-Poulet pseudoprimes. De- noting via h(n) the multiplicative order of 2 modulo n, we show that odd number n is overpseudoprime if and only if the value of h(n) is invariant of all divisors d > 1 of n. In particular, we prove that all composite Mersenne numbers 2p − 1, where p is prime, and squares of Wieferich primes are overpseudoprimes. 1. Introduction n Sometimes the numbers Mn =2 − 1, n =1, 2,..., are called Mersenne numbers, although this name is usually reserved for numbers of the form p (1) Mp =2 − 1 where p is prime. In our paper we use the latter name. In this form numbers Mp at the first time were studied by Marin Mersenne (1588-1648) at least in 1644 (see in [1, p.9] and a large bibliography there). We start with the following simple observation. Let n be odd and h(n) denote the multiplicative order of 2 modulo n. arXiv:0806.3412v9 [math.NT] 15 Mar 2012 Theorem 1. Odd d> 1 is a divisor of Mp if and only if h(d)= p. Proof. If d > 1 is a divisor of 2p − 1, then h(d) divides prime p. But h(d) > 1. Thus, h(d)= p. The converse statement is evident. Remark 1. This observation for prime divisors of Mp belongs to Max Alek- seyev ( see his comment to sequence A122094 in [5]).
    [Show full text]
  • Arxiv:1206.0606V1 [Math.NT]
    OVERPSEUDOPRIMES, AND MERSENNE AND FERMAT NUMBERS AS PRIMOVER NUMBERS VLADIMIR SHEVELEV, GILBERTO GARC´IA-PULGAR´IN, JUAN MIGUEL VELASQUEZ-SOTO,´ AND JOHN H. CASTILLO Abstract. We introduce a new class of pseudoprimes-so called “overpseu- doprimes to base b”, which is a subclass of strong pseudoprimes to base b. Denoting via |b|n the multiplicative order of b modulo n, we show that a composite n is overpseudoprime if and only if |b|d is invariant for all divisors d> 1 of n. In particular, we prove that all composite Mersenne numbers 2p − 1, where p is prime, are overpseudoprime to base 2 and squares of Wieferich primes are overpseudoprimes to base 2. Finally, we show that some kinds of well known numbers are overpseudoprime to a base b. 1. Introduction First and foremost, we recall some definitions and fix some notation. Let b an integer greater than 1 and N a positive integer relatively prime to b. Throughout, we denote by |b|N the multiplicative order of b modulo N. For a prime p, νp(N) means the greatest exponent of p in the prime factorization of N. Fermat’s little theorem implies that 2p−1 ≡ 1 (mod p), where p is an odd prime p. An odd prime p, is called a Wieferich prime if 2p−1 ≡ 1 (mod p2), We recall that a Poulet number, also known as Fermat pseudoprime to base 2, is a composite number n such that 2n−1 ≡ 1 (mod n). A Poulet number n which verifies that d divides 2d −2 for each divisor d of n, is called a Super-Poulet pseudoprime.
    [Show full text]
  • On the Period Mod M of Polynomially-Recursive Sequences: a Case Study Cyril Banderier, Florian Luca
    On the period mod m of polynomially-recursive sequences: a case study Cyril Banderier, Florian Luca To cite this version: Cyril Banderier, Florian Luca. On the period mod m of polynomially-recursive sequences: a case study. Journal of Integer Sequences, University of Waterloo, 2019, 22. hal-02414018 HAL Id: hal-02414018 https://hal.archives-ouvertes.fr/hal-02414018 Submitted on 16 Dec 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 1 2 Journal of Integer Sequences, Vol. 22 (2019), 3 Article 19.3.8 47 6 23 11 On the period mod m of polynomially-recursive sequences: a case study Cyril Banderier Laboratoire d'Informatique de Paris Nord Universit´ede Paris Nord 93430 Villetaneuse France https://lipn.fr/~banderier Florian Luca School of Mathematics University of the Witwatersrand Wits 2050, Johannesburg South Africa & Research Group of Algebraic Structures and Applications King Abdulaziz University 21589 Jeddah Saudi Arabia & Centro de Ciencias Matem´aticas Universidad Nacional Aut´onomade M´exico(UNAM) 58089 Morelia Mexico https://scholar.google.com/ 1 Abstract Many polynomially-recursive sequences have a periodic behavior mod m. In this paper, we analyze the period mod m of a class of second-order polynomially-recursive sequences.
    [Show full text]
  • Fermat Pseudoprimes
    1 TWO HUNDRED CONJECTURES AND ONE HUNDRED AND FIFTY OPEN PROBLEMS ON FERMAT PSEUDOPRIMES (COLLECTED PAPERS) Education Publishing 2013 Copyright 2013 by Marius Coman Education Publishing 1313 Chesapeake Avenue Columbus, Ohio 43212 USA Tel. (614) 485-0721 Peer-Reviewers: Dr. A. A. Salama, Faculty of Science, Port Said University, Egypt. Said Broumi, Univ. of Hassan II Mohammedia, Casablanca, Morocco. Pabitra Kumar Maji, Math Department, K. N. University, WB, India. S. A. Albolwi, King Abdulaziz Univ., Jeddah, Saudi Arabia. Mohamed Eisa, Dept. of Computer Science, Port Said Univ., Egypt. EAN: 9781599732572 ISBN: 978-1-59973-257-2 1 INTRODUCTION Prime numbers have always fascinated mankind. For mathematicians, they are a kind of “black sheep” of the family of integers by their constant refusal to let themselves to be disciplined, ordered and understood. However, we have at hand a powerful tool, insufficiently investigated yet, which can help us in understanding them: Fermat pseudoprimes. It was a night of Easter, many years ago, when I rediscovered Fermat’s "little" theorem. Excited, I found the first few Fermat absolute pseudoprimes (561, 1105, 1729, 2465, 2821, 6601, 8911…) before I found out that these numbers are already known. Since then, the passion for study these numbers constantly accompanied me. Exceptions to the above mentioned theorem, Fermat pseudoprimes seem to be more malleable than prime numbers, more willing to let themselves to be ordered than them, and their depth study will shed light on many properties of the primes, because it seems natural to look for the rule studying it’s exceptions, as a virologist search for a cure for a virus studying the organisms that have immunity to the virus.
    [Show full text]
  • A Clasification of Known Root Prime-Generating
    A possible infinite subset of Poulet numbers generated by a formula based on Wieferich primes Marius Coman Bucuresti, Romania email: [email protected] Abstract. I was studying the Poulet numbers of the form n*p - n + 1, where p is prime, numbers which appear often related to Fermat pseudoprimes (see the sequence A217835 that I submitted to OEIS) when I discovered a possible infinite subset of Poulet numbers generated by a formula based on Wieferich primes (I pointed out 4 such Poulet numbers). It is known the following relation between the Fermat pseudoprimes to base 2 (Poulet numbers) and the Wieferich primes: the squares of the two known Wieferich primes, respectively 1194649 = 1093^2 and 12327121 = 3511^2, are Poulet numbers. I discovered yet another relation between these two classes of numbers: Conjecture 1: For every Wieferich prime p there is an infinity of Poulet numbers which are equal to n*p – n + 1, where n is integer, n > 1. Note: Because there are just two Wieferich primes known (it’s not even known if there are other Wieferich primes beside these two), we verify the conjecture for these two and few values of n (until n < 31). : 1093*3 – 2 = 3277, a Poulet number; : 1093*4 - 3 = 4369, a Poulet number; : 1093*5 - 4 = 5461, a Poulet number; : 3511*14 – 13 = 49141, a Poulet number. Observation 1: The formula n*p – n + 1, where p is Wieferich prime and n is integer, n > 1, leads often to semiprimes of the form q*(m*q – m + 1) or of the form q*(m*q + m – 1): : 1093*11 – 10 = 5*2621 and 2621 = 5*655 - 654; : 3511*4 – 3 =
    [Show full text]
  • New Congruences and Finite Difference Equations For
    New Congruences and Finite Difference Equations for Generalized Factorial Functions Maxie D. Schmidt University of Washington Department of Mathematics Padelford Hall Seattle, WA 98195 USA [email protected] Abstract th We use the rationality of the generalized h convergent functions, Convh(α, R; z), to the infinite J-fraction expansions enumerating the generalized factorial product se- quences, pn(α, R)= R(R + α) · · · (R + (n − 1)α), defined in the references to construct new congruences and h-order finite difference equations for generalized factorial func- tions modulo hαt for any primes or odd integers h ≥ 2 and integers 0 ≤ t ≤ h. Special cases of the results we consider within the article include applications to new congru- ences and exact formulas for the α-factorial functions, n!(α). Applications of the new results we consider within the article include new finite sums for the α-factorial func- tions, restatements of classical necessary and sufficient conditions of the primality of special integer subsequences and tuples, and new finite sums for the single and double factorial functions modulo integers h ≥ 2. 1 Notation and other conventions in the article 1.1 Notation and special sequences arXiv:1701.04741v1 [math.CO] 17 Jan 2017 Most of the conventions in the article are consistent with the notation employed within the Concrete Mathematics reference, and the conventions defined in the introduction to the first articles [11, 12]. These conventions include the following particular notational variants: ◮ Extraction of formal power series coefficients. The special notation for formal n k power series coefficient extraction, [z ] k fkz :7→ fn; ◮ Iverson’s convention.
    [Show full text]
  • Numbers 1 to 100
    Numbers 1 to 100 PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Tue, 30 Nov 2010 02:36:24 UTC Contents Articles −1 (number) 1 0 (number) 3 1 (number) 12 2 (number) 17 3 (number) 23 4 (number) 32 5 (number) 42 6 (number) 50 7 (number) 58 8 (number) 73 9 (number) 77 10 (number) 82 11 (number) 88 12 (number) 94 13 (number) 102 14 (number) 107 15 (number) 111 16 (number) 114 17 (number) 118 18 (number) 124 19 (number) 127 20 (number) 132 21 (number) 136 22 (number) 140 23 (number) 144 24 (number) 148 25 (number) 152 26 (number) 155 27 (number) 158 28 (number) 162 29 (number) 165 30 (number) 168 31 (number) 172 32 (number) 175 33 (number) 179 34 (number) 182 35 (number) 185 36 (number) 188 37 (number) 191 38 (number) 193 39 (number) 196 40 (number) 199 41 (number) 204 42 (number) 207 43 (number) 214 44 (number) 217 45 (number) 220 46 (number) 222 47 (number) 225 48 (number) 229 49 (number) 232 50 (number) 235 51 (number) 238 52 (number) 241 53 (number) 243 54 (number) 246 55 (number) 248 56 (number) 251 57 (number) 255 58 (number) 258 59 (number) 260 60 (number) 263 61 (number) 267 62 (number) 270 63 (number) 272 64 (number) 274 66 (number) 277 67 (number) 280 68 (number) 282 69 (number) 284 70 (number) 286 71 (number) 289 72 (number) 292 73 (number) 296 74 (number) 298 75 (number) 301 77 (number) 302 78 (number) 305 79 (number) 307 80 (number) 309 81 (number) 311 82 (number) 313 83 (number) 315 84 (number) 318 85 (number) 320 86 (number) 323 87 (number) 326 88 (number)
    [Show full text]
  • UNSOLVED PROBLEMS in NUMBER THEORY Myung-Hwan Kim
    UNSOLVED PROBLEMS IN NUMBER THEORY Myung-Hwan Kim Department of Mathematics Seoul National University, Seoul 151-742, Korea Two Main Themes in Number Theory : 1. Study on Prime Numbers 2. Study on Diophantine Equations (A Diophantine equation is an equation with integer coefficients involving arbitrary number of variables such that its integral solutions are sought.) Almost all branches of modern number theory stem from these two themes. 1. Prime Numbers It is well known that every positive integer can be uniquely factored into a product of primes. So the prime numbers are the smallest units generating positive integers. 1-1. How many primes are there? Theorem. There are infinitely many primes. • (Euclid’s proof) Suppose there are only finitely many primes, say p ; p ; ; p , then 1 2 ··· n one can deduce an easy contradiction from the number p p p + 1. 1 2 ··· n 1 (Euler’s Proof) = . p:prime p 1 P Primes in Arithmetic Progression (Dirichlet, 1837) Let a; d be relatively prime • positive integers. Then there are infinitely many primes in the arithmetic progression : a; a + d; a + 2d; a + 3d; : ··· 1 Roughly of primes are in the a.p. φ(d) Typeset by -TEX AMS 1 For d 2, let p(a; d) be the smallest prime in the a.p. above and define p(d) = ≥ max p(a; d) 1 a d; gcd(a; d) = 1 . Linnik (1944) proved that p(d) < dL for f j ≤ ≤ g some constant L, called Linnik’s constant, independent of d. Kanold (1963) conjectured L = 2. Chen (1979) proved L 17, which is the best result so far.
    [Show full text]
  • Explicit Bounds for the Sum of Reciprocals of Pseudoprimes and Carmichael Numbers
    1 2 Journal of Integer Sequences, Vol. 20 (2017), 3 Article 17.6.4 47 6 23 11 Explicit Bounds for the Sum of Reciprocals of Pseudoprimes and Carmichael Numbers Jonathan Bayless and Paul Kinlaw Husson University 1 College Circle Bangor, ME 04401 USA [email protected] [email protected] Abstract From a 1956 paper of Erd˝os, we know that the base-two pseudoprimes and the Carmichael numbers both have a convergent sum of reciprocals. We prove that the values of these sums are less than 33 and 28, respectively. 1 Introduction By Fermat’s little theorem, if p is a prime number then for all a Z we have ap a (mod p). However, a number p satisfying this property need not be a∈ prime. For all≡a Z, a base-a Fermat pseudoprime (or briefly, an a-pseudoprime) is a composite number ∈n such that gcd(a,n)=1 and an a (mod n). A Carmichael number is an odd composite number n for which an a (mod≡n) for all integers a, and so is an a-pseudoprime for all a with gcd(a,n)=1. ≡ Let P = 341, 561, 645, 1105,... be the set of 2-pseudoprimes, also called Poulet or 2 { } Sarrus numbers, and let P2(x)= n P2 : n x be the corresponding counting function. Let C = 561, 1105, 1729,... be|{ the∈ set of≤ Carmichael}| numbers and write its counting function as{ C(x) = n C :}n x . Erd˝os [11] proved that for sufficiently large x, we have |{ ∈ ≤ }| P2(x) < x/ exp(c1 log x log log x) p 1 and c log x log log log x C(x) < x/ exp 2 log log x for constants c1,c2 > 0.
    [Show full text]