Division ring

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 nontrivial ring[1] in which every nonzero element a has a multiplicative inverse, that is, an element usually denoted a–1, such that aa–1 = a–1a = 1. So, (right) division may be defined as a / b = ab–1, but this notation is avoided, as one may have ab–1b–1a.

A commutative division ring is a field. 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".[5] In some languages, such as French, the word equivalent to "field" ("corps") is used for both commutative and noncommutative cases, and the distinction between the two cases is made by adding qualificatives such as "corps commutatif" (commutative field) or "corps gauche" (skew field).

All division rings are simple. That is, they have no two-sided ideal besides the zero ideal and itself.

  1. ^ In this article, rings have a 1.
  2. ^ 1948, Rings and Ideals. Northampton, Mass., Mathematical Association of America
  3. ^ Artin, Emil (1965), Serge Lang; John T. Tate (eds.), Collected Papers, New York: Springer
  4. ^ Brauer, Richard (1932), "Über die algebraische Struktur von Schiefkörpern", Journal für die reine und angewandte Mathematik (166.4): 103–252
  5. ^ Within the English language area the terms "skew field" and "sfield" were mentioned 1948 by Neal McCoy[2] as "sometimes used in the literature", and since 1965 skewfield has an entry in the OED. The German term Schiefkörper is documented, as a suggestion by van der Waerden, in a 1927 text by Emil Artin,[3] and was used by Emmy Noether as lecture title in 1928.[4]

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne