Skip to main content
4 of 4
added 118 characters in body
Ella Smith
  • 211
  • 1
  • 3

Cellular and primary binomial ideals

Let $I \subseteq \mathbb{K}[x_1, \dots, x_n]$ be an ideal of a polynomial ring over a field $\mathbb{K}$.

$I$ is called cellular if every variable $x_i$, with $i=1, \dots, n$, is either a nonzerodivisor modulo $I$ or is nilpotent modulo $I$.

$I$ is called primary if whenever $fg \in I$ then or $f \in I$ or $g$ is nilpotent modulo $I$.

Of course, if $I$ is primary $\Rightarrow$ $I$ is cellular.

My question is: consider a binomial ideal $I \subset \mathbb{K}[x_1, \dots, x_n]$, generated by binomials of the form $f_k=\prod_{i \in I_k} x_i - \prod_{j \in J_k} x_j$, for some $I_k,J_k \subset \{1, \dots, n\}$ with $I_k \cap J_k = \emptyset$ and both no empty.

What can I say about $I$ cellular $\Rightarrow$ $I$ primary? Under which hypothesis a cellular binomial ideal is primary?

Thanks

Ella Smith
  • 211
  • 1
  • 3