Lie algebra

"Lie bracket" redirects here. For the operation on vector fields, see Lie bracket of vector fields.

Group theory → Lie groups
Lie groups

Classical
List of simple Lie groups
A_n B_n C_n D_n
Exceptional
G₂ F₄ E₆ E₇ E₈

Other Lie groups

Lie algebras

Semisimple Lie algebra

Homogeneous spaces

Representation theory

Lie groups in physics

Scientists

Table of Lie groups

In mathematics, a Lie algebra (/liː/, not /laɪ/) is a vector space together with a non-associative multiplication called "Lie bracket" $[x,y]$ . When an algebraic product is defined on the space, the Lie bracket is the commutator $[x,y]=xy-yx$ .

Lie algebras were introduced to study the concept of infinitesimal transformations. Hermann Weyl introduced the term "Lie algebra" (after Sophus Lie) in the 1930s. In older texts, the name "infinitesimal group" is used.

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.

Definitions

A Lie algebra is a vector space $\,{\mathfrak {g}}$ over some field F together with a binary operation $[\cdot ,\cdot ]:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}$ called the Lie bracket that satisfies the following axioms:

Bilinearity,

[ax+by,z]=a[x,z]+b[y,z],\quad [z,ax+by]=a[z,x]+b[z,y]

for all scalars a, b in F and all elements x, y, z in

{\mathfrak {g}}

Alternativity,

[x,x]=0\

for all x in

{\mathfrak {g}}

The Jacobi identity,

[x,[y,z]]+[z,[x,y]]+[y,[z,x]]=0\

for all x, y, z in

{\mathfrak {g}}

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

Anticommutativity,

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

for all elements x, y in

{\mathfrak {g}}

. If the field's characteristic is not 2 then anticommutativity implies alternativity.^[1]

It is customary to express a Lie algebra in lower-case fraktur, like ${\mathfrak {g}}$ . If a Lie algebra is associated with a Lie group, then the spelling of the Lie algebra is the same as that Lie group. For example, the Lie algebra of SU(n) is written as ${\mathfrak {su}}(n)$ .

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]]$ . 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 $I\subseteq {\mathfrak {g}}$ satisfies a stronger condition that

[{\mathfrak {g}},I]\subseteq I,

then I is called an ideal in the Lie algebra ${\mathfrak {g}}$ .^[2] 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}}\to {\mathfrak {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 I in it, one constructs the factor (or quotient) algebra ${\mathfrak {g}}/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,^[3] 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}}{\text{ and }}{\mathfrak {g'}}$ , their direct sum is the Lie algebra consisting of the vector space ${\mathfrak {g}}\oplus {\mathfrak {g'}}$ , of the pairs ${\mathfrak {}}(x,x'),\,x\in {\mathfrak {g}},x'\in {\mathfrak {g'}}$ , with the operation

[(x,x'),(y,y')]=([x,y],[x',y']),\quad x,y\in {\mathfrak {g}},\,x',y'\in {\mathfrak {g'}}.

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}}\ltimes {\mathfrak {i}}$ .

Levi's theorem says that a finite-dimensional Lie algebra is a semidirect product of its radical and the complementary subalgebra (Levi subalgebra).

Properties

Admits an enveloping algebra

Representation

Given a vector space V, let ${\mathfrak {gl}}(V)$ denote the Lie algebra enveloped by the associative algebra of all linear endomorphisms of V. 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 trivial. Every finite-dimensional Lie algebra has a faithful representation on a finite-dimensional vector space (Ado's theorem).^[4]

For example,

\operatorname {ad} :{\mathfrak {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. A derivation on the Lie algebra ${\mathfrak {g}}$ (in fact on any non-associative algebra) is a linear map $\delta :{\mathfrak {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).

Subspaces

The subspace of the general linear Lie algebra ${\mathfrak {gl}}_{n}(F)$ consisting of matrices of trace zero is a subalgebra,^[5] the special linear Lie algebra, denoted ${\mathfrak {sl}}_{n}(F).$

Real matrix groups

Any Lie group $G$ defines an associated real Lie algebra ${\mathfrak {g}}$ =Lie( $G$ ). The definition in general is somewhat technical, but in the case of real matrix groups, it can be formulated via the exponential map, or the matrix exponent. The Lie algebra ${\mathfrak {g}}$ consists of those matrices $X$ for which $exp(tX) \in G$ , ∀ real numbers $t$ .

The Lie bracket of

{\mathfrak {g}}

is given by the commutator of matrices. As a concrete example, consider the special linear group SL(n,R), consisting of all n × n matrices with real entries and determinant 1. This is a matrix Lie group, and its Lie algebra consists of all n × n matrices with real entries and trace 0.

Three dimensions

The three-dimensional Euclidean space R³ with the Lie bracket given by the cross product of vectors becomes a three-dimensional Lie algebra.
The Heisenberg algebra H₃(R) is a three-dimensional Lie algebra generated by elements $x$ , $y$ and $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,

x=\left({\begin{array}{ccc}0&1&0\\0&0&0\\0&0&0\end{array}}\right),\quad y=\left({\begin{array}{ccc}0&0&0\\0&0&1\\0&0&0\end{array}}\right),\quad z=\left({\begin{array}{ccc}0&0&1\\0&0&0\\0&0&0\end{array}}\right)~.\quad

Any element of the Heisenberg group is thus representable as a product of group generators, i.e., matrix exponentials of these Lie algebra generators,

\left({\begin{array}{ccc}1&a&c\\0&1&b\\0&0&1\end{array}}\right)=e^{by}e^{cz}e^{ax}~.

The commutation relations between the x, y, and z components of the angular momentum operator in quantum mechanics are the same as those of ${\mathfrak {su}}(2)$ and ${\mathfrak {so}}(3),$

[L_{x},L_{y}]=i\hbar L_{z}

[L_{y},L_{z}]=i\hbar L_{x}

[L_{z},L_{x}]=i\hbar L_{y}

(The physicist convention for Lie algebras is used in the above equations, hence the factor of $i$ .) The Lie algebra formed by these operators have, in fact, representations of all finite dimensions.

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 which contains all classical Lie algebras as subalgebras.

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 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 $K^{n}$ or tori $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. A Lie algebra ${\mathfrak {g}}$ is called semisimple if its radical is zero. Equivalently, ${\mathfrak {g}}$ is semisimple if it does not contain any non-zero abelian ideals. In particular, a simple Lie algebra is semisimple. Conversely, it can be proven that any semisimple Lie algebra is the direct sum of its minimal ideals, which are canonically determined simple Lie algebras.

The concept of semisimplicity for Lie algebras is closely related with the complete reducibility (semisimplicity) of their representations. When the ground field 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 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.

Lie's fundamental theorems describe a relation between Lie groups and Lie algebras. In particular, any Lie group gives rise to a canonically determined Lie algebra (concretely, the tangent space at the identity); and, conversely, for any finite-dimensional Lie algebra there is a corresponding connected Lie group (Lie's third theorem; see the Baker–Campbell–Hausdorff formula). This Lie group is not determined uniquely; however, any two connected 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 R³ with the cross-product, while SU(2) is a simply-connected twofold cover of SO(3).

Given a Lie group, a Lie algebra can be associated to it either by endowing the tangent space to the identity with the differential of the adjoint map, or by considering the left-invariant vector fields as mentioned in the examples. In the case of real matrix groups, the Lie algebra ${\mathfrak {g}}$ consists of those matrices $X$ for which $exp(tX) \in G$ for all real numbers $t$ , where $exp$ is the exponential map.

Some examples of Lie algebras corresponding to Lie groups are the following:

The Lie algebra ${\mathfrak {gl}}_{n}(\mathbb {C} )$ for the group $\mathrm {GL} _{n}(\mathbb {C} )$ is the algebra of complex $n\timesn$ matrices
The Lie algebra ${\mathfrak {sl}}_{n}(\mathbb {C} )$ for the group $\mathrm {SL} _{n}(\mathbb {C} )$ is the algebra of complex $n\timesn$ matrices with trace 0
The Lie algebras ${\mathfrak {o}}_{n}(\mathbb {R} )$ for the group $\mathrm {O} _{n}(\mathbb {R} )$ and ${\mathfrak {so}}_{n}(\mathbb {R} )$ for $\mathrm {SO} _{n}(\mathbb {R} )$ are both the algebra of real anti-symmetric $n\timesn$ matrices (See Antisymmetric matrix: Infinitesimal rotations for a discussion)
The Lie algebra ${\mathfrak {u}}_{n}(\mathbb {C} )$ for the group $\mathrm {U} _{n}(\mathbb {C} )$ is the algebra of skew-Hermitian complex $n\timesn$ matrices while the Lie algebra ${\mathfrak {su}}_{n}(\mathbb {C} )$ for $\mathrm {SU} _{n}(\mathbb {C} )$ is the algebra of skew-Hermitian, traceless complex $n\timesn$ matrices.

In the above examples, the Lie bracket $[X,Y]$ (for $X$ and $Y$ matrices in the Lie algebra) is defined as $[X,Y]=XY-YX$ .

Given a set of generators $T a$ , the structure constants $f abc$ express the Lie brackets of pairs of generators as linear combinations of generators from the set, i.e., $[T a, T b] = f abc T c$ . The structure constants determine the Lie brackets of elements of the Lie algebra, and consequently nearly completely determine the group structure of the Lie group. The structure of the Lie group near the identity element is displayed explicitly by the Baker–Campbell–Hausdorff formula, an expansion in Lie algebra elements $X, Y$ and their Lie brackets, all nested together within a single exponent, $exp(tX) exp(tY) = exp(tX + tY +½ t 2 [X,Y] + O(t 3) )$ .

The mapping from Lie groups to Lie algebras is functorial, which implies that homomorphisms of Lie groups lift to homomorphisms of Lie algebras, and various properties are satisfied by this lifting: it commutes with composition, it maps Lie subgroups, kernels, quotients and cokernels of Lie groups to subalgebras, kernels, quotients and cokernels of Lie algebras, respectively.

The functor L which takes each Lie group to its Lie algebra and each homomorphism to its differential is faithful and exact. It is however not an equivalence of categories: different Lie groups may have isomorphic Lie algebras (for example SO(3) and SU(2) ), and there are (infinite dimensional) Lie algebras that are not associated to any Lie group.^[6]

However, when the Lie algebra ${\mathfrak {g}}$ is finite-dimensional, one can associate to it a simply connected Lie group having ${\mathfrak {g}}$ as its Lie algebra. More precisely, the Lie algebra functor L has a left adjoint functor Γ from finite-dimensional (real) Lie algebras to Lie groups, factoring through the full subcategory of simply connected Lie groups.^[7] In other words, there is a natural isomorphism of bifunctors

\mathrm {Hom} (\Gamma ({\mathfrak {g}}),H)\cong \mathrm {Hom} ({\mathfrak {g}},\mathrm {L} (H)).

The adjunction ${\mathfrak {g}}\rightarrow \mathrm {L} (\Gamma ({\mathfrak {g}}))$ (corresponding to the identity on $\Gamma ({\mathfrak {g}})$ ) is an isomorphism, and the other adjunction $\Gamma (\mathrm {L} (H))\rightarrow H$ is the projection homomorphism from the universal cover group of the identity component of $H$ to $H$ . It follows immediately that if $G$ is simply connected, then the Lie algebra functor establishes a bijective correspondence between Lie group homomorphisms $G\toH$ and Lie algebra homomorphisms $L (G)\to L (H)$ .

The universal cover group above can be constructed as the image of the Lie algebra under the exponential map. More generally, we have that the Lie algebra is homeomorphic to a neighborhood of the identity. But globally, if the Lie group is compact, the exponential will not be injective, and if the Lie group is not connected, simply connected or compact, the exponential map need not be surjective.

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¹), 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.

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).

Category theoretic definition

Using the language of category theory, a Lie algebra can be defined as an object A in Vec_k, the category of vector spaces over a field k of characteristic not 2, together with a morphism [.,.]: A ⊗ A → A, where ⊗ refers to the monoidal product of Vec_k, such that

$[\cdot ,\cdot ]\circ (\mathrm {id} +\tau _{A,A})=0$
$[\cdot ,\cdot ]\circ ([\cdot ,\cdot ]\otimes \mathrm {id} )\circ (\mathrm {id} +\sigma +\sigma ^{2})=0$

where τ(a ⊗ b) := b ⊗ a and σ is the cyclic permutation braiding (id ⊗ τ_A,A) ° (τ_A,A ⊗ id). In diagrammatic form:

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:

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

for all x, y, z in L.

For all x in L:

[x,x]=0\quad

Lie rings need not be Lie groups under addition. Any Lie algebra is an example of a Lie ring. Any associative ring can be made into a Lie ring by defining a bracket operator $[x,y]=xy-yx$ . Conversely to any Lie algebra there is a corresponding ring, called the universal enveloping algebra.

Lie rings are used in the study of finite p-groups through the Lazard correspondence. The lower central factors of a p-group are finite abelian p-groups, so modules over Z/pZ. 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 pth 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.

Notes

↑ Humphreys p. 1
↑ Due to the anticommutativity of the commutator, the notions of a left and right ideal in a Lie algebra coincide.
↑ Jacobson 1962, pg. 28
↑ Jacobson 1962, Ch. VI
↑ Humphreys p.2
↑ Beltita 2005, pg. 75
↑ Adjoint property is discussed in more general context in Hofman & Morris (2007) (e.g., page 130) but is a straightforward consequence of, e.g., Bourbaki (1989) Theorem 1 of page 305 and Theorem 3 of page 310.

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
Bourbaki, Nicolas. "Lie Groups and Lie Algebras - Chapters 1-3", Springer, 1989, ISBN 3-540-64242-0
Erdmann, Karin & Wildon, Mark. Introduction to Lie Algebras, 1st edition, Springer, 2006. ISBN 1-84628-040-0
Hall, Brian C. Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Springer, 2003. ISBN 0-387-40122-9
Hofman, Karl & Morris, Sidney. "The Lie Theory of Connected Pro-Lie Groups", European Mathematical Society, 2007, ISBN 978-3-03719-032-6
Humphreys, James E. Introduction to Lie Algebras and Representation Theory, Second printing, revised. Graduate Texts in Mathematics, 9. Springer-Verlag, New York, 1978. ISBN 0-387-90053-5
Jacobson, Nathan, Lie algebras, Republication of the 1962 original. Dover Publications, Inc., New York, 1979. ISBN 0-486-63832-4
Kac, Victor G. et al. Course notes for MIT 18.745: Introduction to Lie Algebras, math.mit.edu
O'Connor, J.J. & Robertson, E.F. Biography of Sophus Lie, MacTutor History of Mathematics Archive, www-history.mcs.st-andrews.ac.uk
O'Connor, J.J. & Robertson, E.F. Biography of Wilhelm Killing, MacTutor History of Mathematics Archive, www-history.mcs.st-andrews.ac.uk
Serre, Jean-Pierre. "Lie Algebras and Lie Groups", 2nd edition, Springer, 2006. ISBN 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
Varadarajan, V.S. Lie Groups, Lie Algebras, and Their Representations, 1st edition, Springer, 2004. ISBN 0-387-90969-9.

External links

Hazewinkel, Michiel, ed. (2001), "Lie algebra", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
McKenzie, Douglas, (2015), "An Elementary Introduction to Lie Algebras for Physicists"

Authority control	NDL: 00567367

This article is issued from Wikipedia - version of the 11/20/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Lie algebra

Definitions

Generators and dimension

Subalgebras, ideals and homomorphisms

Direct sum and semidirect product

Properties

Admits an enveloping algebra

Representation

Examples

Vector spaces

Subspaces

Real matrix groups

Three dimensions

Infinite dimensions

Structure theory and classification

Abelian, nilpotent, and solvable

Simple and semisimple

Cartan's criterion

Classification

Relation to Lie groups

Category theoretic definition

Lie ring

Examples

See also

Notes

References

External links