From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Division.
Related results can be found in Category:Division.

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$.