# Affine Varieties - the x-axis in R^2

• Nov 8th 2013, 12:30 AM
Bernhard
Affine Varieties - the x-axis in R^2
In Dummit and Foote, Chapter 15, Section 15.2 Radicals and Affine Varieties, Example 2, page 681 begins as follows:

-----------------------------------------------------------------------------------------
"The x-axis in $\displaystyle \mathbb{R}^2$ is irreducible since it has coordinate ring

$\displaystyle \mathbb{R}[x,y]/(y) \cong \mathbb{R}[x]$

which is an integral domain."

------------------------------------------------------------------------------------------

$\displaystyle \mathbb{R}[x,y]/(y) \cong \mathbb{R}[x]$ is established.

I suspect it comes from applying the First (or Fundamental) Isomorphism Theorem for rings ... but I am unsure of the mappings involved and how they are established

Would appreciate some help>

Peter
• Nov 26th 2013, 08:48 PM
Haven
Re: Affine Varieties - the x-axis in R^2
It is precisely the first isomorphism for rings.

Define the map: $\displaystyle R[x,y] \rightarrow R[x,y]$, where $\displaystyle x\mapsto x$ and $\displaystyle y\mapsto 0$
(Notice the definition of the map coincides with what we do when we take a quotient).
Find the kernel and image of this map and you're golden.