Did I define a field correctly? Let $F$ be a set, $\forall a, b, c \in F$, with two binary operations, addition and multiplication, defined on $F$, i.e. $(F, +, \times )$. Then $F$ is a field iff the following axioms hold:


*

*Closure:
1.1. Addition: $\forall a,b \in F, \exists a + b \in F$.
1.2. Multiplication: $\forall a,b \in F, \exists a \times b \in F$.

*Associativity:
2.1. Addition: $\forall a,b,c \in F, (a + b) + c = a + (b + c)$.
2.2. Multiplication: $\forall a,b,c \in F, (a \times b)\times c=a \times (b \times c)$.

*Identity element:
3.1. Addition: $\exists e_{Additive} \in F, s.t. \forall a \in F, a + e_{Additive} = e_{Additive} + a= a$.
(Edit - a correction, see comments).
3.2. Multiplication: $\exists e_{Multiplicative} \in F, s.t. \forall a \in F, a \times e_{Multiplicative} = e_{Multiplicative} \times a= a$.
(Edit - a correction, see comments).

*Inverse element:
4.1. Addition: $\exists b, e_{Additive} \in F, \forall a \in F, s.t. a + e_{Additive} = a, a + b = b + a = e_{Additive}$.
(Edit - defined $e_{Additive}$)
4.2. Multiplication: $\exists b, e_{Multiplicative} \in F, \forall a \in F$, s.t. $a \times e_{Multiplicative} = a, a \times b = b \times a = e_{Multiplicative}$.
(Edit - defined $e_{Multiplicative}$)

*Commutativity:
5.1. Addition: $\forall a, b \in F, a + b = b + a$.
5.2. Multiplication: $\forall a, b \in F, a \times b = b \times a$.

*Distributivity: $\forall a, b, c \in F, a \times (b + c) = a \times b + a \times c = b \times a + c \times a = (b + c) \times a$.

*The additive and multiplicative identity elements are different: $\exists e_{Additive}, e_{Multiplicative} \in F, \forall a \in F$, s.t. $a + e_{Additive} = a, a \times e_{Multiplicative} = a, e_{Additive} \neq e_{Multiplicative}$.
(Edit - axiom 7 added (hopefully correctly formulated), see comments and answers.)

I want to know if the definition above is correct, if not why not, and if my use of quantifiers is correct, if not why not to avoid false statements and the such. Now, I know fields and whatnot are defined on wikipedia and other sources, including here, over a million times but I want to use "my own" ordering of these axioms, if that makes any sense, and ask the following questions.


*

*Are all of these axioms detailed enough to define a field? E.g. In $(6)$ I didn't specify left or right distributivity but it is implied because of $(5.2)$, if I am not mistaken or is it even required to do so. Did I miss anything like that?

*Using the numbering of the axioms above, if they are stated correctly, which axioms must hold for a structure to be a ring? Now, I am not enrolled in Abstract Algebra or such so please don't dive in too deep if possible.
Any help much appreciated, thank you.

More succinctly, a field is a commutative ring in which every nonzero element is a unit.
