Classification of Division Algebras

Tuesday, January 27th, 2015 | Author:

I was asked to give a talk about division algebras (purpose and classification). This is a rough overview of it, mostly learned from the book of Springer and Veldkamp "Octonions, Jordan Algebras and Exceptional Groups" and the book of Lam "Noncommutative Rings". The book "Numbers" by Ebbinghaus et al. was also nice to read along for references.

We will look mostly at finite dimensional (not neccesarily associative) division algebras over the real numbers.

Instead of these rather loose notes, you may prefer to look at my texed notes in this pdf file.

There are several classes of algebras over a field which we will look at. By "R-algebra" we mean a not necessarily commutative, not necessarily associative, not necessarily unital ring which at the same time is a module over the ring R, so that the ring multiplication is R-linear. We focus on fields R=k, so the word "module" becomes "vector space".

A division algebra over a field k is a k-algebra A which allows division, i.e. for any x,y \in A you have unique elements x/y \in A and y\backslash x \in A, unless y = 0. The notation means that x/y is an element such that (x/y)y = x.

An associative algebra over a field k is a k-algebra A in which the multiplication is associative (what else?). An associative division algebra can be defined to be an associative algebra with a unit element distinct from 0 such that every element has a unique inverse (right- as well as left-inverse).

An example for an associative algebra which is not a division algebra: the split complex numbers \mathbb{R} \oplus j\mathbb{R} with multiplication j^2=1 and consequently (a+jb)(c+jd) = ac+bd + j(ad+bc). This algebra has zero divisors: (1-j)(1+j) = 1+j - j - j^2 = 0.

If the field k is finite, the finite dimensional division algebras over it are obviously also finite. In the other direction, if a division algebra A over a field k is finite, Wedderburn's little theorem shows that k and A must be finite fields.

The Cayley-Dickson construction is a process to take an associative division algebra and produce a new algebra of twice the dimension. It actually works like the construction that you use to produce the complex numbers from the real numbers: define a multiplication on the direct sum which is again a division algebra. Starting from \mathbb{R}, the Cayley-Dickson construction produces \mathbb{C}. Starting from \mathbb{C}, we get the quaternions \mathbb{H} and from that the octonions \mathbb{O}. The next step is no longer a division algebra (the sedenions, of dimension 16).

If we look at the field of real numbers k=\mathbb{R}, Frobenius' theorem states that the only finite dimensional associative division algebras over \mathbb{R}, up to isomorphism, are \mathbb{R}, \mathbb{C}, \mathbb{H}.

Over any algebraically closed field k = \overline{k} such as k = \mathbb{C}, there are no finite dimensional associative division algebras except k itself.

There are infinite dimensional associative algebras: take a Banach space X and the linear endomorphisms under composition End(X), then that is a unital associative \mathbb{R}-algebra (with complete norm, thus a Banach algebra). The only Banach division algebras are \mathbb{R},\mathbb{C},\mathbb{H}, by a theorem of I.Gelfand and S.Mazur.

There are infinite dimensional associative divison algebras, but they don't admit a norm (otherwise they would embed into their completion, which by the previous theorem is finite dimensional). An example was found by Hilbert: take formal Laurent series in one variable x over the field \mathbb{Q}(t) and define a new product by extending the rule x \cdot a(t) := a(2t)x to all Laurent series. The result is not a field, but an associative division algebra over \mathbb{Q}.

A central simple algebra over a field k is a finite dimensional associative algebra which is simple and has as center only k. Every simple algebra is a central simple algebra over its center. One should probably say something about Brauer groups here, but leaving the name "Brauer" here should suffice to point anyone in the right direction.

A composition algebra is a unital algebra equiped with a nondegenerate quadratic form N (often called the norm) that allows composition, i.e. N(xy)=N(x)N(y).

One can show that composition algebras can only occur in dimensions 1,2,4,8, by an analogue of the Cayley-Dickson procedure, which takes a subalgebra and returns a subalgebra of twice the dimension. One can show that a proper subalgebra is always associative; The doubling procedure, started from the one-dimensional subalgebra ke generated by the neutral element, gives at some point a non-associative 8-dimensional subalgebra, which must be the whole thing (if the doubling didn't end earlier on).

Over the real numbers, not only \mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O} appear, but also things like the split complex numbers, split quaternions, etc. In a composition algebra, an element has an inverse if and only if the norm is nonzero.

Now if one wants to classify the finite dimensional division algebras over \mathbb{R} without the extra structure of a norm or quadratic form or whatever - you have to do algebraic topology. The solution comes in the form of Adams' solution of the Hopf Invariant One problem, which shows that only the classical Hopf fibrations for \mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O} have Hopf invariant one, and therefore only the euclidean norm-1-spheres in these \mathbb{R}-vector spaces admit a multiplication (even up to homotopy). Since any division algebra induces such a multiplication, we know there can't be any other. If you want, a reason behind this is seen in Atiyah's proof, which exploits the 8-fold Bott periodicity, which in turn comes from a mod-8 periodicity in the classification of Clifford algebras (so in fact a very algebraic reason).

The reason I'm interested in brushing up on division algebras? Exceptional groups. In the classification of semisimple Lie algebras (or compact Lie groups, or reductive linear algebraic groups), the exceptional cases (other than the "classical" groups) are rather hard to come by. Unless you have the quaternions and octonions. The magic is best seen in Freudenthal-Tits magic squares, but that can be read over at Wikipedia. Enjoy your algebras.


Category: English, Mathematics

Comments are currently closed.