English

On the embedded associated primes of monomial ideals

Commutative Algebra 2022-05-27 v2

Abstract

Let II be a square-free monomial ideal in a polynomial ring R=K[x1,,xn]R=K[x_1,\ldots, x_n] over a field KK, m=(x1,,xn)\mathfrak{m}=(x_1, \ldots, x_n) be the graded maximal ideal of RR, and {u1,,uβ1(I)}\{u_1, \ldots, u_{\beta_1(I)}\} be a maximal independent set of minimal generators of II such that mxiAss(R/(Ixi)t)\mathfrak{m}\setminus x_i \notin \mathrm{Ass}(R/(I\setminus x_i)^t) for all xii=1β1(I)uix_i\mid \prod_{i=1}^{\beta_1(I)}u_i and some positive integer tt, where IxiI\setminus x_i denotes the deletion of II at xix_i and β1(I)\beta_1(I) denotes the maximum cardinality of an independent set in II. In this paper, we prove that if mAss(R/It)\mathfrak{m}\in \mathrm{Ass}(R/I^t), then tβ1(I)+1t\geq \beta_1(I)+1. As an application, we verify that under certain conditions, every unmixed K\"onig ideal is normally torsion-free, and so has the strong persistence property. In addition, we show that every square-free transversal polymatroidal ideal is normally torsion-free. Next, we state some results on the corner-elements of monomial ideals. In particular, we prove that if II is a monomial ideal in a polynomial ring R=K[x1,,xn]R=K[x_1, \ldots, x_n] over a field KK and zz is an ItI^t-corner-element for some positive integer tt such that mxiAss(Ixi)t\mathfrak{m}\setminus x_i \notin \mathrm{Ass}(I\setminus x_i)^t for some 1in1\leq i \leq n, then xix_i divides zz.

Keywords

Cite

@article{arxiv.2106.10999,
  title  = {On the embedded associated primes of monomial ideals},
  author = {Mirsadegh Sayedsadeghi and Mehrdad Nasernejad and Ayesha Asloob Qureshi},
  journal= {arXiv preprint arXiv:2106.10999},
  year   = {2022}
}

Comments

To appear in Rocky Mountain Journal of Mathematics