Homotopy Type Theory commutative discrete division ring > history (Rev #2, changes)

Properties

Every commutative discrete division ring is a commutative discrete reciprocal ring.

Examples

• The rational numbers are a commutative discrete division ring.

• Every commutative discrete reciprocal ring is a commutative discrete division ring, and thus every discrete field is a commutative discrete division ring.

See also

• commutative ring

• commutative division ring