If , where is the Jacobian ideal of a ring , then is a unit for all .

looks like a particularly arbitrary expression. Let us break it down. for all is an alternate representation for . All maximal ideals contain . Now let us suppose that is not a unit. Then is contained in SOME maximal ideal (possibly not all). Let one of the maximal ideals is contained in be . Now also contains ! Hence, that maximal ideal contains , which is a contradiction.

Generalizing this, should be a unit for any unit and for all .

Now the converse. Prove that is a unit- belongs to the Jacobson radical. Suppose there is a maximal ideal that does not belong to. Let that ideal be . Then such that . There . Now according to the condition stated above, should be a unit. However, if that were true, wouldn’t be a maximal ideal. Hence contradiction. Actually this is true for the general expression , where is any unit in commutative ring .

Proofs are for the verification of mathematical fact. They are not necessarily intuitive. They rarely offer deep glimpses into mathematical structures. How to “see” that is a unit ? Assume that is an ideal of which does not contain . Then can be added to it to create a bigger ideal. Hence it is contained in all maximal ideals. How can one be sure that the addition of will not create a unit within the ideal? It is not like the addition of is the only thing that can create a unit. There are very many ways of creating a unit- by the addition of ANY element in the ideal. Hence, the fact that is a unit for ALL is an important condition for to be present in all maximal ideals. I unfortunately cannot offer a way to “see” this fact as of now. I can only stress on relevant facts.

Now I move on to solving problems.

1. It is easy to show that is a unit if is nilpotent. Is there a generalization? Yes. That is the next question. Any power of a unit is also a unit, like any power of a nilpotent is nilpotent. What about the product of a unit and nilpotent? In a commutative ring, it will obviously be nilpotent.

Let us generalize this. Any power of a nilpotent is a nilpotent. Any power of a unit is a unit. The product of a unit and nilpotent is nilpotent. The sum of a unit and nilpotent is a unit. Looking at things in some generality always makes me feel better.

2. i) Let . If it is a unit, then there exists a polynomial such that for all . The condition for this is and , etc. I’ve tried hard to prove it through a method other than the one mentioned in the book, but failed. I am used to only solving linear equations through substitution. Is this not substitution? No. Assuming that the linear equations are accurate, we can do a variety of things. We could have added them up and equated the sum to . We could have multiplied all of the equations and equated the product to . Substitution is just one of the many things we could have done. I need a broader perspective on solving linear equations.

Also note that is a unit too and are nilpotent.

Another thing to note is that if is a unit, and is nilpotent, then is a unit. This is easy to prove. Let , where is a unit. Then , which is a unit by problem 1.

Proving the converse is easy. Use multinomial theorem.

ii) Similar to i.

iii) and iv) Done

3. Assume that all the polynomials are in . If is a unit, all coefficients except for the constant are nilpotent. All those coefficients are polynomials in . Proceed in this manner. This stuff is easy!

4. The general trick is to take an element of the Jacobson ideal, assume it is not nilpotent, take the unit , and put . It is easy to see that can be ANY multiple of . Also, need not be a polynomial. It can also be a constant element of the ring. This trick works even then.

In what kinds of rings are the Jacobson radical and the nilradical equal? It is known that the nilradical is always a subset of the Jacobson radical. It is difficult to comment as of now when the Jacobson ideal is in general equal to the nilradical. Here is a particular ring with very specific properties for nilpotents. Other rings may have similar properties for nilpotents. What can be said is that for the properties that must possess to be a unit for all , those properties must make a nilpotent element, amongst other things that different values of may signify. Hence the Jacobson radial is likely to be a proper superset of the nilradical in most rings, as these are pretty specialized conditions.

5. i) Let the inverse of be . Equate coefficients to , and find suitable coefficients for . Now you may wonder why this does not work for the finite degree case (problem 2). This is because after a finite number of steps (determining coefficients of ), you arrive upon a contradiction. Here, you can construct the power series from the coefficients determined, and see that multiplication happens perfectly, giving . In the case of finite degree polynomials, if you construct the polynomial with coefficients derived in this manner, you will meet a contradiction.

ii) Mostly hinges on the fact that if are nilpotents, then so is . There’s not a lot of coefficient hunting here. Only inductive reasoning. The converse does not HAVE to be true, going by the argument I put forward in problem 2. But I will still have to check Chapter 7 Exercise 2.

iii) Easy

6. Well I owe my solution to this link- http://asgarli.wordpress.com/2013/04/22/idempotent-elements-outside-the-nilradical/. However, I think my solution is slightly more straightforward. Let us assume that , where is the Jacobson radical and is the nilradical. Then there exists an idempotent element in . Let that element be . Then is a unit for all . In particular, is a unit. We get . Hence , which is a contradiction as is assumed to be non-zero. Hence the Jacobson radical cannot contain any element apart from nilpotent elements.

7. Let be a prime ideal. Assume is not maximal. Then there exists such that is not equal to . Now for some . Hence . Therefore . If we take , we still have . Seeing as this is an integral domain, and knowing that , we get , where . Now follow closely: when we add to , we also add to it. Hence, we’re effectively adding to . This is a contradiction.

Alternate proofs can be found elsewhere. A common proof is to say that is maximal, as has is the multiplicative inverse of . I just wanted to add a slightly different flavour to it.

8. Zorn’s lemma. A clever chain argument is used here. Try for yourself.

9. This is equivalent to proving that the intersection of all prime ideals containing is . Atiyah-Macdonald gives a concise proof: Consider the ring . The inverses of all prime ideals containing will be prime ideals containing (inverse obviously of a mapping from to ). The nilradical will be the intersection of all prime ideals in . Check that the inverse of this nilradical will indeed include the whole of .

10. Solve for yourself. Remember that every maximal ideal is prime.

The lone prime ideal is the maximal ideal, which is also equal to the nilradical.

Let us take the nilradical as the starting set. Every prime ideal can be built on it. Every prime ideal has to contain it. Draw pictures to give yourself a visual understanding of this!! However, we cannot build a bigger prime ideal, starting out from the nilradical, as all external elements are units! Hence there is only one prime ideal.

11. i) . Hence, . How many ways are there of solving such a question? What are the kind of strategies one should opt for? Is hit and miss the only way? In general, we can construct

ii) Proving every prime ideal is maximal is easy. Refer to problem 7. However, we notice that in a lot of the last problems we’ve had prime ideals equal to maximal ideals. What is the general case? When are prime ideals equal to maximal ideals? Problem 7 says one possibility is when for all , for some . The doesn’t have to be the same for different elements. But what if ? or ? Does it still work? It does not always work. BUT IT WORKS FOR , WHERE IS A UNIT!! Check if for yourself. Here is the generalization we were waiting for!!

Proving that is a field with two elements is easy if you walk down the same path as mentioned above. For , we have . Hence . This shows that either or .

Note: Constructing ring modulo prime ideal seems to be a source of many useful discoveries. When is this technique useful? It is useful when we’re considering elements with respect to the prime ideal- namely whether they’re inside or outside it. It is unlikely to be useful in a lot of other places.

iii) This involves the creation of a generator. One option is . Are there other generators?

More importantly, in what kinds of cases is every finitely generated ideal principal? One possibility is when the Euclidean algorithm is valid, and it is possible to determine the gcd of the generators. Another is when rings have special relations, which allow the creation of generators by multiplication with a single element. For example, if the ring had the relation that , and , then . If the ring had a relation , then