Definition

Let be a ring with unity . An element in is a unit of if it has a multiplicative inverse in . If every nonzero element of is a unit, then is a division ring (or skew field).