All fields are division rings; more interesting examples are the non-commutative division rings.
Every module over a division ring is free; i.e., has a basis, and all bases of a module have the same number of elements.