Fact-checked by Grok 2 weeks ago

Division ring

A division ring, also known as a skew field, is a ring with multiplicative identity in which division is possible for every nonzero element, meaning every non-zero element has a two-sided multiplicative inverse.^[1] Unlike a field, the multiplication in a division ring need not be commutative, though addition is always commutative and both operations satisfy the usual ring axioms including associativity and distributivity.^[1] All fields, such as the real numbers \mathbb{R} and complex numbers \mathbb{C}, are division rings, but the converse holds only when multiplication is commutative.^[1] Notable non-commutative examples include the quaternions \mathbb{H}, a four-dimensional algebra over the reals discovered by William Rowan Hamilton in 1843, where elements are of the form a + bi + cj + dk with i^2 = j^2 = k^2 = ijk = -1.^[1] Other examples encompass quaternion algebras over fields like the rationals \mathbb{Q}, such as (-1, p)_{\mathbb{Q}} for primes p \equiv 3 \pmod{4}, and rings of twisted Laurent series over division rings.^[2] Division rings play a central role in non-commutative algebra, representation theory, and the classification of simple artinian rings via the Artin-Wedderburn theorem, which decomposes them into matrix rings over division rings.^[1] A landmark result is Wedderburn's little theorem (1905), which states that every finite division ring is commutative and thus a field, implying no nontrivial finite non-commutative division rings exist.^[3] Over the reals, the only finite-dimensional associative division algebras are \mathbb{R}, \mathbb{C}, and \mathbb{H}, as proven by Frobenius and later extended by theorems of Hurwitz and Adams on normed division algebras.^[1] These structures underpin applications in physics, such as rotations in three dimensions via quaternions, and in coding theory through finite fields.^[1]

Definition and Properties

Definition

A division ring, also known as a skew field, is a ring R equipped with an additive identity $0 and a multiplicative identity $1, where R \neq \{0\}, and every nonzero element a \in R possesses a unique two-sided multiplicative inverse b \in R such that ab = ba = 1.^[1]^[4] The structure satisfies the standard ring axioms, including associativity of both addition and multiplication, commutativity of addition, the existence of additive inverses, and distributivity of multiplication over addition. Crucially, the requirement for two-sided inverses for all nonzero elements ensures the absence of zero divisors, distinguishing division rings from general rings, which may lack such inverses or contain zero divisors.^[1]^[5] Unlike fields, which are commutative division rings, the multiplication in a division ring need not commute, allowing for noncommutative structures while preserving the invertibility property. This noncommutativity is often emphasized by alternative notations such as "skew field" or "noncommutative field."^[4]^[6]

Basic Properties

Division rings exhibit several fundamental algebraic properties that stem directly from their defining axioms. Foremost among these is the absence of zero divisors. Suppose a \neq 0 and b \neq 0 in a division ring R, and assume ab = 0. Multiplying both sides on the left by a^{-1} yields b = a^{-1}(ab) = a^{-1} \cdot 0 = 0, a contradiction. Similarly, if ba = 0, then a = 0 \cdot a^{-1} = b \cdot 0 \cdot a^{-1} = 0, again a contradiction. Thus, division rings have neither left nor right zero divisors.^[7]^[8] This lack of zero divisors positions division rings as domains in the non-commutative sense, where the product of any two nonzero elements is nonzero. When the multiplication is commutative, a division ring reduces to a field, which is precisely an integral domain with every nonzero element invertible.^[7]^[9] Division rings are simple rings, meaning they possess no nontrivial two-sided ideals. To see this, consider any nonzero two-sided ideal I of R. Let a \in I with a \neq 0. Then a^{-1} a = 1 \in I, and for any r \in R, r = r \cdot 1 \in I. Thus, I = R.^[8]^[9] The set of nonzero elements R \setminus \{0\} forms a multiplicative group under the ring's multiplication operation. This follows immediately from the existence of inverses for each nonzero element, along with the associative and distributive properties inherited from the ring structure, ensuring closure, identity (the multiplicative unit 1), and inverses.^[7]^[10] Division rings support unique left and right division by nonzero elements. For any a \neq 0 and b \in R, the equation a x = b has a unique solution x = a^{-1} b, as left multiplication by a is injective (due to no zero divisors) and surjective (by solving for any right-hand side). Similarly, y a = b has a unique solution y = b a^{-1}.^[8]^[7] The characteristic of a division ring is either zero or a prime number p. If the characteristic n > 0 is composite, say n = k m with $1 < k, m < n, then k \cdot 1 = 0 and m \cdot 1 = 0, implying zero divisors unless one is zero, which contradicts the domain property. Thus, n must be prime. In characteristic zero, the ring contains an isomorphic copy of \mathbb{Z}.^[9]^[11]

History

Early Concepts

The roots of division ring concepts emerged in early 19th-century number theory, particularly through Carl Friedrich Gauss's exploration of algebraic integers. In his 1801 Disquisitiones Arithmeticae, Gauss introduced the Gaussian integers \mathbb{Z} = \{a + bi \mid a, b \in \mathbb{Z}\}, demonstrating their unique factorization into primes and establishing them as an integral domain without zero divisors, which provided an early model for ring-like structures supporting division.^[12] Building on this, Ernst Kummer in the 1840s developed the notion of ideal numbers to address the breakdown of unique factorization in rings of cyclotomic integers, such as those arising from roots of unity. Kummer's 1844 and 1847 papers on ideal complex numbers treated "ideals" as abstract entities to restore a form of unique factorization, influencing later abstract approaches to divisibility in rings without zero divisors.^[13] The terminology for these structures began to solidify in the 1870s and 1880s through the work of Leopold Kronecker and Richard Dedekind. They employed the German term Körper ("body") for systems of numbers closed under addition, subtraction, multiplication, and division by nonzero elements, referring to what are now termed fields (commutative division rings). Noncommutative structures, such as quaternions, were recognized but treated separately in other contexts.^[14] Dedekind's 1871 supplements to Peter Gustav Lejeune Dirichlet's Vorlesungen über Zahlentheorie marked a key formalization, defining the ring of integers in an algebraic number field as a structure without zero divisors and introducing ideals as multiplicative subsets to rigorously handle factorization and divisibility. This laid essential groundwork for division ring theory by abstracting ring properties from specific number fields.^[13] In the late 19th century, the analysis of polynomial rings in invariant theory further propelled these ideas, as mathematicians like Paul Gordan and David Hilbert examined ideals and syzygies in polynomial rings over fields to solve problems of invariant generation under group actions. Hilbert's 1890 basis theorem for ideals in polynomial rings exemplified how such structures without zero divisors facilitated broader algebraic insights.^[12] Hamilton's 1843 invention of quaternions offered an early concrete noncommutative example, extending complex numbers to a four-dimensional division ring.^[15]

Key Developments

In 1843, William Rowan Hamilton discovered the quaternions, marking the first explicit construction of a noncommutative division ring and inspiring subsequent efforts to identify higher-dimensional analogues over the real numbers.^[15] This breakthrough extended the complex numbers beyond two dimensions while preserving division properties, though multiplication proved noncommutative, challenging prevailing assumptions about algebraic structures.^[16] Building on this foundation, Ferdinand Georg Frobenius advanced the classification of finite-dimensional associative division algebras over the reals in his 1877-1878 works, demonstrating that only the reals, complexes, and quaternions satisfy the conditions.^[17] His analysis of composition algebras and bilinear forms provided early insights into the constraints on such structures, limiting possibilities to these three cases up to isomorphism and influencing later studies in normed algebras.^[18] A pivotal result came in 1905 when Joseph Henry Maclagan Wedderburn proved that every finite division ring is commutative, now known as Wedderburn's little theorem, which resolved a longstanding conjecture by showing such rings coincide with finite fields.^[19] This theorem, detailed in his paper on hypercomplex numbers, established a fundamental dichotomy between finite and infinite cases, with profound implications for the structure of finite rings.^[20] In 1927, Emil Artin extended Wedderburn's ideas through the Wedderburn-Artin theorem, which decomposes simple Artinian rings into matrix rings over division rings, providing a complete structural description for such algebras.^[21] This result unified earlier classifications and highlighted the role of division rings as building blocks in noncommutative ring theory.^[22] The 1930s saw significant progress in connecting division rings to broader algebraic frameworks, particularly through the work of Richard Brauer, Helmut Hasse, and Emmy Noether on central simple algebras and Brauer groups. Their collaborative efforts, culminating in the 1931 Brauer-Hasse-Noether theorem, established that central division algebras over number fields are cyclic and satisfy a local-global principle for splitting, linking these structures to class field theory via Hasse invariants.^[23] Noether's emphasis on algebraic invariants and Brauer's Sylow methods were instrumental in these advancements, solidifying the arithmetic theory of division rings.^[23] By the mid-20th century, terminology for noncommutative division rings standardized in English mathematical literature to "division ring" or "skew field" to distinguish them clearly from commutative fields and avoid earlier ambiguities like "hypercomplex field."^[24] This shift, as systematized in influential texts, facilitated precise discourse in ring theory and algebra.^[25]

Examples

Commutative Examples

Commutative division rings coincide precisely with the class of fields, since the commutativity of multiplication ensures that the standard division algorithm applies without obstruction. In such structures, every nonzero element admits a multiplicative inverse, and the ring is an integral domain. The prime fields serve as foundational examples. The rational numbers \mathbb{Q} form the prime field of characteristic 0, obtained as the field of fractions of the integers \mathbb{Z}. For each prime p, the finite field \mathbb{F}_p (also denoted \mathbb{Z}/p\mathbb{Z}) is the prime field of characteristic p, consisting of the integers modulo p under addition and multiplication. Algebraic extensions provide further commutative examples. The complex numbers \mathbb{C} arise as a quadratic extension of the real numbers \mathbb{R} by adjoining a root of x^2 + 1 = 0, yielding \mathbb{C} = \mathbb{R} where i^2 = -1. Finite fields also admit algebraic extensions: for a prime p and positive integer n, the field \mathbb{F}_{p^n} is the splitting field of the polynomial x^{p^n} - x over \mathbb{F}_p, containing p^n elements. The real numbers \mathbb{R} stand out as the unique (up to isomorphism) ordered archimedean field, complete with respect to the absolute value metric. Transcendental extensions include function fields, such as the rational function field \mathbb{Q}(x) over \mathbb{Q}, which consists of quotients of polynomials in one indeterminate x. Local fields like the p-adic numbers \mathbb{Q}_p offer completions of \mathbb{Q} at the prime ideal (p), forming a complete metric field of characteristic 0 with respect to the p-adic valuation. These examples illustrate the breadth of commutative division rings, all fitting within the general framework of fields.

Noncommutative Examples

The most prominent example of a noncommutative division ring is the algebra of Hamilton's quaternions, denoted \mathbb{H}, which is a 4-dimensional algebra over the real numbers \mathbb{R} with basis \{1, i, j, k\}. The defining relations are i^2 = j^2 = k^2 = -1, ij = k, and ji = -k, ensuring noncommutativity since ij = -ji. Every nonzero quaternion q \in \mathbb{H} is invertible, with the inverse given by q^{-1} = \frac{\bar{q}}{|q|^2}, where \bar{q} is the conjugate and the norm is |q| = \sqrt{q \bar{q}}.^[15] The rational quaternions, denoted \mathbb{H}(\mathbb{Q}), form another noncommutative division ring obtained as the tensor product \mathbb{H} \otimes_{\mathbb{R}} \mathbb{Q}, consisting of elements a + bi + cj + dk with a, b, c, d \in \mathbb{Q} and the same multiplication rules as in \mathbb{H}. This structure inherits the division property from \mathbb{H}, as every nonzero element has a multiplicative inverse within the ring.^[26] Integral versions of the quaternions, such as the Hurwitz quaternions, provide subrings of \mathbb{H}(\mathbb{Q}) or \mathbb{H} that are noncommutative orders used in number theory; these consist of quaternions with coefficients in \mathbb{Z} or half-integers satisfying certain integrality conditions, like the Hurwitz order generated by $1, i, j, \frac{1+i+j+k}{2}. While not division rings themselves due to lacking inverses for all nonzero elements, they embed densely in the full quaternion division rings.^[27] Skew polynomial rings, constructed as Ore extensions k[x; \sigma] over a division ring k with an automorphism \sigma: k \to k, yield noncommutative division rings under conditions where the extension satisfies the Ore condition for localization, allowing every nonzero element to be inverted via a quotient field. For instance, if \sigma is an inner automorphism, the resulting ring may form a division ring when polynomials are considered up to units.^[28] Cyclotomic division rings arise from crossed product constructions over number fields, where a central simple algebra is built as a cyclic crossed product (L/K, \chi) with L/K a cyclotomic extension and \chi a cohomology class corresponding to a root of unity, ensuring the algebra is a noncommutative division ring of degree equal to the extension degree. These examples generalize quaternion algebras over rationals and appear in the study of Brauer groups.^[29] Infinite-dimensional noncommutative division rings include skew Laurent series rings over skew fields, such as \mathbb{R}((t; \sigma)), where \sigma: \mathbb{R} \to \mathbb{R} is an automorphism, consisting of formal series \sum_{n \gg -\infty}^{\infty} a_n t^n with multiplication twisted by \sigma(a_n) t^n = t^n \sigma(a_n). These form division rings because leading terms allow unique factorization and inversion for nonzero series.^[30]

Main Theorems

Finite Division Rings

Wedderburn's little theorem, proved in 1905, asserts that every finite division ring is commutative and thus a field.^[31] To sketch the proof, let R be a finite division ring. For any nonzero a \in R, the left multiplication map x \mapsto xa is bijective, as it is injective (no zero divisors) and R is finite, so surjective. This implies that every nonzero principal left ideal Ra has cardinality |R|, and since division rings have no proper nonzero left ideals, R is simple as a ring. As a finite simple artinian ring, R is isomorphic to a matrix ring M_k(D) over a division ring D by the Artin-Wedderburn theorem. However, since R itself is a division ring (no zero divisors), the only possibility is k=1 and D=R. To establish commutativity, note that the center Z(R) is a finite field, and R is a finite-dimensional left vector space over Z(R) of dimension n. The right multiplications yield an embedding of the opposite ring R^\mathrm{op} into the endomorphism ring \mathrm{End}_{Z(R)}(R) \cong M_n(Z(R)). But M_n(Z(R)) for n>1 has zero divisors, contradicting that R^\mathrm{op} is a division ring unless n=1, in which case R=Z(R) is commutative.^[32] As a consequence, the finite division rings are precisely the finite fields \mathbb{F}_{p^n} for prime p and positive integer n, and no finite noncommutative division rings exist.^[33] This result historically dashed William Rowan Hamilton's hope for a finite-dimensional noncommutative division algebra over the rationals analogous to his quaternions, confirming that finiteness enforces commutativity.^[34]

Division Algebras over Fields

A division algebra over a field F is a finite-dimensional algebra over F that is also a division ring. The classification of such algebras depends crucially on the nature of the base field F. The Frobenius theorem provides a complete classification for the real numbers \mathbb{R}. It states that every finite-dimensional associative division algebra over \mathbb{R} is isomorphic to one of \mathbb{R}, \mathbb{C}, or the quaternions \mathbb{H}.^[35] This result, proved by Ferdinand Georg Frobenius in 1878, highlights the quaternions as the sole noncommutative example in this setting.^[35] A proof sketch relies on the theory of composition algebras, which are algebras equipped with a nondegenerate quadratic form N satisfying N(xy) = N(x)N(y) for all x, y. Starting from \mathbb{R} (dimension 1), a doubling construction iteratively builds higher-dimensional composition algebras: dimension 2 yields \mathbb{C}, dimension 4 yields \mathbb{H}, and dimension 8 yields the octonions \mathcal{O}. The possible dimensions for real composition algebras are thus restricted to powers of 2 up to 8. However, associativity holds only up to dimension 4, as the octonions are alternative but fail associativity (e.g., (xy)z \neq x(yz) for some elements), violating the requirements for a division algebra in this context.^[35] Over an algebraically closed field F, such as \mathbb{C}, the only finite-dimensional division algebra is F itself. This follows from the fact that every nonzero element in a finite-dimensional algebra over an algebraically closed field has a minimal polynomial that splits completely, implying commutativity and thus identification with F.^[36] For number fields, such as the rationals \mathbb{Q}, the classification of central division algebras (those with center F) is governed by the Brauer group \mathrm{Br}(F), which classifies them up to isomorphism via invariants like period and index. Elements of \mathrm{Br}(F) correspond to equivalence classes of central simple algebras, with division algebras representing the nonsplit classes; for global fields, the Brauer-Hasse-Noether theorem describes \mathrm{Br}(F) in terms of local invariants at primes.^[37] Artin-Schreier theory characterizes real closed fields F (fields where every positive element is a square and every odd-degree polynomial has a root), showing that their algebraic closures are quadratic extensions F(\sqrt{-1}). Consequently, the only commutative finite-dimensional division algebras over such F are F itself and quadratic extensions.^[38] In the broader framework of central simple algebras over a field F, every such algebra is Brauer equivalent to a matrix algebra over a central division algebra D (with center F); here, D serves as the maximal division subalgebra, capturing the nonsplit structure.^[37]

Relations and Applications

Relation to Other Algebraic Structures

Division rings generalize fields by relaxing the commutativity requirement of multiplication. A division ring is a ring with unity in which every nonzero element has a multiplicative inverse, and if the multiplication is commutative, it coincides precisely with the definition of a field.^[39] Every field is thus a division ring, but the converse holds only when commutativity is imposed.^[9] As a subclass of rings, division rings impose the strongest multiplicative condition: not only do they require a multiplicative identity and inverses for nonzero elements, but this ensures that nonzero ideals are absent, making them simple rings.^[9] In contrast, near-rings distribute addition only on one side and lack full inverses, while semirings omit additive inverses entirely, positioning division rings at the opposite end of the spectrum among these structures.^[40] Finite-dimensional division rings over a base field k are known as division algebras, and if the center is exactly k, they are central division algebras. These structures capture noncommutative extensions of fields, such as the quaternion algebra over the reals. By the Wedderburn-Artin theorem, every simple Artinian ring is isomorphic to a matrix ring M_n(D) over a division ring D, where n and D are uniquely determined up to isomorphism.^[41] This decomposition highlights the foundational role of division rings in the structure theory of Artinian rings. In projective geometry, division rings—also called skew fields—serve to coordinatize Desarguesian projective planes, where the multiplicative structure ensures the plane's properties.^[42] Quasifields, weaker structures with partial distributivity and one-sided inverses, generalize this to non-Desarguesian planes, distinguishing them from full skew fields by lacking full two-sided distributivity or associativity in some cases.^[42] The Brauer group of a field k, denoted \mathrm{Br}(k), classifies central simple algebras over k up to Brauer equivalence, where each class contains a unique central division algebra representative of minimal dimension.^[37] This abelian group encodes the isomorphism classes of finite-dimensional central division algebras, with the trivial class corresponding to matrix algebras over k itself.^[37]

Modules and Representations

Modules over a division ring D serve as noncommutative analogues of vector spaces over fields, where left (or right) D-modules are defined similarly using scalar multiplication from the left (or right). Unlike modules over general rings, every module over a division ring is free, meaning it possesses a basis and is isomorphic to a direct sum of copies of D. This property stems from the fact that division rings are semisimple Artinian rings with global dimension zero, implying that every module is both projective and injective, with injective dimension zero.^[43]^[44] The dimension, or rank, of a module over a division ring is uniquely defined as the cardinality of its basis, providing a well-defined invariant that distinguishes modules up to isomorphism. For finitely generated modules, this rank n ensures the module is isomorphic to D^n, and linear independence and spanning behave analogously to the vector space case, with the rank satisfying additivity over direct sums and exact sequences. This uniqueness contrasts with modules over arbitrary rings, where ranks may not be well-defined.^[45] In representation theory, group representations over a division ring D are captured by modules over the group algebra D[G], where irreducible representations correspond precisely to simple D[G]-modules. These simple modules are finite-dimensional over D and play a central role in decomposing representations, much like over fields, but accounting for the noncommutativity of D. For finite groups, the structure of such representations is governed by the Wedderburn decomposition of the group algebra into matrix rings over division rings.^[46] Matrix rings over a division ring exhibit Morita equivalence to the division ring itself, meaning their categories of modules are equivalent despite not being isomorphic as rings. Specifically, M_n(D) is Morita equivalent to D for any n \geq 1, preserving key homological properties like projectivity and simplicity of modules. This equivalence highlights how matrix constructions do not alter the underlying module theory of division rings.^[47] The endomorphism ring of a left D-module V with \dim_D V = n is isomorphic to the opposite matrix ring M_n(D)^{\mathrm{op}}, where endomorphisms act by left multiplication on column vectors. This isomorphism underscores the duality between modules and their endomorphisms, with D itself having endomorphism ring D^{\mathrm{op}}.^[45] In the study of central simple algebras, representations are intimately tied to the underlying division rings via their centers. A central simple algebra over a field k is Brauer equivalent to a matrix ring over a division algebra with center k, and its irreducible representations correspond to those of the division part, facilitating the classification of modules through the Skolem-Noether theorem and index-degree relations.^[48]

Applications in Mathematics and Physics

Division rings play a fundamental role in the construction of projective spaces in geometry, generalizing the classical real and complex cases. For any division ring D, the projective space \mathbb{P}^n(D) consists of the lines through the origin in the vector space D^{n+1}, where points are equivalence classes of vectors under right multiplication by nonzero scalars from D. This structure captures geometric properties such as incidence and collinearity in a noncommutative setting, with the quaternionic projective space \mathbb{H}P^n serving as a prominent example over the division ring of quaternions \mathbb{H}. These spaces exhibit unique topological features, including stable homotopy types that differ from their commutative counterparts, influencing studies in algebraic topology and differential geometry.^[49] Projective planes derived from division rings are Desarguesian, satisfying Desargues' theorem, which asserts the collinearity of intersection points of corresponding sides of perspective triangles. Given a division ring D, the projective plane \mathbb{P}^2(D) is coordinatized by D, with points as triples (x:y:z) and lines defined by linear equations, ensuring the plane's Desarguesian nature through the ring's division properties. This connection establishes a bijection between Desarguesian projective planes and division rings (up to anti-isomorphism), providing a foundational link between algebraic structures and synthetic geometry.^[50] In noncommutative geometry, division rings, or skew fields, extend the framework of operator algebras and C^*-algebras by allowing noncommutative coordinate rings for geometric objects. These structures appear in the study of noncommutative projective varieties, where skew fields serve as function fields, enabling the definition of noncommutative rational functions and cross-ratios that preserve projective invariants. Alain Connes' spectral triples, central to noncommutative geometry, have been adapted to incorporate skew fields in models of gauge theories and field theories, where the algebra acts on Hilbert spaces via representations faithful to the division ring's noncommutativity. This approach unifies differential geometry with quantum field theory, treating division rings as building blocks for spectral data in noncommutative spacetimes.^[51]^[25] In number theory, local-global principles for division algebras over number fields rely on the Brauer group, where central simple algebras, including division algebras, are classified by their invariants at local places. The Hasse-Brauer-Noether theorem ensures that a division algebra exists globally if and only if compatible local division algebras exist everywhere, with the Brauer-Manin obstruction providing a refined tool to detect failures of the Hasse principle for associated varieties, such as principal homogeneous spaces under norm-one groups of division algebras. This obstruction, defined via the Brauer group of the variety, explains counterexamples to weak approximation and has been pivotal in studying the arithmetic of quaternion algebras and higher-degree division rings.^[52]^[53] In physics, quaternions, as a prototypical noncommutative division ring, model 3D rotations through unit quaternions, offering a singularity-free representation via the double cover SU(2) \to SO(3), which avoids gimbal lock in applications like computer graphics and robotics. Extending to quantum mechanics, quaternions describe spinors for spin-1/2 particles, where the Pauli matrices embed into the quaternion algebra, facilitating the representation of rotations in Hilbert spaces and the Dirac equation in relativistic contexts. Clifford algebras generalize this framework to higher dimensions, providing associative algebras that encompass division rings like quaternions in low dimensions while enabling spinor representations in arbitrary signatures for quantum field theories and string theory. These algebras encode the geometry of spacetime in supersymmetric models, with their periodicity (Bott periodicity) underpinning topological invariants in particle physics.^[54]^[55]^[56] Lattices over division rings, particularly Hurwitz quaternions, construct error-correcting codes with enhanced capabilities in non-Euclidean metrics. Hurwitz integer lattices form principal ideal domains, allowing cyclic codes that correct errors beyond standard bounds due to the ring's Euclidean algorithm, with applications in quantum error correction and signal processing over quaternionic channels. These codes achieve perfect t-error correction for specific lengths, leveraging the noncommutative structure for denser packings than complex lattices.^[57]^[58] Post-1980s developments in quantum groups and Hopf algebras integrate division ring structures through actions on central simple algebras, deforming classical symmetries into noncommutative settings. Pointed Hopf algebras act on division algebras via automorphisms, producing quantum division rings as quotients or localizations, which model braided categories in integrable systems and topological quantum field theories. These structures underpin Drinfeld-Jimbo quantum enveloping algebras, where division ring quotients capture q-deformations relevant to knot invariants and conformal field theory.^[59]

References

[1]
Division Algebra -- from Wolfram MathWorld
A division algebra, also called a "division ring" or "skew field," is a ring in which every nonzero element has a multiplicative inverse.
[2]
Examples of division rings - Abstract Algebra - WordPress.com
Mar 25, 2022 · Division rings have a simple definition: a ring with identity is a division ring if every non-zero element of the ring is invertible.
[3]
[PDF] Wedderburn's Theorem on Division Rings
Wedderburn's Theorem on Division Rings: A finite division ring is a field. Necessary facts: (1) If V is a vector space of dimension n over a finite field F ...Missing: properties examples
[4]
division ring - PlanetMath
Mar 22, 2013 · For all nonzero a∈D a ∈ D , there exists b∈D b ∈ D with a⋅b=b⋅a=1 a ⋅ b = b ⋅ a = 1. Every field is a commutative division ring.
[5]
8.1: Definitions and Examples - Mathematics LibreTexts
Apr 16, 2022 · A ring R with 1 (with 1 ≠ 0 ) is called a division ring if every nonzero element in R has a multiplicative inverse: if a ∈ R ∖ { 0 } , then ...Definition: Ring · Definition: Division Ring · Definition: Zero Divisor · Definition: Unit
[6]
skewfield in nLab
Aug 19, 2024 · 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 ...Definition · Sources of examples · Quotients of domains
[7]
[PDF] 2. Basic Properties of Rings - UCSD Math
Note that a ring is a division ring if and only if every non-zero element has a multiplicative inverse. Similarly for commutative rings and fields. Example ...
[8]
[PDF] Basic Properties of Rings
Note that in a division ring every non-zero element a is a unit (since if R is a division ring, the equation ax = 1R = xa always has a solution if a 6= 0R) ...
[9]
[PDF] Ring Theory - The University of Memphis
0 = 0, and is the only ring in which 1 = 0. A division ring or skew field is a non-trivial ring in which every non-zero element is a unit. A ...<|control11|><|separator|>
[10]
Division rings
Division rings · Definition · Examples · Basic results · Properties · Finite members · Subclasses · Superclasses · References.
[11]
Characteristic of a simple ring is either prime or 0
Oct 25, 2013 · The characteristic of R is the least positive integer k such that kr=0, for all r∈R, or the characteristic is 0 if such an integer doesn't ...finite dimensional division algebra $D$ - Mathematics Stack ExchangeAutomorphism of division ring with characteristic p - prime numberMore results from math.stackexchange.com
[12]
Ring Theory - MacTutor History of Mathematics
Although the concept of a ring is due to Dedekind, one of the first words used was an "order" or "order-modul". This term, invented by Kronecker, is still ...
[13]
Dedekind's Contributions to the Foundations of Mathematics
Apr 22, 2008 · Richard Dedekind (1831–1916) was one of the greatest mathematicians of the nineteenth-century, as well as one of the most important contributors to algebra and ...
[14]
Could a "field" have non-commutative multiplication originally?
Jun 10, 2020 · It is inconceivable that Dedekind intended the term Körper to allow for noncommutative multiplication. The only known example of a ...Missing: meant | Show results with:meant
[15]
[PDF] quaternion algebras - keith conrad
A commutative division ring is a field, and the center of a division ring is a field (Exercise. 2.3). The quaternions were the first example of a noncommutative ...
[16]
[PDF] A Brief History of Quaternions and the Theory of Holomorphic ...
Mar 19, 2009 · In the case of quaternions, however, we know that they were discovered by the Irish mathematician, William Rowan Hamilton on October 16th, 1843 ...
[17]
[PDF] Division Algebras over the Real Numbers - Matthew Badger
The classification of real division algebras began in 1878, when Georg. Frobenius [7] showed that (up to isomorphism) there are exactly three such algebras ...Missing: 1877-1878 rings
[18]
[PDF] On Frobenius Theorem and Classication of 2-Dimensional Real ...
The classification of 2-dimensional real division algebras is based on the number of idempotent element hence the following definition is in order.Missing: 1877-1878 composition
[19]
[PDF] A matricial perpective of Wedderburn's Little theorem - m-hikari.com
In a famous paper [13] from the year 1905, Wedderburn first stated his theorem, now considered a classic, that any finite division ring is commuta- tive, that ...
[20]
On the Structure of Hypercomplex Number Systems - Internet Archive
Mar 20, 2013 · On the Structure of Hypercomplex Number Systems ; Publication date: 1905-04-01 ; Publisher: Transactions of the American Mathematical Society.
[21]
[PDF] A SHORT PROOF OF THE WEDDERBURN-ARTIN THEOREM
The Wedderburn-Artin theorem is of fundamental importance in non- commutative ring theory. A short self-contained proof is given which requires only elementary ...
[22]
[PDF] op → EndR(RR) ϕ(1)(a) = aϕ(1) = ϕ(a1) = ϕ(a) =⇒ r θ
THEOREM (Wedderburn, 1907; Artin, 1927). (a) Any semisimple ring R can be expressed uniquely as a product of matrix rings over division rings,. (III.B.5). R.
[23]
[PDF] The Brauer-Hasse-Noether theorem in historical perspective
Dec 23, 2004 · By Wedderburn's theorem, every simple algebra A|K is isomorphic to a full matrix ring over a division algebra D|K, and D is uniquely determined.
[24]
Skew Fields - Cambridge University Press & Assessment
Non-commutative fields (also called skew fields or division rings) have not been studied as thoroughly as their commutative counterparts, and most accounts ...Missing: terminology | Show results with:terminology
[25]
[PDF] Skew fields: Theory of general division rings
... or also a division ring. Since skew fields form the topic of this book, we shall use the term 'field' to mean 'not necessarily commutative field' and only.
[26]
[PDF] MATH 415 Modern Algebra I Lecture 24: Quaternions. Field of ...
Rational quaternions are quaternions of the form q = a + bi + cj + dk, where a,b,c,d ∈ Q. The rational quaternions also form a division ring.
[27]
Integer-valued polynomials on subsets of quaternion algebras - arXiv
Dec 29, 2024 · Let R be either the ring of Lipschitz quaternions, or the ring of Hurwitz quaternions. Then, R is a subring of the division ring \mathbb{D} of ...<|control11|><|separator|>
[28]
[PDF] Skew Polynomial Rings
Oct 31, 2018 · Example: for i we have. (iz)2 = (iz)(iz) = i(zi)z = i(−iz)z = −i2z2 = z2, whereas in the ordinary polynomial ring we would have (iz)2 = −z2.
[29]
GYCLOTOMIC DIVISION ALGEBRAS
We say that D is a cyclotomic division algebra if D is a cyclic crossed product (L/K, e) where e is a root of unity in K, and L is a cyclotomic extension of K ...
[30]
[PDF] Commutator Products in Skew Laurent Series Division Rings - arXiv
Jan 15, 2025 · In a skew Laurent series division ring over a field, every element can be expressed as a product of two commutators.
[31]
https://www.jstor.org/stable/1989268
[32]
[PDF] NON-COMMUTATIVE ALGEBRA - Moshe Kamensky
is the endomorphism ring of a two-dimensional space. But the assumptions of ... In other words, every finite division ring is a field. Proof. Let D be a ...
[33]
[PDF] Wedderburn's Little Theorem
The purpose of this expository paper is to present several known proofs of Wedderburn's theorem that every finite division ring is necessarily a field. Preface.
[34]
The skew field of Hamilton's quaternions - Math Counterexamples
Jul 5, 2015 · According to Wedderburn theorem every finite division ring is commutative. So we must turn to infinite division rings to find a non ...
[35]
[PDF] The (1, 2, 4, 8)-Theorem for Composition Algebras - DiVA portal
Jun 2, 2013 · In 1877 the german mathematician Ferdinand Georg Frobenius proved the following theorem for finite-dimensional real division algebras (Frobenius ...
[36]
[PDF] VB Finite-dimensional division algebras
(ii) Quaternion algebras give some non-commutative examples: H. (Hamilton's quaternions) is an R-division algebra; while the non- split (i.e., division ring) ...
[37]
[PDF] Division Algebras, the Brauer Group, and Galois Cohomology
Jan 5, 2015 · Every finite dimensional central division algebra D/k is split by any maximal subfield of D; furthermore we can find a finite galois extention ...
[38]
[PDF] THE ARTIN–SCHREIER THEOREM 1. Introduction The algebraic ...
Introduction. The algebraic closure of R is C, which is a finite extension. Are there other fields which are not algebraically closed but have an algebraic ...
[39]
[PDF] 1. Rings and modules
The generalization consists in that the scalars used for scalar multiplication ... A field is a commutative division ring. The quartenions H is not a ...
[40]
[PDF] ON GENERALIZATION OF DIVISION NEAR-RINGS
Ligh [7] give necessary and sufficient condition for a d.g. near-ring to be a division ring. ... Dickson, Definitions of a group and a field by independent ...<|control11|><|separator|>
[41]
[PDF] Study The Artin-Wedderburn Theorem
The Artin-Wedderburn theorem states a simple left Artinian ring is isomorphic to matrix rings over division rings, and is a classification for semisimple rings.<|separator|>
[42]
5 Coordinatising a projective plane - Oxford Academic
A quasifield with the left distributive law is called a semifield. 4. A skew field has all the properties of a field, except that multiplication is not ...
[43]
[PDF] Section IV.2. Free Modules and Vector Spaces
Jan 7, 2024 · Every vector space V over a division ring D has a basis and is therefore a free D-module. More generally every linearly independent subset of V.
[44]
[PDF] Homological Algebra II
Apr 27, 2011 · In this section, we show that the class of rings with zero global dimension (either left or right) is precisely the class of semisimple rings.
[45]
[PDF] Algebras and Involutions 1. Vectorspaces over division rings
Feb 19, 2005 · That is, the tensor product of two crossed products is equivalent to the crossed product obtained by pointwise multiplication of the cocycles.
[46]
[PDF] Representations of Algebras and Finite Groups: An Introduction
14.7 Vector Spaces over Division Rings . ... is an irreducible representation of the finite group G on a vector space E over.
[47]
[PDF] An Introduction to Morita Theory - Matt Booth
With this in mind, two rings are said to be Morita equivalent when their module categories are equivalent. In many cases, we often only care about rings up to ...
[48]
[PDF] Generalities on Central Simple Algebras
This allows us to define the Brauer group of k,Br(k), to be the set of ... Let D be a central division algebra over non-archimedean local field K, say ...
[49]
Full article: On the quaternion projective space
In this paper, we consider real, complex and quaternion projective spaces. We focus on the geometric feature of the sectional curvatures.
[50]
[PDF] DESARGUES' THEOREM Two triangles ABC and A ... - OSU Math
In this section we show how to get a projective plane P(2, D) from a division ring D and prove that Desargues' theorem is true in such a projective plane. Let D ...
[51]
[PDF] Associative division algebras in field theories and non-commutative ...
Dec 17, 2018 · The second part builds up the theory of non-commutative geometry using the approach of spectral triples. Gauge groups of spectral triples as ...
[52]
[PDF] Brauer groups and the Brauer-Manin obstruction
This thesis introduces Brauer groups of a variety to detect an obstruction to the Hasse principle, and studies Brauer groups of fields, rings, and varieties.
[53]
[PDF] Open problems on Central Simple Algebras - arXiv
For lo- cal and global fields, the question has an affirmative answer by the well-known theorems of Hasse and Albert–Brauer–Hasse–Noether, respectively. There ...Missing: original | Show results with:original
[54]
[PDF] Quaternions and Rotations∗
Sep 10, 2013 · A quaternion is a 4-tuple, a concise representation of rotations in R3, defined as a sum of a scalar and a vector.
[55]
[hep-th/0506011] Clifford Algebras in Physics - arXiv
Jun 1, 2005 · This paper studies Clifford algebras as matrix algebras, their relation to spinors, and how they enable supersymmetric extensions of the ...
[56]
[PDF] Chapter 10:: Clifford algebras - Rutgers Physics
Apr 3, 2018 · Now describe Z2-graded modules modulo those which extend to Z2 graded modules one dimension higher. Tensor product of Z2-graded modules. Ring ...
[57]
Codes over Hurwitz integers - ScienceDirect.com
A property of the Hurwitz codes is that they can correct more errors than the codes over the ring since these codes can correct errors coming from not only R π ...
[58]
[PDF] On Some Perfect Codes over Hurwitz Integers - DergiPark
May 18, 2018 · Abstract: The article considers linear codes over Hurwitz integers. The codes are considered with respect to a new Hurwitz metric.Missing: division | Show results with:division
[59]
[PDF] POINTED HOPF ACTIONS ON CENTRAL SIMPLE DIVISION ...
At α = 0, the division algebra we produce is the ring of fractions of a quantum plane, while the division algebra we produce for T(n, m, 1) has a more intricate ...