How do i computed the Groebner Basis for this ideal? I have the ideal 
$$\begin{split}I_{k} &=
\langle\,\, x_{1}^{3}-1,\\
&\qquad x_{1}^{2}+x_{1}x_{2}+x_{2}^{2},\\
&\qquad x_{1}^{2}+x_{1}x_{3}+x_{3}^{2},\\
&\qquad x_{2}^{3}-1,\\
&\qquad x_{2}^{2}+x_{2}x_{3}+x_{3}^{2},\\
&\qquad x_{3}^{3}-1 \rangle \end{split}$$ with lex $x_{1} > x_{2} > x_{3}$.
I'm unsure how i compute the Groebner Basis for this, do i take the S polynomial for the 1st and 2nd EQ and divide the remainder by just equations 1 & 2 or do i divide the remainder by all the equations within the ideal?
How do i know which polynomials i am able to remove from the ideal? I've been trying to figure it out all day and all the examples i have seen only deal with 2 polynomials in the ideal?
Thanks for you help in advance. 
 A: In general, what you should do is to take the $S$-polynomial for pairs and compute the remainder modulo all of the other polynomials.  
For example, for the first two polynomials, $x_1^3-1$ and $x_1^2+x_1x_2+x_2^2$, compute the $S$ polynomial by multiplying to make the lcm of the leading coefficients:
$$
1(x_1^3-1)-x_1(x_1^2+x_1x_2+x_2^2)=-x_1^2x_2-x_1x_2^2-1.
$$
Then, compute the remainder of this polynomial under division by all the polynomials in the generating set.  The leading term of this polynomial $-x_1^2x_2$ is not divisible by the leading term $x_1^3$ of the first polynomial, but it is divisible by the leading term of the second polynomial, $x_1^2$.  In fact, we can compute
$$
(-x_1^2x_2-x_1x_2^2-1)+x_2(x_1^2+x_1x_2+x_2^2)=x_2^3-1.
$$
The leading term of this new polynomial is $x_2^3$ which is not divisible by the leading terms of the first three polynomials, but it is divisible by the fourth polynomial, and you get
$$
x_2^3-1-(x_2^3-1)=0.
$$
Therefore, the remainder of this $S$-polynomial under division is zero and there's nothing to add to the set.  Now, you keep moving on through the pairs of polynomials.
Note that if you get that the leading term is not divisible by the leading terms of any of the generators, you put that leading term aside and try to reduce the remainder of the polynomial.  This step is not strictly necessary, but can make your answers simpler.
You do not need to discard any polynomials, a superset of a Groebner basis is a Groebner basis, but you can discard polynomials which have zero remainder when divided by the other generators.
