# Varieties

• Apr 19th 2010, 09:14 AM
mathman88
Varieties
Let $V$ be the $y$-axis contained in $\mathbb{R}^2$ ( $V=\mathbb{V}(x)$).

In lecture, my professor said $V$ is irreducible (which makes sense), but I don't know how to show it. One hint he gave us is that "a prime ideal is radical" i.e. if $I$ is prime then $I = \text{Rad}(I)$.

Any insight is much appreciated.
• Apr 19th 2010, 10:41 AM
NonCommAlg
Quote:

Originally Posted by mathman88
Let $V$ be the $y$-axis contained in $\mathbb{R}^2$ ( $V=\mathbb{V}(x)$).

In lecture, my professor said $V$ is irreducible (which makes sense), but I don't know how to show it. One hint he gave us is that "a prime ideal is radical" i.e. if $I$ is prime then $I = \text{Rad}(I)$.

Any insight is much appreciated.

well, a variety is irreducible iff its ideal is prime. now it's easy to see that in your example the ideal of $V$ is $\langle x \rangle$ and clearly $\mathbb{R}[x,y]/\langle x \rangle \cong \mathbb{R}[y]$ is an integral domain. thus $\langle x \rangle$ is a prime ideal.
• Apr 19th 2010, 12:57 PM
mathman88
Quote:

Originally Posted by NonCommAlg
well, a variety is irreducible iff its ideal is prime. now it's easy to see that in your example the ideal of $V$ is $\langle x \rangle$ and clearly $\mathbb{R}[x,y]/\langle x \rangle \cong \mathbb{R}[y]$ is an integral domain. thus $\langle x \rangle$ is a prime ideal.

Expanding on this, what if the field wasn't $\mathbb{R}$ but arbitrary, call it $F$.

My professor said $V$ is irreducible when $F$ is algebraically closed. How would that be shown? Also what would be an example of a non algebraically closed field where $V$ is reducible?

Thanks!
• Apr 19th 2010, 07:24 PM
mathman88
So in general, here's what I'm thinking:

We have that $F$ is an algebraically closed field.

Now $V$ is irreducible $\iff \mathbb{I}(V)$ is prime. But by Hilbert's Nullstellensatz we see that $\mathbb{I}(V) = \text{Rad}(x)$.

So $V$ is irreducible $\iff \text{Rad}(x)$ is prime.

I'm stuck after this. What is $\text{Rad}(x)$ explicitly? Also I'm able to show if $A$ is a prime ideal then $A = \text{Rad}(A)$, but does the other direction work too?

Thanks!
• Apr 19th 2010, 08:54 PM
chiph588@
Quote:

Originally Posted by mathman88
So in general, here's what I'm thinking:

We have that $F$ is an algebraically closed field.

Now $V$ is irreducible $\iff \mathbb{I}(V)$ is prime. But by Hilbert's Nullstellensatz we see that $\mathbb{I}(V) = \text{Rad}(x)$.

So $V$ is irreducible $\iff \text{Rad}(x)$ is prime.

I'm stuck after this. What is $\text{Rad}(x)$ explicitly? Also I'm able to show if $A$ is a prime ideal then $A = \text{Rad}(A)$, but does the other direction work too?

Thanks!

$I=\langle x \rangle$ is prime since $F[x,y]/\langle x \rangle \cong F[y]$ is an integral domain, so $\text{Rad}(x) = \langle x \rangle$ by the theorem you said you knew how to prove.

Thus $V$ is irreducible $\iff \langle x \rangle$ is prime...
• Apr 20th 2010, 09:34 AM
mathman88
Thanks!

Now what about that field where $V$ is reducible? I'm having trouble picturing what that would be.
• Apr 20th 2010, 10:43 PM
chiph588@
I think $\mathbb{F}_2$ will do the trick.