 In particular, the center of a division ring is a field.It turned out that every "finite" domain (in particular finite division ring) is a field; in particular commutative (the Wedderburn's little theorem).Every module over a division ring is a free module (has a basis); consequently, much of linear algebra can be carried out over a division ring instead of a field.