Use this tag for question involving monomial ideals in polynomial rings of several variables over a commutative ring. This tag should be used together with the tag of commutative algebra.
In commutative algebra, a monomial ideal is an ideal generated by some monomials in a multivariate polynomial ring over a commutative ring. In other words, given a commutative ring $R$, an ideal $I$ of $R[X_1,\ldots, X_n]$ is called a monomial ideal if $I$ can be generated by monomials in $X_1\ldots, X_n$.
Monomial ideals form an important link between commutative algebra and combinatorics.
