A commutative division ring is a field. An example of a noncommutative division ring is H Hamilton's ring of Quaternions.