My Math Forum Division Ring

 Abstract Algebra Abstract Algebra Math Forum

 November 14th, 2013, 09:56 AM #1 Newbie   Joined: Sep 2013 Posts: 17 Thanks: 0 Division Ring Let R be a ring with 1 . Prove that R is a division ring if and only if the only left ideals of R are 0 and R.
November 14th, 2013, 02:47 PM   #2
Senior Member

Joined: Aug 2012

Posts: 2,409
Thanks: 753

Re: Division Ring

Quote:
 Originally Posted by sebaflores Let R be a ring with 1 . Prove that R is a division ring if and only if the only left ideals of R are 0 and R.
Suppose 1 is an element of an ideal in a division ring. What can you say about the ideal? That's a hint to get you thinking in the right direction.

(edit) No response for a while, here's more of a hint.

A left ideal is characterized by the property that it's closed under arbitrary (left) multiplication by any element of the ring R. I think of ideals as "absorbing" multiplication.

So suppose a left ideal X contains 1. For any element r of the ring R, r1 = r is in X. So X contains everything in R, in other words X = R. So if X contains 1 it's the entire ring.

Ok that's the background. To refresh our memories and provide clarity, here is the original problem.

Quote:
 Originally Posted by sebaflores Let R be a ring with 1 . Prove that R is a division ring if and only if the only left ideals of R are 0 and R.
Ok we have an if and only if, so there are two directions. We have to prove both the => and the <= directions of the bi-implication.

(=>) Let R be a division ring and show that its only left ideals are R and 0.

Ok, suppose we have an ideal X. If it consists of only 0 we're done. So there's some x in X that's not zero.

Since R is a division ring, if x is not zero then 1/x exists in R. But we can multiply the elements of X by any elements of R, including 1/x.

But now 1/x * x = 1, so 1 is in X. And what do we know happens the moment we know that 1 is in an ideal? We know that the ideal is the whole ring. Because if 1 is in X then so is r1 for any r in R.

So that's the (=>) direction.

Next, the other direction.

(<=)

Suppose that R is a ring such that its only ideals are R and 0. We must prove that R is a division ring.

Do you want to take a shot at carrying this forward?

 Tags division, ring

,

# what are the ideals of division ring

Click on a term to search for related topics.
 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post sebaflores Abstract Algebra 1 October 27th, 2013 04:29 PM watson Abstract Algebra 2 December 27th, 2012 01:48 PM tinynerdi Abstract Algebra 4 April 4th, 2010 10:17 PM cgouttebroze Abstract Algebra 5 August 14th, 2008 12:04 PM Frazier001 Abstract Algebra 1 December 6th, 2007 01:21 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top