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

We show that the intersection of the images of two polynomial maps on a given interval is sparse. More precisely, we prove the following. Let $f\left(x\right),g\left(x\right){\in }_p\left[x\right]$ be polynomials of degrees d and e with d ≥ e ≥ 2. Suppose M ∈ ℤ satisfies $p^{1/E(1+\kappa /(1-\kappa )}>M>p^{\epsilon }$, where E = e(e+1)/2 and κ = (1/d - 1/d²) (E-1)/E + ε. Assume f(x)-g(y) is absolutely irreducible. Then $\left|f\left([0,M]\right)\cap g\left([0,M]\right)\right|\lesssim M^{1-\epsilon }$.

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 ${\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.

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

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

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 minimal nontrivial endomorphism monoids $M=\mathrm{End}\mathrm{Con}(A,F)$ of congruence lattices of algebras $(A,F)$ defined on a finite set $A$ are described. They correspond (via the Galois connection $\mathrm{End}$-$\mathrm{Con}$) to the maximal nontrivial congruence lattices $\mathrm{Con}(A,F)$ investigated and characterized by the authors in previous papers. Analogous results are provided for endomorphism monoids of quasiorder lattices $\mathrm{Quord}(A,F)$.

Following G. Grätzer and E. Knapp (2007), a slim planar semimodular lattice, SPS lattice for short, is a finite planar semimodular lattice having no $M_3$ as a sublattice. An SPS lattice is a slim rectangular lattice if it has exactly two doubly irreducible elements and these two elements are complements of each other. A finite poset $P$ is said to be JConSPS-representable if there is an SPS lattice $L$ such that $P$ is isomorphic to the poset $\mathrm{J}\left(\mathrm{Con}L\right)$ of join-irreducible congruences of $L$. We prove that...

A ring $R$ is called a right $\mathrm{PS}$-ring if its socle, $\mathrm{Soc}\left(R_R\right)$, is projective. Nicholson and Watters have shown that if $R$ is a right $\mathrm{PS}$-ring, then so are the polynomial ring $R\left[x\right]$ and power series ring $R\left[\right[x\left]\right]$. In this paper, it is proved that, under suitable conditions, if $R$ has a (flat) projective socle, then so does the skew inverse power series ring $R\left[[x^{-1};\alpha ,\delta ]\right]$ and the skew polynomial ring $R[x;\alpha ,\delta ]$, where $R$ is an associative ring equipped with an automorphism $\alpha$ and an $\alpha$-derivation $\delta$. Our results extend and unify many existing...

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

In this note, for a ring endomorphism $\alpha$ and an $\alpha$-derivation $\delta$ of a ring $R$, the notion of weakened $(\alpha ,\delta )$-skew Armendariz rings is introduced as a generalization of $\alpha$-rigid rings and weak Armendariz rings. It is proved that $R$ is a weakened $(\alpha ,\delta )$-skew Armendariz ring if and only if $T_n\left(R\right)$ is weakened $(\overline{\alpha },\overline{\delta })$-skew Armendariz if and only if $R\left[x\right]/\left(x^n\right)$ is weakened $(\overline{\alpha },\overline{\delta })$-skew Armendariz ring for any positive integer $n$.

Let $R$ and $S$ be commutative rings with unity, $f:R\to S$ a ring homomorphism and $J$ an ideal of $S$. Then the subring $R{\bowtie }^{f}J:=\{(a,f\left(a\right)+j)\mid a\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of $R$ with $S$ along $J$ with respect to $f$. In this paper, we determine when $R{\bowtie }^{f}J$ is a (generalized) filter ring.

Let ${\sigma }_A\left(n\right)=\left|(a,a^{\text{'}})\in A²:a+a^{\text{'}}=n\right|$, where n ∈ N and A is a subset of N. Erdős and Turán conjectured that for any basis A of order 2 of N, ${\sigma }_A\left(n\right)$ is unbounded. In 1990, Imre Z. Ruzsa constructed a basis A of order 2 of N for which ${\sigma }_A\left(n\right)$ is bounded in the square mean. In this paper, we show that there exists a positive integer m₀ such that, for any integer m ≥ m₀, we have a set A ⊂ Zₘ such that A + A = Zₘ and ${\sigma }_A\left(n̅\right)\le 768$ for all n̅ ∈ Zₘ.