The thing with these axioms is that they are the conditions required for a set to be considered a "field". These always have two operations - addition and multiplication
The twelve axioms satisfied by a field
1. Closure under addition
2. Closure under multiplication
3. Associativity of addition
4. Associativity of multiplication
5. Commutativity of addition
6. Commutativity of multiplication
7. Existence of a zero element (additive identity) usually denoted by 0
8. Existence of a unity (multiplicative identity) usually denoted by 1
9. Existence of an additive inverse
10. Existence of a multiplicative inverse (not necessary for the additive identity)
11 + 12. Left and right distributivity
Which is the point of the above. Multiplication, at its most simplest form, is defined as repeated addition. Just like how exponentiation is repeated multiplication, and tetration is repeated exponentiation (though these aren't strictly necessary for a field).
If we consider our standard number sets:
R is most certainly a field
C is most certainly a field
Q is also a field - all twelve axioms can be checked
But then
Z is not a field, as some axioms start breaking down (e.g. there exists no multiplicative inverse in general)
These are just the standard number sets. Note that a vector space such as
R3 isn't necessarily a field. (As an aside, a vector space has to be formed
over a field).
And here's where the above explanation comes in. If we wanted to treat the set of ordered triples in
R3 as a "field" (i.e. your vectors <a, b, c>) then somehow multiplication must be defined. But how can we define multiplication in a way such that all of the axioms are held together? And IF, this was achieved, how would multiplication be useful?
If you figure out a way to make "vector multiplication" defined and useful then that might be a Nobel prize.In essence, we must never treat vector spaces the same way we treat fields. The axioms of a vector space specifically do not include "multiplication"; there are axioms related to scaling (scalar multiplication) only because the definition of 'scaling' makes sense and is useful. And lastly, we also need to make sure that we don't confuse word choices either.
________________________
Whether or not the 'dot product' was defined to be similar to multiplication though is probably up to a bit of debate. I reckon, if the properties behind the dot product did not exist then it would be less useful (and possibly discarded, just like how complex numbers would've been without the polar form).
In its algebraic form, the dot product
a.
b = Σa
jb
j is just defined as the sum of the component-wise products. But staring at that doesn't really tell us anything.
If anything, the link to the geometric interpretation
a.
b=|
a||
b|cos(θ) is the first thing that makes it more useful to us.
It is also conveniently linked to a matrix multiplication: a
Tb =
a.
b if we interpret vectors to be nx1 matrices. The dot product also gained more significance due to the link with projections (aka resolutes)