The field axioms specify an abelian additive group, an abelian multiplicative group of nonzero elements, and distributivity of multiplication over addition. The identity elements are distinct.
New to topics? Read the docs here!
New to topics? Read the docs here!