MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $K$ be an algebraically closed field and $K[\underline{x}]$ its ring of polynomials in $n$ variables $x_1,\cdots, x_n$. Let $J\leq K[\underline{x}]$ be an ideal such that there are no monomials in $J$. Is there any characterization on a finite set of generators (probably a reduced Gröbner base) $G$ of $J$?

To rephrase my question, Is there a way to know when an ideal in $K[\underline{x}]$ has no monomials by just looking at a set of finitely many generators?

share|cite|improve this question
Let's think about the inverse: $J$ contains some monomial iff $J$ contains some power of $\langle \prod_{i=1}^n x_i \rangle$, iff $\sqrt{J}$ contains $\langle \prod_{i=1}^n x_i \rangle$, iff $V(J)$ is contained in $V(\langle \prod_{i=1}^n x_i \rangle) =$ the union of the coordinate hyperplanes. I don't suppose your $J$ is a prime ideal... – Allen Knutson May 11 '11 at 3:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.