 A field is a ring for which the multiplicative monoid of nonzero ring elements is an abelian group. That is, multiplication must be commutative, and every nonzero element \(x\) must have a reciprocal \(1/x\).