Division Ring

A division ring is a Integral Domain in which any nonzero element has a multiplicative Inverse.