nLab skewfield

Redirected from "division rings".
Contents

Contents

Definition

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 11 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 \mathbb{Z}-reciprocal algebra where the multiplicative identity element 11 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 ax=ba x = b and ya=by a = b have unique solutions iff a0a\neq 0.

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.

Properties

Every finite skewfield is a field (Wedderburn’s little theorem).

Sources of examples

Quotients of domains

For every commutative domain RR there is an epimorphism of rings RQR\to Q which is an injection and QQ is a field. This epimorphism is unique up to isomorphism in the overcategory R/RingsR/Rings and the field QQ is called the quotient field of RR.

For a noncommutative domain RR 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 RR 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.

Wedderburn-Artin theorem

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).

Finite dimensional division algebras

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.

References

category: algebra

Last revised on August 19, 2024 at 15:18:23. See the history of this page for a list of all contributions to it.