Monomial ideal

Definition

Let $R$ be a commutative unital ring. A monomial ideal over $R$ is an ideal in a multivariate polynomial ring $R[x_1,x_2,\dots ,x_n]$ having a finite generating set comprising only monomials.