A skewfield (also spelled skew-field), or division ring is a unital ring where each non-zero element has a two-sided inverse and the multiplicative identity element is not zero. Of course, one can require left and right inverse separately, as for an associative binary operation, if an element has both a left and a right inverse the two inverses are the same.
Equivalently, skewfield is an associative unital -reciprocal algebra where the multiplicative identity element is not zero.
Terminology “division ring” points to the fact that this is a unital ring in which any element can be divided by any nonzero element from the left and right, more precisely, the equations and have unique solutions iff .
A commutative skewfield is called a field, but sometimes in specialized works on skewfields one often says simply field for skewfield. In particular, a specific class of skewfields are called the free fields and the hypercorrection “free skewfield” is extremely rarely used in that context.
In constructive mathematics and internally, the same issues appear for skewfields as for fields, and may be dealt with in the same way.
Linear algebra is often understood in the generality of division rings, namely the usual notions of linear basis, dimension, linear map, matrix of a linear map with respect to two bases and so on, and Gauss elimination procedure, hold without changes for left or right vector spaces over a division rings.
Every finite skewfield is a field (Wedderburn’s little theorem).
For every commutative domain there is an epimorphism of rings which is an injection and is a field. This epimorphism is unique up to isomorphism in the overcategory and the field is called the quotient field of .
For a noncommutative domain such an injective epimorphism of rings may not exist, or if it exists it is in general nonunique. For this reason many constructions of quotient skewfields are studied in the literature.
If is a left or right Ore domain then one can define the Ore quotient skewfield as the field of all left or right fractions with all nonzero denominators.
An important appearance of division rings is via the Wedderburn-Artin theorem: every simple Artinian ring is isomorphic to a matrix ring of a division ring. (Consequently, every semisimple Artinian ring is a finite direct sum of such).
Any finite-dimensional algebra without zero divisors is a skew-field. Any division ring is a division algebra over its center, but it may not be finite dimensional over its center.
The most famous noncommutative example of a skewfield is the skewfield of quaternions.
The Frobenius theorem states that apart from the fields of real and complex numbers and quaternions, there are no associative finite-dimensional division algebras over the real numbers; and even if one includes nonassociative finite-dimensional division algebras one obtains only one more example (the octonions). See at normed division algebra for more on this.
Last revised on August 19, 2024 at 15:18:23. See the history of this page for a list of all contributions to it.