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, \ldots, x_n]$$ having a finite generating set comprising only monomials.