Field axioms
= Field axioms
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.
= Field axioms
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.