Why are the polynomial rings $k[x]$ and $k[x,y]/\langle y-x^2 \rangle$ isomorphic?

Question

This is related to an exercise in Hartshorne's book which people have previously asked about, but I feel that this particular point hasn't been answered in a very simple way.

Let $k$ be an algebraically closed field. Let $k[x]$ be the ring of polynomials of one variable over $k$ and let $k[x,y]$ be the ring of polynomials of two variables over $k$. How can we see the isomorphism $$ k[x] \simeq k[x,y]/\langle y-x^2 \rangle, $$ where $\langle y-x^2 \rangle$ is the ideal in $k[x,y]$ generated by $y-x^2$?

are you asking for a explicit construction of such isomorphism or just how can you intuitively notice that these two rings are isomorphic? — JayTuma, Aug 11 '18 at 15:23

score 3 · Accepted Answer · edited Aug 11 '18 at 15:29

3

Define

$$\phi: k[x,y]\to k[x],\;x\to x,\;\;y\to x^2,\text{ and expand accordingly}$$

or if you prefer: $\phi f(x,y):=f(x,x^2)$. Now check stuff.

edited Aug 11 '18 at 15:29

Pedro

122,002

answered Aug 11 '18 at 15:23

DonAntonio

211,718
17
136
287

It's easy to see that $\phi$ is indeed a homomorphism. Any tips on how to see it's an isomorphism too? – Matias Heikkilä Aug 11 '18 at 15:30
@Pedro ¿Ahorrando signos, Pedro? La verdad no le veo mucho caso. Gracias, igual. – DonAntonio Aug 11 '18 at 15:31
3

@MatiasHeikkilä Oh, it is not an isomorphism, of course. What is its kernel? Well, now apply the first isomorphism theorem (for rings).\ – DonAntonio Aug 11 '18 at 15:32
ah, silly me. Thank you! – Matias Heikkilä Aug 11 '18 at 15:35
For the future reader: Details on the kernel of $\phi$ can be found here. – Matias Heikkilä Aug 11 '18 at 15:58
@DonAntonio Los espacios antes de las comas no corresponden. ;) – Pedro Aug 11 '18 at 16:30

score 1 · Answer 2 · answered Aug 11 '18 at 15:37

1

Hint: Let $D$ be a domain and $a \in D$. Then $D[y] \to D$ given by $f(y) \mapsto f(a)$ is a surjective ring homomorphism with kernel $\langle y-a \rangle$ because $f(y)=(y-a)q(y)+f(a)$. Apply this to $D=k[x]$.

answered Aug 11 '18 at 15:37

lhf

216,483

Why are the polynomial rings $k[x]$ and $k[x,y]/\langle y-x^2 \rangle$ isomorphic?

2 Answers2

Linked