# GetWiki

*Lie algebra*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

Lie algebra

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**Lie algebra**(pronounced {{IPAc-en|l|iË}} "Lee") is a vector space mathfrak g together with a non-associative, alternating bilinear map mathfrak g times mathfrak g rightarrow mathfrak g; (x, y) mapsto [x, y], called the Lie bracket, satisfying the Jacobi identity.Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds, with the property that the group operations of multiplication and inversion are smooth maps. Any Lie group gives rise to a Lie algebra. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected Lie group unique up to covering (Lie's third theorem). This correspondence between Lie groups and Lie algebras allows one to study Lie groups in terms of Lie algebras.Lie algebras and their representations are used extensively in physics, notably in quantum mechanics and particle physics.Lie algebras were so termed by Hermann Weyl after Sophus Lie in the 1930s. In older texts, the name

*infinitesimal group*is used.

## History

Lie algebras were introduced to study the concept of infinitesimal transformations by Marius Sophus Lie in the 1870s{{harvnb|O'Connor|Robertson|2000}}, and independently discovered by Wilhelm Killing{{harvnb|O'Connor|Robertson|2005}} in the 1880s.## Definitions

### Definition of a Lie algebra

A Lie algebra is a vector space ,mathfrak{g} over some field mathbb{F}{{harvtxt|Bourbaki|1989|loc=Section 2.}} allows more generally for a module over a commutative ring with (Ring (mathematics)#Multiplicative identity: mandatory vs. optional|unit element). together with a binary operation [cdot,cdot]: mathfrak{g}timesmathfrak{g}tomathfrak{g} called the Lie bracket that satisfies the following axioms:
[a x + b y, z] = a [x, z] + b [y, z], quad [z, a x + b y] = a[z, x] + b [z, y]

for all scalars *a*,

*b*in

*F*and all elements

*x*,

*y*,

*z*in mathfrak{g}.

[x,x]=0

for all *x*in mathfrak{g}.

- The Jacobi identity,

Using bilinearity to expand the Lie bracket [x+y,x+y] and using alternativity shows that [x,y] + [y,x]=0 for all elements

*x*,

*y*in mathfrak{g}, showing that bilinearity and alternativity together imply

[x,y] = -[y,x],

for all elements *x*,

*y*in mathfrak{g}. If the field's characteristic is not 2 then anticommutativity implies alternativity.{{harvnb|Humphreys|1978|p=1}}

*n*) is written as mathfrak{su}(n).

### First example

Consider mathfrak{g}=mathbb{R}^3, with the bracket defined by
[x,y]=xtimes y

where times is the cross product. The bilinearity, skew-symmetry, and Jacobi identity are all known properties of the cross product. Concretely, if { e_1,e_2,e_3} is the standard basis, then the bracket operation is completely determined by the relations:
[e_1,e_2]=e_3,quad [e_2,e_3]=e_1,quad [e_3,e_1]=e_2.

(E.g., the relation [e_2,e_1]=-e_3 follows from the above by the skew-symmetry of the bracket.)### Generators and dimension

Elements of a Lie algebra mathfrak{g} are said to be generators of the Lie algebra if the smallest subalgebra of mathfrak{g} containing them is mathfrak{g} itself. The*dimension*of a Lie algebra is its dimension as a vector space over

*F*. The cardinality of a minimal generating set of a Lie algebra is always less than or equal to its dimension.

### Subalgebras, ideals and homomorphisms

The Lie bracket is not associative in general, meaning that x,y],z] need not equal [x,[y,z. (However, it is*flexible*.) Nonetheless, much of the terminology that was developed in the theory of associative rings or associative algebras is commonly applied to Lie algebras. A subspace mathfrak{h} subseteq mathfrak{g} that is closed under the Lie bracket is called a

*Lie subalgebra*. If a subspace mathfrak isubseteqmathfrak{g} satisfies a stronger condition that

[mathfrak{g},mathfrak i]subseteq mathfrak i,

then mathfrak i is called an *ideal*in the Lie algebra mathfrak{g}.Due to the anticommutativity of the commutator, the notions of a left and right ideal in a Lie algebra coincide. A

*homomorphism*between two Lie algebras (over the same base field) is a linear map that is compatible with the respective Lie brackets:

f: mathfrak{g}tomathfrak{g'}, quad f([x,y])=[f(x),f(y)],

for all elements *x*and

*y*in mathfrak{g}. As in the theory of associative rings, ideals are precisely the kernels of homomorphisms; given a Lie algebra mathfrak{g} and an ideal mathfrak i in it, one constructs the

*factor algebra*or

*quotient algebra*mathfrak{g}/mathfrak i, and the first isomorphism theorem holds for Lie algebras.Let

*S*be a subset of mathfrak{g}. The set of elements

*x*such that [x, s] = 0 for all

*s*in

*S*forms a subalgebra called the centralizer of

*S*. The centralizer of mathfrak{g} itself is called the

*center*of mathfrak{g}. Similar to centralizers, if

*S*is a subspace,{{harvnb|Jacobson|1962|loc=pg. 28}} then the set of

*x*such that [x, s] is in

*S*for all

*s*in

*S*forms a subalgebra called the normalizer of

*S*.

### Direct sum and semidirect product

Given two Lie algebras mathfrak{g^{}} and mathfrak{g'}, their direct sum is the Lie algebra consisting of the vector spacemathfrak{g}oplusmathfrak{g'}, of the pairs mathfrak{}(x,x'), ,xinmathfrak{g}, x'inmathfrak{g'}, with the operation
[(x,x'),(y,y')]=([x,y],[x',y']), quad x,yinmathfrak{g},, x',y'inmathfrak{g'}, quad text{and} quad [x, x'] = 0.

Let mathfrak{g} be a Lie algebra and mathfrak{i} an ideal of mathfrak{g}. If the canonical map mathfrak{g} to mathfrak{g}/mathfrak{i} splits (i.e., admits a section), then mathfrak{g} is said to be a semidirect product of mathfrak{i} and mathfrak{g}/mathfrak{i}, mathfrak{g}=mathfrak{g}/mathfrak{i}ltimesmathfrak{i}. See also semidirect sum of Lie algebras.Levi's theorem says that a finite-dimensional Lie algebra is a semidirect product of its radical and the complementary subalgebra (Levi subalgebra).### Enveloping algebra

{{See also|Universal enveloping algebra}}For any associative algebra*A*with multiplication *, one can construct a Lie algebra

*L*(

*A*). As a vector space,

*L*(

*A*) is the same as

*A*. The Lie bracket of two elements of

*L*(

*A*) is defined to be their commutator in

*A*:

[a,b]=a * b-b * a.

The associativity of the multiplication * in *A*implies the Jacobi identity of the commutator in

*L*(

*A*). For example, the associative algebra of

*n*Ã—

*n*matrices over a field mathbb{F} gives rise to the general linear Lie algebra mathfrak{gl}_n(mathbb{F}). The associative algebra

*A*is called an

*enveloping algebra*of the Lie algebra

*L*(

*A*). Every Lie algebra can be embedded into one that arises from an associative algebra in this fashion; see universal enveloping algebra.

### Derivations

A derivation on the Lie algebra mathfrak{g} (in fact on any non-associative algebra) is a linear map deltacolonmathfrak{g}rightarrow mathfrak{g} that obeys the Leibniz law, that is,
delta ([x,y]) = [delta(x),y] + [x, delta(y)]

for all *x*and

*y*in the algebra. For any

*x*, operatorname{ad}(x) is a derivation; a consequence of the Jacobi identity. Thus, the image of operatorname{ad} lies in the subalgebra of mathfrak{gl}(mathfrak{g}) consisting of derivations on mathfrak{g}. A derivation that happens to be in the image of operatorname{ad} is called an inner derivation. If mathfrak{g} is semisimple, every derivation on mathfrak{g} is inner.

## Examples

### Vector spaces

Any vector space V endowed with the identically zero Lie bracket becomes a Lie algebra. Such Lie algebras are called abelian, cf. below. Any one-dimensional Lie algebra over a field is abelian, by the antisymmetry of the Lie bracket.- The real vector space of all
*n*Ã—*n*skew-hermitian matrices is closed under the commutator and forms a real Lie algebra denoted mathfrak{u}(n). This is the Lie algebra of the unitary group*U*(*n*).

### Associative algebra

- On an associative algebra A over a field mathbb{F} with multiplication (x, y) mapsto xy, a Lie bracket may be defined by the commutator [x,y] = xy - yx. With this bracket, A is a Lie algebra.{{harvnb|Bourbaki|1989|loc=Â§1.2. Example 1.}}
- The associative algebra of endomorphisms of a mathbb{F}-vector space E with the above Lie bracket is denoted mathfrak{gl}(E). If E = mathbb{F}^n, the notation is mathfrak{gl}(n, mathbb{mathbb{F}}) or mathfrak{gl}_n(mathbb{F}).{{harvnb|Bourbaki|1989|loc=Â§1.2. Example 2.}}

### Subspaces

Every subalgebra (subspace closed under the Lie bracket) of a Lie algebra is a Lie algebra in its own right.- The subspace of the general linear Lie algebra mathfrak{gl}_n(mathbb{F}) consisting of matrices of trace zero is a subalgebra,Humphreys p.2 the special linear Lie algebra, denoted mathfrak{sl}_n(mathbb{F}).

### Matrix Lie groups

Any Lie group {{mvar|G}} defines an associated real Lie algebra mathfrak{g}=mathrm{Lie}(G). The definition in general is somewhat technical, but in the case of a real matrix group*G*, it can be formulated via the exponential map, or the matrix exponential. The Lie algebra mathfrak{g} of

*G*may be computed as

mathfrak{g} = { X in text{Mat}(n,mathbb{C}) mid (forall t in mathbb{R})( operatorname{exp}(tX) in G) }.{{harvnb|Helgason|1978|loc=Ch. II, Â§ 2, Proposition 2.7.}}{{harvnb|Hall|2015|}} Section 3.3

The Lie bracket of mathfrak{g} is given by the commutator of matrices, [X,Y]=XY-YX. The following are examples of Lie algebras of matrix Lie groups:{{harvnb|Hall|2015|}} Section 3.4 - The special linear group {rm SL}(n, mathbb{R}), consisting of all
*n*Ã—*n*matrices with real entries and determinant 1. Its Lie algebra consists of all*n*Ã—*n*matrices with real entries and trace 0. - The unitary group U(
*n*) consists of*n*Ã—*n*unitary matrices (those satisfying U^=U^{-1}). Its Lie algebra consists of skew-self-adjoint matrices (those satisfying X^=-X). - The orthogonal and special orthogonal groups O(
*n*) and SO(*n*) have the same Lie algebra, consisting of real, skew-symmetric matrices (those satisfying X^{{rm tr}}=-X).

### Two dimensions

- On any field mathbb{F} there is, up to isomorphism, a single two-dimensional nonabelian Lie algebra with generators
*x, y,*and bracket defined as left [x, yright ] = y. It generates the affine group in one dimension.

So, for

x= left( begin{array}{cc} 1 & 0 0 & 0 end{array}right), qquad y= left( begin{array}{cc} 0 & 1 0 & 0 end{array}right),

the resulting group elements are upper triangular 2Ã—2 matrices with unit lower diagonal,
e^{ax+by}= left( begin{array}{cc} e^a & tfrac{b}{a}(e^a-1) 0 & 1 end{array}right) .

### Three dimensions

- The three-dimensional Euclidean space mathbb{R}^3 with the Lie bracket given by the cross product of vectors becomes a three-dimensional Lie algebra.
- The Heisenberg algebra {rm H}_3(mathbb{R}) is a three-dimensional Lie algebra generated by elements {{mvar|x}}, {{mvar|y}} and {{mvar|z}} with Lie brackets

[x,y]=z,quad [x,z]=0, quad [y,z]=0 .

It is explicitly realized as the space of 3×3 strictly upper-triangular matrices, with the Lie bracket given by the matrix commutator,
Any element of the Heisenberg group is thus representable as a product of group generators, i.e., matrix exponentials of these Lie algebra generators,

1&a&cend{array}right)= e^{by} e^{cz} e^{ax}~.
left( begin{array}{ccc}

- The Lie algebra mathfrak{so}(3) of the group SO(3) is spanned by the three matrices{{harvnb|Hall|2015|}} Example 3.27

The commutation relations among these generators are

[F_1, F_2] = F_3,
[F_2, F_3] = F_1,
[F_3, F_1] = F_2.

These commutation relations are essentially the same as those among the *x*,*y*, and*z*components of the angular momentum operator in quantum mechanics.### Infinite dimensions

- An important class of infinite-dimensional real Lie algebras arises in differential topology. The space of smooth vector fields on a differentiable manifold
*M*forms a Lie algebra, where the Lie bracket is defined to be the commutator of vector fields. One way of expressing the Lie bracket is through the formalism of Lie derivatives, which identifies a vector field*X*with a first order partial differential operator*L***'X****acting on smooth functions by letting***L**'X*(*f*) be the directional derivative of the function*f*in the direction of*X*. The Lie bracket [*X*,*Y*] of two vector fields is the vector field defined through its action on functions by the formula:

L_{[X,Y]}f=L_X(L_Y f)-L_Y(L_X f).,

- A Kacâ€“Moody algebra is an example of an infinite-dimensional Lie algebra.
- The Moyal algebra is an infinite-dimensional Lie algebra that contains all classical Lie algebras as subalgebras.
- The Virasoro algebra is of paramount importance in string theory.

## Classification of low-dimensional Lie algebras

Let {mathfrak g}_n be n-dimensional Lie algebra over the field {mathbb R}with generators e_1, dots, e_n , n leq 4. Below we givethe Mubarakzyanovâ€™s classification{{harvnb|Mubarakzyanov|1963}} and numeration of these algebras. For review see also Popovych et al{{harvnb|Popovych|2003}}.For each algebra {mathfrak g} we adduce only non-zero commutators between basis elements.### One-dimensional

- {mathfrak g}_1, abelian.

### Two-dimensional

- 2{mathfrak g}_1, abelian;
- {mathfrak g}_{2.1}, solvable,

[e_1, e_2] = e_1.

### Three-dimensional

- 3{mathfrak g}_1, abelian, Bianchi I;
- {mathfrak g}_{2.1}oplus {mathfrak g}_1 , decomposable solvable, Bianchi III;
- {mathfrak g}_{3.1}, Heisenberg-Weyl algebra, nilpotent, Bianchi II,

[e_2, e_3] = e_1;

- {mathfrak g}_{3.2}, solvable, Bianchi IV,

[e_1, e_3] = e_1, quad [e_2, e_3] = e_1 + e_2;

- {mathfrak g}_{3.3}, solvable, Bianchi V,

[e_1, e_3] = e_1, quad [e_2, e_3] = e_2;

- {mathfrak g}_{3.4}, solvable, Bianchi VI, PoincarÃ© algebra mathfrak{p}(1,1) when alpha = -1,

[e_1, e_3] = e_1, quad [e_2, e_3] = alpha e_2, quad -1 leq alpha < 1, quad alpha neq 0;

- {mathfrak g}_{3.5}, solvable, Bianchi VII,

[e_1, e_3] = beta e_1 - e_2, quad [e_2, e_3] = e_1 + beta e_2, quad beta geq 0;

- {mathfrak g}_{3.6}, simple, Bianchi VIII, mathfrak{sl}(2, mathbb R ),

[e_1, e_2] = e_1, quad [e_2, e_3] = e_3, quad [e_1, e_3] = 2 e_2;

- {mathfrak g}_{3.7}, simple, Bianchi VIII, mathfrak{so}(3),

[e_2, e_3] = e_1, quad [e_3, e_1] = e_2, quad [e_1, e_2] = e_3.

### Four-dimensional

- 4{mathfrak g}_1, abelian;
- {mathfrak g}_{2.1} oplus 2{mathfrak g}_1, decomposable solvable,

[e_1, e_2] = e_1;

- 2{mathfrak g}_{2.1}, decomposable solvable,

[e_1, e_2] = e_1 quad [e_3, e_4] = e_3;

- {mathfrak g}_{3.1} oplus {mathfrak g}_1, decomposable nilpotent,

[e_2, e_3] = e_1;

- {mathfrak g}_{3.2} oplus {mathfrak g}_1, decomposable solvable,

[e_1, e_3] = e_1, quad [e_2, e_3] = e_1 + e_2;

- {mathfrak g}_{3.3} oplus {mathfrak g}_1, decomposable solvable,

[e_1, e_3] = e_1, quad [e_2, e_3] = e_2;

- {mathfrak g}_{3.4} oplus {mathfrak g}_1, decomposable solvable,

[e_1, e_3] = e_1, quad [e_2, e_3] = alpha e_2, quad -1 leq alpha < 1, quad alpha neq 0;

- {mathfrak g}_{3.5} oplus {mathfrak g}_1, decomposable solvable,

[e_1, e_3] = beta e_1 - e_2 quad [e_2, e_3] = e_1 + beta e_2, quad beta geq 0;

- {mathfrak g}_{3.6} oplus {mathfrak g}_1, unsolvable,

[e_1, e_2] = e_1, quad [e_2, e_3] = e_3, quad [e_1, e_3] = 2 e_3;

- {mathfrak g}_{3.7} oplus {mathfrak g}_1, unsolvable,

[e_1, e_2] = e_3, quad [e_2, e_3] = e_1, quad [e_3, e_1] = e_2;

- {mathfrak g}_{4.1} , indecomposable nilpotent,

[e_2, e_4] = e_1, quad [e_3, e_4] = e_2;

- {mathfrak g}_{4.2} , indecomposable solvable,

[e_1, e_4] = beta e_1, quad [e_2, e_4] = e_2, quad [e_3, e_4] = e_2 + e_3, quad beta neq 0;

- {mathfrak g}_{4.3} , indecomposable solvable,

[e_1, e_4] = e_1, quad [e_3, e_4] = e_2;

- {mathfrak g}_{4.4} , indecomposable solvable,

[e_1, e_4] = e_1, quad [e_2, e_4] = e_1 + e_2, quad [e_3, e_4] = e_2+e_3;

- {mathfrak g}_{4.5} , indecomposable solvable,

[e_1, e_4] = alpha e_1, quad [e_2, e_4] = beta e_2, quad [e_3, e_4] = gamma e_3, quad alpha beta gamma neq 0;

- {mathfrak g}_{4.6} , indecomposable solvable,

[e_1, e_4] = alpha e_1, quad [e_2, e_4] = beta e_2 - e_3, quad [e_3, e_4] = e_2 + beta e_3, quad alpha > 0;

- {mathfrak g}_{4.7} , indecomposable solvable,

[e_2, e_3] = e_1, quad [e_1, e_4] = 2 e_1, quad [e_2, e_4] = e_2, quad [e_3, e_4] = e_2 + e_3;

- {mathfrak g}_{4.8} , indecomposable solvable,

[e_2, e_3] = e_1, quad [e_1, e_4] = (1 + beta)e_1, quad [e_2, e_4] = e_2, quad [e_3, e_4] = beta e_3, quad -1 leq beta leq 1;

- {mathfrak g}_{4.9} , indecomposable solvable,

[e_2, e_3] = e_1, quad [e_1, e_4] = 2 alpha e_1, quad [e_2, e_4] = alpha e_2 - e_3, quad [e_3, e_4] = e_2 + alpha e_3, quad alpha geq 0;

- {mathfrak g}_{4.10} , indecomposable solvable,

[e_1, e_3] = e_1, quad [e_2, e_3] = e_2, quad [e_1, e_4] = -e_2, quad [e_2, e_4] = e_1.

## Representations

### Definitions

Given a vector space*V*, let mathfrak{gl}(V) denote the Lie algebra consisting of all linear endomorphisms of

*V*, with bracket given by [X,Y]=XY-YX. A

**representation**of a Lie algebra mathfrak{g} on

*V*is a Lie algebra homomorphism

pi: mathfrak g to mathfrak{gl}(V).

A representation is said to be **faithful**if its kernel is zero. Ado's theorem{{harvnb|Jacobson|1962|loc=Ch. VI}} states that every finite-dimensional Lie algebra has a faithful representation on a finite-dimensional vector space.

### Adjoint representation

For any Lie algebra mathfrak{g}, we can define a representation
operatorname{ad}colonmathfrak{g} to mathfrak{gl}(mathfrak{g})

given by operatorname{ad}(x)(y) = [x, y] is a representation of mathfrak{g} on the vector space mathfrak{g} called the adjoint representation.### Goals of representation theory

One important aspect of the study of Lie algebras (especially semisimple Lie algebras) is the study of their representations. (Indeed, most of the books listed in the references section devote a substantial fraction of their pages to representation theory.) Although Ado's theorem is an important result, the primary goal of representation theory is not to find a faithful representation of a given Lie algebra mathfrak{g}. Indeed, in the semisimple case, the adjoint representation is already faithful. Rather the goal is to understand*all*possible representation of mathfrak{g}, up to the natural notion of equivalence. In the semisimple case, Weyl's theorem{{harvnb|Hall|2015|loc=Theorem 10.9}} says that every finite-dimensional representation is a direct sum of irreducible representations (those with no nontrivial invariant subspaces). The irreducible representations, in turn, are classified by a theorem of the highest weight.

### Representation theory in physics

The representation theory of Lie algebras plays an important role in various parts of theoretical physics. There, one considers operators on the space of states that satisfy certain natural commutation relations. These commutation relations typically come from a symmetry of the problemâ€”specifically, they are the relations of the Lie algebra of the relevant symmetry group. An example would be the angular momentum operators, whose commutation relations are those of the Lie algebra mathfrak{so}(3) of the rotation group SO(3). Typically, the space of states is very far from being irreducible under the pertinent operators, but one can attempt to decompose it into irreducible pieces. In doing so, one needs to know what the irreducible representations of the given Lie algebra are. In the study of the quantum hydrogen atom, for example, quantum mechanics textbooks give (without calling it that) a classification of the irreducible representations of the Lie algebra mathfrak{so}(3).## Structure theory and classification

Lie algebras can be classified to some extent. In particular, this has an application to the classification of Lie groups.### Abelian, nilpotent, and solvable

Analogously to abelian, nilpotent, and solvable groups, defined in terms of the derived subgroups, one can define abelian, nilpotent, and solvable Lie algebras.A Lie algebra mathfrak{g} is*abelian{{anchor|abelian}}*if the Lie bracket vanishes, i.e. [

*x*,

*y*] = 0, for all

*x*and

*y*in mathfrak{g}. Abelian Lie algebras correspond to commutative (or abelian) connected Lie groups such as vector spaces mathbb{K}^n or tori mathbb{T}^n, and are all of the form mathfrak{k}^n, meaning an

*n*-dimensional vector space with the trivial Lie bracket.A more general class of Lie algebras is defined by the vanishing of all commutators of given length. A Lie algebra mathfrak{g} is

**nilpotent**if the lower central series

mathfrak{g} > [mathfrak{g},mathfrak{g}] > mathfrak{g},mathfrak{g}],mathfrak{g}] > [mathfrak{g},mathfrak{g}],mathfrak{g}],mathfrak{g}] > cdots

becomes zero eventually. By Engel's theorem, a Lie algebra is nilpotent if and only if for every *u*in mathfrak{g} the adjoint endomorphism

operatorname{ad}(u):mathfrak{g} to mathfrak{g}, quad operatorname{ad}(u)v=[u,v]

is nilpotent.More generally still, a Lie algebra mathfrak{g} is said to be **solvable**if the derived series:

mathfrak{g} > [mathfrak{g},mathfrak{g}] > mathfrak{g},mathfrak{g}],[mathfrak{g},mathfrak{g} > [mathfrak{g},mathfrak{g}],[mathfrak{g},mathfrak{g},mathfrak{g},mathfrak{g}],[mathfrak{g},mathfrak{g}] > cdots

becomes zero eventually.Every finite-dimensional Lie algebra has a unique maximal solvable ideal, called its radical. Under the Lie correspondence, nilpotent (respectively, solvable) connected Lie groups correspond to nilpotent (respectively, solvable) Lie algebras.### Simple and semisimple

A Lie algebra is "simple" if it has no non-trivial ideals and is not abelian. (That is to say, a one-dimensionalâ€”necessarily abelianâ€”Lie algebra is by definition not simple, even though it has no nontrivial ideals.) A Lie algebra mathfrak{g} is called**semisimple**if it is isomorphic to a direct sum of simple algebras. There are several equivalent characterizations of semisimple algebras, such as having no nonzero solvable ideals. The concept of semisimplicity for Lie algebras is closely related with the complete reducibility (semisimplicity) of their representations. When the ground field mathbb{F} has characteristic zero, any finite-dimensional representation of a semisimple Lie algebra is semisimple (i.e., direct sum of irreducible representations.) In general, a Lie algebra is called reductive if the adjoint representation is semisimple. Thus, a semisimple Lie algebra is reductive.

### Cartan's criterion

Cartan's criterion gives conditions for a Lie algebra to be nilpotent, solvable, or semisimple. It is based on the notion of the Killing form, a symmetric bilinear form on mathfrak{g} defined by the formula
K(u,v)=operatorname{tr}(operatorname{ad}(u)operatorname{ad}(v)),

where tr denotes the trace of a linear operator. A Lie algebra mathfrak{g} is semisimple if and only if the Killing form is nondegenerate. A Lie algebra mathfrak{g} is solvable if and only if K(mathfrak{g},[mathfrak{g},mathfrak{g}])=0.### Classification

The Levi decomposition expresses an arbitrary Lie algebra as a semidirect sum of its solvable radical and a semisimple Lie algebra, almost in a canonical way. Furthermore, semisimple Lie algebras over an algebraically closed field have been completely classified through their root systems. However, the classification of solvable Lie algebras is a 'wild' problem, and cannot{{Clarify|date=April 2009}} be accomplished in general.## Relation to Lie groups

Although Lie algebras are often studied in their own right, historically they arose as a means to study Lie groups.We now briefly outline the relationship between Lie groups and Lie algebras. Any Lie group gives rise to a canonically determined Lie algebra (concretely,*the tangent space at the identity*). Conversely, for any finite-dimensional Lie algebra mathfrak g, there exists a corresponding connected Lie group G with Lie algebra mathfrak g. This is Lie's third theorem; see the Bakerâ€“Campbellâ€“Hausdorff formula. This Lie group is not determined uniquely; however, any two Lie groups with the same Lie algebra are

*locally isomorphic*, and in particular, have the same universal cover. For instance, the special orthogonal group SO(3) and the special unitary group SU(2) give rise to the same Lie algebra, which is isomorphic to mathbb{R}^3 with the cross-product, but SU(2) is a simply-connected twofold cover of SO(3).If we consider

*simply connected*Lie groups, however, we have a one-to-one correspondence: For each (finite-dimensional real) Lie algebra mathfrak g, there is a unique simply connected Lie group G with Lie algebra mathfrak g.The correspondence between Lie algebras and Lie groups is used in several ways, including in the classification of Lie groups and the related matter of the representation theory of Lie groups. Every representation of a Lie algebra lifts uniquely to a representation of the corresponding connected, simply connected Lie group, and conversely every representation of any Lie group induces a representation of the group's Lie algebra; the representations are in one-to-one correspondence. Therefore, knowing the representations of a Lie algebra settles the question of representations of the group.As for classification, it can be shown that any connected Lie group with a given Lie algebra is isomorphic to the universal cover mod a discrete central subgroup. So classifying Lie groups becomes simply a matter of counting the discrete subgroups of the center, once the classification of Lie algebras is known (solved by Cartan et al. in the semisimple case).If the Lie algebra is infinite-dimensional, the issue is more subtle. In many instances, the exponential map is not even locally a homeomorphism (for example, in Diff(

**S**1), one may find diffeomorphisms arbitrarily close to the identity that are not in the image of exp). Furthermore, some infinite-dimensional Lie algebras are not the Lie algebra of any group.

## Lie ring

A*Lie ring*arises as a generalisation of Lie algebras, or through the study of the lower central series of groups. A Lie ring is defined as a nonassociative ring with multiplication that is anticommutative and satisfies the Jacobi identity. More specifically we can define a Lie ring L to be an abelian group with an operation [cdot,cdot] that has the following properties:

- Bilinearity:

[x + y, z] = [x, z] + [y, z], quad [z, x + y] = [z, x] + [z, y]

for all

*x*,*y*,*z*∈*L*.- The
*Jacobi identity*:

for all

*x*,*y*,*z*in*L*.- For all
*x*in*L*:

[x,x]=0 quad

*Lazard correspondence*

**. The lower central factors of a****p**

*-group are finite abelian*p*-groups, so modules over**Z*

**/****p**

*Z*'. The direct sum of the lower central factors is given the structure of a Lie ring by defining the bracket to be the commutator of two coset representatives. The Lie ring structure is enriched with another module homomorphism, the

*p*th power map, making the associated Lie ring a so-called restricted Lie ring.Lie rings are also useful in the definition of a p-adic analytic groups and their endomorphisms by studying Lie algebras over rings of integers such as the p-adic integers. The definition of finite groups of Lie type due to Chevalley involves restricting from a Lie algebra over the complex numbers to a Lie algebra over the integers, and the reducing modulo

*p*to get a Lie algebra over a finite field.

### Examples

- Any Lie algebra over a general ring instead of a field is an example of a Lie ring. Lie rings are
*not*Lie groups under addition, despite the name. - Any associative ring can be made into a Lie ring by defining a bracket operator

[x,y] = xy - yx.

- For an example of a Lie ring arising from the study of groups, let G be a group with (x,y) = x^{-1}y^{-1}xy the commutator operation, and let G = G_0 supseteq G_1 supseteq G_2 supseteq cdots supseteq G_n supseteq cdots be a central series in G — that is the commutator subgroup (G_i,G_j) is contained in G_{i+j} for any i,j. Then

L = bigoplus G_i/G_{i+1}

is a Lie ring with addition supplied by the group operation (which will be commutative in each homogeneous part), and the bracket operation given by

[xG_i, yG_j] = (x,y)G_{i+j}

extended linearly. Note that the centrality of the series ensures the commutator (x,y) gives the bracket operation the appropriate Lie theoretic properties.

## See also

{{Col-begin}}{{Col-1-of-2}}- Adjoint representation of a Lie algebra
- Anyonic Lie algebra
- Chiral Lie algebra
- Differential graded Lie algebra
- Index of a Lie algebra
- Killing form
- Lie algebra cohomology
- Lie algebra extension
- Lie algebra representation
- Lie bialgebra
- Lie coalgebra
- Particle physics and representation theory

- Lie superalgebra
- Poisson algebra
- Quantum groups
- Moyal algebra
- Quasi-Frobenius Lie algebra
- Quasi-Lie algebra
- Restricted Lie algebra
- Simplicial Lie algebra
- Symmetric Lie algebra

## Remarks

{{reflist|group=nb}}## Notes

## References

- Beltita, Daniel.
*Smooth Homogeneous Structures in Operator Theory*, CRC Press, 2005. {{isbn|978-1-4200-3480-6}} - Boza, Luis; Fedriani, Eugenio M. & NÃºÃ±ez, Juan.
*A new method for classifying complex filiform Lie algebras*, Applied Mathematics and Computation, 121 (2-3): 169â€“175, 2001 - BOOK, harv, Bourbaki, Nicolas, Nicolas Bourbaki, Lie Groups and Lie Algebras: Chapters 1-3, 1989, 978-3-540-64242-8, Springer, BerlinÂ·HeidelbergÂ·New York,weblink
- Erdmann, Karin & Wildon, Mark.
*Introduction to Lie Algebras*, 1st edition, Springer, 2006. {{isbn|1-84628-040-0}} - BOOK, harv, Hall, Brian C., Lie groups, Lie algebras, and Representations: An Elementary Introduction, 2nd, Graduate Texts in Mathematics, 222, Springer, 2015, 978-3319134666, 10.1007/978-3-319-13467-3, 0072-5285,
- BOOK, harv, Hofmann, Karl H., Morris, Sidney A, The Lie Theory of Connected Pro-Lie Groups, European Mathematical Society, 2007, 978-3-03719-032-6,
- BOOK, harv, Humphreys, James E., James E. Humphreys, Introduction to Lie Algebras and Representation Theory, 2nd, Graduate Texts in Mathematics, 9, Springer-Verlag, New York, 1978, 0-387-90053-5,
- BOOK, harv, Jacobson, Nathan, Nathan Jacobson, Lie algebras, 1962, Dover Publications, Inc., New York, 1979, 0-486-63832-4,
- BOOK, harv, Kac, Victor G., Victor Kac, et al, Course notes for MIT 18.745: Introduction to Lie Algebras,weblink bot: unknown,weblink" title="web.archive.org/web/20100420004313weblink">weblink 2010-04-20,
- JOURNAL, harv, Mubarakzyanov, G.M., G.M. Mubarakzyanov, On solvable Lie algebras, Izv. Vys. Ucheb. Zaved. Matematika, 1(32), 1963, 114-123,
- WEB, harv, O'Connor, J.J, John J. O'Connor (mathematician), Robertson, E.F., Edmund F. Robertson, Biography of Sophus Lie, 2000, MacTutor History of Mathematics Archive,weblink
- WEB, harv, O'Connor, J.J, Robertson, E.F., Biography of Wilhelm Killing, 2005, MacTutor History of Mathematics Archive,weblink
- JOURNAL, harv, Popovych, R.O., Boyko, V.M., Nesterenko, M.O., Lutfullin, M.W., R.O. Popovych et al, Realizations of real low-dimensional Lie algebras, J. Phys. A: Math. Gen., 36, 26, 2003, 7337-7360, 10.1088/0305-4470/36/26/309, math-ph/0301029v7,
- BOOK, harv, Serre, Jean-Pierre, Jean-Pierre Serre, Lie Algebras and Lie Groups, 2nd, Springer, 2006, 3-540-55008-9,
- Steeb, W.-H.
*Continuous Symmetries, Lie Algebras, Differential Equations and Computer Algebra*, second edition, World Scientific, 2007, {{isbn|978-981-270-809-0}} - BOOK, harv, Varadarajan, Veeravalli S., Veeravalli S. Varadarajan, Lie Groups, Lie Algebras, and Their Representations, 1st, Springer, 2004, 0-387-90969-9,

## External links

- {{springer|title=Lie algebra|id=p/l058370}}
- McKenzie, Douglas, (2015), "An Elementary Introduction to Lie Algebras for Physicists"

**- content above as imported from Wikipedia**

- "

- time: 10:38pm EST - Sun, Nov 18 2018

- "

__Lie algebra__" does not exist on GetWiki (yet)- time: 10:38pm EST - Sun, Nov 18 2018

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2018 M.R.M. PARROTT | ALL RIGHTS RESERVED