7
$\begingroup$

Suppose $R=k[x,y,z]$ and $S=k[t]$. Consider the map $f:R\to S$ s.t. $f(x)=t$, $f(y)=t^2$ and $f(z)=t^3$. I suspect the kernel of this map is the ideal $(y-x^2,z-x^3)R$.

It's clearly contained in the kernel, but I am not sure how to prove the reverse inclusion.

  • 0
    @Juan: Thanks, fixed.2011-10-20

2 Answers 2

3

Since $\mathfrak I = (y-x^2,z-x^3)$ is contained in the kernel, your map corresponds to a map $R/\mathfrak I\to S$. Show that this map is injective.

  • 0
    Yes, that's about it.2011-10-20
2

Hint: If $I = (y-x^2, z-x^3)$, then since $I$ is in the kernel of $f$, we have an induced map $f : R/I \to S$ which is clearly surjective, so we just need to show that it's injective. Now use the fact that every element of the coset $R/I$ contains an element of $R$ which is purely a polynomial in $x$.

  • 0
    Why is $f:R/I \rightarrow S$ surjective? Is it because $f:R \rightarrow R/I$ and $f:R \rightarrow S$ are both surjective? Also, would another way of showing injectivity be to use the First Isomorphism Theorem to say that $R/I \cong S$ meaning $f$ is injective? Thanks.2016-11-24