Om santi santi om.
You forgot one more condition: multiplication must be distributive over addition. The two operations in a field are not independent of each other: they are related by the distributive law.
I’m sorry ... . I had forgotten to add this requirement for building a field ... .
For [tex]a,b,c\in{F}[/tex], where [tex]F[/tex] is a field, then [tex]a(b+c)=ab+ac[/tex] and [tex](a+b)c=ac+bc[/tex] ... .
When defining a field, mathematicians usually insist that [tex]0\ne1[/tex], that is, the additive identity and the multiplicative identity must be distinct. Hence [tex]\{0\}[/tex] is not normally considered a field since a field must contain at least two elements.
Why do the additive identity and the multiplicative identity must be distinct ... ? Is the distinction one of all conditions of a field ... ?
Isn’t [tex]0+0=0[/tex], [tex]0\cdot0=0[/tex], [tex]0\cdot(0+0)=0\cdot0+0\cdot0[/tex], and [tex](0+0)\cdot0=0\cdot0+0\cdot0[/tex] ... ?
Gloria in excelsis Deo.