Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
Let $\gcd(p, q) = 1$ and $Y=\{(t^p, t^q) \in \mathbb C^2 \}$. Determine the ideal $I(Y)$.
Definition. The ideal of $X$ is defined as
$$I(X)=\{f\in \Bbb C[x,y]:f(x,y)=0, \forall (x,y)\in X\}.$$
It is clear that $I(Y)$ is the kernel of the homomorphism $ \phi :\mathbb C[x,y] \to \mathbb C[t]$ defined by $ x \to t^p $ and $ y \to t^q$. Further it is clear that $(x^q-y^p)\subseteq\ker\phi$. But I'm unable in showing that $\ker(\phi)$ is contained in $(x^q-y^p)$. Any hints/ideas ?
We have $\mathbb C[x,y]/\ker\phi\simeq\mathbb C[t^p,t^q]$, so $\dim \mathbb C[x,y]/\ker\phi=\dim\mathbb C[t^p,t^q]=1$. Moreover, since $\mathbb C[t^p,t^q]$ is an integral domain $\ker\phi$ is a prime ideal (of height one). On the other side, $x^p-y^q$ is an irreducible polynomial contained in $\ker\phi$, so $(x^p-y^q)$ is also a prime ideal. Now it follows $(x^p-y^q)=\ker\phi$.
