#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
|
|
- Candace Reynolds
- 5 years ago
- Views:
Transcription
1 #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: 6/30/2, Published: 8/8/2 Abstract The urose of this note is to obtain some congruences modulo a ower of a rime involving the truncated hyergeometric series (x) ( x) () 2 a for a and a 2. In the last section, the secial case x /2 is considered.. Introduction In [6], E. Mortenson develoed a general framewor for studying congruences modulo 2 for the truncated hyergeometric series 2F x, x ; tr() (x) ( x) () 2. Here we would lie to resent our investigations about a similar class of finite sums, namely and x( x) 4 F 3 2 x, + x,, 2, 2, 2 x( x) 5 F 4 2 x, + x,,, 2, 2, 2, 2 (x) ( x) ; tr( ) () 2, (x) ( x) ; tr( ) () Mathematics Subject Classification: 33C20, B65, (Primary) 05A0, 05A9 (Secondary)
2 INTEGERS: 2 (202) 2 In order to state our main result we need to introduce the definition of what we call Pochhammer quotient Q (x) (x) ( x) m 2 () 2 [r/] m [ r/] m where is an odd rime, x r/m, 0 < r < m are integers with m rime to, (x) n x(x + ) (x + n ) denotes the Pochhammer symbol, and [a] m is the unique reresentative of a modulo m in {0,,..., m }. Note that the Pochhammer quotient is really a -integral because by the artial-fraction decomosition (x + )() () lim x (x) ( ) (x) x + x + x + m [r/] m (mod ). It is easy to verify that for some articular values of x the quotient Q (x) is connected with the usual Fermat quotient q (x) (x )/ : Q ( 2 ) q ( [/] 2 [ /] 2 6 ) (mod 2 ), Q ( 3 ) Q ( 4 ) Q ( 6 ) q ( [/] 3 [ /] 3 27 ) (mod 2 ), 2 6 q ( [/] 4 [ /] 4 64 ) (mod 2 ), q (mod 2 ). 2 2 [/] 6 [ /] (6 27) where we used one of the equivalent statement of Wolstenholme s theorem, that is a b a b modulo 3 for any rime > 3. Our main goal in this aer is to show the following: if > 3 is a rime then (x) ( x) () 2 (x) ( x) () 2 Q (x) + 2 Q (x) 2 (mod 2 ), 2 2 Q (x) 2 (mod ). The next section contains some reliminary results about certain hyergeometric identities and congruences. We state and rove our main result in the third section.
3 INTEGERS: 2 (202) 3 We conclude the aer by considering the secial case x /2 and by roving that (/2) 2 () 2 2H ( )/2() (mod 3 ) where H n (r) n r is the finite harmonic sum of order n and weight r. 2. Preliminaries The hyergeometric identity resented in the next theorem is nown (see, for examle, equation (2), Ch. 5.2 in [5]). Here we give a simle roof by using the Wilf-Zeilberger (WZ) method. Theorem. For 0 < x < and for any ositive integer n, n n (x) ( x) () 2 Proof. For 0..., n, let n (x) n( x) n () 2 n F (n, ) Then WZ method yields the certificate n x + + () 2 n (x) ( x) (x) n ( x) n () 2 n. 2 (n ) R(n, ) (n + )(x + n)( x + n) with G(n, ) R(n, )F (n, ), such that It is easy to verify by induction that F (n +, ) F (n, ) G(n, + ) G(n, ). n n F (n, ) + G(j, 0) n (F ( +, ) + G(, )). Thus the desired identity follows by noting that G(j, 0) 0 and F (+, )+G(, ). () x + ( + ) 2 (x + )( x + ) 2 (x + )( x + ) x + + x +.
4 INTEGERS: 2 (202) 4 Let B n (x) be the Bernoulli olynomial in x of degree n 0, given by B n (x) n n B x n where B are rational numbers called Bernoulli numbers which are defined recursively as follows: B 0, and n n B 0 for n 2. For the main roerties of B n (x) we will refer to Chater 5 in [3] and to the nice introductory article []. Lemma 2. If > 3 is a rime and x r/m, where 0 < r < m are integers with m rime to, then for any ositive integer a a x + + m x + a [r/] m + jm + [ r/] m + jm 2 3 (a)2 B 3 (x) (mod 3 ), (2) (x) a ( x) a () 2 a (x) (a )( x) (a ) () 2 (a ) a 2 + (x) ( x) () 2 a(a )m2 [r/] m [ r/] m (mod 3 ). (3) Proof. We first show (2). By well-nown roerties of the Bernoulli olynomials a (x + ) ϕ(3 ) B ϕ( 3 )(a + x) B ϕ(3 )(x) ϕ( 3 ) ϕ( 3 ) ϕ( 3 ) ϕ( 3 ) B ϕ(3 ) (x)(a) where ϕ() is the Euler s totient function. Since m n B n (x) B n Z (see [] for a short roof), it follows from the Clausen-von Staudt congruence (. 233 in [3]) that B n (x) B n m n if ( ) divides n and n > 0 otherwise (mod ). Moreover, by Kummer s congruences (. 239 in [3]), if q 0 and 2 r then B q( )+r (x) q( ) + r B r(x) r (mod ).
5 INTEGERS: 2 (202) 5 Because divides the numerator of the fraction x + for 0,..., if and only if x + [r/] m /m, we have that a x + m a a [r/] m + jm (x + ) ϕ(3 ) a B ϕ(3 ) (x) 2 (a)2 B ϕ(3 ) 2(x) a B 2 ( ) (x) 3 (a)2 B 3 (x) (mod 3 ). Finally, since by the symmetry relation B n (x) ( ) n B n ( x), we have that (2) holds. As regards (3), let 0 [r/] m /m x, then (x) a ( x) a (x) (a ) ( x) (a ) (x) ( x) (a ) + x + a(a ) 2 (x + )( (x + )) a(a ) 2 (x + 0 )( (x + 0 )) a(a )m2 [r/] m [ r/] m (mod 3 ). (a ) (x + ) Moreover, by an equivalent statement of Wolstenholme s theorem (see for examle [4]), () a a a (mod 3 ) () (a ) () and the roof of (3) is comlete. The next lemma rovides a owerful tool which will be used in the next section in the roof of the main theorem. Lemma 3. If > 3 is a rime and x r/m, where 0 < r < m are integers with m rime to, then a+ a+ (x) ( x) () 2 (x) a( x) a (x) ( x) () 2 a () 2 a + (mod 2 ). (4) Proof. Since (x) a+ (x + j + a) (x) + a (x) a (mod 2 ) x + j
6 INTEGERS: 2 (202) 6 we have (x) a+ ( x) a+ () 2 a (x) a ( x) a () 2 a+ (x) ( x) () 2 + a x + j + x + j 2 (mod 2 ). + j Hence it suffices to rove that a that is, (x) ( x) () 2 a + x + j + x + j 2 0 (mod 2 ), + j (x) ( x) () 2 By (), the left-hand side becomes (x) j ( x) j () 2 j 2 (x) j ( x) j () 2 j 2 H (2) + j 2 H (2) + 2 j j (x) j ( x) j () 2 j x + j + x + j j j+ (x) j ( x) j () 2 j (x) j ( x) j () 2 j 2H j() j ( j) j j+ (x) ( x) () 2 2H () (mod ). j j (H j() H () + H j ()) j (x) j ( x) j () 2 j 2H j() j (mod ), because H j () H j () (mod ) and H () H (2) 0 (mod ). The roof is now comlete.
7 INTEGERS: 2 (202) 7 3. The Main Theorem Theorem 4. If > 3 is a rime and x r/m, where 0 < r < m are integers with m rime to, then (x) ( x) () 2 (x) ( x) () 2 Q (x) + 2 Q (x) 2 (mod 2 ), (5) 2 2 Q (x) 2 (mod ). (6) Proof. Let S a (b) a+ a+ By () with n and by (2), we obtain where S 0 () S 0 (2) + (x) ( x) () 2 βtm (x) ( x) () 2 β (x) ( x) () 2, and t + [r/] m Moreover by (3) b. x + + x + (mod 2 ). (7) [ r/] m m [r/] m [ r/] m. (x) 2 ( x) 2 () 2 2 β2 4 ( + 2mt) (mod 3 ). and [r/] m + m + [ r/] m + m 3t + 2mt. Hence, by () with n 2 and by (2), we get S 0 () 2 S 0 (2) S () 2 S (2) β 2 + (x) 2( x) 2 () 2 2 β 2 + β2 4 ( + 2mt) m 2 t + 2 x + + 3t + 2mt x + (mod 2 ) (8)
8 INTEGERS: 2 (202) 8 According to Lemma 3, S () β(s 0 () S 0 (2)) (mod 2 ), S (2) β S 0 (2) (mod ), and (7) and (8) yield the linear system S 0 () S 0 (2) βtm (mod 2 ), S 0 () 2 S 0 (2) β S 0 () β S 0 (2) β 2 + β2 4 ( + 2mt)m t + 3t + 2mt (mod 2 ). By substituting the first congruence in the second one, we obtain S 0 (2) + βtm + β βtm β 2 + β2 4 ( + 2mt)m 3t t + + 2mt (mod 2 ), which yields Finally, S 0 (2) 2 βtm 2 2 Q (x) 2 (mod ). S 0 () Q (x) + 2 Q (x) 2 (mod 2 ). We conclude this section by osing a conjecture which extends (6). Conjecture 5. If > 3 is a rime and x r/m, where 0 < r < m are integers with m rime to, then (x) ( x) () Q (x) 2 2 Q (x) 3 (mod 2 ). More conjectures of the same flavor can be found in Section A30 of [0]. 4. The Secial Case x 2 As we already noted, if x 2 then (x) ( x) () 2 (/2)2 ()
9 INTEGERS: 2 (202) 9 Let be an odd rime. Then for 0 n ( )/2 we have that n + j (2 (2j ) 2 ) j (2j )2 2 ( ) 2 4 (2)! ( 4) (2)! 6 (mod 2 ), which means that n n + 2 ( ) ( ) n (mod 2 ). Since divides 2 for n < <, it follows that for any -adic integers a0, a,..., a we have 2 n 2 a 6 n n + ( ) a (mod 2 ). This remar is interesting because the sum on the right-hand side could be easier to study modulo 2. With this urose in mind, we consider Identity 2. in [7]: n ( ) n n + ( z)n. (9) z + z ( + z) n As a first examle, we can give a short roof of (.) in [6]. By multilying (9) by z, and by letting z, we obtain that n n n + ( ) ( ) n which imlies that for any rime > ( ) 2 6 (mod 2 ). For more alications of the above remar see [9], [2] and [4]. Let s (s, s 2,..., s d ) be a vector whose entries are ositive integers then we define the multile harmonic sum for n 0 as H n (s) < 2<< d n s s2 2. s d We call l(s) d and s d i s i its deth and its weight resectively. Theorem 6. For n, r n ( ) n n + r 2 l(s) H n (s). (0) s r d
10 INTEGERS: 2 (202) 0 Proof. Note that (+z) n n! + d times n H n (,,..., )z d, d and n d dz (+z) n (+z) n z +. Then the left-hand side of (0) can be obtained by differentiating (r ) times the identity (9) with resect to z and then by letting z 0: n ( ) n n + r ( )r d r ( z)n (r )! dz r z ( + z) n ( )r d r ( z)n r! dz r ( + z) n. z0 Taing the derivatives we get a formula which involves roducts of multile harmonic sums. This formula can be simlified to the right-hand side of (0) by using the so-called stuffle roduct (see for examle [3]). In the next theorem, we rove two generalizations of (5) and (6) for x /2. Note that the first of these congruences can be considered as a variation of another congruence roved by the author in [2]: for any rime > 3 Theorem 7. For any rime > 3 (/2) () H ( )/2() (mod 3 ). z0 (/2) 2 () 2 (/2) 2 () 2 2H ( )/2() (mod 3 ), 2 2H ( )/2() 2 (mod 2 ). Proof. We will use the same notations as in Theorem 4. For x /2 we have that m t 2. By () with n and by (2), we obtain S 0 () S 0 (2) 2 S 0 (3) + β βtm x + + x + 2β 3 2 B 3 (/2) (mod 3 ). ()
11 INTEGERS: 2 (202) On the other hand, by [4] β B 3 4( + q (2)) B 3 (mod 4 ), and by Raabe s multilication formula B 3 (/2) 2 4 B 3 7 B 3 (mod ). Moreover, by letting n ( )/2 in (0) for r 2, 3, we have that S 0 (2) S 0 (3) n ( ) n n + 2 2H n (2) 4H n (, ) 2 H n () 2 (mod 2 ), n ( ) n n + 3 2H n (3) 4H n (2, ) 4H n (, 2) 8H n (,, ) 4 3 H n() H n(3) (mod 2 ). Finally by [8] H n () 2q (2) + q (2) q (2) B 3 (mod 3 ), H n (3) 2B 3 (mod ). By lugging all of these values in (), after a little maniulation, we easily verify the desired congruence for S 0 (). References [] T. M. Aostol, A rimer on Bernoulli numbers and olynomials, Math. Mag. 8 (2008), [2] H. H. Chan, L. Long and W. Zudilin, A suercongruence motivated by the Legendre family of ellitic curves, Math. Notes 88 (200), [3] K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, Sringer, New Yor, 990. [4] L. Long, Hyergeometric evaluation identities and suercongruences, Pacific J. Math. 249 (20), [5] Y. L. Lue, Mathematical Functions and Their Aroximations, Academic Press, New Yor, 975.
12 INTEGERS: 2 (202) 2 [6] E. Mortenson, Suercongruences between truncated 2 F hyergeometric functions and their Gaussian analogs, Trans. Amer. Math. Soc. 355 (2003), [7] H. Prodinger, Human roofs of identities by Osburn and Schneider, Integers 8 (2008), A0, 8. [8] Z. H. Sun, Congruences concerning Bernoulli numbers and Bernoulli olynomials, Discrete Al. Math. 05 (2000), [9] Z. H. Sun, Congruences concerning Legendre olynomials, Proc. Amer. Math. Soc. 39 (20), [0] Z. W. Sun, Oen conjectures on congruences, rerint arxiv:math.nt/ v59 (20), 88. [] B. Sury, The value of Bernoulli olynomials at rational numbers, Bull. London Math. Soc. 25 (993), [2] R. Tauraso, Congruences involving alternating multile harmonic sum, Electron. J. Combin. 7 (200), R6,. [3] R. Tauraso, New harmonic number identities with alications, Sém. Lothar. Combin., 63 (200), B63g, 8. [4] J. Zhao, Bernoulli numbers, Wolstenholme s theorem, and 5 variations of Lucas theorem, J. Number Theory 23 (2007), 8 26.
Zhi-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 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 informationCONGRUENCES 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 informationNew Multiple Harmonic Sum Identities
New Multiple Harmonic Sum Identities Helmut Prodinger Department of Mathematics University of Stellenbosch 760 Stellenbosch, South Africa hproding@sun.ac.za Roberto Tauraso Dipartimento di Matematica Università
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 informationA p-adic analogue of a formula of Ramanujan
A -adic analogue of a formula of Ramanuan Dermot McCarthy and Robert Osburn Abstract. During his lifetime, Ramanuan rovided many formulae relating binomial sums to secial values of the Gamma function.
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 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 informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationSome generalizations of a supercongruence of van Hamme
Some generalizations of a supercongruence of van Hamme Victor J. W. Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an, Jiangsu 3300, People s Republic of China jwguo@hytc.edu.cn Abstract.
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationON THE SUPERCONGRUENCE CONJECTURES OF VAN HAMME
ON THE SUPERCONGRUENCE CONJECTURES OF VAN HAMME HOLLY SWISHER Abstract In 997, van Hamme develoed adic analogs, for rimes, of several series which relate hyergeometric series to values of the gamma function,
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 informationSuper congruences involving binomial coefficients and new series for famous constants
Tal at the 5th Pacific Rim Conf. on Math. (Stanford Univ., 2010 Super congruences involving binomial coefficients and new series for famous constants Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
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 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 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 informationMAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.
MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a
More informationSUPERCONGRUENCES INVOLVING PRODUCTS OF TWO BINOMIAL COEFFICIENTS
Finite Fields Al. 013, 4 44. SUPERCONGRUENCES INVOLVING PRODUCTS OF TWO BINOMIAL COEFFICIENTS Zhi-Wei Sun Deartent of Matheatics, Nanjing University Nanjing 10093, Peole s Reublic of China E-ail: zwsun@nju.edu.cn
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 informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More informationOhno-type relation for finite multiple zeta values
Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv:1506.00833v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
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 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 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 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 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 informationarxiv: v1 [math.nt] 9 Sep 2015
REPRESENTATION OF INTEGERS BY TERNARY QUADRATIC FORMS: A GEOMETRIC APPROACH GABRIEL DURHAM arxiv:5090590v [mathnt] 9 Se 05 Abstract In957NCAnkenyrovidedanewroofofthethreesuarestheorem using geometry of
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 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 informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
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 informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
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 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 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 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 informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
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 informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
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 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 informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
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 informationInfinitely Many Insolvable Diophantine Equations
ACKNOWLEDGMENT. After this aer was submitted, the author received messages from G. D. Anderson and M. Vuorinen that concerned [10] and informed him about references [1] [7]. He is leased to thank them
More informationCongruences modulo 3 for two interesting partitions arising from two theta function identities
Note di Matematica ISSN 113-53, e-issn 1590-093 Note Mat. 3 01 no., 1 7. doi:10.185/i1590093v3n1 Congruences modulo 3 for two interesting artitions arising from two theta function identities Kuwali Das
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 informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
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 informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
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 informationQuadratic Reciprocity
Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has
More informationNOTES ON RAMANUJAN'S SINGULAR MODULI. Bruce C. Berndt and Heng Huat Chan. 1. Introduction
NOTES ON RAMANUJAN'S SINGULAR MODULI Bruce C. Berndt Heng Huat Chan 1. Introduction Singular moduli arise in the calculation of class invariants, so we rst dene the class invariants of Ramanujan Weber.
More informationARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER
#A43 INTEGERS 17 (2017) ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.edu
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 informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
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 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 informationPARTITIONS AND (2k + 1) CORES. 1. Introduction
PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007
More informationChapter 2 Arithmetic Functions and Dirichlet Series.
Chater 2 Arithmetic Functions and Dirichlet Series. [4 lectures] Definition 2.1 An arithmetic function is any function f : N C. Examles 1) The divisor function d (n) (often denoted τ (n)) is the number
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 informationRINGS OF INTEGERS WITHOUT A POWER BASIS
RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We
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 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 informationLittle q-legendre polynomials and irrationality of certain Lambert series
Little -Legendre olynomials and irrationality of certain Lambert series arxiv:math/0087v [math.ca 23 Jan 200 Walter Van Assche Katholiee Universiteit Leuven and Georgia Institute of Technology June 8,
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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
More informationGlobal Behavior of a Higher Order Rational Difference Equation
International Journal of Difference Euations ISSN 0973-6069, Volume 10, Number 1,. 1 11 (2015) htt://camus.mst.edu/ijde Global Behavior of a Higher Order Rational Difference Euation Raafat Abo-Zeid The
More informationA supersingular congruence for modular forms
ACTA ARITHMETICA LXXXVI.1 (1998) A suersingular congruence for modular forms by Andrew Baker (Glasgow) Introduction. In [6], Gross and Landweber roved the following suersingular congruence in the ring
More informationarxiv: v1 [math.nt] 18 Dec 2018
SOME NUMERIC HYPERGEOMETRIC SUPERCONGRUENCES LING LONG arxiv:8.00v [math.nt 8 Dec 08 Abstract. In this article, we list a few hyergeometric suercongruence conjectures based on two evaluation formulas of
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 informationMAS 4203 Number Theory. M. Yotov
MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment
More informationOn the Solutions of the Equation x + Ax = B in with Coefficients from 3
Alied Mathematics 14 5 5-46 Published Online January 14 (htt://wwwscirorg/ournal/am) htt://ddoiorg/146/am14515 On the Solutions of the Equation + A = B in with Coefficients from I M Rihsiboev 1 A Kh Khudoyberdiyev
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 information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More informationFactor Rings and their decompositions in the Eisenstein integers Ring Z [ω]
Armenian Journal of Mathematics Volume 5, Number 1, 013, 58 68 Factor Rings and their decomositions in the Eisenstein integers Ring Z [ω] Manouchehr Misaghian Deartment of Mathematics, Prairie View A&M
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 informationQUADRATIC RESIDUES AND DIFFERENCE SETS
QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More information#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS
#A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom
More informationCONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS
CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS HANNAH LARSON AND GEOFFREY SMITH Abstract. In their work, Serre and Swinnerton-Dyer study the congruence roerties of the Fourier coefficients
More informationJEAN-MARIE DE KONINCK AND IMRE KÁTAI
BULLETIN OF THE HELLENIC MATHEMATICAL SOCIETY Volume 6, 207 ( 0) ON THE DISTRIBUTION OF THE DIFFERENCE OF SOME ARITHMETIC FUNCTIONS JEAN-MARIE DE KONINCK AND IMRE KÁTAI Abstract. Let ϕ stand for the Euler
More informationA FINITE FIELD HYPERGEOMETRIC FUNCTION ASSOCIATED TO EIGENVALUES OF A SIEGEL EIGENFORM. DERMOT McCARTHY AND MATTHEW A. PAPANIKOLAS
A FINITE FIELD HYPERGEOMETRIC FUNCTION ASSOCIATED TO EIGENVALUES OF A SIEGEL EIGENFORM DERMOT McCARTHY AND MATTHEW A. PAPANIKOLAS Abstract. Although links between values of finite field hyergeometric functions
More informationMultiplicative group law on the folium of Descartes
Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of
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 informationLECTURE 10: JACOBI SYMBOL
LECTURE 0: JACOBI SYMBOL The Jcobi symbol We wish to generlise the Legendre symbol to ccomodte comosite moduli Definition Let be n odd ositive integer, nd suose tht s, where the i re rime numbers not necessrily
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 informationA P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME
A P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME ERIC MORTENSON Abstract. In this paper we prove a p-adic supercongruence conjecture of van Hamme by placing it in the context of the Beuers-lie supercongruences
More informationA generalization of Scholz s reciprocity law
Journal de Théorie des Nombres de Bordeaux 19 007, 583 59 A generalization of Scholz s recirocity law ar Mark BUDDEN, Jeremiah EISENMENGER et Jonathan KISH Résumé. Nous donnons une généralisation de la
More informationResearch Article New Mixed Exponential Sums and Their Application
Hindawi Publishing Cororation Alied Mathematics, Article ID 51053, ages htt://dx.doi.org/10.1155/01/51053 Research Article New Mixed Exonential Sums and Their Alication Yu Zhan 1 and Xiaoxue Li 1 DeartmentofScience,HetaoCollege,Bayannur015000,China
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 informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.
More informationDistribution of Matrices with Restricted Entries over Finite Fields
Distribution of Matrices with Restricted Entries over Finite Fields Omran Ahmadi Deartment of Electrical and Comuter Engineering University of Toronto, Toronto, ON M5S 3G4, Canada oahmadid@comm.utoronto.ca
More informationACONJECTUREOFEVANS ON SUMS OF KLOOSTERMAN SUMS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 9, Setember 010, Pages 307 3056 S 000-9939(101086-9 Article electronically ublished on May, 010 ACONJECTUREOFEVANS ON SUMS OF KLOOSTERMAN
More informationThe Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun
The Fibonacci Quarterly 44006, no., 11-130. 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 E-mail: zhsun@hytc.edu.cn
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 informationA SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS
A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS ANDREW BAKER Abstract. Let > 3 be a rime. In the ring of modular forms with q-exansions defined over Z (), the Eisenstein function E +1 is shown to satisfy
More informationERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION
ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION JOSEPH H. SILVERMAN Acknowledgements Page vii Thanks to the following eole who have sent me comments and corrections
More informationarxiv: v5 [math.nt] 6 Dec 2012
Lerch Quotients, Lerch Primes, Fermat-Wilson Quotients, and the Wieferich-non-Wilson Primes 2, 3, 14771 arxiv:1110.3113v5 [math.nt] 6 Dec 2012 Jonathan Sondow 209 West 97th Street, New York, NY 10025 e-mail:
More information