Definition 1. A field is a non-zero ring $(F, +, \cdot)$ such that $(F \setdif \{0\}, \cdot)$ is a group.