Proving the uniqueness of the additive inverse in a field without the commutative property Someone told me that it was possible to prove that 0 is unique without using the commutative property. I don't see how, and I constructed a multiplication/addition table with elements $0_1, 0_2$, and $1$, but it is a pain to check that the table is associative/distributive. Can anyone exhibit a proof of the uniqueness of 0 in a field using only
Associativity of addition and multiplication
$x + 0 = x$ and $x \cdot 1 = x$
existence of additive and multiplicative inverses
distributive property. 
 A: So what properties do you want to show of $0$ exactly? I understand that you want to assume that $1$ is a right-neutral element for multiplication (do you also want left?), existence of inverses (left and right, or just left/just right, and do they have to be the same?) the distributive properties is clear already though. Do you want to show that $0$ is the unique two-sided neutral element for addition? In this case you need none of the above, since if you want to show that the zero of a field is unique such that $0+x = x+0 = x$ for all $x \in K$, then if $0_1, 0_2$ are two candidates, $0_1 = 0_1 + 0_2 = 0_2$ (but I used the fact that $0_1$ is a left-neutral element and $0_2$ is a right-neutral element, which proves that the two-sided inverse is unique if it exists). For existence this is another story. 
Another issue : you said you assumed existence of additive inverses, but how can you assume this if you are trying to show uniqueness of the neutral element? These inverses will be inverses to what? Say you have $x$ and its inverse is $-x$, $x+(-x)$ equals which neutral element, if you have not proven unicity yet?
I hope this leaves you with stuff to think about. Feel free to ask more questions in the comments. 
Hope that helps,
