Return to Question

An ideal $I$ is called cellular if every variable is either a nonzerodivisor modulo $I$ or is nilpotent modulo $I$.

An ideal $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

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

An ideal $I$ is called cellular if every variable is either a nonzerodivisor modulo $I$ or is nilpotent modulo $I$.

An ideal $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=\prod_{i \in I} x_i - \prod_{j \in J} x_j$, for some $I,J \subset \{1, \dots, n\}$ with $I \cap J = \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

An ideal $I$ is called cellular if every variable is either a nonzerodivisor modulo $I$ or is nilpotent modulo $I$.

An ideal $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

An ideal $I$ is called cellular if every variable is either a nonzerodivisor modulo $I$ or is nilpotent modulo $I$.

An ideal $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=\prod_{i \in I} x_i - \prod_{j \in J} x_j$, for some $I,J \subset \{1, \dots, n\}$ with $I \cap J = \emptyset$ and both no empty.

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

Thanks

An ideal $I$ is called cellular if every variable is either a nonzerodivisor modulo $I$ or is nilpotent modulo $I$.

An ideal $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=\prod_{i \in I} x_i - \prod_{j \in J} x_j$, for some $I,J \subset \{1, \dots, n\}$ with $I \cap J = \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