Division ring

Division ring

In abstract algebra, a division ring, also called a skew field, is a ring in which division is possible. Specifically, it is a non-trivial ring in which every non-zero element a has a multiplicative inverse, i.e., an element x with a·x = x·a = 1. Stated differently, a ring is a division ring if and only if the group of units is the set of all non-zero elements.

Division rings differ from fields only in that their multiplication is not required to be commutative. However, by Wedderburn's little theorem 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”.

Contents

Relation to fields and linear algebra

All fields are division rings; more interesting examples are the non-commutative division rings. The best known example is the ring of quaternions H. If we allow only rational instead of real coefficients in the constructions of the quaternions, we obtain another division ring. In general, if R is a ring and S is a simple module over R, then the endomorphism ring of S is a division ring; every division ring arises in this fashion from some simple module.

Much of linear algebra may be formulated, and remains correct, for (left) modules over division rings instead of vector spaces over fields. Every module over a division ring has a basis; linear maps between finite-dimensional modules over a division ring can be described by matrices, and the Gaussian elimination algorithm remains applicable. Differences between linear algebra over fields and skew fields occur whenever the order of the factors in a product matters. For example, the proof that the column rank of a matrix over a field equals its row rank yields for matrices over division rings only that the left column rank equals its right row rank: it does not make sense to speak about the rank of a matrix over a division ring.

The center of a division ring is commutative and therefore a field. Every division ring is therefore a division algebra over its center. Division rings can be roughly classified according to whether or not they are finite-dimensional or infinite-dimensional over their centers. The former are called centrally finite and the latter centrally infinite. Every field is, of course, one-dimensional over its center. The quaternion ring forms a 4-dimensional algebra over its center, which is isomorphic to the real numbers.

Ring theorems

Wedderburn's little theorem: All finite division rings are commutative and therefore finite fields. (Ernst Witt gave a simple proof.)

Frobenius theorem: The only finite-dimensional division algebras over the reals are the reals themselves, the complex numbers, and the quaternions.

Related notions

Division rings used to be called "fields" in an older usage. In many languages, a word meaning "body" is used for division rings, in some languages designating either commutative or non-commutative division rings, while in others specifically designating commutative division rings (what we now call fields in English). A more complete comparison is found in the article Field (mathematics).

Skew fields have an interesting semantic feature: a modifier (here "skew") widens the scope of the base term (here "field"). Thus a field is a particular type of skew field, and not all skew fields are fields.

While division rings and algebras as discussed here are assumed to have associative multiplication, nonassociative division algebras such as the octonions are also of interest.

A near-field is an algebraic structure similar to a division ring, except that it has only one of the two distributive laws.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • division ring — Math. a ring in which the set of nonzero elements is a group with the operation of multiplication. * * * …   Universalium

  • division ring — noun A ring with 0 ≠ 1, such that every non zero element a has a multiplicative inverse, meaning an element x with ax = xa = 1 …   Wiktionary

  • division ring — (Mathematics) is a ring in which every nonzero element has a multiplicative inverse but multiplication is not necessarily commutative (abstract algebra) …   English contemporary dictionary

  • division ring — Math. a ring in which the set of nonzero elements is a group with the operation of multiplication …   Useful english dictionary

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Division by zero — This article is about the mathematical concept. For other uses, see Division by zero (disambiguation). The function y = 1/x. As x approaches 0 from the right, y approaches infinity. As x approaches 0 from the left, y approaches negative …   Wikipedia

  • Division algebra — In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field, in which division is possible. Contents 1 Definitions 2 Associative division algebras 3 Not necessarily asso …   Wikipedia

  • Ring Magazine Light Heavyweight Champion — The Ring Magazine Light Heavyweight belt is issued by Ring Magazine to the top man in the division. The holder of a Ring Magazine belt is usually considered the undisputed world champion. Unlike the numerous alphabet belts (WBA, WBC, IBF, WBO… …   Wikipedia

  • Division De Huygens — La division de Huygens est un espace situé à l intérieur du système des anneaux de la planète Saturne. Sommaire 1 Caractéristiques 2 Voir aussi 2.1 Liens internes 2.2 …   Wikipédia en Français

  • Division Huygens — Division de Huygens La division de Huygens est un espace situé à l intérieur du système des anneaux de la planète Saturne. Sommaire 1 Caractéristiques 2 Voir aussi 2.1 Liens internes 2.2 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”