In mathematics, more specifically in abstract algebra, the Frobenius theorem, proved by Ferdinand Georg Frobenius in 1877, characterizes the finite-dimensional associative division algebras over the real numbers. According to the theorem, every such algebra is isomorphic to one of the following:
R (the real numbers)
C (the complex numbers)
H (the quaternions).
These algebras have real dimension 1, 2, and 4, respectively. Of these three algebras, R and C are commutative, but H is not.
The main ingredients for the following proof are the Cayley–Hamilton theorem and the fundamental theorem of algebra.
Let D be the division algebra in question.
Let n be the dimension of D.
We identify the real multiples of 1 with R.
When we write a ≤ 0 for an element a of D, we imply that a is contained in R.
We can consider D as a finite-dimensional R-vector space. Any element d of D defines an endomorphism of D by left-multiplication, we identify d with that endomorphism. Therefore, we can speak about the trace of d, and its characteristic and minimal polynomials.
For any z in C define the following real quadratic polynomial:
Note that if z ∈ C ∖ R then Q(z; x) is irreducible over R.
The key to the argument is the following
Claim. The set V of all elements a of D such that a2 ≤ 0 is a vector subspace of D of dimension n - 1. Moreover D = R ⊕ V as R-vector spaces, which implies that V generates D as an algebra.
Proof of Claim: Let m be the dimension of D as an R-vector space, and pick a in D with characteristic polynomial p(x). By the fundamental theorem of algebra, we can write
We can rewrite p(x) in terms of the polynomials Q(z; x):
Since zj ∈ C\R, the polynomials Q(zj; x) are all irreducible over R. By the Cayley–Hamilton theorem, p(a) = 0 and because D is a division algebra, it follows that either a − ti = 0 for some i or that Q(zj; a) = 0 for some j. The first case implies that a is real. In the second case, it follows that Q(zj; x) is the minimal polynomial of a.
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.
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning.
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.
In mathematics, hypercomplex number is a traditional term for an element of a finite-dimensional unital algebra over the field of real numbers. The study of hypercomplex numbers in the late 19th century forms the basis of modern group representation theory. In the nineteenth century number systems called quaternions, tessarines, coquaternions, biquaternions, and octonions became established concepts in mathematical literature, added to the real and complex numbers.
In this text, we will show the existence of lattice packings in a family of dimensions by employing division algebras. This construction is a generalization of Venkatesh's lattice packing result Venkatesh (Int Math Res Notices 2013(7): 1628-1642, 2013). In ...
Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of [43], seeing it as a quantisation of certain quadratic Lagrangians in T*V for some vector space V. KS topological recursion is a procedure which takes as initial da ...
obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in Q-division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to orders O in Q-division rings a ...