Category:Division over Field

This category contains results about Division over Field.
Definitions specific to this category can be found in Definitions/Division over Field.

Let $\struct {F, +, \times}$ be a field.

Let the zero of $F$ be $0_F$.

The operation of division is defined as:

$\forall a, b \in F \setminus \set {0_F}: a / b := a \times b^{-1}$

where $b^{-1}$ is the multiplicative inverse of $b$.