Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Division algebra
Summary
In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible.
Formally, we start with a non-zero algebra D over a field. We call D a division algebra if for any element a in D and any non-zero element b in D there exists precisely one element x in D with a = bx and precisely one element y in D such that a = yb.
For associative algebras, the definition can be simplified as follows: a non-zero associative algebra over a field is a division algebra if and only if it has a multiplicative identity element 1 and every non-zero element a has a multiplicative inverse (i.e. an element x with ax = xa = 1).
The best-known examples of associative division algebras are the finite-dimensional real ones (that is, algebras over the field R of real numbers, which are finite-dimensional as a vector space over the reals). The Frobenius theorem states that up to isomorphism there are three such algebras: the reals themselves (dimension 1), the field of complex numbers (dimension 2), and the quaternions (dimension 4).
Wedderburn's little theorem states that if D is a finite division algebra, then D is a finite field.
Over an algebraically closed field K (for example the complex numbers C), there are no finite-dimensional associative division algebras, except K itself.
Associative division algebras have no nonzero zero divisors. A finite-dimensional unital associative algebra (over any field) is a division algebra if and only if it has no nonzero zero divisors.
Whenever A is an associative unital algebra over the field F and S is a simple module over A, then the endomorphism ring of S is a division algebra over F; every associative division algebra over F arises in this fashion.
The center of an associative division algebra D over the field K is a field containing K. The dimension of such an algebra over its center, if finite, is a perfect square: it is equal to the square of the dimension of a maximal subfield of D over the center.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.