# Ring proof

1. Dec 13, 2009

### lockedup

1. The problem statement, all variables and given/known data
Prove that Z with the following addition and subtraction is a ring.

2. Relevant equations
a$$\oplus$$b = a + b - 1 and a$$\odot$$b = ab - (a + b) + 2

3. The attempt at a solution I proved all the axioms for addition. I'm stuck on the multiplication part.

(a$$\odot$$b)$$\odot$$c = (ab-(a+b)+2)c - (ab-(a+b)+2+c) + 2

a$$\odot$$(b$$\odot$$c) = a(bc-(b+c)+2) - (a+bc-(b+c)+2) + 2

How are these equal? I know it's a ring because a couple problems later, my books wants me to prove that it's an integral domain...

2. Dec 13, 2009

### Dick

I think they are equal. Just expand them out.

3. Dec 13, 2009

### lockedup

(ab-(a+b)+2)c - (ab-(a+b)+2+c) + 2 =

abc-ac-bc+2c-ab+a+b-2-c+2 = abc-ac-bc-ab+c+a+b

a(bc-(b+c)+2) - (a+bc-(b+c)+2) + 2 =

abc-ab-ac+2a-a-bc+b+c-2+2 = abc-ab-ac-bc+a+b+c

It looks so much clearer now. My own handwriting was deceiving me... Gah, that's the second stupid question I've posted this weekend...