Lie algebra

A Lie algebra over a field $k$ is a vector space $𝔤$ with a bilinear map $[,]:𝔤\times 𝔤\to 𝔤$, called the Lie bracket and denoted $(x,y)\mapsto [x,y]$. It is required to satisfy:

1. $[x,x]=0$ for all $x\in 𝔤$.

2. The Jacobi identity: $[x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0$ for all $x,y,z\in 𝔤$.

1 Subalgebras & Ideals

A vector subspace $𝔥$ of the Lie algebra $𝔤$ is a subalgebra if $𝔥$ is closed under the Lie bracket operation, or, equivalently, if $𝔥$ itself is a Lie algebra under the same bracket operation as $𝔤$. An ideal of $𝔤$ is a subspace $𝔥$ for which $[x,y]\in 𝔥$ whenever either $x\in 𝔥$ or $y\in 𝔥$. Note that every ideal is also a subalgebra.

Some general examples of subalgebras:

• The center of $𝔤$, defined by $Z(𝔤):=\{x\in 𝔤\mid [x,y]=0\text{for all }y\in 𝔤\}$. It is an ideal of $𝔤$.

• The normalizer of a subalgebra $𝔥$ is the set $N(𝔥):=\{x\in 𝔤\mid [x,𝔥]\subset 𝔥\}$. The Jacobi identity guarantees that $N(𝔥)$ is always a subalgebra of $𝔤$.

• The centralizer of a subset $X\subset 𝔤$ is the set $C(X):=\{x\in 𝔤\mid [x,X]=0\}$. Again, the Jacobi identity implies that $C(X)$ is a subalgebra of $𝔤$.

2 Homomorphisms

Given two Lie algebras $𝔤$ and ${𝔤}^{\prime }$ over the field $k$, a homomorphism from $𝔤$ to ${𝔤}^{\prime }$ is a linear transformation $\varphi :𝔤\to {𝔤}^{\prime }$ such that $\varphi ([x,y])=[\varphi (x),\varphi (y)]$ for all $x,y\in 𝔤$. An injective homomorphism is called a monomorphism, and a surjective homomorphism is called an epimorphism.

The kernel of a homomorphism $\varphi :𝔤\to {𝔤}^{\prime }$ (considered as a linear transformation) is denoted $\ker (\varphi )$. It is always an ideal in $𝔤$.

3 Examples

• Any vector space can be made into a Lie algebra simply by setting $[x,y]=0$ for all vectors $x,y$. The resulting Lie algebra is called an abelian Lie algebra.

• If $G$ is a Lie group, then the tangent space at the identity forms a Lie algebra over the real numbers.

• ${ℝ}^3$ with the cross product operation is a nonabelian three dimensional Lie algebra over $ℝ$.

4 Historical Note

Lie algebras are so-named in honour of Sophus Lie, a Norwegianmathematician who pioneered the study of these mathematical objects.Lie’s discovery was tied to his investigation of continuoustransformation groups and symmetries. One joint project with FelixKlein called for the classification of all finite-dimensional groupsacting on the plane. The task seemed hopeless owing to the generallynon-linear nature of such group actions. However, Lie was able tosolve the problem by remarking that a transformation group can belocally reconstructed from its corresponding “infinitesimalgenerators”, that is to say vector fields corresponding to various1-parameter subgroups. In terms of this geometric correspondence, thegroup composition operation manifests itself as the bracket of vectorfields, and this is very much a linear operation. Thus the task ofclassifying group actions in the plane became the task of classifyingall finite-dimensional Lie algebras of planar vector field; a projectthat Lie brought to a successful conclusion.

This “linearization trick” proved to be incredibly fruitful and ledto great advances in geometry and differential equations. Suchadvances are based, however, on various results from the theory of Liealgebras. Lie was the first to make significant contributions to thispurely algebraic theory, but he was surely not the last.

Title	Lie algebra
Canonical name	LieAlgebra
Date of creation	2013-03-22 12:03:36
Last modified on	2013-03-22 12:03:36
Owner	djao (24)
Last modified by	djao (24)
Numerical id	18
Author	djao (24)
Entry type	Definition
Classification	msc 17B99
Related topic	CommutatorBracket
Related topic	LieGroup
Related topic	UniversalEnvelopingAlgebra
Related topic	RootSystem
Related topic	SimpleAndSemiSimpleLieAlgebras2
Defines	Jacobi identity
Defines	subalgebra
Defines	ideal
Defines	normalizer
Defines	centralizer
Defines	kernel
Defines	homomorphism
Defines	center
Defines	centre
Defines	abelian Lie algebra
Defines	abelian