
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
October 4th, 2012, 06:13 PM  #1 
Member Joined: Oct 2009 Posts: 85 Thanks: 0  Ideal Proof, possibly a trivial question A is a ring and J is nonempty subset of A. Prove that if J is an ideal of A and , then J = A. Does this imply that the the whole set can be J = {1}? I know that for and for any we have that So if , we have that (1)a = a = a(1) so . Since and does that mean J = A? Please shine some light on this because I am struggling to understand it. 
October 4th, 2012, 07:13 PM  #2 
Senior Member Joined: Aug 2012 Posts: 2,204 Thanks: 647  Re: Ideal Proof, possibly a trivial question
You're really overthinking this. You were done halfway through your proof. If a is any element in the A then you just proved it's in J. So A is a subset of J. But we're already given that J is a subset of A. So A = J. 
October 4th, 2012, 08:08 PM  #3 
Member Joined: Oct 2009 Posts: 85 Thanks: 0  Re: Ideal Proof, possibly a trivial question
Thank you so much. Makes perfect sense now that you cleared that up and I am not going insane over this seemingly easy proof lol.


Tags 
ideal, possibly, proof, question, trivial 
Search tags for this page 
Click on a term to search for related topics.

Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
maximal ideal of the ring Q trivial question??  rayman  Abstract Algebra  2  November 21st, 2012 03:16 AM 
inlusion of an ideal in the union of 2 ideals proof 2  rayman  Abstract Algebra  6  September 27th, 2012 05:09 AM 
small question about proof of a cor. (in the ideal class gr)  norway9k  Number Theory  1  December 2nd, 2010 03:42 AM 
trivial proof on limits?  ElMarsh  Real Analysis  2  December 2nd, 2009 07:42 PM 
Simple probability question, how can I possibly be wrong?  Majestic_Q  Algebra  1  December 4th, 2008 03:49 PM 