Field

A field is a commutative division ring: a commutative ring with \(1\neq 0\) in which every nonzero element is a unit.