0
$\begingroup$

When is the quotient ring of a multivariable polynomial ring over a field by a monomial ideal an integral domain?

I am actually trying to show that a monomial ideal is prime by showing the corresponding quotient ring is an integral domain.

$\endgroup$
1
  • $\begingroup$ So since the variables are the only irreducible monomials in a polynomial ring, these are the only possible generators for prime monomial ideals? $\endgroup$ – Sophie Dec 7 '14 at 14:49
1
$\begingroup$

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})$$

$\endgroup$
2
  • $\begingroup$ Can you suggest any references? $\endgroup$ – Sophie Dec 7 '14 at 14:51
  • 2
    $\begingroup$ In fact, the proof is somewhat trivial. Suppose your ideal $I$ is prime and let $m=x_{i_1}\cdots x_{i_k}$ a monomial in it; we want to show that one of the variables appearing in $m$ belongs to $I$. Do this by induction on $k$. $\endgroup$ – Mariano Suárez-Álvarez Dec 11 '14 at 16:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.