We show that for any given integer $k$ there exist infinitely many consecutive square-free numbers of the type $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$. We also establish an asymptotic formula for $1\le x,y,z\le H$ such that $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$ are square-free. The method we used in this paper is due to Tolev.

Let $k$ be a fixed integer. We study the asymptotic formula of $R(H,r,k)$, which is the number of positive integer solutions $1\le x,y,z\le H$ such that the polynomial $x^2+y^2+z^2+k$ is $r$-free. We obtained the asymptotic formula of $R(H,r,k)$ for all $r\ge 2$. Our result is new even in the case $r=2$. We proved that $R(H,2,k)=c_k{H}^3+O\left(H^{9/4+\epsilon }\right)$, where $c_k>0$ is a constant depending on $k$. This improves upon the error term $O\left(H^{7/3+\epsilon }\right)$ obtained by G.-L. Zhou, Y. Ding (2022).

We consider $k$-free numbers over Beatty sequences. New results are given. In particular, for a fixed irrational number $\alpha >1$ of finite type $\tau <\infty$ and any constant $\epsilon >0$, we can show that $$\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{[\alpha n+\beta ]\in {𝒬}_k}}1-\frac{x}{\zeta \left(k\right)}\ll x^{k/(2k-1)+\epsilon }+x^{1-1/(\tau +1)+\epsilon },$$ where ${𝒬}_k$ is the set of positive $k$-free integers and the implied constant depends only on $\alpha ,$ $\epsilon ,$ $k$ and $\beta .$ This improves previous results. The main new ingredient of our idea is employing double exponential sums of the type $$\sum _{1\le h\le H}\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{n\in {𝒬}_k}}e\left(\vartheta hn\right).$$

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$,$aj ∈ ℂ$,$such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ and L > 0 let ${\kappa }_{\infty }(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|\ge Lma{x}_{1\le j\le n}|a_j|$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that $c_1\surd (n/L)-1\le {\kappa }_{\infty }(n,L)\le c_2\surd (n/L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group ${}_f\subseteq G*H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_f{=p|}_f{:}_f\to G$. A right inverse (section) $G{\to }_f$ of $p_f$ is called a coaction on G. In this paper we study ${}_f$ and the sections of $p_f$. We consider the following topics: the structure of ${}_f$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and...

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

A natural number $n$ is said to be a $(k,r)$-integer if $n=a^{k}b$, where $k>r>1$ and $b$ is not divisible by the $r$th power of any prime. We study the distribution of such $(k,r)$-integers in the Piatetski-Shapiro sequence $\left\{\lfloor n^c\rfloor \right\}$ with $c>1$. As a corollary, we also obtain similar results for semi-$r$-free integers.

We show that there exist infinitely many consecutive square-free numbers of the form $n^2+1$, $n^2+2$. We also establish an asymptotic formula for the number of such square-free pairs when $n$ does not exceed given sufficiently large positive number.

Let $ℐ$ be a coherent subsheaf of a locally free sheaf $𝒪\left(E_0\right)$ and suppose that $ℱ=𝒪\left(E_0\right)/ℐ$ has pure codimension. Starting with a residue current $R$ obtained from a locally free resolution of $ℱ$ we construct a vector-valued Coleff-Herrera current $\mu$ with support on the variety associated to $ℱ$ such that $\phi$ is in $ℐ$ if and only if $\mu \phi =0$. Such a current $\mu$ can also be derived algebraically from a fundamental theorem of Roos about the bidualizing functor, and the relation between these two approaches is discussed....

Let $M(X,𝒜)$ ($M^{*}(X,𝒜)$) be the $f$-ring of all (bounded) real-measurable functions on a $T$-measurable space $(X,𝒜)$, let $M_K(X,𝒜)$ be the family of all $f\in M(X,𝒜)$ such that $\mathrm{coz}\left(f\right)$ is compact, and let $M_{\infty }(X,𝒜)$ be all $f\in M(X,𝒜)$ that $\{x\in X:|f\left(x\right)|\ge \frac{1}{n}\}$ is compact for any $n\in \mathbb{N}$. We introduce realcompact subrings of $M(X,𝒜)$, we show that $M^{*}(X,𝒜)$ is a realcompact subring of $M(X,𝒜)$, and also $M(X,𝒜)$ is a realcompact if and only if $(X,𝒜)$ is a compact measurable space. For every nonzero real Riesz map $\varphi :M(X,𝒜)\to ℝ$, we prove that there is an element $x_0\in X$ such that $\varphi \left(f\right)=f\left(x_0\right)$ for every $f\in M(X,𝒜)$ if $(X,𝒜)$ is a compact measurable space....

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

Let $P$ be a polynomial with integral coefficients. Shapiro showed that if the values of $P$ at infinitely many blocks of consecutive integers are of the form $Q\left(m\right)$, where $Q$ is a polynomial with integral coefficients, then $P\left(x\right)=Q\left(R\right(x\left)\right)$ for some polynomial $R$. In this paper, we show that if the values of $P$ at finitely many blocks of consecutive integers, each greater than a provided bound, are of the form $m^q$ where $q$ is an integer greater than 1, then $P\left(x\right)={\left(R\left(x\right)\right)}^q$ for some polynomial $R\left(x\right)$.

In this paper, we examine a natural question concerning the divisors of the polynomial $x^n-1$: “How often does $x^n-1$ have a divisor of every degree between $1$ and $n$?” In a previous paper, we considered the situation when $x^n-1$ is factored in $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

Let D and ∂D denote the open unit disk and the unit circle of the complex plane, respectively. We denote by ₙ (resp. ${ₙ}^c$) the set of all polynomials of degree at most n with real (resp. complex) coefficients. We define the truncation operators Sₙ for polynomials $Pₙ\in {ₙ}^c$ of the form $Pₙ\left(z\right):={\sum }_{j=0}^n{a}_j{z}_j$, $a_j\in C$, by $Sₙ\left(Pₙ\right)\left(z\right):={\sum }_{j=0}^{n}a{̃}_j{z}_j$, $a{̃}_j:=a_j\left|a_j\right|min|a_j|,1$ (here 0/0 is interpreted as 1). We define the norms of the truncation operators by $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{real}:=su{p}_{Pₙ\in ₙ}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|)$, $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{comp}:=su{p}_{Pₙ\in {ₙ}^c}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|$. Our main theorem establishes the right order of magnitude of the above norms: there is an absolute constant c₁...

It is a well-known fact that modules over a commutative ring in general cannot be classified, and it is also well-known that we have to impose severe restrictions on either the ring or on the class of modules to solve this problem. One of the restrictions on the modules comes from freeness assumptions which have been intensively studied in recent decades. Two interesting, distinct but typical examples are the papers by Blass [1] and Eklof [8], both jointly with Shelah. In the first case...