Proving the Distributive Property for Rings

[ArcanaNoir]

Homework Statement

I need to show that (-x)*y=-(x*y) for a ring. unless it's not true.

Homework Equations

A ring is a set R and operations +, * such that (R, +) is an Abelian group, * is associative, and a*(b+c)=a*b+a*c and (b+c)*a=b*a+c*a.

The Attempt at a Solution

I don't know what the first step of this proof will be, I'm looking for the *trick*, as it were.

 

[I like Serena]

If we want to know if (-x)*y is the additive inverse (x*y), what is the axiom that we should check?

 

[ArcanaNoir]

I don't know. maybe if I knew what axiom to check I'd have a better idea how to prove it?

 

[I like Serena]

I don't know. maybe if I knew what axiom to check I'd have a better idea how to prove it?

You wrote that (R,+) is an abelian group.
What is the definition of an inverse in a group?

 

[ArcanaNoir]

-(a+b)= (-b)+(-a)
right?

 

[HallsofIvy]

That not a definition, is it? I was under the impression that "-x" was the additive inverse of x: x+ (-x)= 0. So to prove that (-x)y= -(xy), you need to show that (-x)y is the additive inverse of xy: that (-x)y+ (xy)= 0.

 

[I like Serena]

Let's try to find the definition of a ring, and in particular the definition of the additive inverse.

On wikipedia there is an article on a ring.
It lists the requirements (aka axioms) of a ring:
http://en.wikipedia.org/wiki/Ring_math#Formal_definition

In particular we have:

4. Existence of additive inverse. For each a in R, there exists an element b in R such that a + b = b + a = 0

Btw, the typical shorthand for the additive inverse of $a$ is $-a$.

Does this look familiar?

 

[ArcanaNoir]

(-x)y+xy=((-x)+x)y=0y=0
ta da?

 

[I like Serena]

(-x)y+xy=((-x)+x)y=0y=0
ta da?

Yes!
That's basically it.


Just a couple of things.

How do you know that 0y=0?

And the definition requires that a+b=b+a=0.
Do both equalities hold?

 

[ArcanaNoir]

well I did check that 0y=0, and a+b should equal b+a because its an abelian group. yay :) thanks again!

 

[I like Serena]

well I did check that 0y=0,

You're making this a bit easy on yourself, aren't you?
How did you check this?
If it is so simple, you should be able to easily reproduce the proof...
(It is not trivial!)

and a+b should equal b+a because its an abelian group. yay :) thanks again!

Yep!