Definition
A commutative division ring is called a field.
Since each non-zero element is a unit, we have a “division” operation by multiplying by the inverse of the element. In this case, since the ring is commutative, then the left and right inverses are the same.
Properties
A finite commutative ring is a field if and only if it is an integral domain.
Proof:todo