# A Rings and Ideals Problem

1. Jul 2, 2008

### e(ho0n3

1. The problem statement, all variables and given/known data
If A and B are ideals of a commutative ring R with unity and A + B = R, show that $A \cap B$ = AB.

3. The attempt at a solution
Showing $AB \subseteq A \cap B$ is easy. I'm having trouble with containment in the other direction:

Let $x \in A \cap B$. Then x is in A and x is in B. To show that x belongs to AB, it suffices to show that 1 belongs to either A or B and so 1x or x1 belongs to AB. It seems to me that 1 isn't necessarily in A or B so this approach is unfruitful. Is there another decomposition of x into ab where a belongs to A and B belongs to B?

2. Jul 2, 2008

### matt grime

If you show 1 is in A, then that means A=R. Clearly you don't want to do that. What information haven't you used? That A+B=R, ie there exist elements x in A and y in B such that x+y=1.

3. Jul 2, 2008

### e(ho0n3

I have thought about that but it lead nowhere: Write 1 as a + b. Then x1 = xa + xb. Hmm...I see it know. Since R is commutative, xa = ax and so ax is in AB since x is in B. Similarly, xb is in AB. If AB is closed under addition, then surely xa + xb is in AB and so x is in AB. All that remains is to show that AB is closed under addition. Right?

4. Jul 2, 2008

### matt grime

That is part of the *definition* of AB.

5. Jul 2, 2008

### e(ho0n3

AB = {ab : a in A and b in B}. How does that definition demonstrate that AB is closed under addition?

6. Jul 2, 2008

### matt grime

I think you should go and check your definition of the *ideal* AB.

7. Jul 2, 2008

### e(ho0n3

Aha! There is an exercise where AB is defined. I had overlooked it. Thanks a lot.