Definition A ring is a division ring if every non-zero element is a unit. That is, there exists such that Examples The quaternions is a division ring that is not a field. The polynomial ring is never a division ring as is not a unit.