
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
September 24th, 2012, 06:06 AM  #1 
Senior Member Joined: Sep 2010 From: Germany Posts: 153 Thanks: 0  inlusion of an ideal in the union of 2 ideals proof 2
I dont understand the following proof. Could someone explain it to me step by step. Let be ideals claim or Proof (by contradition) Suppose not. (meaning that if , then and ??) let (and why??) and let (and why???) then Please enlighten me... 
September 25th, 2012, 09:43 AM  #2  
Senior Member Joined: Nov 2011 Posts: 100 Thanks: 0  Re: inlusion of an ideal in the union of 2 ideals proof 2 Quote:
Proof: Suppose that . If we proceed by contradiction, we suppose that AND ; this is just the negation of the desired implication. Since is not contained wholly within either or , this means that I can find some element that is in but NOT in (since ) (but it has to be in since ). Similarly for the other. By properties of ideals, since , we must have . However, as , we have , and so , which is a contradiction. Thus we must have as we wanted that or . It might help to actually draw some diagrams to see where each ideal is contained.  
September 27th, 2012, 03:53 AM  #3 
Senior Member Joined: Sep 2010 From: Germany Posts: 153 Thanks: 0  Re: inlusion of an ideal in the union of 2 ideals proof 2
thank you, that small reformulation helped me to get it. Could you please give me any hits how to prove this claim? Let be ideals and P be prime ideal. Claim or 
September 27th, 2012, 04:41 AM  #4 
Senior Member Joined: Nov 2011 Posts: 100 Thanks: 0  Re: inlusion of an ideal in the union of 2 ideals proof 2
Unless I'm reading this incorrectly, it should be very straightforward. If I is contained in P, then certainly a smaller ideal contained in I, such as , is also contained in P. (i.e., if , then we have .) This doesn't use the fact that P is prime, so either I'm missing something or perhaps there's a typo? The only thing that might need to be shown is that is an ideal (which it is just show that it satisfies the definition of an ideal). 
September 27th, 2012, 04:49 AM  #5 
Senior Member Joined: Sep 2010 From: Germany Posts: 153 Thanks: 0  Re: inlusion of an ideal in the union of 2 ideals proof 2
yeah I thought about that too but it seemed so trivial so I thought there was some hidden trick. My last claim is that can I just prove it by noticing that ? 
September 27th, 2012, 05:03 AM  #6  
Senior Member Joined: Nov 2011 Posts: 100 Thanks: 0  Re: inlusion of an ideal in the union of 2 ideals proof 2 Quote:
That seems to work to me! Just note that in general the product of two ideals is contained in the intersection of the ideals, and the claim is proven. It might be worthwhile showing this fact just pick an element in the product of the ideals and show it must be also in the intersection (not hard to show).  
September 27th, 2012, 05:09 AM  #7 
Senior Member Joined: Sep 2010 From: Germany Posts: 153 Thanks: 0  Re: inlusion of an ideal in the union of 2 ideals proof 2
that you very much for the help!


Tags 
ideal, ideals, inlusion, proof, union 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
product of ideals and their intersection proof  rayman  Abstract Algebra  1  December 3rd, 2012 06:48 AM 
inclusion of ideals, relations, prime ideal, proof  rayman  Abstract Algebra  0  September 24th, 2012 04:34 AM 
Countable Union proof  jstarks4444  Applied Math  1  May 13th, 2011 08:15 AM 
Induction Proof Problem (for set union)  deviltaz  Applied Math  0  October 9th, 2010 03:55 AM 
Countable Union proof  jstarks4444  Number Theory  1  December 31st, 1969 04:00 PM 