Applying techniques similar to Combinatorial Nullstellensatz we prove a lower estimate of |f(A,B)| for finite subsets A, B of a field, and a polynomial f(x,y) of the form f(x,y) = g(x) + yh(x), where the degree of g is greater than that of h.

We provide a construction of monomial ideals in $R=K[x,y]$ such that $\mu \left(I^2\right)<\mu \left(I\right)$, where $\mu$ denotes the least number of generators. This construction generalizes the main result of S. Eliahou, J. Herzog, M. Mohammadi Saem (2018). Working in the ring $R$, we generalize the definition of a Freiman ideal which was introduced in J. Herzog, G. Zhu (2019) and then we give a complete characterization of such ideals. A particular case of this characterization leads to some further investigations on $\mu \left(I^k\right)$ that generalize some results...

For a simplicial complex $\Delta$ we study the behavior of its $f$- and $h$-triangle under the action of barycentric subdivision. In particular we describe the $f$- and $h$-triangle of its barycentric subdivision $\mathrm{sd}\left(\Delta \right)$. The same has been done for $f$- and $h$-vector of $\mathrm{sd}\left(\Delta \right)$ by F. Brenti, V. Welker (2008). As a consequence we show that if the entries of the $h$-triangle of $\Delta$ are nonnegative, then the entries of the $h$-triangle of $\mathrm{sd}\left(\Delta \right)$ are also nonnegative. We conclude with a few properties of the $h$-triangle of $\mathrm{sd}\left(\Delta \right)$.

Order complex is an important object associated to a partially ordered set. Following a suggestion from V. A. Vassiliev (1994), we investigate an order complex associated to the partially ordered set of nontrivial ideals in a commutative ring with identity. We determine the homotopy type of the geometric realization for the order complex associated to a general commutative ring with identity. We show that this complex is contractible except for semilocal rings with trivial Jacobson radical when...

Let $K$ be a field and $S=K[x_1,...,x_n]$. Let $I$ be a monomial ideal of $S$ and $u_1,...,u_r$ be monomials in $S$. We prove that if $u_1,...,u_r$ form a filter-regular sequence on $S/I$, then $S/I$ is pretty clean if and only if $S/(I,u_1,...,u_r)$ is pretty clean. Also, we show that if $u_1,...,u_r$ form a filter-regular sequence on $S/I$, then Stanley’s conjecture is true for $S/I$ if and only if it is true for $S/(I,u_1,...,u_r)$. Finally, we prove that if $u_1,...,u_r$ is a minimal set of generators for $I$ which form either a $d$-sequence, proper sequence or strong $s$-sequence (with respect to the reverse lexicographic...

Let $G=K_{n_1,n_2,...,n_r}$ be a complete multipartite graph on $\left[n\right]$ with $n>r>1$ and $J_G$ being its binomial edge ideal. It is proved that the Castelnuovo-Mumford regularity $\mathrm{reg}\left(J_G^t\right)$ is $2t+1$ for any positive integer $t$.

Let $(R,𝔪)$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We say $M$ has maximal depth if there is an associated prime $𝔭$ of $M$ such that depth $M=dimR/𝔭$. In this paper we study squarefree monomial ideals which have maximal depth. Edge ideals of cycle graphs, transversal polymatroidal ideals and high powers of connected bipartite graphs with this property are classified.

Let $\Delta$ be a pure simplicial complex on the vertex set $\left[n\right]=\{1,...,n\}$ and $I_{\Delta }$ its Stanley-Reisner ideal in the polynomial ring $S=K[x_1,...,x_n]$. We show that $\Delta$ is a matroid (complete intersection) if and only if $S/I_{\Delta }^{\left(m\right)}$ ($S/I_{\Delta }^m$) is clean for all $m\in \mathbb{N}$ and this is equivalent to saying that $S/I_{\Delta }^{\left(m\right)}$ ($S/I_{\Delta }^m$, respectively) is Cohen-Macaulay for all $m\in \mathbb{N}$. By this result, we show that there exists a monomial ideal $I$ with (pretty) cleanness property while $S/I^m$ or $S/I^{\left(m\right)}$ is not (pretty) clean for all integer $m\ge 3$. If $dim\left(\Delta \right)=1$, we also prove that $S/I_{\Delta }^{\left(2\right)}$ ($S/I_{\Delta }^2$) is clean if and only if $S/I_{\Delta }^{\left(2\right)}$ ($S/I_{\Delta }^2$,...

Let $I$ be an ideal in a commutative Noetherian ring $R$. Then the ideal $I$ has the strong persistence property if and only if $\left(I^{k+1}{:}_{R}I\right)=I^k$ for all $k$, and $I$ has the symbolic strong persistence property if and only if $\left(I^{(k+1)}{:}_R{I}^{\left(1\right)}\right)=I^{\left(k\right)}$ for all $k$, where $I^{\left(k\right)}$ denotes the $k$th symbolic power of $I$. We study the strong persistence property for some classes of monomial ideals. In particular, we present a family of primary monomial ideals failing the strong persistence property. Finally, we show that every square-free monomial ideal has the...