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

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

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

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

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

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.

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

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 $𝒱$ be a fixed algebraic variety defined by $m$ polynomials in $n$ variables with integer coefficients. We show that there exists a constant $C\left(𝒱\right)$ such that for almost all primes $p$ for all but at most $C\left(𝒱\right)$ points on the reduction of $𝒱$ modulo $p$ at least one of the components has a large multiplicative order. This generalises several previous results and is a step towards a conjecture of B. Poonen.

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 $d$ be an odd square-free integer, $m\ge 3$ any integer and $L_{m,d}:=\mathbb{Q}({\zeta }_{2^m},\sqrt{d})$. In this paper, we shall determine all the fields $L_{m,d}$ having an odd class number. Furthermore, using the cyclotomic ${\mathbb{Z}}_2$-extensions of some number fields, we compute the rank of the $2$-class group of $L_{m,d}$ whenever the prime divisors of $d$ are congruent to $3$ or $5(mod8)$.

For an algebraic number field $K$ with $3$-class group ${\mathrm{Cl}}_3\left(K\right)$ of type $(3,3)$, the structure of the $3$-class groups ${\mathrm{Cl}}_3\left(N_i\right)$ of the four unramified cyclic cubic extension fields $N_i$, $1\le i\le 4$, of $K$ is calculated with the aid of presentations for the metabelian Galois group ${\mathrm{G}}_3^2\left(K\right)=\mathrm{Gal}\left({\mathrm{F}}_3^2\left(K\right)\right|K)$ of the second Hilbert $3$-class field ${\mathrm{F}}_3^2\left(K\right)$ of $K$. In the case of a quadratic base field $K=\mathbb{Q}\left(\sqrt{D}\right)$ it is shown that the structure of the $3$-class groups of the four $S_3$-fields $N_1,...,N_4$ frequently determines the type of principalization of the $3$-class group of $K$ in $N_1,...,N_4$. This...

By Descartes’ rule of signs, a real degree $d$ polynomial $P$ with all nonvanishing coefficients with $c$ sign changes and $p$ sign preservations in the sequence of its coefficients ($c+p=d$) has $\mathrm{pos}\le c$ positive and $\neg \le p$ negative roots, where $\mathrm{pos}\equiv c(mod2)$ and $\neg \equiv p(mod2)$. For $1\le d\le 3$, for every possible choice of the sequence of signs of coefficients of $P$ (called sign pattern) and for every pair $(\mathrm{pos},\mathrm{neg})$ satisfying these conditions there exists a polynomial $P$ with exactly $\mathrm{pos}$ positive and exactly $\neg$ negative roots (all of them simple). For $d\ge 4$...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{{|}^p)}^{1/p}$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...