A Rings and Ideals Problem

  • Thread starter e(ho0n3
  • Start date
  • #1
1,357
0

Homework Statement


If A and B are ideals of a commutative ring R with unity and A + B = R, show that [itex]A \cap B[/itex] = AB.

The Attempt at a Solution


Showing [itex]AB \subseteq A \cap B[/itex] is easy. I'm having trouble with containment in the other direction:

Let [itex]x \in A \cap B[/itex]. 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?
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,395
4
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
1,357
0
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
matt grime
Science Advisor
Homework Helper
9,395
4
That is part of the *definition* of AB.
 
  • #5
1,357
0
AB = {ab : a in A and b in B}. How does that definition demonstrate that AB is closed under addition?
 
  • #6
matt grime
Science Advisor
Homework Helper
9,395
4
I think you should go and check your definition of the *ideal* AB.
 
  • #7
1,357
0
Aha! There is an exercise where AB is defined. I had overlooked it. Thanks a lot.
 

Related Threads on A Rings and Ideals Problem

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
2K
Replies
2
Views
514
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
1
Views
963
  • Last Post
Replies
9
Views
1K
Replies
4
Views
1K
Replies
3
Views
514
Replies
1
Views
480
Top