## Linear Lie Algebras

So now that we’ve remembered what a Lie algebra is, let’s mention the most important ones: linear Lie algebras. These are ones that arise from linear transformations on vector spaces, ’cause mathematicians love them some vector spaces.

Specifically, let be a finite-dimensional vector space over , and consider the associative algebra of endomorphisms — linear transformations from back to itself. We can use the usual method of defining a bracket as a commutator:

to turn this into a Lie algebra. When considered as a Lie algebra like this, we call it the “general linear Lie algebra”, and write . Many Lie algebras are written in the Fraktur typeface like this.

Any subalgebra of is called a “linear Lie algebra”, since it’s made up of linear transformations. It turns out that every finite-dimensional Lie algebra is isomorphic to a linear Lie algebra, but we reserve the “linear” term for those algebras which we’re actually thinking of having linear transformations as elements.

Of course, since is a vector space over , we can pick a basis. If has dimension , then there are elements in any basis, and so our endomorphisms correspond to the matrices . When we think of it in these terms, we often write for the general linear Lie algebra.

We can actually calculate the bracket structure explicitly in this case; bilinearity tells us that it suffices to write it down in terms of a basis. The standard basis of is which has a in the th row and th column and elsewhere. So we can calculate:

where, as usual, is the Kronecker delta: if the indices are the same and if they’re different.

We can now identify some important subalgebras of . First, the strictly upper-triangular matrices involve only the basis elements with . If so the first term in the above expression for the bracket shows up, then the second term cannot show up, and vice versa. Either way, we conclude that the bracket of two basis elements of — and thus any element of this subspace — involves only other basis elements of the subspace, which makes this a subalgebra.

Similarly, we conclude that the (non-strictly) upper-triangular matrices involving only with also form a subalgebra . And, finally, the diagonal matrices involving only also form a subalgebra . This last one is interesting, in that the bracket on is actually trivial, since any two diagonal matrices commute.

As vector spaces, we see that . It’s easy to check that the bracket of a diagonal matrix and a strictly upper-triangular matrix is again strictly upper-triangular — we write — and so we also have . This may seem a little like a toy example now, but it turns out to be surprisingly general; many subalgebras will relate to each other this way.

[…] More examples of Lie algebras! Today, an important family of linear Lie algebras. […]

Pingback by Special Linear Lie Algebras « The Unapologetic Mathematician | August 8, 2012 |

[…] the next three families of linear Lie algebras we equip our vector space with a bilinear form . We’re going to consider the endomorphisms […]

Pingback by Orthogonal and Symplectic Lie Algebras « The Unapologetic Mathematician | August 9, 2012 |

[…] we say — again in analogy with groups — that is abelian; this is the case for the diagonal algebra , for instance. Abelian Lie algebras are rather boring; they’re just vector spaces with […]

Pingback by Ideals of Lie Algebras « The Unapologetic Mathematician | August 13, 2012 |

[…] obviously useful class of examples arises when we’re considering a linear Lie algebra . If is an invertible endomorphism of such that then the map is an automorphism of . Clearly […]

Pingback by Automorphisms of Lie Algebras « The Unapologetic Mathematician | August 18, 2012 |

[…] is a very general phenomenon: if is any linear Lie algebra and is nilpotent, then conjugation by the exponential of is the same as applying the exponential […]

Pingback by An Explicit Example « The Unapologetic Mathematician | August 18, 2012 |

[…] some explicit examples, we look back at the algebras and . The second, as we might guess, is nilpotent, and thus solvable. The first, […]

Pingback by Nilpotent and Solvable Lie Algebras « The Unapologetic Mathematician | August 20, 2012 |

[…] to the assertion that there is some common eigenvector for all the endomorphisms in a nilpotent linear Lie algebra on a finite-dimensional nonzero vector space . Lie’s theorem says that the same […]

Pingback by Lie’s Theorem « The Unapologetic Mathematician | August 25, 2012 |