I know that a monomial ideal in $k[x_1, \ldots, x_n]$, with $k$ a field, is prime if and only if is of the following type $$I = (x_{i_1}, \ldots ,x_{i_k}).$$
Is there a similar criterion to establish if a monomial ideal is primary ?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityI know that a monomial ideal in $k[x_1, \ldots, x_n]$, with $k$ a field, is prime if and only if is of the following type $$I = (x_{i_1}, \ldots ,x_{i_k}).$$
Is there a similar criterion to establish if a monomial ideal is primary ?
The prime monomial ideals are precisely those generated by subsets of the variables, i.e. of the form $(x_{i_1}, \ldots, x_{i_m})$, where $\{i_1, \ldots, i_m\} \subseteq \{1, \ldots, n\}$.
If $I$ is a primary ideal, then $\sqrt{I}$ is prime, so there is a subset $\{i_1, \ldots, i_m\} \subseteq \{1, \ldots, n\}$ such that $\sqrt{I} = (x_{i_1}, \ldots, x_{i_m})$. Thus some power of each of the $x_{i_j}$ is in $I$, say $x_{i_j}^{a_j} \in I$. Moreover, since $I$ is $(x_{i_1}, \ldots, x_{i_m})$-primary, the only variables involved in generators of $I$ must be the $x_{i_j}$. Thus $I = (x_{i_1}^{a_1}, \ldots, x_{i_m}^{a_m}, m_1, \ldots, m_k)$ where $m_1, \ldots, m_k$ only involve variables among $x_{i_1}, \ldots, x_{i_m}$.
Thus, a monomial ideal $I \subseteq k[x_1, \ldots, x_n]$ is primary iff every variable appearing in (a minimal generator of) $I$ has some power in $I$.
However, this does not mean that $I$ is generated by powers of variables: e.g. $(x,y)^2 = (x^2, xy, y^2) \subseteq k[x,y]$ is primary (being a power of a maximal ideal), but is not generated by powers of variables.