rings: define zero divisors, integral domains, division rings, fields, and prove basic properties of rings and unital rings