# Irreducible algebraic sets

Let $K := (uw - v^2, w^3 - u^5)$. Show that $V(K)$ consists of two irreducible components, one of which is $V(uw - v^2, w^3 - u^5, u^3-vw) = V(J)$.

I don't know how to start this. I see that $V(K)$ is symmetric under the interchange of $v \to -v$ but that $V(J)$ isn't. Does this mean that the other component should be symmetric under this exchange?

-
This is copy and pasted homework for the Algebraic Geometry course at the University of Edinburgh, coincidentally due in tomorrow. Mary, I suggest you do your own work or at least tag this post as homework. –  user26482 Mar 7 '12 at 20:17
Not the most productive thing to write, A.non. –  Stephen Mar 7 '12 at 20:25

First, we need to find out where $K$ is not prime. More precisely, we need $ab\in K$ but neither $a\in K$ nor $b\in K$. The definition of $J$ helps a bit - notice that
$$(u^3-vw)(u^3+vw) = u^6 - v^2w^2 = uw^3 - w^2v^2 - uw^3 + u^6 = w^2(uw-v^2) - u(w^3-u^5) \in K$$
So we're looking for a prime ideal $I$ with $I\cap J=K$ since $V(I\cap J)=V(I)\cup V(J)$. In this case, that'd be $I=(uw-v^2,w^3-u^5,u^3+vw)$.
What is left to do is check that both $I$ and $J$ are actually prime.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/117601/irreducible-algebraic-sets", "fetch_time": 1444455907000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2015-40/segments/1443737940794.79/warc/CC-MAIN-20151001221900-00030-ip-10-137-6-227.ec2.internal.warc.gz", "warc_record_offset": 196386723, "warc_record_length": 16612, "token_count": 416, "char_count": 1180, "score": 3.75, "int_score": 4, "crawl": "CC-MAIN-2015-40", "snapshot_type": "longest", "language": "en", "language_score": 0.896845817565918, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00025-of-00064.parquet"}