Binomial Coefficients, Catalan Numbers and Lucas Quotients
ZhiWei Sun
DOI: https://doi.org/10.1007/s11425-010-3151-3
2010-01-01
Science China Mathematics
Abstract:Let p be an odd prime and let a,m ∈ ℤ with a > 0 and p ∤ m . In this paper we determine Σ k =0 pa −1 ( 2 k k+d )/ m k mod p 2 for d 0, 1; for example, ∑_k = 0^p^a - 1( [ 2k; k; ])/m^k ≡( m^2 - 4m/p^a ) + ( m^2 - 4m/p^a - 1)u_p - (m^2 - 4m/p) ( p^2 ), where (−) is the Jacobi symbol and u n n ⩾0 is the Lucas sequence given by u 0 = 0, u 1 = 1 and u n +1 = ( m −2) u n − u n − 1 ( n = 1, 2, 3, ...). As an application, we determine ∑_0 < k < p^a ,k ≡ r( p - 1)C_k modulo p 2 for any integer r , where C k denotes the Catalan number ( k 2 k /( k +1). We also pose some related conjectures.