# Homework Help: Abstract Algebra Field Proof

1. Apr 15, 2010

### cmajor47

1. The problem statement, all variables and given/known data
Let R={0, 2, 4, 6, 8} under addition and multiplication modulo 10. Prove that R is a field.

2. Relevant equations
A field is a commutative ring with unity in which every nonzero element is a unit.

3. The attempt at a solution
I know that the unity of R is 6, and that the multiplicative inverse of 2 is 8, of 3 is 2, of 4 is 4, and of 6 is 6.
So I've shown that each nonzero element is a unit.
I'm not sure how to go about showing that R is a commutative ring.
To show the commutative part, I'm guessing that I can just do out the Cayley table of R.
I don't know how to show that R is a ring without going through all of the characteristics of a ring though. I don't think I need to do that but I'm not sure.

2. Apr 15, 2010

### Hurkyl

Staff Emeritus
Which properties are non-obvious?

3. Apr 15, 2010

### cmajor47

Well I can clearly see that a+b=b+a, (a+b)+c=a+(b+c), a(bc)=(ab)c, a(b+c)=ab+ac, and (b+c)a=ba+ca, and that there is an additive identity 0 st a+0=a for all a in R
So, I guess the non-obvious property is that there is an element -a in R such that a+(-a)=0, but is this property even true?

4. Apr 15, 2010

### Hurkyl

Staff Emeritus
I claim that what -a needs to be is obvious, and thus that property holds depending on whether or not that is actually an element of R.

(I use red to indicate it's the putative negation operation on R, rather than the negation operation on the integers modulo 10 which I will express in black)

5. Apr 15, 2010

### cmajor47

Then I'm not sure what the non-obvious property is.

6. Apr 15, 2010

### Hurkyl

Staff Emeritus
I am hoping that while you found the existence of additive inverses non-obvious earlier, that from my hint you now find it obvious -- or can at least prove it even if it isn't obvious.

So, if that was the only field property that wasn't clear to you, does that mean you are now happy that it's a field?