2
$\begingroup$

Given an ideal $I = \langle x-y,y^3+y+1 \rangle \subset \mathbb{C}[x,y]$ (this is a Gröbner basis w.r.t. degree-lexicographic order). I want to write $\mathbb{C}[x,y]/I$ as a $\mathbb{C}$-Basis and determire $\operatorname{dim}_{\mathbb{C}}\mathbb{C}[x,y]/I$. I know what a quotient ring is and how it is definied but I have no intuition how $\mathbb{C}[x,y]/I$ looks like. Any hints?

  • 3
    Hint: $x-y\in I$ means that that in $C[x,y]/I$, $x$ and $y$ are equal.2012-08-30

1 Answers 1

5

Well, $\mathbb{C}[x,y]/I$ is still spanned as a complex vector space by the monomials $x^i y^j$. However, that spanning set is not linearly independent: any linear combination of monomials that adds up to an element of $I$ is equal to zero!

Thinking of the Groebner basis as a rewrite scheme is useful too: the form of your basis says:

  • Whenever I see an $x$, replace it with $y$
  • Whenever I see a $y^3$, replace it with $-y-1$

which gives you an algorithm to convert any polynomial to a unique normal form... and makes it easy to see what polynomials can be normal forms.

(To be clear, whenever you see a $y^4$, that also means you see a $y^3$, because $y^4 = y^3 \cdot y$)

  • 0
    That is indeed a basis for $\mathbb{C}[x,y]/I$. (don't forget the quotient ring also contains linear combinations of them!)2012-08-30