Gmail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
Message from discussion Newbie Q : Problem from Herstein Regarding Rings
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
William Elliot  
View profile  
 More options Nov 7 2009, 8:50 pm
Newsgroups: sci.math
From: William Elliot <ma...@rdrop.remove.com>
Date: Sat, 7 Nov 2009 01:20:07 -0800
Local: Sat, Nov 7 2009 8:50 pm
Subject: Re: Newbie Q : Problem from Herstein Regarding Rings

On Fri, 6 Nov 2009, junoexpress wrote:
> "Show that the commutative ring D is an integral domain iff for all
> a,b,c in D and a ne 0, ab=ac implies b=c"

> I read the logic of this proof as follows:

> Let D be a commutative ring  and ( D is an integral domain iff for all
> a,b,c in D and a ne 0, ab=ac implies b=c)

> I am having trouble with the proof of the back implication of this
> proposition.
> In class, we "proved" this proposition as follows:

Assume a and b are zero divisors.  Thus
a,b /= 0;  ab = 0;  ab = a0;  b = 0;  0 /= 0.

> PROBLEM: My problem rests with the fact that (in the proof of the back
> implication) we have showed that D is a commutative ring (given by
> hypothesis) and that D has no zero divisors, but we have not shown
> that D has a unit element, which is the third condition required in
> the definition of "integral domain"

Texts vary as whether a ring has to have unity or not.
It seems that the author requires rings to have unity.
If he didn't, then he'd have to wright.

If R is a communitive ring with unity, then
R is a cancellation ring iff R is an integral domain.

> I went to a few other sources, but they weren't of much help.

> So I don't see how, in problem 10 from Herstein, we can prove that the
> ring also has a unit element when we are proving the back implication.
> Am I missing something or is Herstein a bit off on this one?

Before you can jump into a book to pull out theorems, you have
to know what the author's conventions are:  do rings have unity,
are maps continuous, are topological spaces Hausdorff,
are neighborhoods open?

    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2010 Google