Ciro Santilli @cirosantilli 35

A ring where multiplication is commutative and there is always an inverse.

A field can be seen as an Abelian group that has two group operations defined on it: addition and multiplication.

And then, besides each of the two operations obeying the group axioms individually, and they are compatible between themselves according to the distributive property.

Basically the nicest, least restrictive, 2-operation type of algebra.

Examples: