We address three questions posed by K. Bibak (2020), and generalize some results of K. Bibak, D. N. Lehmer and K. G. Ramanathan on solutions of linear congruences ${\sum }_{i=1}^k{a}_i{x}_i\equiv b(modn)$. In particular, we obtain explicit expressions for the number of solutions, where $x_i$’s are squares modulo $n$. In addition, we obtain expressions for the number of solutions with order restrictions $x_1\ge \cdots \ge x_k$ or with strict order restrictions $x_1>\cdots >x_k$ in some special cases. In these results, the expressions for the number of solutions involve...

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...

What should be assumed about the integral polynomials $f₁\left(x\right),...,f_k\left(x\right)$ in order that the solvability of the congruence $f₁\left(x\right)f₂\left(x\right)\cdots f_k\left(x\right)\equiv 0\left(modp\right)$ for sufficiently large primes p implies the solvability of the equation $f₁\left(x\right)f₂\left(x\right)\cdots f_k\left(x\right)=0$ in integers x? We provide some explicit characterizations for the cases when $f_j\left(x\right)$ are binomials or have cyclic splitting fields.

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)$.

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)}}$.

The topic of the paper are $\Omega$-algebras, where $\Omega$ is a complete lattice. In this research we deal with congruences and homomorphisms. An $\Omega$-algebra is a classical algebra which is not assumed to satisfy particular identities and it is equipped with an $\Omega$-valued equality instead of the ordinary one. Identities are satisfied as lattice theoretic formulas. We introduce $\Omega$-valued congruences, corresponding quotient $\Omega$-algebras and $\Omega$-homomorphisms and we investigate connections among these notions....

Let ${\Phi }_n\left(q\right)$ denote the $n$th cyclotomic polynomial in $q$. Recently, Guo, Schlosser and Zudilin proved that for any integer $n>1$ with $n\equiv 1(mod4)$, $$\sum _{k=0}^{n-1}\frac{{(q^{-1};q^2)}_k^2{(q^{-2};q^4)}_k}{{(q^2;q^2)}_k^2{(q^4;q^4)}_k}{q}^{6k}\equiv 0(mod{\Phi }_n{\left(q\right)}^2),$$ where ${(a;q)}_m=(1-a)(1-aq)\cdots (1-a{q}^{m-1})$. In this note, we give a generalization of the above $q$-congruence to the modulus ${\Phi }_n{\left(q\right)}^3$ case. Meanwhile, we give a corresponding $q$-congruence modulo ${\Phi }_n{\left(q\right)}^2$ for $n\equiv 3(mod4)$. Our proof is based on the ‘creative microscoping’ method, recently developed by Guo and Zudilin, and a ${}_4{\varphi }_3$ summation formula.

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...

An algebraic structure is said to be congruence permutable if its arbitrary congruences $\alpha$ and $\beta$ satisfy the equation $\alpha \circ \beta =\beta \circ \alpha$, where $\circ$ denotes the usual composition of binary relations. To an arbitrary $G$-set $X$ satisfying $G\cap X=\varnothing$, we assign a semigroup $(G,X,0)$ on the base set $G\cup X\cup \left\{0\right\}$ containing a zero element $0\notin G\cup X$, and examine the connection between the congruence permutability of the $G$-set $X$ and the semigroup $(G,X,0)$.

The number of solutions of the congruence $a₁x₁+\cdots +a_k{x}_k\equiv 0\left(modn\right)$ in the box $0\le x_i\le b_i$ is estimated from below in the best possible way, provided for all i,j either $(a_i,n)|(a_j,n)$ or $(a_j,n)|(a_i,n)$ or $n\left|\right[a_i,a_j]$.

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...

We systematically investigate the expressions and congruences for both a one-parameter family $\left\{G_n\left(x\right)\right\}$ as well as a two-parameter family $\left\{G_n(r,m)\right\}$ of sequences.

Consider the linear congruence equation $x_1+...+x_k\equiv b(mod{n}^s)$ for $b\in \mathbb{Z}$, $n,s\in \mathbb{N}$. Let ${(a,b)}_s$ denote the generalized gcd of $a$ and $b$ which is the largest $l^s$ with $l\in \mathbb{N}$ dividing $a$ and $b$ simultaneously. Let $d_1,...,d_{\tau \left(n\right)}$ be all positive divisors of $n$. For each $d_j\mid n$, define ${𝒞}_{j,s}\left(n\right)=\{1\le x\le n^s:{(x,n^s)}_s=d_j^s\}$. K. Bibak et al. (2016) gave a formula using Ramanujan sums for the number of solutions of the above congruence equation with some gcd restrictions on $x_i$. We generalize their result with generalized gcd restrictions on $x_i$ and prove that for the above linear congruence, the...

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\>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, ...

Consider the system $x^2-a{y}^2=b$, $P(x,y)=z^2$, where $P$ is a given integer polynomial. Historically, the integer solutions of such systems have been investigated by many authors using the congruence arguments and the quadratic reciprocity. In this paper, we use Kedlaya’s procedure and the techniques of using congruence arguments with the quadratic reciprocity to investigate the solutions of the Diophantine equation $7X^2+Y^7=Z^2$ if $(X,Y)=(L_n,F_n)$ (or $(X,Y)=(F_n,L_n)$) where $\left\{F_n\right\}$ and $\left\{L_n\right\}$ represent the sequences of Fibonacci numbers and Lucas numbers...

Let $p$ be a fixed odd prime. We combine some properties of quadratic and quartic Diophantine equations with elementary number theory methods to determine all integral points on the elliptic curve $E:y^2=x^3-4p^{2}x$. Further, let $N\left(p\right)$ denote the number of pairs of integral points $(x,\pm y)$ on $E$ with $y>0$. We prove that if $p\ge 17$, then $N\left(p\right)\le 4$ or $1$ depending on whether $p\equiv 1(mod8)$ or $p\equiv -1(mod8)$.