Field

A division ring $(R,+,\times)$ is a ring such that every nonzero element is invertible with respect to the multiplicative law $\times$.

If the law $\times$ is also commutative, then $R$ is called a field.

Remarks

• Some authors (notably in the French literature) do not require a field to be commutative. Then they call "field" a division ring.