Math 480, Spring 2013, Assignment 14

Carefully define the following terms, then give one example and one non-example of each:

1. Maximal ideal.
2. Point.
3. Prime ideal.
4. Irreducible variety.
5. Irreducible component (of some reducible variety).
6. Associated prime (of an ideal).

For each operation on varieties, describe the corresponding operation on ideals, then describe an algorithm that computes this operation (modulo the problem of computing radicals):

1. Union.
2. Intersection.
3. Zariski closure of the difference.

Solve the following problems:

1. Let \(I, J,\) and \(K\) be ideals. Prove that \(\left(I + J\right)K = IK + JK.\) (Hint: each side is, by definition, the smallest ideal containing certain elements. Which elements?)
2. Working in \(\mathbb{C}[x]\), compute the associated primes of \(\left\langle x^3-3x^2+2x\right\rangle\).
3. Working in \(\mathbb{C}[x,y,u,v]\), compute the associated primes of \(\left\langle xu, xv, yu, yv\right\rangle\). Do you think the variety of this ideal has any singular points?

Questions:

1. I was wondering about a couple of things. 1.) Would you be willing to briefly recap the notion of the Associated Primes and how they are calculated? I remember you saying there was an algorithm, and the textbook did as well, but for some reason I do not have it in my notes, and 2.) Will you be posting answers for this and last homework set so that we can make sure we have the right answers when we study for the final? --Robert.Moray (talk) 19:43, 15 May 2013 (EDT)

1) The associated primes of an ideal are the ideals corresponding to the irreducible components of the corresponding variety. There is an algorithm to compute them, but we haven't talked about it in this class (and even if we had I wouldn't recommend it for these problems). The thing to do in these problems is to understand the corresponding variety by elementary methods, then see whether it's reducible (i.e. whether you can write it as the union of two smaller varieties). If so, then repeat the same process on the smaller pieces, and so on until you've written the variety as the union of irreducible varieties. Then finds the ideals corresponding to the irreducible pieces. 2) If you or anyone else posts solutions on the wiki, then I will check them to make sure they're right. --Steven.Jackson (talk) 07:40, 16 May 2013 (EDT)

1. For problem 3: The variety \(\mathbb{V}(<xu,xv,yu,yv>)\) defines a system of equations\[xu=0\]. \(xv=0\), \(yu=0\). and \(yv=0\). To satisfy these four conditions simultaneously, we examine the possible cases. If \(x=0\), then we can assign any value to u and v to satisfy the first two equations, but then we must set \(y=0\) to satisfy the last two equations. Thus \(x=y=0\). If \(x\neq0\), then u and v must both equal 0 in order to satisfy the four equations, in which case we can assign any value to y and still satisfy the system of equations. The same cases will arise if we do this with y, so if \(u=0\), we are free to set x to be anything in order to satisfy the first equation, but then we must set v to 0 to solve the second equation. Continuing in this way, and testing all possible cases, we find that:

\[(0,0,*,*)\] and \((*,*,0,0)\) form a basis for the variety. Therefore, I claim that we can express \(\mathbb{V}(<xu,xv,yu,yv>)\) as the union of \(\mathbb{V}(<xy>)\) and \(\mathbb{V}(<uv>)\). However, I further claim that neither variety is irreducible, because neither ideal that gives rise to its variety is prime. The former is not the prime because if we let \(f=x\) and \(g=y\), \(fg \in <xy>\), but neither x or y is a multiple of xy, and therefore by the definition of prime, \(<xy>\) is not prime. The proof for the other not being prime follows from this logic. Therefore, neither are irreducible, and thus I claim that the former variety is the union of \(\mathbb{V}(x)\) and \(\mathbb{V}(y)\) and the latter is the union of \(\mathbb{V}(u)\) and \(\mathbb{V}(v)\). Therefore, this implies that:

\[\mathbb{V}(<xu,xv,yu,yv>)\]=\(\mathbb{V}(x)\cup \mathbb{V}(y) \cup \mathbb{V}(u) \cup \mathbb{V}(v)\).

Therefore, the set of associated primes is \(\{x,y,v,u\}\).

I am not sure if I am missing any cases, but this is what I was able to figure out from graphing the varieities --Robert.Moray (talk) 19:18, 16 May 2013 (EDT)

I agree with your argument up through the statement that the variety is the union of the sets \(\{(0,0,*,*)\}\) and \(\{(*,*,0,0)\}\). (Strictly speaking your argument omits some cases, but this is forgivable since there are really a lot to consider, and the conclusion you've reached at this point is correct.) However, at this point we part ways; I think the ideal corresponding to \((0,0,*,*)\) is not \(\left\langle xy\right\rangle\) but \(\left\langle x,y\right\rangle\), and this will modify the rest of your conclusions. --Steven.Jackson (talk) 22:02, 16 May 2013 (EDT)