A toric ideal is an ideal generated by differences of monomials (provided the ideal is a prime ideal). An affine or projective algebraic variety defined by a toric ideal or a homogeneous toric ideal is an affine or projective toric variety, possibly non-normal.
A monomial in , is a product for an tuple of nonnegative integers. An ideal is called a monomial ideal if it is generated by monomials.
Furthermore, an ideal is called a monomial ideal whenever it satisfies any of the following three properties.
is generated by monomials,
If , then , provided that is nonzero.
is torus fixed, i.e, given , then is fixed under the action for all .
Given a monomial ideal , if and only if every monomial ideal term of is a multiple of one the . 
Suppose and that . Then , for some .
For all , we can express each as the sum of monomials, so that can be written as a sum of multiples of the . Hence, will be a sum of multiples of monomial terms for at least one of the .
Conversely, let and let each monomial term in be a multiple of one of the in . Then each monomial term in can be factored from each monomial in . Hence is of the form for some , as a result .
The following illustrates an example of monomial and polynomial ideals.
Let then the polynomial is in I, since each term is a multiple of an element in J, i.e., they can be rewritten as and both in I. However, if , then this polynomial is not in J, since its terms are not multiples of elements in J.
A monomial ideal can be interpreted as a Young diagram. Suppose , then can be interpreted in terms of the minimal monomials generators as , where and . The minimal monomial generators of can be seen as the inner corners of the Young diagram. The minimal generators would determine where we would draw the staircase diagram.
The monomials not in lie inside the staircase, and these monomials form a vector space basis for the quotient ring.
Consider the following example.
Let be a monomial ideal. Then the set of grid points corresponds to the minimal monomial generators in . Then as the figure shows, the pink Young diagram consists of the monomials that are not in . The points in the inner corners of the Young diagram, make us possible to identify the minimal monomials in as seen in the green boxes. Hence, .
A Young diagram and its connection with its monomial ideal.
In general, to any set of grid points, we can associate a Young diagram, so that the monomial ideal is constructed by determining the inner corners that make up the staircase diagram; likewise, given a monomial ideal, we can make up the Young diagram by looking at the and representing them as the inner corners of the Young diagram. The coordinates of the inner corners would represent the powers of the minimal monomials in . Thus, monomial ideals can be described by Young diagrams of partitions.
Moreover, the -action on the set of such that as a vector space over has fixed points corresponding to monomial ideals only, which correspond to partitions of size , which are identify by Young diagrams with boxes.
Consider an ideal , and a fixed monomial ordering. The leading term of a nonzero polynomial , denoted by is the monomial term of maximal order in and the leading term of is .
The ideal of leading terms, denoted by , is the ideal generated by the leading terms of every element in the ideal, that is, .
A Gröbner basis for an ideal is a finite set of generators for whose leading terms generate the ideal of all the leading terms in , i.e., and .
For example, if we choose the lexicographical order on , then , but if . Thus, in general depends of the ordering used.
In addition, monomials are present on Gröbner basis and to define the division algorithm for polynomials with several variables.
Notice that for a monomial ideal , the finite set of generators is a Gröbner basis for . To see this, notice that for any polynomial in the ideal, can be expressed as for . Then the leading term of is a multiple for some . As a result, is generated by the likewise.