A Crazy Classification of Normed Division Algebras
![](/static/dividerdecorator-c9420a9fac07ae4a2a454236916e50cd.png)
Pre-requisities: Complex analysis, functional analysis (on Banach spaces), knowledge of rings, fields, and algebras.
Let's be honest - functional analysis is the wellspring for a lot crazy math. Even so, what follows is one of the coolest proofs in functional analysis that I know, detouring through Banach algebra-valued complex analysis to prove something about purely real structures.
Prelude: Finite-Dimensional Real Division Algebras
Recall that a real division algebra is an algebra over such that every non-zero has an inverse (meaning that ). We say that is a finite-dimensional algebra if it is finite-dimensional as a vector space over . The most common real division algebras are , , and , and each of these shows up in basically every corner of math. Due to the usefulness of these three algebras, you might wonder whether there exist any other real division algebras. We will begin with the finite-dimensional case, where this question can be answered without any fancy analytical techniques. This is often called Frobenius' Theorem.
Theorem (Finite-Dimensional Real Division Algebras): Let be a finite-dimensional real algebra. Then, , , or .
Proof: Pick some . Since is a finite-dimensional commutative -algebra without zero-divisors, is a finite field extension of . Thus, or . In particular, satisfies a quadratic polynomial in .
Say that is imaginary if and . Note that is imaginary if and only if or and any isomorphism maps to an imaginary number. Every element of can be uniquely decomposed into the sum of a real and imaginary element. We will need the fact that the imaginary elements form a subspace of , or equivalently, that the sum of two imaginary elements is imaginary.
Let be imaginary. If , , and 1 are not linearly independent over , then they all live within a subalgebra of isomorphic to . Hence, is also imaginary.
Suppose on the other hand that , , and 1 are linearly independent over . There exist such that
and
Taking the sum of these equations, and using the fact that , , and 1 are linearly independent over , you can conclude that . Since is real, and is not real, must be imaginary.
Let denote the imaginary elements of . Define an inner product on by:
If , then , and if , then .
If , then pick two unit orthogonal elements . Let . It can be shown that, if are orthogonal, then . It follows that .
If , then let be a fourth orthonormal vector.
This is a contradiction. Thus, the only possibilities are , , or . .
The above proof can be modified into a proof of the following fact, which we will use later.
Lemma: Let be a real division algebra. Suppose that every has satisfies a degree-2 equation. Then, , , or . .
While finite-dimensional real division algebras are few, infinite-dimensional real division algebras are abundant. Commutative examples show up often, such as , , , and the field of meromorphic functions on . Non-commutative examples are also plentiful, such as . Another cool example is where for all .
The Main Theorem
Define a normed algebra to be an algebra over equipped with a linear norm such that and . Note that we are excluding other normed rings such as and that aren't algebras over . The prototypical example of a normed algebra is the space of all continuous maps from a normed vector space to itself, written . If the normed algebra is complete (with respect to its norm), then it is called a Banach algebra. If is a topological space, then the space of bounded continuous real-valued functions, written , is a Banach algebra. Every finite-dimensional real algebra can also be turned into a Banach algebra.
Normed algebras abound. But can they also be division algebras? The common suspects (, , and ) are all normed division algebras. Surprisingly, these are the only examples. Despite the utter variety of exotic normed algebras, none of them are also division algebras.
Theorem (Normed Division Algebras): Let be a (real) normed division algebra. Then, , , or as real algebras.
Before we can prove this, we will need a key lemma about complex Banach algebras, which in turn requires some machinery from complex analysis.
The Spectrum of a Banach Space
Complex analysis is often taught as the study of holomorphic -valued functions on some set . In truth, however, requiring holomorphic functions to be -valued is kind of restrictive. A huge chunk of complex analysis is true verbatim when holomorphic -valued functions are replaced by holomorphic -valued functions, where is any complex Banach space. In particular, Liouville's Theorem is true in this setting.
Lemma (Liouville's Theorem): Let be a complex Banach space, and let be holomorphic. If is bounded, then it is constant. .
This has the following important corollary. This is also a foundational theorem in spectral theory, but it is the only idea from spectral theory that we will need.
Lemma (Non-Empty Spectrum): Let be a complex Banach algebra, and let . There exists such that does not have an inverse in .
Proof: Suppose that is invertible for all . It can be shown that is a holomorphic function on . Asymptotically, when . Thus, is bounded. By Liouville's Theorem, is constant, which is impossible. Hence, is not invertible for some . .
Complexification
Now let be a real normed division algebra. Let denote the completion of , and let . can be described as all expressions where . is not necessarily a division algebra, but it is a complex Banach algebra.
For any , there exists such that is not invertible in . Thus, is not invertible in .
Thus, is in , and since it is not invertible in . Thus,
During the prelude, we proved that if is a real division algebra such that every element satisfies a quadratic equation, then , , or . .
Conclusion
Isn't that crazy? The introduction of complex analysis comes out of nowhere, but it is the perfect tool for this problem. Moreover, I don't know of any more intuitive proof of this fact (although anyone who does is encouraged to send me a message, and I'll add it to this post).
The requirements on can actually be weakened slightly: if is an -algebra and a normed vector space such that multiplication in is continuous, then , , or .
Anyone who is interested in more complex analysis-functional analysis shenanigans should learn about the holomorphic functional calculus, which uses complex analysis to define holomorphic functions like and on (most of) a Banach algebra.
One last fun fact: the above proof can be modified to remove all dependence on the fact that is algebraically closed. Every finite field extension of is a real division algebra, and can be made into a normed division algebra. Hence, this technique could be used to prove that is algebraically closed (but probably shoudn't).