Is commutativity of addition necessary as an axiom in the Field Axioms or can it be proved by the others?
Yes it is necessay*.
It cannot be proved by others.
In fact, I can prove that it cannot be proved
-----------------------
Define .
So any element in is an ordered 4-tuple but it is more convient to write . We define the following products:
And,
So for example if we need to multiply we would write and get .
But if .
So .
I leave it to you to verify that has the following properties:
--- > Boring and Long.
---> Boring and Long.
--->Boring and Long.
This show it has everything EXCEPT
*)If the field is finite it is not necesarry. This supprising result is not easy to prove.
According to a professor's notes I found online, Leonard Dickson discovered it can be proved from the other axioms. Here is how the proof in the notes goes:
-----
Commutativity of Addition Theorem
Let be any field. Then is a commutative operation on .
Proof: Let . Then,
by commutativity of multiplication
by distributive law
by definition of multiplicative identity
by associativity of addition
** by cancellation law for addition
by distributive law
by definition of multiplicative identity
by associativity of addition
by commutativity of multiplication
** by cancellation law of addition
Hence, is commutative.
-----
** What doesn't completely convince me is the cancellation step but what do I know.
What do you think?
I looked it over quickly and it looks right.
The only problem is the way the theorem is stated it should say let F be a field "expect for possibly commutativity of addition" then it must be commutative under addition.
But the problem is that is not the "right" definition.
In fact a more appropriate definition is that a field is a commutative division ring.
See Here for the definition of a field.
Note: I answered your question about commutativity of multiplication.
I understand. But in any case, if a Field (according to the actual definition) has all the properties a commutative division ring has and a "Field*" (the way it seems to be used in my notes) has those same properties, except that commutativity of addition is not taken as an axiom, but rather proved through the other axioms, do they serve the same exact purpose?
I can see why a Field being a commutative division ring is desirable over a "Field*" to keep the structure but I can also see how one would try to keep the axioms the fewest possible.
They are the exact same thing. In fact when I was in the 10th Grade we were learning about Groups and Fields just the most very basic defintions, and I still remember exactly how everything was defined. It was defined in the same way you defined it. But that was done to make it easier for the students.