Let $R$ be a ring. In two previous articles [12, 14] we studied the homotopy category $𝐊\left(R\text{-}\mathrm{Proj}\right)$ of projective $R$-modules. We produced a set of generators for this category, proved that the category is ${\aleph }_1$-compactly generated for any ring $R$, and showed that it need not always be compactly generated, but is for sufficiently nice $R$. We furthermore analyzed the inclusion $j_{!}^{}:𝐊\left(R\text{-}\mathrm{Proj}\right)\to 𝐊\left(R\text{-}\mathrm{Flat}\right)$ and the orthogonal subcategory $𝒮={𝐊\left(R\text{-}\mathrm{Proj}\right)}^{\perp }$. And we even showed that the inclusion $𝒮\to 𝐊\left(R\text{-}\mathrm{Flat}\right)$ has a right adjoint; this forces some natural map to be...

Let $p$ be an odd prime, and let $a$ be an integer not divisible by $p$. When $m$ is a positive integer with $p\equiv 1(mod2m)$ and $2$ is an $m$th power residue modulo $p$, we determine the value of the product ${\prod }_{k\in R_m\left(p\right)}(1+tan(\pi ak/p))$, where $$R_m\left(p\right)=\{0<k<p:k\in \mathbb{Z}\text{is}\text{an}m\text{th}\text{power}\text{residue}\text{modulo}p\}.$$ In particular, if $p=x^2+64y^2$ with $x,y\in \mathbb{Z}$, then $$\prod _{k\in R_4\left(p\right)}\left(1+tan\pi \frac{ak}{p}\right)={(-1)}^y{(-2)}^{(p-1)/8}.$$

Let $S$ be a numerical semigroup. We say that $h\in \mathbb{N}\setminus S$ is an isolated gap of $S$ if $\{h-1,h+1\}\subseteq S.$ A numerical semigroup without isolated gaps is called a perfect numerical semigroup. Denote by $\mathrm{m}\left(S\right)$ the multiplicity of a numerical semigroup $S$. A covariety is a nonempty family $𝒞$ of numerical semigroups that fulfills the following conditions: there exists the minimum of $𝒞,$ the intersection of two elements of $𝒞$ is again an element of $𝒞$, and $S\setminus \left\{\mathrm{m}\right(S\left)\right\}\in 𝒞$ for all $S\in 𝒞$ such that $S\ne min\left(𝒞\right).$ We prove that the set $𝒫\left(F\right)=\{S:S$ is a perfect numerical semigroup...

Let $\mathbb{N}$ be the set of positive integers and let $s\in \mathbb{N}$. We denote by $d^s$ the arithmetic function given by $d^s\left(n\right)={\left(d\left(n\right)\right)}^s$, where $d\left(n\right)$ is the number of positive divisors of $n$. Moreover, for every $\ell ,m\in \mathbb{N}$ we denote by ${\delta }^{s,\ell ,m}\left(n\right)$ the sequence $$\underset{m\text{-times}}{\underbrace{d^s(d^s(...d^s(d^s\left(n\right)+\ell )+\ell ...)+\ell )}}=\left\{\begin{array}{cc}{d}^s\left(n\right)\hfill & \text{for}m=1,\hfill \\ d^s(d^s\left(n\right)+\ell )\hfill & \text{for}m=2,\hfill \\ d^s(d^s(d^s\left(n\right)+\ell )+\ell )\hfill & \text{for}m=3,\hfill \\ ⋮\hfill \end{array}\right.$$ We present classical and nonclassical notes on the sequence ${\left({\delta }^{s,\ell ,m}\left(n\right)\right)}_{m\ge 1}$, where $\ell$, $n$, $s$ are understood as parameters.

The paper deals with the existence of a Kneser solution of the $n$-th order nonlinear differential inclusion $$\begin{array}{cc}\hfill x^{\left(n\right)}\left(t\right)\in -A_1(t,x\left(t\right),...,x^{(n-1)}\left(t\right))x^{(n-1)}\left(t\right)-...-A_n(t,x\left(t\right),...,& x^{(n-1)}\left(t\right))x\left(t\right)\\ & \text{for}\text{a.a.}t\in [a,\infty ),\end{array}$$ where $a\in (0,\infty )$, and $A_i:[a,\infty )\times {ℝ}^n\to ℝ$, $i=1,...,n,$ are upper-Carathéodory mappings. The derived result is finally illustrated by the third order Kneser problem.

We consider the generic Green conjecture on syzygies of a canonical curve, and particularly the following reformulation thereof: For a smooth projective curve $C$ of genus $g$ in characteristic 0, the condition $\text{Cliff}C>l$ is equivalent to the fact that $K_{g-l^{\text{'}}-2,1}(C,K_C)=0,\forall l^{\text{'}}\le l$. We propose a new approach, which allows up to prove this result for generic curves $C$ of genus $g\left(C\right)$ and gonality $\text{gon(C)}$ in the range $$\frac{g\left(C\right)}{3}+1\le \text{gon(C)}\le \frac{g\left(C\right)}{2}+1.$$

We consider the problem $$\left\{\begin{array}{cc}-\Delta u=u^{\frac{N+2}{N-2}+\lambda }\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u\&gt;0\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u=0\hfill & \text{on}\partial \left(\Omega \setminus \epsilon \omega \right),\hfill \end{array}\right.$$ where $\Omega$ and $\omega$ are smooth bounded domains in ${ℝ}^N$, $N\ge 3$, $\epsilon \&gt;0$ and $\lambda \in ℝ.$ We prove that if the size of the hole $\epsilon$ goes to zero and if, simultaneously, the parameter $\lambda$ goes to zero at the appropriate rate, then the problem has a solution which blows up at the origin.

We investigate the following quasilinear and singular problem, $$\text{t}o2.7cm\left\{\begin{array}{cc}-{\Delta }_{p}u=\frac{\lambda }{u^{\delta }}+u^q\hfill & \text{in}\Omega ;\hfill \\ {u|}_{\partial \Omega }=0,u\&gt;0\hfill & \text{in}\Omega ,\hfill \end{array}\right.\text{t}o2.7cm\text{(P)}$$ where $\Omega$ is an open bounded domain with smooth boundary, $1\&lt;p\&lt;\infty$, $p-1\&lt;q\le p^{*}-1$, $\lambda \&gt;0$, and $0\&lt;\delta \&lt;1$. As usual, $p^{*}=\frac{Np}{N-p}$ if $1\&lt;p\&lt;N$, $p^{*}\in (p,\infty )$ is arbitrarily large if $p=N$, and $p^{*}=\infty$ if $p\&gt;N$. We employ variational methods in order to show the existence of at least two distinct (positive) solutions of problem (P) in $W_0^{1,p}\left(\Omega \right)$. While following an approach due to Ambrosetti-Brezis-Cerami, we need to prove two new results of separate interest: a strong comparison principle...

A graph $G$ is called $\{H_1,H_2,\cdots ,H_k\}$-free if $G$ contains no induced subgraph isomorphic to any graph $H_i$, $1\le i\le k$. We define $${\sigma }_k=min\left\{\sum _{i=1}^{k}d\left(v_i\right):\{v_1,\cdots ,v_k\}\text{is}\text{an}\text{independent}\text{set}\text{of}\text{vertices}\text{in}G\right\}.$$ In this paper, we prove that (1) if $G$ is a connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and ${\sigma }_3\left(G\right)\ge n-1$, then $G$ is traceable, (2) if $G$ is a 2-connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and $|N\left(x_1\right)\cup N\left(x_2\right)|+|N\left(y_1\right)\cup N\left(y_2\right)|\ge n-1$ for any two distinct pairs of non-adjacent vertices $\{x_1,x_2\}$, $\{y_1,y_2\}$ of $G$, then $G$ is traceable, i.e., $G$ has a Hamilton path, where $K_{1,4}+e$ is a graph obtained by joining a pair of non-adjacent vertices in a $K_{1,4}$.

The paper deals with very weak solutions $u\in \theta +W_0^{1,r}\left(\Omega \right)$, $max\{1,p-1\}<r<p<n$, to boundary value problems of the $p$-harmonic equation $$\left\{\begin{array}{cc}-\text{div}\left(\right|\nabla u\left(x\right){|}^{p-2}\nabla u\left(x\right))=0,\hfill & x\in \Omega ,\hfill \\ u\left(x\right)=\theta \left(x\right),\hfill & x\in \partial \Omega .\hfill \end{array}\right.(*)$$ We show that, under the assumption $\theta \in W^{1,q}\left(\Omega \right)$, $q>r$, any very weak solution $u$ to the boundary value problem ($*$) is integrable with $$u\in \left\{\begin{array}{cc}\theta +L_{\mathrm{weak}}^{q^{*}}\left(\Omega \right)\hfill & \text{for}q<n,\hfill \\ \theta +L_{\mathrm{weak}}^{\tau }\left(\Omega \right)\hfill & \text{for}q=n\text{and}\text{any}\tau <\infty ,\hfill \\ \theta +L^{\infty }\left(\Omega \right)\hfill & \text{for}q>n,\hfill \end{array}\right.$$ provided that $r$ is sufficiently close to $p$.

Let $R$ be a commutative ring with an identity different from zero and $n$ be a positive integer. Anderson and Badawi, in their paper on $n$-absorbing ideals, define a proper ideal $I$ of a commutative ring $R$ to be an $n$-absorbing ideal of $R$, if whenever $x_1\cdots x_{n+1}\in I$ for $x_1,...,x_{n+1}\in R$, then there are $n$ of the $x_i$’s whose product is in $I$ and conjecture that ${\omega }_{R\left[X\right]}\left(I\left[X\right]\right)={\omega }_R\left(I\right)$ for any ideal $I$ of an arbitrary ring $R$, where ${\omega }_R\left(I\right)=min\{n:I\text{is}\text{an}n\text{-absorbing}\text{ideal}\text{of}R\}$. In the present paper, we use content formula techniques to prove that their conjecture is true, if one of the following...

We study the existence and nonexistence of positive solutions of the nonlinear equation $$-{\Delta }_{p\left(x\right)}u=\lambda k\left(x\right)u^q\pm h\left(x\right)u^r\text{in}\Omega ,u=0\text{on}\partial \Omega$$ where $\Omega \subset {ℝ}^N$, $N\ge 2$, is a regular bounded open domain in ${ℝ}^N$ and the $p\left(x\right)$-Laplacian $${\Delta }_{p\left(x\right)}u:={\text{div}\left(\right|\nabla u|}^{p\left(x\right)-2}\nabla u)$$ is introduced for a continuous function $p\left(x\right)>1$ defined on $\Omega$. The positive parameter $\lambda$ induces the bifurcation phenomena. The study of the equation (Q) needs generalized Lebesgue and Sobolev spaces. In this paper, under suitable assumptions, we show that some variational methods still work. We use them to prove the existence of positive...

Assume that $\mathrm{\Omega }$, ${\mathrm{\Omega }}^{\prime }$ are planar domains and $f:\mathrm{\Omega }\stackrel{\text{onto}}{\to }{\mathrm{\Omega }}^{\prime }$ is a homeomorphism belonging to Sobolev space $W_{\text{loc}}^{1,1}(\mathrm{\Omega };{ℝ}^2)$ with finite distortion. We prove that if the distortion function $K_f$ of $f$ satisfies the condition , then the distortion function $K_{f^{-1}}$ of $f^{-1}$ belongs to $L_{\text{loc}}^1({\mathrm{\Omega }}^{\prime })$. We show that this result is sharp in sense that the conclusion fails if ${\mathrm{dist}}_{\text{EXP}}(K_f,L^{\mathrm{\infty }})=1$. Moreover, we prove that if the distortion function $K_f$ satisfies the condition ${\mathrm{dist}}_{\text{EXP}}(K_f,L^{\mathrm{\infty }})=\lambda$ for some $\lambda >0$, then $K_{f^{-1}}$ belongs to $L_{\text{loc}}^p({\mathrm{\Omega }}^{\prime })$ for every $p\in (0,\frac{1}{2\lambda })$. As special case of this result we show that if...

The semigroup $S=S\left(M₂{(}_q)\right)$ of subspaces of the algebra $M₂{(}_q)$ of 2 × 2 matrices over a finite field ${}_q$ is studied. The ideal structure of S, the regular -classes of S and the structure of the complex semigroup algebra ℂ[S] are described.