Editing Division ring

{{Short description|Algebraic structure also called skew field}} 
In [[algebra]], a '''division ring''', also called a '''skew field''' (or, occasionally, a '''sfield'''<ref>{{Cite web |title=Definition:Skew Field - ProofWiki |url=https://proofwiki.org/wiki/Definition:Skew_Field |access-date=2024-10-13 |website=proofwiki.org}}</ref><ref>{{Cite journal |last=Hua |first=Loo-Keng |date=1949 |title=Some Properties of a Sfield |journal=Proceedings of the National Academy of Sciences |language=en |volume=35 |issue=9 |pages=533–537 |doi=10.1073/pnas.35.9.533 |doi-access=free |issn=0027-8424 |pmc=1063075 |pmid=16588934|bibcode=1949PNAS...35..533H }}</ref>), is a [[zero ring|nontrivial]] [[ring (mathematics)|ring]] in which [[division (mathematics)|division]] by nonzero elements is defined. Specifically, it is a nontrivial ring{{refn|In this article, rings have a {{math|1}}.}} in which every nonzero element {{mvar|a}} has a [[multiplicative inverse]], that is, an element usually denoted {{math|''a''{{sup|–1}}}}, such that {{math|1=''a{{space|thin}}a''{{sup|–1}} = ''a''{{sup|–1}}{{space|thin}}''a'' = 1}}. So, (right) ''division'' may be defined as {{math|1=''a'' / ''b'' = ''a''{{space|thin}}''b''<sup>–1</sup>}}, but this notation is avoided, as one may have {{math|1=''a{{space|thin}}b''{{sup|–1}} ≠ ''b''{{sup|–1}}{{space|thin}}''a''}}.

A commutative division ring is a [[Field (mathematics)|field]]. [[Wedderburn's little theorem]] asserts that all finite division rings are commutative and therefore [[finite field]]s. 

Historically, division rings were sometimes referred to as fields, while fields were called "commutative fields".{{refn|Within the English language area the terms "skew field" and "sfield" were mentioned 1948 by Neal McCoy<ref>1948, Rings and Ideals. Northampton, Mass., Mathematical Association of America</ref> as "sometimes used in the literature", and since 1965 ''skewfield'' has an entry in the [[OED]]. The German term {{ill|Schiefkörper|de|vertical-align=sup}} is documented, as a suggestion by [[van der Waerden]], in a 1927 text by [[Emil Artin]],{{refn|{{citation|last1=Artin|first1=Emil|year=1965|title=Collected Papers|editor1=Serge Lang|editor2=John T. Tate|location=New York|publisher=Springer}}}} and was used by [[Emmy Noether]] as lecture title in 1928.<ref>{{citation|last1=Brauer|first1=Richard|year=1932|title=Über die algebraische Struktur von Schiefkörpern|journal=Journal für die reine und angewandte Mathematik|volume=166 |issue=4|pages=103–252}}</ref>}} In some languages, such as [[French language|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 ring|simple]]. That is, they have no two-sided [[Ideal (ring theory)|ideal]] besides the [[zero ideal]] and itself.

{{Algebraic structures |Ring}}

== Relation to fields and linear algebra ==
All fields are division rings, and every non-field division ring is noncommutative. The best known example is the ring of [[quaternion]]s. If one allows only [[rational number|rational]] instead of [[real number|real]] coefficients in the constructions of the quaternions, one obtains another division ring. In general, if {{math|''R''}} is a ring and {{math|''S''}} is a [[simple module]] over {{math|''R''}}, then, by [[Schur's lemma]], the [[endomorphism ring]] of {{math|''S''}} is a division ring;{{sfnp|Lam|2001|loc={{Google books|id=f15FyZuZ3-4C|page=33|text=Schur's Lemma|title=Schur's Lemma}}|ps=}} every division ring arises in this fashion from some simple module.

Much of [[linear algebra]] may be formulated, and remains correct, for [[module (mathematics)|modules]] over a division ring {{math|''D''}} instead of [[vector space]]s over a field. Doing so, one must specify whether one is considering right or left modules, and some care is needed in properly distinguishing left and right in formulas. In particular, every module has a [[basis (linear algebra)|basis]], and [[Gaussian elimination]] can be used. So, everything that can be defined with these tools works on division algebras. [[Matrix (mathematics)|Matrices]] and their products are defined similarly.{{citation needed|date=July 2023}} However, a matrix that is left [[invertible matrix|invertible]] need not to be right invertible, and if it is, its right inverse can differ from its left inverse. (See ''{{slink|Generalized inverse#One-sided inverse}}''.)

[[Determinant]]s are not defined over noncommutative division algebras.  Most things that require this concept cannot be generalized to noncommutative division algebras, although generalizations such as [[quasideterminant]]s allow some results{{what|date=February 2025}} to be recovered.

Working in coordinates, elements of a finite-dimensional right module can be represented by column vectors, which can be multiplied on the right by scalars, and on the left by matrices (representing linear maps); for elements of a finite-dimensional left module, row vectors must be used, which can be multiplied on the left by scalars, and on the right by matrices. The dual of a right module is a left module, and vice versa. The transpose of a matrix must be viewed as a matrix over the opposite division ring {{math|''D''<sup>op</sup>}} in order for the rule {{math|(''AB'')<sup>T</sup> {{=}} ''B''<sup>T</sup>''A''<sup>T</sup>}} to remain valid.

Every module over a division ring is [[free module|free]]; that is, it has a basis, and all bases of a module [[Invariant basis number|have the same number of elements]]. Linear maps between finite-dimensional modules over a division ring can be described by [[matrix (mathematics)|matrices]]; the fact that linear maps by definition commute with scalar multiplication is most conveniently represented in notation by writing them on the ''opposite'' side of vectors as scalars are. The [[Gaussian elimination]] algorithm remains applicable. The column rank of a matrix is the dimension of the right module generated by the columns, and the row rank is the dimension of the left module generated by the rows; the same proof as for the vector space case can be used to show that these ranks are the same and define the rank of a matrix.

Division rings are the only [[ring (mathematics)|ring]]s over which every module is free: a ring {{math|''R''}} is a division ring if and only if every {{math|''R''}}-module is [[Free module|free]].<ref>Grillet, Pierre Antoine. Abstract algebra. Vol. 242. Springer Science & Business Media, 2007</ref>

The [[center of a ring|center]] of a division ring is commutative and therefore a field.<ref>Simple commutative rings are fields. See {{harvp|Lam|2001|loc={{Google books|id=f15FyZuZ3-4C|page=39|text=simple commutative rings|title=simple commutative rings}} and {{Google books|id=f15FyZuZ3-4C|page=45|text=center of a simple ring|title=exercise 3.4}}}}</ref> 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 one dimensional over its center. The ring of [[Hamiltonian quaternions]] forms a four-dimensional algebra over its center, which is isomorphic to the real numbers.

== Examples ==
* As noted above, all [[Field (mathematics)|fields]] are division rings.
* The [[quaternion]]s form a noncommutative division ring.
* The subset of the quaternions {{math|''a'' + ''bi'' + ''cj'' + ''dk''}}, such that {{mvar|a}}, {{mvar|b}}, {{mvar|c}}, and {{mvar|d}} belong to a fixed subfield of the [[real number]]s, is a noncommutative division ring. When this subfield is the field of [[rational number]]s, this is the division ring of ''rational quaternions''.
* Let <math>\sigma: \Complex \to \Complex</math> be an [[automorphism]] of the field {{nowrap|<math>\Complex</math>.}}  Let <math>\Complex((z,\sigma))</math> denote the ring of [[formal Laurent series]] with complex coefficients, wherein multiplication is defined as follows:  instead of simply allowing coefficients to commute directly with the indeterminate {{nowrap|<math>z</math>,}} for {{nowrap|<math>\alpha\in\Complex</math>,}} define <math>z^i\alpha := \sigma^i(\alpha) z^i</math> for each index {{nowrap|<math>i\in\mathbb{Z}</math>.}}  If <math>\sigma</math> is a non-trivial automorphism of [[complex number]]s (such as [[complex conjugate|the conjugation]]), then the resulting ring of Laurent series is a noncommutative division ring known as a ''skew Laurent series ring'';{{sfnp|Lam|2001|p=10}} if {{math|1=''σ'' = [[identity function|id]]}} then it features the [[ring of formal Laurent series|standard multiplication of formal series]]. This concept can be generalized to the ring of Laurent series over any fixed field {{nowrap|<math>F</math>,}} given a nontrivial {{nowrap|<math>F</math>-automorphism}} {{nowrap|<math>\sigma</math>.}}

== Main theorems ==
'''[[Wedderburn's little theorem]]''': All finite division rings are commutative and therefore [[finite field]]s. ([[Ernst Witt]] gave a simple proof.)

'''[[Frobenius theorem (real division algebras)|Frobenius theorem]]''': The only finite-dimensional associative division algebras over the reals are the reals themselves, the [[complex number]]s, and the [[quaternion]]s.

== 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 noncommutative 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 on [[Field (mathematics)|fields]].

The name "skew field" has an interesting [[lexical semantics|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, [[Division algebra#Not necessarily associative division algebras|nonassociative division algebras]] such as the [[octonion]]s are also of interest.

A [[near-field (mathematics)|near-field]] is an algebraic structure similar to a division ring, except that it has only one of the two [[distributive law]]s.

== See also ==
* [[Hua's identity]]

== Notes ==
{{reflist}}

== References ==
{{refbegin}}
* {{cite book |last1=Lam |first1=Tsit-Yuen |author-link1=Tsit Yuen Lam |title=A first course in noncommutative rings |url=https://books.google.com/books?id=f15FyZuZ3-4C&q=%22division+ring%22 |edition=2nd |series=[[Graduate Texts in Mathematics]] |volume=131 |year=2001 |publisher=Springer |isbn=0-387-95183-0 | zbl=0980.16001 }}
{{refend}}

== Further reading ==
{{refbegin}}
* {{cite book | last=Cohn | first=P.M. | author-link=Paul Cohn | title=Skew fields. Theory of general division rings | zbl=0840.16001 | series=Encyclopedia of Mathematics and Its Applications | volume=57 | location=Cambridge | publisher=[[Cambridge University Press]] | year=1995 | isbn=0-521-43217-0 | url-access=registration | url=https://archive.org/details/skewfieldstheory0000cohn }}
{{refend}}

== External links ==
{{refbegin}}
* [http://planetmath.org/?op=getobj&from=objects&id=3627 Proof of Wedderburn's Theorem at Planet Math]
* [https://math.stackexchange.com/q/75866 Grillet's Abstract Algebra, section VIII.5's characterization of division rings via their free modules.  ]
{{refend}}

[[Category:Ring theory]]