The Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun
|
|
- Victoria Carroll
- 5 years ago
- Views:
Transcription
1 The Fibonacci Quarterly 44006, no., PRIMALITY TESTS FOR NUMBERS OF THE FORM k m ± 1 Zhi-Hong Sun eartment of Mathematics, Huaiyin Teachers College, Huaian, Jiangsu 3001, P.R. China zhsun@hytc.edu.cn Homeage: htt:// Abstract. Let k, m Z, m, 0 < k < m and - k. In the aer we give a general rimality criterion for numbers of the form k m ± 1, which can be viewed as a generalization of the Lucas-Lehmer test for Mersenne rimes. In articular, for k = 3, 9 we obtain exlicit rimality tests, which are simler than current known results. We also give a new rimality test for Fermat numbers and criteria for 9 4n+3 ± 1, 3 0n+6 ± 1 or 3 36n+6 ± 1 to be twin rimes. 1. Introduction. For nonnegative integers n, the numbers F n = n +1 are called the Fermat numbers. In 1878 Pein showed that F n n 1 is rime if and only if 3 Fn/ mod F n. For rimes, let M = 1. The famous Lucas-Lehmer test states that M is a Mersenne rime if and only if M S, where {S n } is given by S 0 = 4 and S k+1 = Sk k = 0, 1,,.... In [1], [], [6] and [9], W. Borho, W. Bosma, H. Riesel and H.C. Williams extended the above two tests to numbers of the form k m ± 1, where 0 < k < m and k is odd. For examle, we have the following known results. Theorem 1.1 Let = k m + 1 with m, 0 < k < m, k and Z with the Jacobi symbol =. Then is rime if and only if / mod. In articular, if 3 k we may take = 3. Let {S n x} be given by S 0 x = x and S k+1 x = S k x k 0. Then we have Theorem 1. Let = k m 1 with m 3, 0 < k < m and k ±1 mod 6, and let x = + 3 k + 3 k. Then is rime if and only if S m x. Here we oint out that the x in Theorem 1. is also given by x = k/ k r=0 k r k r r r 4 k r. In this aer we rove the following main result. 1.1 For m let = k m ± 1 with 0 < k < m and k odd. If b is an integer such that +b = b =, then is rime if and only if S m k/ k k r r=0 k r r r b k r. As alications of 1.1 we have many new simle rimality criteria for numbers of the form k m ± 1k = 1, 3, 9. Here are some tyical results. 1. For n 1 the Fermat number F n is rime if and only if F n S n. 1
2 1.3 Let m 3 be a ositive integer. If m 0 mod or m, 11 mod 1, then 9 m 1 is comosite. If m 1, 3, 7, 9 mod 1, then 9 m 1 is rime if and only if 9 m 1 S m x, where 778 if m 1, 9 mod 1, x = if m 3 mod 1, if m 7 mod Let n be a nonnegative integer. Then 9 4n+3 1 and 9 4n are twin rimes if and only if 9 4n+3 1 S 4n Throughout this aer we use the following notations: Z the set of integers, N the set of ositive integers, d the Jacobi symbol, m, n the greatest common divisor of m and n, S n x the sequence defined by S 0 x = x and S k+1 x = S k x k 0.. Basic Lemmas. For P, Q Z the Lucas sequences {U n P, Q} and {V n P, Q} are defined by and U 0 P, Q = 0, U 1 P, Q = 1, U n+1 P, Q = P U n P, Q QU n P, Q n 1 V 0 P, Q =, V 1 P, Q = P, V n+1 P, Q = P V n P, Q QV n P, Q n 1. Let = P 4Q. It is well known that U n P, Q = 1 { P + n P n } 0.1 and P + n P n. V n P, Q = +. Set U n = U n P, Q and V n = V n P, Q. From the above one can easily check that From [] we also have V n = P U n QU n = U n+1 P U n..3 U n = U n V n, V n = V n Q n and V n U n = 4Q n..4 If is an odd rime not dividing Q, it is well known that [] U P, Q 0 mod and U P, Q mod.. Let be an odd rime such that Q = 1 and. following stronger congruence see [4] or [9,.8]:. H. Lehmer roved the U /P, Q 0 mod..6 efinition.1 Let P, Q Z, and be an odd rime such that Q. efine r P, Q to be the smallest ositive integer n such that U n P, Q. From [, IV.17] or [9,.87] we know that U m P, Q if and only if r P, Q m. This can also be deduced from [9, 4..9,.81]. Using. and.6 we have
3 Lemma.1. Let P and Q be integers, = P 4Q, and let be an odd rime such that Q. Then r P, Q. Moreover, if Q = 1 and, then r P, Q. From.4 and induction we have Lemma.. Let P, Q Z, Q 0 and n N. Then S n P Q = Q n V np, Q. Lemma.3. Let P, Q Z and n N. Let be an odd rime such that QP 4Q and S n P/ Q 0 mod. Then P 4Q mod n+3+ Q /. Proof. In view of Lemma. we have V np, Q and so U n+1p, Q by.4. From.4 we see that U np, Q. Thus, r P, Q = n+1. This together with Lemma.1 gives the result. Lemma.4. Let P, Q Z and n N, and let > 1 be an odd integer such that, QP 4Q = 1 and S n P/ Q 0 mod. Let α = n + or n + 1 according as Q is a square or not. If < α 1, then is rime. Proof. If is comosite, then has a rime divisor q such that q. Since q and S n P/ Q 0 mod we see that S n P/ Q 0 mod q. It follows from Lemma.3 that q P 4Q q mod n+3+ Q q / and so q n+3+ Q q / 1. Thus, q n+3+ Q q / 1. This contradicts the assumtion. So must be rime. Let [x] denote the greatest integer not exceeding x. Using induction one can easily rove Lemma. [9, 4..36]. Let P, Q Z and n N. Then V n P, Q = [n/] r=0 n n r n r r P n r Q r. 3. The general rimality test for numbers of the form k m ± 1. Lemma 3.1. Let P, Q Z and = P 4Q. Let be an odd rime such that Q. Suose Q = 1 and so c Q mod for some integer c. Then P + c i V P, Q P + c ii V + P, Q P Proof. For b, c Z it is clear that 1 c mod, c mod. b ± b 4bc b c ± b c 4c = b. 3
4 Thus, alying. we see that V n b, bc = b n V n b c, c. 3.1 Hence, if is an odd rime such that b 4bc and ε = b 4bc, by [9, 4.3.4] we obtain V ε b c, c = b ε V ε b, bc b ε 1 ε bc = b 1 ε c b c 1 ε mod. Now suose b = P + c and c Q mod. Then b 4bc = P 4c P 4Q mod and so ε =. From the above we see that V ε P, Q V ε b c, c P + c 1 ε c mod. This roves i. From.1 and. we see that V + /P, Q = 1 { P V Q 1 / Thus, by i and.6 we obtain V + /P, Q 1 P Q 1 / P + c /P, Q + 1 c P U /P, Q }. P + c c mod. This roves ii and hence the roof is comlete. Remark 3.1 Lemma 3.1 can also be easily deduced from [7, Lemma 3.4] or [8, Lemma 3.1]. Lemma 3.. Let P, Q Z and be an odd rime with QP 4Q. = 1 and so c Q mod for some integer c. Then Q Suose V 4 P, Q 0 mod if and only if Q + cp Q cp = =. Proof. From Lemma 3.1 we have V P, Q P 1 P +c c c P +c mod if 4Q P = 1, 1+ 4 mod if 4Q P =.
5 Thus, alying.4 we obtain V 4 P, Q = V c 1 c 1+ P, Q + Q 4 V { P +c { P P +c P, Q + c 1 c + c } mod if 4Q P = 1, + c c } mod if 4Q P =. Since P 4Q and c Q mod we see that P P +c c c mod. Hence, V 4 This roves the lemma. P, Q 4Q P P + c = 1 and Q + cp Q cp = =. Lemma 3.3. Suose P, Q, k, n Z with k, n 0. Then V kn P, Q = V n V k P, Q, Q k. Proof. Set V m = V m P, Q. From [9, 4..8] we know that c = V r+k = V k V r Q k V r k and so V km+1 = V k V km Q k V km. Now we rove the result by induction on n. Clearly the result is true for n = 0, 1. Suose the result holds for 1 n m. By the above and the inductive hyothesis we have V km+1 = V k V m V k, Q k Q k V m V k, Q k = V m+1 V k, Q k. So the result holds for n = m + 1. Hence, the lemma is roved by induction. Theorem 3.1. For m {, 3, 4,... } let = k m ± 1 with 0 < k < m and k odd. If b, c Z,, c = 1 and c+b = c b = c, then is rime if and only if S m x, where x = c k V k b, c = k/ r=0 r b/c k r. Proof. Set U n = U n b, c and V n = V n b, c. From Lemmas 3.3,. and. we have k k r k r r V /4 = V k m = V m V k, c k = c k m S m V k /c k = c k m S m x. If is rime, it follows from Lemma 3. that V /4. So S m x 0 mod. Now suose S m x = S m V k /c k 0 mod. From.4 we have Vn b 4c Un = 4c n. Thus, U n, V n 4c n. As, c = 1 and V k m we find, U k m = 1. It is well known that see [] and [9] U r U rn for any ositive integers
6 r and n. Thus, U k U k m and so, U k = 1. Hence,, V k 4ck = 1 by.4. Set P = V k, Q = c k and n = m. If 0 < k < m, then clearly = k m ±1 < m. By Lemma.4, is rime. If = m 1 m ± 1 is comosite, by Lemma.3 we know that any rime divisor q of satisfying q ±1 mod m. It is easy to check that m ± 1. Thus m 1 m + 1. This is imossible. So is rime. This comletes the roof. Taking b = 4 and c = 1 in Theorem 3.1 we obtain the Lucas-Lehmer test for Mersenne rimes and Theorem 1.. From Theorem 3.1 we also have the following criterion for Fermat rimes, which is similar to the Lucas-Lehmer test. Corollary 3.1. For n N the Fermat number F n is rime if and only if F n S n. Proof. Since F n mod 3 and F n 3, mod 7 we see that 3 = F n 7 = and = F n F n 3 F n 7 =. Thus utting = F n, k = 1, b = and c = 1 in Theorem 3.1 we obtain the result. Remark 3. In 1960 K. Inkeri[3] showed that the Fermat number F n n is rime if and only if F n S n The rimality criterion for numbers of the form 9 m ± 1. In the section we use Theorem 3.1 to obtain exlicit rimality criterion for numbers of the form 9 m ± 1. Theorem 4.1. Let m 3 be a ositive integer. If m 0 mod or m, 11 mod 1, then 9 m 1 is comosite. If m 1, 3, 7, 9 mod 1, then 9 m 1 is rime if and only if 9 m 1 S m x, where 778 if m 1, 9 mod 1, x = if m 3 mod 1, if m 7 mod 1. Proof. Clearly the result is true for m = 3. Now assume m 4. If m = n for some integer n, then 9 m 1 = 3 n + 13 n 1 and so 9 m 1 is comosite. If m, 11 mod 1, then 7 9 m 1 since 3 1 mod 7. If m 1, 3, 7, 9 mod 1, once setting 3 if m 1, 9 mod 1, b = if m 3 mod 1, 11 if m 7 mod 1 one can easily check that + b 9 m = 1 From Lemma. we know that b 9 m =. 1 V 9 b, 1 = b 9 9b 7 + 7b 30b 3 + 9b = b 3 3bb 3 3b 3 = x. Alying Theorem 3.1 in the case c = 1 we get the result. In a similar way, alying Theorem 3.1 we have 6
7 Theorem 4.. Let m 3 be a ositive integer. If m 0 mod 4, then 9 m + 1. If m 10 mod 1, then 13 9 m + 1. If m mod 8, then 17 9 m + 1. If m 0 mod 4, m 10 mod 1 and m mod 8, then 9 m + 1 is rime if and only if 9 m + 1 S m x, where x is given by Table 4.1. Table 4.1 m b x = V 9 b, 1 = b 3 3bb 3 3b 3 m 1, 9 mod m mod m 3, 6, 7 mod m 11 mod m 17, 6 mod m 41 mod Remark 4.1 For m 4 let = 9 m + 1 and if m 0,, 3 mod 4, 7 if m 1, 9, 13, 1 mod 4, = 17 if m mod 4, 41 if m 17 mod 4. In [] W. Bosma showed that is rime if and only if / mod. Theorem 4.3. Let n be a ositive integer. Then 9 4n+3 1 and 9 4n are twin rimes if and only if 9 4n+3 1 S 4n Proof. Let b = 3. Then + b = 17 and b = 3. Since 3 9 4n+3 ±1 = 1 and 4 mod 17 we find 9 4n+3 ±1 = + b n+3 ± 1 4 n ± 1 9 4n+3 = ± 1 9 4n+3 = = =, ± b 9 4n+3 ± 1 7 ± 1 9 4n+3 = ± 1 9 4n+3 = ± = ± =. ± 1 Thus, alying Theorem 3.1 we see that 9 4n+3 ±1 is rime if and only if 9 4n+3 ±1 S 4n+1 V 9 b, 1. To see the result, we note that 9 4n+3 + 1, 9 4n+3 1 = 1 and that V 9 b, 1 = b 9 9b 7 + 7b 30b 3 + 9b = b 3 3bb 3 3b 3 = Remark 4. If 9 m ± 1m > 1 are twin rimes, then m 3 mod 4. If m 11 mod 1, then 7 9 m and so 9 m ±1 cannot be twin rimes. If m 3 mod 1, by taking b = 1 and c = 1 in Theorem 3.1 we can rove that 9 m and 9 m +1 are twin rimes if and only if 9 m 1 S m It is known that 9 m 1 and 9 m + 1 are twin rimes when m = 1, 3, 7, 43, 63, 11. o there exist only finitely many such twin rimes? 7
8 . The rimality criterion for numbers of the form 3 m ± 1. Theorem.1. Let m 3 be a ositive integer such that m mod If m 1 mod 4, m 46 mod 7 or m 86 mod 1440, then 3 m 1 is comosite. If m 1 mod 4, m 46 mod 7 and m 86 mod 1440, then 3 m 1 is rime if and only if 3 m 1 S m x, where x is given by Table.1. Table.1 m b x = V 3 b, 1 = b 3 3b m 0, 3 mod m, 6 mod m 10 mod m mod m 70 mod m 14 mod m 86, 74 mod m 110 mod m 1438, 878, 4318, 7198 mod m 78 mod m 8638 mod Proof. If m 1 mod 4, then 3 m ; if m 46 mod 7, then 37 3 m ; if m 86 mod 1440, then 11 3 m. Now suose m 1 mod 4, m 46 mod 7 and m 86 mod Let b be given by Table.1. One can easily check that + b b 3 m = 1 3 m =. 1 Thus the result follows from Theorem 3.1 by taking c = 1 and = 3 m 1. Remark.1 If m N and m 0, mod 3, in 1993 W. Bosma[] showed that 3 m is rime if and only if 3 m 1 S m m. In a similar way, using Theorem 3.1 we can rove Theorem.. Let m 3 be a ositive integer such that 180 m. If m 1 mod 3, then 7 3 m + 1; if m 3 mod 4, then 3 m + 1; if m mod 1, then 13 3 m + 1; if m 144 mod 180, then 61 3 m + 1. If m 1 mod 3, m 3 mod 4, m mod 1 and m 144 mod 180, then 3 m + 1 is rime if and only if 3 m + 1 S m x, where x is given by Table.. Table. m b x = V 3 b, 1 = b 3 3b m mod m 6 mod m 8 mod m 9 mod m 1, 4 mod m 36 mod m 7 mod m 108 mod
9 Theorem.3. Let n be a nonnegative integer. Then 3 0n+6 1 and 3 0n are twin rimes if and only if 3 0n+6 1 S 0n Proof. Let b = 4. Then + b = 44 and b = 40. Since 3 0n+6 ±1 = 1 and mod 11 we find + b n+6 ± 1 6 ± 1 3 0n+6 = ± 1 3 0n+6 = ± = ± =, ± b 3 0n+6 ± 1 1 ± 1 3 0n+6 = ± ± 1 3 0n+6 = ± = ± =. ± 1 Thus, alying Theorem 3.1 in the case b = 4 and c = 1 we see that 3 0n+6 ± 1 is rime if and only if 3 0n+6 ± 1 S 0n+4 V 3 b, 1. To see the result, we note that 3 0n+6 + 1, 3 0n+6 1 = 1 and that V 3 b, 1 = b 3 3b = = In the same way, utting b = 17 and c = 1 in Theorem 3.1 we get Theorem.4. Let n be a nonnegative integer. Then 3 36n+6 1 and 3 36n are twin rimes if and only if 3 36n+6 1 S 36n References k r mod m 1. W. Borho, Grosse Primzahlen und befreundete Zahlen: über den Lucas-test und Thabit Regeln, Mitt. Math. Ges. Hamburg 1983, W. Bosma, Exlicit rimality criteria for h k ± 1, Math. Com , , MR94c: K. Inkeri, Tests for rimality, Ann. Acad. Sci. Fenn. Ser. A , 1-19, MR# H. Lehmer, An extended theory of Lucas functions, Ann. Math , P. Ribenboim, The Book of Prime Number Records, nd ed., Sringer, Berlin, 1989, H. Riesel, Lucasian criteria for the rimality P of N = h n 1, Math. Com , n 7. Z.-H. Sun, Combinatorial sum k and its alications in number theory III, J. Nanjing Univ. Math. Biquarterly 1 199, 90-10, MR96g: , Values of Lucas sequences modulo rimes, Rocky Moun. J. Math , H.C. Williams, Édouard Lucas and Primality Testing, Canadian Mathematical Society Series of Monograhs and Advanced Texts V ol., Wiley, New York, 1998, AMS Classification Numbers: 11Y11,11B39,11B0. 9
CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationA CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN
A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn
More informationA LLT-like test for proving the primality of Fermat numbers.
A LLT-like test for roving the rimality of Fermat numbers. Tony Reix (Tony.Reix@laoste.net) First version: 004, 4th of Setember Udated: 005, 9th of October Revised (Inkeri): 009, 8th of December In 876,
More informationSome sophisticated congruences involving Fibonacci numbers
A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationCONSECUTIVE NUMBERS WITHTHESAMELEGENDRESYMBOL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 130, Number 9, Pages 503 507 S 000-9939(0)06600-5 Article electronically ublished on Aril 17, 00 CONSECUTIVE NUMBERS WITHTHESAMELEGENDRESYMBOL ZHI-HONG
More informationLegendre polynomials and Jacobsthal sums
Legendre olynomials and Jacobsthal sums Zhi-Hong Sun( Huaiyin Normal University( htt://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of ositive integers, [x] the greatest integer
More informationCongruences involving Bernoulli and Euler numbers Zhi-Hong Sun
The aer will aear in Journal of Nuber Theory. Congruences involving Bernoulli Euler nubers Zhi-Hong Sun Deartent of Matheatics, Huaiyin Teachers College, Huaian, Jiangsu 300, PR China Received January
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationAround Prime Numbers And Twin Primes
Theoretical Mathematics & Alications, vol. 3, no. 1, 2013, 211-220 ISSN: 1792-9687 (rint), 1792-9709 (online) Scienress Ltd, 2013 Around Prime Numbers And Twin Primes Ikorong Anouk Gilbert Nemron 1 Abstract
More informationOn the number of representations of n by ax 2 + by(y 1)/2, ax 2 + by(3y 1)/2 and ax(x 1)/2 + by(3y 1)/2
ACTA ARITHMETICA 1471 011 On the number of representations of n by ax + byy 1/, ax + by3y 1/ and axx 1/ + by3y 1/ by Zhi-Hong Sun Huaian 1 Introduction For 3, 4,, the -gonal numbers are given by p n n
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More informationMersenne and Fermat Numbers
NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationA Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve
1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.6. A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve Ömer Küçüksakallı Mathematics Department Middle East
More informationOn the Diophantine Equation x 2 = 4q n 4q m + 9
JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationArithmetic Consequences of Jacobi s Two-Squares Theorem
THE RAMANUJAN JOURNAL 4, 51 57, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Arithmetic Consequences of Jacobi s Two-Squares Theorem MICHAEL D. HIRSCHHORN School of Mathematics,
More informationA FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE
International Journal of Mathematics & Alications Vol 4, No 1, (June 2011), 77-86 A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE ARPAN SAHA AND KARTHIK C S ABSTRACT: In this aer, we rove a few lemmas
More informationAdvances in Applied Mathematics 48(2012), Constructing x 2 for primes p = ax 2 + by 2
Advances in Applied Mathematics 4(01, 106-10 Constructing x for primes p ax + by Zhi-Hong Sun School of Mathematical Sciences, Huaiyin Normal University, Huaian, Jiangsu 3001, P.R. China E-mail: zhihongsun@yahoo.com
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationThen we characterize primes and composite numbers via divisibility
International Journal of Advanced Mathematical Sciences, 2 (1) (2014) 1-7 c Science Publishing Cororation www.scienceubco.com/index.h/ijams doi: 10.14419/ijams.v2i1.1587 Research Paer Then we characterize
More informationDiophantine Equations and Congruences
International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationVerifying Two Conjectures on Generalized Elite Primes
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 12 (2009), Article 09.4.7 Verifying Two Conjectures on Generalized Elite Primes Xiaoqin Li 1 Mathematics Deartment Anhui Normal University Wuhu 241000,
More informationp 4 )(α p ) p 5 p
C O L L O Q U I U M M A T H E M A T I C U M VOL. LXII 99 FASC. I ON THE DIOPHANTINE EQUATION x y = z BY A. R O T K I E W I C Z WARSZAWA It was shown by Terjanian [] that if is an odd rime and x, y, z are
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationA CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, (2002),. 3 7 3 A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO C. COBELI, M. VÂJÂITU and A. ZAHARESCU Abstract. Let be a rime number, J a set of consecutive integers,
More informationGaps in Semigroups. Université Pierre et Marie Curie, Paris 6, Equipe Combinatoire - Case 189, 4 Place Jussieu Paris Cedex 05, France.
Gas in Semigrous J.L. Ramírez Alfonsín Université Pierre et Marie Curie, Paris 6, Equie Combinatoire - Case 189, 4 Place Jussieu Paris 755 Cedex 05, France. Abstract In this aer we investigate the behaviour
More informationMATH 3240Q Introduction to Number Theory Homework 7
As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationPRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro
PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION Predrag Terzic Podgorica, Montenegro pedja.terzic@hotmail.com Abstract. We present deterministic primality test for Fermat numbers, F
More informationTurán s problem and Ramsey numbers for trees. Zhi-Hong Sun 1, Lin-Lin Wang 2 and Yi-Li Wu 3
Colloquium Mathematicum 139(015, no, 73-98 Turán s problem and Ramsey numbers for trees Zhi-Hong Sun 1, Lin-Lin Wang and Yi-Li Wu 3 1 School of Mathematical Sciences, Huaiyin Normal University, Huaian,
More informationOn generalizing happy numbers to fractional base number systems
On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationAlmost All Palindromes Are Composite
Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,
More informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationWhen do Fibonacci invertible classes modulo M form a subgroup?
Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales
More informationLenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania Daniel White
#A10 INTEGERS 1A (01): John Selfrige Memorial Issue SIERPIŃSKI NUMBERS IN IMAGINARY QUADRATIC FIELDS Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.eu
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationPrimality tests for specific classes ofn = k 2 m ±1
Primality tests for specific classes ofn k 2 m ±1 Predrag Terzić Bulevar Pera Ćetkovića 19, Podgorica, Moteegro e-mail: pedja.terzic@hotmail.com arxiv:1506.0444v1 [math.nt] 10 Ju 2015 Abstract: Polyomial
More informationIntroduction to Lucas Sequences
A talk given at Liaoning Normal Univ. (Dec. 14, 017) Introduction to Lucas Sequences Zhi-Wei Sun Nanjing University Nanjing 10093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun Dec. 14, 017
More informationLARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS
LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS HELMUT MAIER AND MICHAEL TH. RASSIAS Abstract. We rove a modification as well as an imrovement
More informationEquivalence of Pepin s and the Lucas-Lehmer Tests
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol., No. 3, 009, (35-360) ISSN 1307-5543 www.ejpam.com Equivalence of Pepin s and the Lucas-Lehmer Tests John H. Jaroma Department of Mathematics & Physics,
More information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
More informationON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES
C O L L O Q U I U M M A T H E M A T I C U M VOL. * 0* NO. * ON THE DISTRIBUTION OF THE PARTIAL SUM OF EULER S TOTIENT FUNCTION IN RESIDUE CLASSES BY YOUNESS LAMZOURI, M. TIP PHAOVIBUL and ALEXANDRU ZAHARESCU
More informationMath 261 Exam 2. November 7, The use of notes and books is NOT allowed.
Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationarxiv:math/ v2 [math.nt] 21 Oct 2004
SUMS OF THE FORM 1/x k 1 + +1/x k n MODULO A PRIME arxiv:math/0403360v2 [math.nt] 21 Oct 2004 Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu
More informationDIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction
DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS INNA ZAKHAREVICH. Introduction It is a well-known fact that there are infinitely many rimes. However, it is less clear how the rimes are distributed
More informationDepartment of Mathematics, Nanjing University Nanjing , People s Republic of China
Proc Amer Math Soc 1382010, no 1, 37 46 SOME CONGRUENCES FOR THE SECOND-ORDER CATALAN NUMBERS Li-Lu Zhao, Hao Pan Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationPRIME NUMBERS YANKI LEKILI
PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers:,2,..., These are constructed using Peano axioms. We will not get into the hilosohical questions related to this and simly assume the
More informationThe sum of squares for primes
Notes on Number Theory and Discrete Mathematics ISSN 30 53 Vol., 05, No. 4, 7 The sum of squares for rimes J. V. Leyendekkers and A. G. Shannon,3 Faculty of Science, The University of Sydney, NSW 006,
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationMaths 4 Number Theory Notes 2012 Chris Smyth, University of Edinburgh ed.ac.uk
Maths 4 Number Theory Notes 202 Chris Smyth, University of Edinburgh c.smyth @ ed.ac.uk 0. Reference books There are no books I know of that contain all the material of the course. however, there are many
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationp-regular functions and congruences for Bernoulli and Euler numbers
p-regular functions and congruences for Bernoulli and Euler numbers Zhi-Hong Sun( Huaiyin Normal University Huaian, Jiangsu 223001, PR China http://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers,
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
Ramanuan J. 40(2016, no. 3, 511-533. CONGRUENCES INVOLVING g n (x n ( n 2 ( 2 0 x Zhi-Wei Sun Deartment of Mathematics, Naning University Naning 210093, Peole s Reublic of China zwsun@nu.edu.cn htt://math.nu.edu.cn/
More informationDedekind sums and continued fractions
ACTA ARITHMETICA LXIII.1 (1993 edekind sums and continued fractions by R. R. Hall (York and M. N. Huxley (Cardiff Let ϱ(t denote the row-of-teeth function ϱ(t = [t] t + 1/2. Let a b c... r be ositive integers.
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More information6 Binary Quadratic forms
6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has
More informationJonathan Sondow 209 West 97th Street, New York, New York
#A34 INTEGERS 11 (2011) REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + k n = (k + 1) n MODULO k AND k 2 Jonathan Sondow 209 West 97th Street, New York, New York jsondow@alumni.rinceton.edu Kieren MacMillan
More informationCONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION
CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer, we rove arithmetic roerties modulo 5 7 satisfied by the function odn which denotes the
More informationInfinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally
Infinitely Many Quadratic Diohantine Equations Solvable Everywhere Locally, But Not Solvable Globally R.A. Mollin Abstract We resent an infinite class of integers 2c, which turn out to be Richaud-Degert
More informationCONGRUENCES SATISFIED BY APÉRY-LIKE NUMBERS
International Journal of Number Theory Vol 6, No 1 (2010 89 97 c World Scientific Publishing Comany DOI: 101142/S1793042110002879 CONGRUENCES SATISFIED BY APÉRY-LIKE NUMBERS HENG HUAT CHAN, SHAUN COOPER
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationTHE DIOPHANTINE EQUATION x 4 +1=Dy 2
MATHEMATICS OF COMPUTATION Volume 66, Number 9, July 997, Pages 347 35 S 005-57897)0085-X THE DIOPHANTINE EQUATION x 4 +=Dy J. H. E. COHN Abstract. An effective method is derived for solving the equation
More informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationAliquot sums of Fibonacci numbers
Aliquot sums of Fibonacci numbers Florian Luca Instituto de Matemáticas Universidad Nacional Autónoma de Méico C.P. 58089, Morelia, Michoacán, Méico fluca@matmor.unam.m Pantelimon Stănică Naval Postgraduate
More informationarxiv:math/ v1 [math.nt] 3 Dec 2004
arxiv:math/0412079v1 [math.nt] 3 Dec 2004 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD Abstract. We consider rimitive divisors of terms of integer
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationBEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO
BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what
More informationCorollary 4.2 (Pepin s Test, 1877). Let F k = 2 2k + 1, the kth Fermat number, where k 1. Then F k is prime iff 3 F k 1
4. Primality testing 4.1. Introduction. Factorisation is concerned with the problem of developing efficient algorithms to express a given positive integer n > 1 as a product of powers of distinct primes.
More information1. Introduction. Let P and Q be non-zero relatively prime integers, α and β (α > β) be the zeros of x 2 P x + Q, and, for n 0, let
C O L L O Q U I U M M A T H E M A T I C U M VOL. 78 1998 NO. 1 SQUARES IN LUCAS SEQUENCES HAVING AN EVEN FIRST PARAMETER BY PAULO R I B E N B O I M (KINGSTON, ONTARIO) AND WAYNE L. M c D A N I E L (ST.
More information1. Introduction. = (2n)! (n N)
Included in: Combinatorial Additive Number Theory: CANT 2011 2012 (edited by M.B. Nathanson, Sringer Proc. in Math. & Stat., Vol. 101, Sringer, New Yor, 2014,. 257 312. ON SUMS RELATED TO CENTRAL BINOMIAL
More informationErnie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract
SUMS OF THE FORM 1/x k 1 + + 1/x k n MODULO A PRIME Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu Abstract Using a sum-roduct result
More informationQuadratic Residues, Quadratic Reciprocity. 2 4 So we may as well start with x 2 a mod p. p 1 1 mod p a 2 ±1 mod p
Lecture 9 Quadratic Residues, Quadratic Recirocity Quadratic Congruence - Consider congruence ax + bx + c 0 mod, with a 0 mod. This can be reduced to x + ax + b 0, if we assume that is odd ( is trivial
More informationDivisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006
Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18
More informationUniversity of Bristol - Explore Bristol Research. Peer reviewed version. Link to published version (if available): 10.
Booker, A. R., & Pomerance, C. (07). Squarefree smooth numbers and Euclidean rime generators. Proceedings of the American Mathematical Society, 45(), 5035-504. htts://doi.org/0.090/roc/3576 Peer reviewed
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationOn arithmetic functions of balancing and Lucas-balancing numbers
MATHEMATICAL COMMUNICATIONS 77 Math. Commun. 24(2019), 77 1 On arithmetic functions of balancing and Lucas-balancing numbers Utkal Keshari Dutta and Prasanta Kumar Ray Department of Mathematics, Sambalpur
More informationPredictive criteria for the representation of primes by binary quadratic forms
ACTA ARITHMETICA LXX3 (1995) Predictive criteria for the representation of primes by binary quadratic forms by Joseph B Muskat (Ramat-Gan), Blair K Spearman (Kelowna, BC) and Kenneth S Williams (Ottawa,
More informationIntroductory Number Theory
Introductory Number Theory Lecture Notes Sudita Mallik May, 208 Contents Introduction. Notation and Terminology.............................2 Prime Numbers.................................. 2 2 Divisibility,
More informationPrimes - Problem Sheet 5 - Solutions
Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices
More information192 VOLUME 55, NUMBER 5
ON THE -CLASS GROUP OF Q F WHERE F IS A PRIME FIBONACCI NUMBER MOHAMMED TAOUS Abstract Let F be a rime Fibonacci number where > Put k Q F and let k 1 be its Hilbert -class field Denote by k the Hilbert
More informationEXPLICIT PRIMALITY CRITERIA FOR h 2k ± 1
mathematics of computation volume 6, number 203 july 993, pages 97-09 EXPLICIT PRIMALITY CRITERIA FOR h 2k ± WIEB BOSMA Dedicated to the memory ofd. H. Lehmer Abstract. Algorithms are described to obtain
More informationJacobi symbols and application to primality
Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime
More informationOn the irreducibility of a polynomial associated with the Strong Factorial Conjecture
On the irreducibility of a olynomial associated with the Strong Factorial Conecture Michael Filaseta Mathematics Deartment University of South Carolina Columbia, SC 29208 USA E-mail: filaseta@math.sc.edu
More informationFermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them.
Fermat s Little Theorem Fermat s little theorem is a statement about primes that nearly characterizes them. Theorem: Let p be prime and a be an integer that is not a multiple of p. Then a p 1 1 (mod p).
More informationNanjing Univ. J. Math. Biquarterly 32(2015), no. 2, NEW SERIES FOR SOME SPECIAL VALUES OF L-FUNCTIONS
Naning Univ. J. Math. Biquarterly 2205, no. 2, 89 28. NEW SERIES FOR SOME SPECIAL VALUES OF L-FUNCTIONS ZHI-WEI SUN Astract. Dirichlet s L-functions are natural extensions of the Riemann zeta function.
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More information