A division ring, also called a skew field, is a nontrivial Ring in which division by nonzero elements is defined. Specifically, it is a nontrivial ring in which every nonzero element has a multiplicative inverse.
A division ring does not have to be commutative