A ring of which the multiplication is commutative and every nonzero element has an multiplicative inverse.