Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{k)/m^k\left(modp²\right)}}$, where h and m are p-adic integers with m ≢ 0 (mod p). For example, we show that if h ≢ 0 (mod p) and $p^a>3$, then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-h/2)}^k\equiv ((1-2h)/\left(p^a\right))(1+h({(4-2/h)}^{p-1}-1))\left(modp²\right)}}$, where (·/·) denotes the Jacobi symbol. Here is another remarkable congruence: If $p^a>3$ then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(p^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-1)}^k\equiv 3^{p-1}(p^a/3)\left(modp²\right)}}$.

Let ℤ be the set of integers, and let (m,n) be the greatest common divisor of integers m and n. Let p be a prime of the form 4k+1 and p = c²+d² with c,d ∈ ℤ, $d=2^{r}d₀$ and c ≡ d₀ ≡ 1 (mod 4). In the paper we determine ${(b+\surd (b²+4^{\alpha })/2)}^{(p-1)/4)}\left(modp\right)$ for p = x²+(b²+4α)y² (b,x,y ∈ ℤ, 2∤b), and ${(2a+\surd 4a²+1)}^{(p-1)/4}\left(modp\right)$ for p = x²+(4a²+1)y² (a,x,y∈ℤ) on the condition that (c,x+d) = 1 or (d₀,x+c) = 1. As applications we obtain the congruence for $U_{(p-1)/4}\left(modp\right)$ and the criterion for $p|U_{(p-1)/8}$ (if p ≡ 1 (mod 8)), where Uₙ is the Lucas sequence given by U₀ = 0, U₁ = 1 and...

Let $K=\mathbb{Q}\left(\alpha \right)$ be a number field generated by a complex root $\alpha$ of a monic irreducible polynomial $f\left(x\right)=x^{18}-m$, $m\ne \mp 1$, is a square free rational integer. We prove that if $m\equiv 2$ or $3(\mathrm{mod}4)$ and $m\neg \equiv \mp 1(\mathrm{mod}9)$, then the number field $K$ is monogenic. If $m\equiv 1(\mathrm{mod}4)$ or $m\equiv 1(\mathrm{mod}9)$, then the number field $K$ is not monogenic.

We derive two identities for multiple basic hyper-geometric series associated with the unitary $U(n+1)$ group. In order to get the two identities, we first present two known $q$-exponential operator identities which were established in our earlier paper. From the two identities and combining them with the two $U(n+1)$ $q$-Chu-Vandermonde summations established by Milne, we arrive at our results. Using the identities obtained in this paper, we give two interesting identities involving binomial...

Let P and Q be nonzero integers. The sequences of generalized Fibonacci and Lucas numbers are defined by U₀ = 0, U₁ = 1 and $U_{n+1}=PUₙ-Q{U}_{n-1}$ for n ≥ 1, and V₀ = 2, V₁ = P and $V_{n+1}=PVₙ-Q{V}_{n-1}$ for n ≥ 1, respectively. In this paper, we assume that P ≥ 1, Q is odd, (P,Q) = 1, Vₘ ≠ 1, and $V_r\ne 1$. We show that there is no integer x such that $Vₙ=V_{r}Vₘx²$ when m ≥ 1 and r is an even integer. Also we completely solve the equation $Vₙ=VₘV_{r}x²$ for m ≥ 1 and r ≥ 1 when Q ≡ 7 (mod 8) and x is an even integer. Then we show that when P ≡ 3 (mod 4) and...

Let $p{̅}_o\left(n\right)$ denote the number of overpartitions of n in which only odd parts are used. Some congruences modulo 3 and powers of 2 for the function $p{̅}_o\left(n\right)$ have been derived by Hirschhorn and Sellers, and Lovejoy and Osburn. In this paper, employing 2-dissections of certain quotients of theta functions due to Ramanujan, we prove some new infinite families of Ramanujan-type congruences for $p{̅}_o\left(n\right)$ modulo 3. For example, we prove that for n, α ≥ 0, $p{̅}_o\left(4^{\alpha }(24n+17)\right)\equiv p{̅}_o\left(4^{\alpha }(24n+23)\right)\equiv 0\left(mod3\right)$.

Melham discovered the Fibonacci identity $F_{n+1}{F}_{n+2}{F}_{n+6}-F{³}_{n+3}=(-1)ⁿFₙ$. He then considered the generalized sequence Wₙ where W₀ = a, W₁ = b, and $Wₙ=p{W}_{n-1}+q{W}_{n-2}$ and a, b, p and q are integers and q ≠ 0. Letting e = pab - qa² - b², he proved the following identity: $W_{n+1}{W}_{n+2}{W}_{n+6}-W{³}_{n+3}=e{q}^{n+1}(p³W_{n+2}-q²W_{n+1})$. There are similar differences of products of Fibonacci numbers, like this one discovered by Fairgrieve and Gould: $FₙF_{n+4}{F}_{n+5}-F{³}_{n+3}={(-1)}^{n+1}{F}_{n+6}$. We prove similar identities. For example, a generalization of Fairgrieve and Gould’s identity is $WₙW_{n+4}{W}_{n+5}-W{³}_{n+3}=eqⁿ(p³W_{n+4}-q{W}_{n+5})$.

For k = 1,2,... let $H_k$ denote the harmonic number ${\sum }_{j=1}^{k}1/j$. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime p > 3 we have ${\sum }_{k=1}^{p-1}\left(H_k\right)/\left(k{2}^k\right)\equiv 7/24p{B}_{p-3}\left(modp²\right)$, ${\sum }_{k=1}^{p-1}\left(H_{k,2}\right)/\left(k{2}^k\right)\equiv -3/8B_{p-3}\left(modp\right)$, and ${\sum }_{k=1}^{p-1}\left(H{²}_{k,2n}\right)/\left(k^{2n}\right)\equiv (\left(\genfrac{}{}{0pt}{}{6n+1}{2n-1}\right)+n)/(6n+1)p{B}_{p-1-6n}\left(modp²\right)$ for any positive integer n < (p-1)/6, where B₀,B₁,B₂,... are Bernoulli numbers, and $H_{k,m}:={\sum }_{j=1}^{k}1/\left(j^m\right)$.

Let $\overline{pp}\left(n\right)$ denote the number of overpartition pairs of n. Bringmann and Lovejoy (2008) proved that for n ≥ 0, $\overline{pp}(3n+2)\equiv 0\left(mod3\right)$. They also proved that there are infinitely many Ramanujan-type congruences modulo every power of odd primes for $\overline{pp}\left(n\right)$. Recently, Chen and Lin (2012) established some Ramanujan-type identities and explicit congruences for $\overline{pp}\left(n\right)$. Furthermore, they also constructed infinite families of congruences for $\overline{pp}\left(n\right)$ modulo 3 and 5, and two congruence relations modulo 9. In this paper, we prove several...

Let $E$ and $f$ be an Eisenstein series and a cusp form, respectively, of the same weight $k\ge 2$ and of the same level $N$, both eigenfunctions of the Hecke operators, and both normalized so that $a_1\left(f\right)=a_1\left(E\right)=1$. The main result we prove is that when $E$ and $f$ are congruent mod a prime $𝔭$ (which we take in this paper to be a prime of $\overline{\mathbb{Q}}$ lying over a rational prime $p\&gt;2$), the algebraic parts of the special values $L(E,\chi ,j)$ and $L(f,\chi ,j)$ satisfy congruences mod the same prime. More explicitly, we prove that, under certain conditions, ...

A positive integer $n$ is called a square-free number if it is not divisible by a perfect square except $1$. Let $p$ be an odd prime. For $n$ with $(n,p)=1$, the smallest positive integer $f$ such that $n^f\equiv 1(modp)$ is called the exponent of $n$ modulo $p$. If the exponent of $n$ modulo $p$ is $p-1$, then $n$ is called a primitive root mod $p$. Let $A\left(n\right)$ be the characteristic function of the square-free primitive roots modulo $p$. In this paper we study the distribution $$\sum _{n\le x}A\left(n\right)A(n+1),$$ and give an asymptotic formula by using properties of character...

The 3x+k function $T_k\left(n\right)$ sends n to (3n+k)/2, resp. n/2, according as n is odd, resp. even, where k ≡ ±1 (mod 6). The map $T_k\left(·\right)$ sends integers to integers; for m ≥1 let n → m mean that m is in the forward orbit of n under iteration of $T_k\left(·\right)$. We consider the generating functions $f_{k,m}\left(z\right)={\sum }_{n>0,n\to m}{z}^n$, which are holomorphic in the unit disk. We give sufficient conditions on (k,m) for the functions $f_{k,m}\left(z\right)$ to have the unit circle |z|=1 as a natural boundary to analytic continuation. For the 3x+1 function these conditions hold...

About Lehmer’s number, many people have studied its various properties, and obtained a series of interesting results. In this paper, we consider a generalized Lehmer problem: Let $p$ be a prime, and let $N(k;p)$ denote the number of all $1\le a_i\le p-1$ such that $a_1{a}_2\cdots a_k\equiv 1modp$ and $2\mid a_i+{\overline{a}}_i+1,$ $i=1,2,\cdots ,k$. The main purpose of this paper is using the analytic method, the estimate for character sums and trigonometric sums to study the asymptotic properties of the counting function $N(k;p),$ and give an interesting asymptotic formula...

We consider Weil sums of binomials of the form $W_{F,d}\left(a\right)={\sum }_{x\in F}\psi (x^d-ax)$, where F is a finite field, ψ: F → ℂ is the canonical additive character, $gcd(d,|F^{\times }\left|\right)=1$, and $a\in F^{\times }$. If we fix F and d, and examine the values of $W_{F,d}\left(a\right)$ as a runs through $F^{\times }$, we always obtain at least three distinct values unless d is degenerate (a power of the characteristic of F modulo $|F^{\times }|$). Choices of F and d for which we obtain only three values are quite rare and desirable in a wide variety of applications. We show that if F is a field of order 3ⁿ with n...

Let E be an interval in the unit interval [0,1). For each x ∈ [0,1) define dₙ(x) ∈ 0,1 by $dₙ\left(x\right):={\sum }_{i=1}^n{1}_E\left(2^{i-1}x\right)\left(mod2\right)$, where t is the fractional part of t. Then x is called a normal number mod 2 with respect to E if $N^{-1}{\sum }_{n=1}^{N}dₙ\left(x\right)$ converges to 1/2. It is shown that for any interval E ≠(1/6, 5/6) a.e. x is a normal number mod 2 with respect to E. For E = (1/6, 5/6) it is proved that $N^{-1}{\sum }_{n=1}^{N}dₙ\left(x\right)$ converges a.e. and the limit equals 1/3 or 2/3 depending on x.

Let $p=1+2^{e+1}q$ be an odd prime number with q an odd integer. Let δ (resp. φ) be an odd (resp. even) Dirichlet character of conductor p and order $2^{e+1}$ (resp. order $d_{\phi }$ dividing q), and let ψₙ be an even character of conductor $p^{n+1}$ and order pⁿ. We put χ = δφψₙ, whose value is contained in $Kₙ=\mathbb{Q}\left({\zeta }_{(p-1)pⁿ}\right)$. It is well known that the Bernoulli number $B_{1,\chi }$ is not zero, which is shown in an analytic way. In the extreme cases $d_{\phi }=1$ and q, we show, in an algebraic and elementary manner, a stronger nonvanishing result: $T{r}_{n/1}\left(\xi B_{1,\chi }\right)\ne 0$ for any...