1 Answers
In algebra, a division ring, also called a skew field, is a nontrivial ring in which division by nonzero elements is defined. Specifically, it is a ring in which every nonzero element a has a multiplicative inverse, that is, an element usually denoted a, such that a a = a a = 1. So, division may be defined as a / b = a b, but this notation is avoided, as one may have a b ≠ b a.
A division ring is also a noncommutative ring. It is commutative if and only if it is a field. For example, Wedderburn's little theorem asserts that all finite division rings are commutative and therefore finite fields.
Historically, division rings were sometimes referred to as fields, while fields were called "commutative fields". In some languages, such as French, the word equivalent to "field" is used for both commutative and noncommutative cases, and the distinction between the two cases is made by adding qualificatives such as "corps commutatif" or "corps gauche".
All division rings are simple. That is, they have no two-sided ideal besides the zero ideal and itself.