Fact-checked by Grok 2 weeks ago

Division algebra

A division algebra is a finite-dimensional algebra over a field in which every non-zero element admits a two-sided multiplicative inverse.^[1] These structures generalize fields by allowing non-commutative multiplication, though they retain the property that division by non-zero elements is always possible.^[2] Division algebras may or may not be associative, with the associative case corresponding to division rings or skew fields.^[1] Over the real numbers, the classification of finite-dimensional division algebras is governed by two fundamental theorems. The Frobenius theorem states that the only associative ones are the real numbers \mathbb{R} (dimension 1), the complex numbers \mathbb{C} (dimension 2), and the quaternions \mathbb{H} (dimension 4).^[3] For the non-associative case, the Bott-Milnor-Kervaire theorem establishes that all finite-dimensional real division algebras have dimension 1, 2, 4, or 8, with the octonions \mathbb{O} providing the unique example in dimension 8.^[4] These algebras play a central role in various areas of mathematics and physics, including the study of normed division algebras, Clifford algebras, and spinor representations, as well as applications in topology, such as the parallelizability of spheres.^[5] Their multiplicative norms satisfy key inequalities like the Hurwitz theorem, which bounds the possible dimensions for real division algebras with compatible norms.^[6]

Basic Concepts

Definition

A division algebra over a field K is a finite-dimensional vector space A over K equipped with a bilinear multiplication operation, making A into an algebra over K.^[7] The multiplication is K-bilinear, meaning it is linear in each argument separately and compatible with scalar multiplication from K.^[7] The defining property is that division by nonzero elements is always possible: for every nonzero a \in A and every b \in A, the equations a x = b and y a = b have unique solutions x, y \in A.^[7] Equivalently, the left multiplication map L_a: A \to A given by L_a(x) = a x and the right multiplication map R_a: A \to A given by R_a(x) = x a are bijective linear endomorphisms of A for all nonzero a \in A.^[7] This condition implies that every nonzero element has a unique two-sided multiplicative inverse. Division algebras are unital, possessing a multiplicative identity $1 \in A such that $1 \cdot a = a \cdot 1 = a for all a \in A.^[8] In finite dimensions, this division property is equivalent to the absence of zero divisors: if x \neq 0 and y \neq 0 in A, then x y \neq 0.^[7] Division algebras generalize fields, which are commutative and associative division algebras of dimension 1 over themselves, by allowing non-commutativity and non-associativity in the multiplication.^[7] Formally, the division condition can be expressed as: for all a, b \in A with b \neq 0, there exists a unique c \in A such that a = b c, and a unique d \in A such that a = d b.^[7]

Properties

A division algebra over a field k is characterized by the absence of zero divisors, meaning that for any elements a, b in the algebra, if ab = 0, then either a = 0 or b = 0. This property ensures that the left and right multiplication maps L_a: x \mapsto ax and R_a: x \mapsto xa are bijective for every non-zero a, distinguishing division algebras from more general algebras that may contain zero divisors.^[9] Every non-zero element a in a division algebra is invertible, possessing both a left inverse b such that ba = 1 and a right inverse c such that ac = 1. In such structures, the left and right inverses coincide, yielding a unique two-sided inverse a^{-1} satisfying

a a^{-1} = a^{-1} a = 1.

This invertibility follows directly from the bijectivity of the multiplication maps and the ring-theoretic principle that elements with matching left and right inverses form units.^[9]^[10] Division algebras are finite-dimensional over their base field k, such as \mathbb{R} or \mathbb{C}, as this finiteness enables key structural analyses without loss of generality in classical contexts.

Real Division Algebras

Frobenius Theorem

The Frobenius theorem states that, up to isomorphism, the only finite-dimensional associative division algebras over the real numbers \mathbb{R} are \mathbb{R} itself (dimension 1), the complex numbers \mathbb{C} (dimension 2), and the quaternions \mathbb{H} (dimension 4).^[11]^[12] This classification highlights the rarity of such structures, as no associative division algebras over \mathbb{R} exist in other finite dimensions.^[12] The theorem was proved by Ferdinand Georg Frobenius in his 1877 paper "Über lineare Substitutionen und bilineare Formen."^[11] In this work, Frobenius analyzed bilinear forms and substitutions to derive the constraints on associative algebras without zero divisors. To illustrate the non-real cases, consider \mathbb{C} as \mathbb{R} where i^2 = -1. The quaternions \mathbb{H} extend this to dimension 4 with basis \{1, i, j, k\} over \mathbb{R}, satisfying the relations

\begin{align*} i^2 &= j^2 = k^2 = -1, \\ ij &= k, \quad jk = i, \quad ki = j, \\ ji &= -k, \quad kj = -i, \quad ik = -j. \end{align*}

^[12] These multiplication rules ensure \mathbb{H} is associative and division, serving as the highest-dimensional example (detailed further in the section on examples and constructions). A sketch of the proof begins by noting that the center Z(A) of such an algebra A (with \mathbb{R} \subseteq Z(A)) must be exactly \mathbb{R}, as any larger commutative subfield would contradict the real-closed property of \mathbb{R}.^[12] If A is commutative, it is a field extension of \mathbb{R}, hence isomorphic to \mathbb{R} or \mathbb{C} (the only finite extensions). For non-commutative A, select i \in A \setminus Z(A) with i^2 = -1; the centralizer C_A(i) = \{a \in A \mid [a, i] = ai - ia = 0\} is then isomorphic to \mathbb{C}. If \dim A > 2, find j \in A \setminus C_A(i) with j^2 = -1 and ji = -ij; setting k = ij yields the quaternion relations, forcing \dim A = 4. Higher dimensions lead to contradictions via the anticommutativity and orthogonality in the pure imaginary subspace \{v \in A \mid v^2 < 0\}.^[12] Thus, no associative real division algebras exist beyond dimension 4.^[12]

Composition Algebras

A composition algebra over the real numbers \mathbb{R} is defined as a finite-dimensional unital algebra A equipped with a non-degenerate quadratic form N: A \to \mathbb{R} such that N(ab) = N(a) N(b) for all a, b \in A.^[13] This multiplicative property of the norm extends the framework of Frobenius algebras to non-associative settings, where the quadratic form often arises from an inner product via N(a) = \langle a, a \rangle. Hurwitz's theorem classifies the normed division composition algebras over \mathbb{R}, asserting that the only such algebras are the reals \mathbb{R}, complexes \mathbb{C}, quaternions \mathbb{H}, and octonions \mathbb{O}, occurring in dimensions 1, 2, 4, and 8, respectively. These algebras satisfy the division property, meaning every nonzero element has a multiplicative inverse, due to the positive-definiteness of the norm ensuring N(a) > 0 for a \neq 0. The theorem highlights the exceptional nature of these dimensions, as higher-dimensional attempts fail to preserve both the composition property and the division ring structure. The real, complex, quaternion, and octonion algebras exhibit key structural properties: they are alternative, meaning the subalgebra generated by any two elements is associative, and power-associative, where powers of a single element associate in any order.^[14] For the octonions \mathbb{O}, the quadratic form is explicitly N(x) = x \bar{x}, with \bar{x} denoting the standard conjugation that fixes the real part and negates the imaginary components. An illustrative counterexample beyond dimension 8 is the sedenion algebra \mathbb{S}, the 16-dimensional extension of the octonions via the Cayley-Dickson construction, which admits zero divisors—nonzero elements a, b with ab = 0—and thus fails to be a division algebra despite inheriting a similar norm structure. The octonions themselves are detailed further in the section on non-associative division algebras.

Associative Division Algebras

Division Rings

A division ring, also known as a skew field, is an associative ring with unity in which every nonzero element has a multiplicative inverse. In the context of algebras over a field K, an associative division algebra over K is a division ring D that is finite-dimensional as a vector space over K and has K as its center (i.e., the center of D is K).^[15] Such structures generalize fields while preserving the ability to perform division, but they may fail to be commutative. Wedderburn's little theorem establishes a fundamental restriction on the existence of non-commutative examples: every finite division ring is commutative and hence a field.^[16] This result, proved in 1905, implies that non-commutative division rings must be infinite, highlighting the scarcity of such objects in finite settings. Over the real numbers, the only associative division algebras are the reals, complexes, and quaternions, as classified by the Frobenius theorem.^[3] Division rings with center K play a central role in the theory of central simple algebras over K, which are finite-dimensional associative K-algebras that are simple as rings (having no nontrivial two-sided ideals) and have K as their center. By the Artin-Wedderburn theorem, every central simple algebra is isomorphic to a matrix algebra over a unique (up to isomorphism) division ring with center K, making such division rings the "maximal" or division form of central simple algebras.^[17] The Brauer group \mathrm{Br}(K) classifies central simple algebras up to Morita equivalence (i.e., tensor equivalence over K), where the class of a division ring corresponds to the maximal order in the group, and the group operation is induced by the tensor product of algebras.^[18] A key invariant for elements in a central division algebra D over K is the reduced norm, defined as a group homomorphism \mathrm{Nrd}: D^\times \to K^\times. For an element x \in D^\times, the reduced norm is the determinant of the K-linear map given by left multiplication by x on the vector space D, viewed as a \dim_K D \times \dim_K D matrix over a splitting field; it generalizes the usual norm in field extensions and the determinant in matrix algebras.^[19] The kernel of \mathrm{Nrd} consists precisely of elements whose left multiplication is singular over K, providing a tool to study invertibility and ramification in number-theoretic contexts. For simple semisimple rings, the Artin-Wedderburn decomposition further specializes: a simple Artinian ring is isomorphic to the full matrix ring M_n(D) over a division ring D, where D is unique up to isomorphism.^[17]

Examples and Constructions

The real numbers \mathbb{R} form the prototypical 1-dimensional associative division algebra over themselves, where multiplication is the standard field operation.^[20] The complex numbers \mathbb{C} provide the next example, a 2-dimensional associative division algebra over \mathbb{R} with basis \{1, i\}, where i^2 = -1 and every nonzero element has a multiplicative inverse given by the usual complex conjugate formula.^[20] The quaternions \mathbb{H} constitute a 4-dimensional associative division algebra over \mathbb{R}, non-commutative but with every nonzero element invertible. They have basis \{1, i, j, k\} satisfying the relations i^2 = j^2 = k^2 = -1, ij = k, jk = i, ki = j, and ji = -k, kj = -i, ik = -j.^[20] One explicit construction identifies \mathbb{H} with pairs of complex numbers (z, w) where z, w \in \mathbb{C}, equipped with componentwise addition and multiplication (z_1, w_1)(z_2, w_2) = (z_1 z_2 - \overline{w_2} w_1, z_1 w_2 + w_1 \overline{z_2}).^[20] Over finite fields, Wedderburn's little theorem establishes that every finite associative division ring is commutative and thus a field; hence, the only examples are the finite fields \mathbb{F}_q for prime powers q.^[21] For general fields K of characteristic not 2, quaternion algebras generalize \mathbb{H}: the algebra (a, b)_K is the 4-dimensional central simple algebra over K with basis \{1, i, j, ij\} satisfying i^2 = a, j^2 = b \in K^\times, and ji = -ij. This is a division algebra precisely when it does not split, i.e., is not isomorphic to the matrix algebra M_2(K).^[20] Cyclic algebras provide higher-dimensional constructions of associative division algebras. For a field K, a cyclic Galois extension L/K of degree n with Galois group generated by \sigma, and a \in K^\times, the cyclic algebra (L/K, \sigma, a) (or (\chi, a)_n where \chi generates the cyclic group) is the n^2-dimensional algebra over K consisting of elements \sum_{j=0}^{n-1} x_j u^j with x_j \in L, subject to u^n = a and u x = \sigma(x) u for x \in L. This is a division algebra if and only if a \notin N_{L/K}(L^\times), where N_{L/K} is the relative norm map from L^\times to K^\times, with symbol algebras arising as special cases over fields supporting symbols in the Brauer group.^[22] Crossed product algebras offer a broader construction for associative division rings, potentially non-central. Given a field extension L/K with finite Galois group G = \mathrm{Gal}(L/K) and a 2-cocycle \chi: G \times G \to L^\times, the crossed product L \rtimes_\chi G is the |G|^2-dimensional algebra over K with basis \{e_g \mid g \in G\}, where addition is componentwise, e_g x = \sigma_g(x) e_g for x \in L, and multiplication e_g e_h = \chi(g, h) e_{gh}. This yields a division ring when the cocycle is non-trivial in a suitable sense, capturing many non-commutative examples over number fields.^[23]

Non-Associative Division Algebras

Alternative Algebras

Alternative algebras represent a class of non-associative algebras that impose a weaker condition than full associativity, yet retain many useful structural properties. Formally, an alternative algebra over a field F is an algebra A equipped with a bilinear multiplication such that the left alternative law (xx)y = x(xy) and the right alternative law y(xx) = (yx)x hold for all x, y \in A^[7]. Equivalently, alternativity can be expressed via the associator [a, b, c] = (ab)c - a(bc), which vanishes whenever any two of the arguments a, b, c are equal; that is, [x, x, y] = 0 and [y, x, x] = 0 for all x, y \in A^[24]. A key property of alternative algebras is that the subalgebra generated by any two elements is associative, ensuring that local behavior mimics associative structures^[24]. They are also power-associative, meaning the subalgebra generated by any single element is associative, which follows from the alternative laws^[7]. Alternative algebras satisfy the Moufang identities, such as (xy)a = x(ya x) and a(xy) = (a x)y for the left Moufang identity (with analogous right and flexible forms), providing additional symmetries that facilitate structural analysis^[7]. Moreover, alternative algebras are flexible, satisfying (xy)x = x(yx) for all x, y \in A, a consequence of the alternative laws^[24]. In the context of division algebras, an alternative algebra over a field of characteristic not 2 or 3 with no zero divisors is a division algebra, where every nonzero element admits a two-sided inverse^[25]. Such structures inherit the flexibility and power-associativity properties, and their non-associativity is controlled by the alternator vanishing on repeated arguments. Notably, all finite-dimensional normed division algebras over the real numbers are alternative, encompassing the reals, complexes, quaternions, and octonions as the only examples^[26]. The octonions serve as a prime example of a non-associative alternative division algebra^[7].

Octonions

The octonions, denoted \mathbb{O}, form the unique 8-dimensional real division algebra that is non-associative. They extend the quaternions \mathbb{H} through the Cayley-Dickson construction, which doubles the dimension by introducing a new imaginary unit e_7 with the rule (a + b e_7)(c + d e_7) = (ac - \bar{d} b) + (d a + b \bar{c}) e_7, where \bar{\cdot} denotes conjugation in \mathbb{H}. This process yields a basis \{1, e_1, \dots, e_7\} over \mathbb{R}, where the first four elements span a copy of \mathbb{H} and the remaining units satisfy specific anticommutation relations derived from the construction. The multiplication of basis elements e_i e_j (for i, j = 1, \dots, 7) is defined using the Fano plane, a projective plane of order 2 that encodes the cyclic ordering and signs of products along its lines. Specifically,

e_i e_j = -\delta_{ij} + \sum_{k=1}^7 C_{ijk} e_k,

where \delta_{ij} is the Kronecker delta and C_{ijk} are totally antisymmetric structure constants determined by the Fano plane geometry (e.g., e_1 e_2 = e_4, e_1 e_4 = -e_2). This multiplication is non-commutative and non-associative; for instance, (e_1 e_2) e_3 = -e_6, while e_1 (e_2 e_3) = e_6, illustrating the failure of associativity.^[27] The octonions admit a multiplicative Euclidean norm N(x) = \sum_{i=0}^7 x_i^2 = x \bar{x}, where \bar{x} is the conjugate (real part plus negatives of imaginary parts), satisfying N(xy) = N(x) N(y) for all x, y \in \mathbb{O}. This norm ensures \mathbb{O} is a division algebra, as nonzero elements have inverses x^{-1} = \bar{x} / N(x). The algebra is alternative, meaning it satisfies (xx)y = x(xy) and (yxx) = (yx)x for all elements, and power-associative, so subalgebras generated by single elements are associative. The automorphism group of \mathbb{O} is the exceptional Lie group G_2, which preserves the multiplication and norm.^[28] Octonions underpin the structure of exceptional Lie groups like G_2, F_4, and E_6, where derivations and automorphisms arise from octonionic operations, providing a geometric foundation for these algebras in higher-dimensional symmetry.

Generalizations

Over Arbitrary Fields

Over the complex numbers \mathbb{C}, which is an algebraically closed field, the only finite-dimensional associative division algebra is \mathbb{C} itself. This result follows from the fact that any finite extension of an algebraically closed field is trivial, and thus any finite-dimensional division algebra over \mathbb{C} must coincide with the base field, as it admits no nontrivial irreducible representations.^[29] A simpler analogue of the Frobenius theorem holds here, relying on the algebraic closure rather than detailed analysis of idempotents or involutions.^[30] Over finite fields \mathbb{F}_q, every finite-dimensional associative division algebra is commutative and hence a field extension of \mathbb{F}_q. This is a consequence of Wedderburn's little theorem, which asserts that every finite division ring is commutative.^[31] Consequently, non-commutative examples do not exist in this setting, and all such algebras are precisely the finite field extensions.^[32] For p-adic fields \mathbb{Q}_p, the situation is richer: for each positive integer n, there exists a unique central division algebra of degree n up to isomorphism. These are classified by the Brauer group \mathrm{Br}(\mathbb{Q}_p) \cong \mathbb{Q}/\mathbb{Z}, where the algebra of index n corresponds to the class with invariant $1/n \mod 1.^[33] This uniqueness stems from local class field theory and the cyclic nature of the Brauer group for non-archimedean local fields.^[34] In general, finite-dimensional central division algebras over an arbitrary field K are classified up to isomorphism by the Brauer group \mathrm{Br}(K), where each nontrivial class contains a unique division representative. Over number fields, the group is often generated by symbol algebras ( \chi, a )_n, which are cyclic algebras associated to a cyclic character \chi of \mathrm{Gal}(L/K) and an element a \in K^\times, providing explicit constructions for many classes.^[35] Pfister forms play a role in this classification through their connection to the norm residue symbol in Galois cohomology, linking quadratic forms to 2-torsion elements in \mathrm{Br}(K) via Merkurjev-Suslin theory.^[36] The degree of a central division algebra D over its center K is defined as \deg(D) = \sqrt{\dim_K D}, reflecting the fact that \dim_K D = n^2 for \deg(D) = n. This integer n determines the index of D in \mathrm{Br}(K).^[37] Recent work has explored the incompleteness of maximal subfields in determining division algebras over number fields, showing that distinct algebras can share the same set of maximal subfields, though elements generating such subfields carry structural information about the algebra. For instance, maximal subfields can often be generated by evaluating polynomials or group words on elements of D.^[38]

Infinite-Dimensional Cases

In infinite-dimensional division algebras, the core property remains that every non-zero element admits a left and right multiplicative inverse, ensuring the algebra functions as a skew field without the restrictive finite-dimensional hypothesis that enables classifications like Frobenius' theorem for real algebras. However, this generality introduces significant definitional and structural challenges, as invertibility must hold globally without bounding the dimension over the center, leading to potential pathologies in substructures and representations. Unlike finite-dimensional cases, where vector space techniques suffice, infinite-dimensional settings often require tools from noncommutative ring theory, such as universal localizations, to embed the algebra into a division ring of fractions while preserving the division property. A prominent construction of infinite-dimensional division rings employs Ore extensions, which generalize polynomial rings over a base division ring R by adjoining an indeterminate t with specified automorphism \sigma: R \to R and derivation \delta: R \to R. The Ore extension is the ring R[t; \sigma, \delta] consisting of polynomials \sum_{i=0}^n a_i t^i with a_i \in R, under the multiplication rule t a = \sigma(a) t + \delta(a) for a \in R. If R satisfies the Ore conditions—that is, for any a, b \in R \setminus \{0\}, the left multiples a R + b R and right multiples R a + R b intersect non-trivially—then the localization at the powers of t, denoted R(t; \sigma, \delta), forms a division ring. This construction yields infinite dimensionality over the center of R, as t acts as a transcendental element. A canonical example is the division ring of fractions of the first Weyl algebra A_1 = k\langle x, \partial \rangle over a field k of characteristic zero, where A_1 = k[\partial; \delta] with \delta the standard derivation \delta(f) = f' and \sigma = \mathrm{id}; its Ore localization is infinite-dimensional over k.^[39]^[40] Another key example arises from skew Laurent series rings over a division ring D, defined as D((t; \sigma)) = \left\{ \sum_{i \gg -\infty}^\infty a_i t^i \mid a_i \in D \right\} with finitely many negative powers, where multiplication is twisted by an automorphism \sigma: D \to D via t a = \sigma(a) t. When \sigma is invertible, this ring is a division ring, infinite-dimensional over its center, generalizing commutative Laurent series fields like \mathbb{R}((t)). Such structures appear in Galois theory for noncommutative extensions, where they serve as base fields for further algebraic constructions. Free fields, such as the universal division ring of fractions of the free algebra k\langle x, y \rangle over a field k, provide non-constructive examples; these are finitely generated as algebras but infinite-dimensional over k, embedding free subalgebras and illustrating the complexity of noncommutative rational functions.^[41] Properties of infinite-dimensional division algebras diverge markedly from finite cases, lacking a general classification and often failing local finiteness—meaning finitely generated subalgebras need not be finite-dimensional over the center, as seen in free fields containing infinite-dimensional free subalgebras. This absence of bounds complicates representation theory and ideal structure, with no analogue to the Artin-Wedderburn theorem for semisimple finite-dimensional algebras. Additionally, studies of linear recurrence relations over general division algebras have advanced solution methods using adapted companion matrices and noncommutative characteristic polynomials, applicable to both associative and nonassociative infinite-dimensional settings for modeling sequences in noncommutative geometry. These efforts highlight ongoing research into structural invariants like genus and splitting fields for such algebras over infinite transcendence degree bases.^[42]

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]
division algebra in nLab
Aug 21, 2024 · 1. Definition. A division algebra is a possibly non-associative algebra A , typically over a field k , which has the property that for any ...
[3]
[2405.01876] Frobenius' Theorem on Division Algebras - arXiv
May 3, 2024 · Frobenius' Theorem states that the only finite-dimensional real division algebras are the algebra of real numbers \mathbb R, the algebra of complex numbers \ ...
[4]
[PDF] SOME CONSEQUENCES OF A THEOREM OF BOTT
Bott [3], can be used to solve several well known problems; including the problem of the existence of division algebras, and the parallelizability of spheres".
[5]
Division Algebras and Topology - SpringerLink
The preceding chapters examined the division algebras of the real numbers, the complex numbers, the quaternions and the octonions. These are of dimension 1, ...
[6]
[PDF] Division Algebras and Topology: the (1,2,4,8)-theorem
Roughly speaking, a division algebra is an algebra over a field in which division (except by zero) is always possible. Examples of division algebras over ...
[7]
[PDF] An Introduction to Nonassociative Algebras - Project Gutenberg
If A has finite dimension n ≥ 1 over F, then A is a division algebra if and only if A is without zero divisors (x 6= 0 and y 6= 0 in A imply xy 6= 0), inasmuch ...
[8]
division algebra - PlanetMath.org
Mar 22, 2013 · Defining “division” requires special considerations when the algebras are non-associative so we introduce the definition in stages. 1 ...Missing: mathematics | Show results with:mathematics
[9]
[PDF] On the Classification of the Real Flexible Division Algebras
In case. A is finite-dimensional, this is equivalent to saying that A has no zero divisors, i.e. xy = 0 only if x = 0 or y = 0. Finite-dimensional real division ...<|control11|><|separator|>
[10]
Equality of left and right inverses in a ring
Dec 29, 2010 · In any ring R, if a has both a left and a right inverse, then the left and right inverses are the same and the element is a unit.Looking for insightful explanation as to why right inverse equals left ...In which abstract structure is difference of left and right inverse ...More results from math.stackexchange.com
[11]
[PDF] The Book of Involutions Max-Albert Knus Alexander Merkurjev ...
The central problem here, to give necessary and sufficient conditions on a division algebra ... canonical involution. If charF 6= 2, then Sym(Q, γ) = F and. Skew( ...
[12]
Ueber lineare Substitutionen und bilineare Formen. - EuDML
Ueber lineare Substitutionen und bilineare Formen. G. Frobenius · Journal für die reine und angewandte Mathematik (1877). Volume: 84, page 1-63; ISSN: 0075 ...
[13]
None
### Summary of Frobenius’ Theorem Proof Sketch from arXiv:2405.01876
[14]
On Quaternions and Octonions - 1st Edition - John H. Conway
Free deliveryTopics covered include the geometry of complex numbers, quaternions and 3-dimensional groups, quaternions and 4-dimensional groups, Hurwitz integral ...
[15]
[PDF] arXiv:1011.6197v1 [math.RA] 29 Nov 2010
Nov 29, 2010 · HURWITZ' THEOREM ON COMPOSITION ALGEBRAS. 3. This is the structure needed for a composition algebra but the condi- tions may not be met. The ...
[16]
[PDF] VB Finite-dimensional division algebras
DEFINITION. A division algebra over a field F is an F- algebra A whose underlying ring is a division ring. This rules out most of the examples in V.A.4; for ...
[17]
[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 ...
[18]
[PDF] Structure Theorem for Semisimple Rings: Wedderburn-Artin
Jul 4, 2015 · R is the “ring direct sum” (actually product). R = RT1R × ททท × RTmR . That is, semisimple rings are products of matrix rings over division ...
[19]
[PDF] Division Algebras, the Brauer Group, and Galois Cohomology
Jan 5, 2015 · (It is a fact that any finite dimensional central simple k-algebra is isomorphic to a matrix ring over a division ring so that a D as described ...
[20]
[PDF] Norms in Central Simple Algebras - arXiv
Jul 8, 2017 · Write Norm(·) for the reduced norm from A to K. If x is an integer in A, then clearly Norm(x) lies in R, the ring of integers of K. It is also ...
[21]
[PDF] quaternion algebras - keith conrad
The quaternions were the first example of a noncommutative division ... These examples tell us that, up to isomorphism, there are two quaternion algebras over.
[22]
[PDF] Four Group-theoretic Proofs of Wedderburn's Little Theorem - OU Math
Wedderburn's Little Theorem says that a finite division ring is a field. That is, if each nonzero element of a finite ring with identity has a multiplicative ...
[23]
Cyclic division algebras | Israel Journal of Mathematics
Jan 12, 1981 · A general example of cyclic division algebra is given, based on a construction of Brauer, yielding examples of division algebras of arbitrary prime exponent.
[24]
[1702.04605] Solvable crossed product algebras revisited - arXiv
Feb 15, 2017 · In particular, every solvable crossed product division algebra is a generalized cyclic algebra over F. Subjects: Rings and Algebras (math.RA).
[25]
[PDF] arXiv:1502.02578v2 [hep-th] 11 Jun 2015
Jun 11, 2015 · The multiplication rule for the imaginary octonionic basis elements is given by eiej = −δij + Cijkek,. (4) where the totally antisymmetric ...
[26]
[PDF] arXiv:1807.04140v1 [math.RA] 10 Jul 2018
Jul 10, 2018 · • The norm of an octonion, which agrees with the standard Euclidean norm on R8 is defined as. (8). Nr2(p) = p · p = p · p = 7. X l=0 a2 l ...
[27]
[PDF] ALGEBRAS 1. Definitions and Examples Let k be a ... - Keith Conrad
The exact same argument shows that the only algebraic division algebra over an algebraically closed field is the field itself. Since the finite-dimensional ...
[28]
[PDF] On Frobenius Theorem and Classication of 2-Dimensional Real ...
In 1878 Frobenius proved that the only real associative division algebras up to isomorphism are R, C and H, a proof will be given in Section 3. Later in 1931,.
[29]
[PDF] Section 7.2. Wedderburn's Theorem on Finite Division Rings
Jan 12, 2023 · (Wedderburn's Little Theorem) A finite division ring is necessarily a field. Note. We now give a second proof of Wedderburn's Theorem on Finite ...
[30]
[PDF] on wedderburn's theorem about finite division algebras
Apr 23, 2003 · We therefore go into this in rather detail in the beginning. Wedderburn considers a finite division ring A. It is an algebra of finite dimension.
[31]
[PDF] Classification of quaternion algebras - OU Math
It suffices to show that there is a unique quaternion division algebra in the p-adic case, and that it is given in the above form. Again, for simplicity, we ...
[32]
what are the p-adic division algebras? - Math Stack Exchange
Mar 5, 2013 · Here's a simple description of a cda of invariant 1/n: let U be the unramified extension of Qp of degree n. I'm going to make an n-dimensional ...Algebraic closure of the $p$-adic integers - Math Stack ExchangeUnits of p-adic integers - Mathematics Stack ExchangeMore results from math.stackexchange.com
[33]
[PDF] Field of Definition for Division Algebras
Key words and phrases. division algebra, central simple algebra, crossed product, symbol algebra, cyclic algebra, biquaternion algebra, Brauer factor set, ...
[34]
[PDF] ALGEBRAS OF ODD DEGREE WITH INVOLUTION, TRACE FORMS ...
A 3-fold Pfister form is associated to every involution of the second kind on a central simple algebra of degree 3. This quadratic form is associated to the ...
[35]
[PDF] The Small Wedderburn Theorem
Jan 22, 2024 · It is a finite commutative ring without zero-divisors, so is a finite field, with cardinality q for some prime power q. Also, Rxo = Gxo U 10l is ...
[36]
[2505.12855] Maximal subfields in division algebras generated by ...
May 19, 2025 · This result shows that maximal subfields can be generated by evaluating polynomial or group word expressions at elements of D.
[37]
[1507.08811] Free algebras and free groups in Ore extensions and ...
Jul 31, 2015 · We show that the division ring D=K(x;\sigma,\delta) either has the property that every finitely generated subring satisfies a polynomial ...
[38]
Free algebras and free groups in Ore extensions and free group ...
Jun 1, 2016 · Free symmetric and unitary pairs in division rings infinite-dimensional over their centers. Israel J. Math., 210 (1) (2015), pp. 297-321.
[39]
On Galois extensions of division rings of Laurent series
Theorem 1.1 shows that considering the inverse Galois problem over division rings of Laurent series is, in certain aspects, more fruitful than over division ...
[40]
Recurrence relations over division algebras
### Summary of arXiv:2509.17826 - Recurrence Relations over Division Algebras