In

_{''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\_f=L\_X(L\_Y\; f)-L\_Y(L\_X\; f).\backslash ,$
*Kac–Moody algebra, Kac–Moody algebras are a large class of infinite-dimensional Lie algebras whose structure is very similar to the finite-dimensional cases above.
* The Moyal bracket, Moyal algebra is an infinite-dimensional Lie algebra that contains all Classical Lie groups#Relationship with bilinear forms, classical Lie algebras as subalgebras.
* The Virasoro algebra is of paramount importance in string theory.

^{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.

, z
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

\quad [z, x + y] = , y
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

:for all ''x'', ''y'', ''z'' ∈ ''L''.
* The ''Jacobi identity'':
:: $;\; href="/html/ALL/s/,;\; \_;"title=",$
:for all ''x'', ''y'', ''z'' in ''L''.
* For all ''x'' in ''L'':
::$;\; href="/html/ALL/s/,x.html"\; ;"title=",x">,x$
Lie rings need not be Lie group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

s 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 $;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$. Conversely to any Lie algebra there is a corresponding ring, called the

Lie group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

s under addition, despite the name.
* Any associative ring can be made into a Lie ring by defining a bracket operator
:: $;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$
* For an example of a Lie ring arising from the study of Group (mathematics), groups, let $G$ be a group with $;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$ the commutator operation, and let $G\; =\; G\_0\; \backslash supseteq\; G\_1\; \backslash supseteq\; G\_2\; \backslash supseteq\; \backslash cdots\; \backslash supseteq\; G\_n\; \backslash supseteq\; \backslash cdots$ be a central series in $G$ — that is the commutator subgroup $[G\_i,G\_j]$ is contained in $G\_$ for any $i,j$. Then
:: $L\; =\; \backslash bigoplus\; G\_i/G\_$
:is a Lie ring with addition supplied by the group operation (which is abelian in each homogeneous part), and the bracket operation given by
:: $[xG\_i,\; yG\_j]\; =\; [x,y]G\_\backslash $
:extended linearly. The centrality of the series ensures that the commutator $;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, a Lie algebra (pronounced "Lee") is a vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

$\backslash mathfrak\; g$ together with an operation called the Lie bracket, an alternating bilinear map $\backslash mathfrak\; g\; \backslash times\; \backslash mathfrak\; g\; \backslash rightarrow\; \backslash mathfrak\; g,\; \backslash \; (x,\; y)\; \backslash mapsto$, y
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

/math>, that satisfies the Jacobi identity
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

. The vector space $\backslash mathfrak\; g$ together with this operation is a non-associative algebra
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary operation, binary multiplication operation is not assumed to be associative operation, associative. That is, an algebraic structure ''A'' is a non-ass ...

, meaning that the Lie bracket is not necessarily associative
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

.
Lie algebras are closely related to Lie group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

s, which are group
A group is a number
A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...

s that are also smooth manifolds
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to do calculus. Any manifold can be described by a collection of charts, also known as an ...

: any Lie group gives rise to a Lie algebra, which is its tangent space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected Lie group unique up to finite coverings (Lie's third theoremIn the mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

). This correspondence allows one to study the structure and classification Classification is a process related to categorization
Categorization is the human ability and activity of recognizing shared features or similarities between the elements of the experience
Experience refers to conscious
, an English Paracels ...

of Lie groups in terms of Lie algebras.
In physics, Lie groups appear as symmetry groups of physical systems, and their Lie algebras (tangent vectors near the identity) may be thought of as infinitesimal symmetry motions. Thus Lie algebras and their representations are used extensively in physics, notably in quantum mechanics
Quantum mechanics is a fundamental theory
A theory is a reason, rational type of abstraction, abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with ...

and particle physics.
An elementary example is the space of three dimensional vectors $\backslash mathfrak=\backslash mathbb^3$ with the bracket operation defined by the cross product
In , the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a on two s in a three-dimensional (named here E), and is denoted by the symbol \times. Given two and , the cross produc ...

$;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$ This is skew-symmetric since $x\backslash times\; y\; =\; -y\backslash times\; x$, and instead of associativity it satisfies the Jacobi identity:
:$x\backslash times(y\backslash times\; z)\; \backslash \; =\backslash \; (x\backslash times\; y)\backslash times\; z\; \backslash \; +\backslash \; y\backslash times(x\backslash times\; z).$
This is the Lie algebra of the Lie group of rotations of space, and each vector $v\backslash in\backslash R^3$ may be pictured as an infinitesimal rotation around the axis $v$, with velocity equal to the magnitude of $v$. The Lie bracket is a measure of the non-commutativity between two rotations: since a rotation commutes with itself, we have the alternating property $;\; href="/html/ALL/s/,x.html"\; ;"title=",x">,x$.
History

Lie algebras were introduced to study the concept ofinfinitesimal transformation
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

s by in the 1870s, and independently discovered by Wilhelm Killing
Wilhelm Karl Joseph Killing (10 May 1847 – 11 February 1923) was a German
German(s) may refer to:
Common uses
* of or related to Germany
* Germans, Germanic ethnic group, citizens of Germany or people of German ancestry
* For citizens of ...

in the 1880s. The name ''Lie algebra'' was given by Hermann Weyl
Hermann Klaus Hugo Weyl, (; 9 November 1885 – 8 December 1955) was a German
German(s) may refer to:
Common uses
* of or related to Germany
* Germans, Germanic ethnic group, citizens of Germany or people of German ancestry
* For citizens o ...

in the 1930s; in older texts, the term ''infinitesimal group'' is used.
Definitions

Definition of a Lie algebra

A Lie algebra is avector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

$\backslash ,\backslash mathfrak$ over some field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grassl ...

$F$ together with a binary operation
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

$;\; href="/html/ALL/s/,\backslash cdot\backslash ,,\backslash cdot\backslash ,.html"\; ;"title=",\backslash cdot\backslash ,,\backslash cdot\backslash ,">,\backslash cdot\backslash ,,\backslash cdot\backslash ,$ called the Lie bracket satisfying the following axioms:
* Bilinearity
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gene ...

,
::$;\; href="/html/ALL/s/\_x\_+\_b\_y,\_z.html"\; ;"title="\; x\; +\; b\; y,\; z">\; x\; +\; b\; y,\; z$, z
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

+ b , z
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

::$;\; href="/html/ALL/s/,\_a\_x\_+\_b\_y.html"\; ;"title=",\; a\; x\; +\; b\; y">,\; a\; x\; +\; b\; y$, x
The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline (t ...

+ b , y
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

:for all scalars $a$, $b$ in $F$ and all elements $x$, ''$y$'', ''$z$'' in $\backslash mathfrak$.
* Alternativity
In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), ...

,
::$;\; href="/html/ALL/s/,x.html"\; ;"title=",x">,x$
:for all $x$ in $\backslash mathfrak$.
* The Jacobi identity
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

,
:: $;\; href="/html/ALL/s/,;\; \_;"title=",$
:for all $x$, ''$y$'', ''$z$'' in $\backslash mathfrak$.
Using bilinearity to expand the Lie bracket $[x+y,x+y]$ and using alternativity shows that $;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$ for all elements $x$, ''$y$'' in $\backslash mathfrak$, showing that bilinearity and alternativity together imply
* Anticommutativity
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

,
:: $;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$
:for all elements $x$, ''$y$'' in $\backslash mathfrak$. If the field's characteristic
Characteristic (from the Greek word for a property, attribute or trait
Trait may refer to:
* Phenotypic trait in biology, which involve genes and characteristics of organisms
* Trait (computer programming), a model for structuring object-oriented ...

is not 2 then anticommutativity implies alternativity, since it implies $;\; href="/html/ALL/s/,x.html"\; ;"title=",x">,x$
It is customary to denote a Lie algebra by a lower-case fraktur
Fraktur () is a calligraphic hand of the Latin alphabet and any of several blackletter typefaces derived from this hand. The blackletter lines are broken up; that is, their forms contain many angles when compared to the curves of the Antiqua ...

letter such as $\backslash mathfrak$. If a Lie algebra is associated with a Lie group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

, then the algebra is denoted by the fraktur version of the group: for example the Lie algebra of SU(''n'') is $\backslash mathfrak(n)$.
Generators and dimension

Elements of a Lie algebra $\backslash mathfrak$ are said to generate it if the smallest subalgebra containing these elements is $\backslash mathfrak$ 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. See the classification of low-dimensional real Lie algebras for other small examples.Subalgebras, ideals and homomorphisms

The Lie bracket is not required to beassociative
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

, meaning that $;\; href="/html/ALL/s/x,y.html"\; ;"title="x,y">x,y$ need not equal $;\; href="/html/ALL/s/,;\; \_;"title=",[y,z">,[y,z$._However,_it_is_flexible_algebra, flexible.html" ;"title=",z.html" ;"title=",[y,z">,[y,z. However, it is flexible algebra, flexible">,z.html" ;"title=",[y,z">,[y,z. However, it is flexible algebra, flexible. Nonetheless, much of the terminology of associative ring (mathematics), rings and associative algebra, algebras is commonly applied to Lie algebras. A ''Lie subalgebra'' is a subspace $\backslash mathfrak\; \backslash subseteq\; \backslash mathfrak$ which is closed under the Lie bracket. An ''ideal'' $\backslash mathfrak\; i\backslash subseteq\backslash mathfrak$ is a subalgebra satisfying the stronger condition:
:$;\; href="/html/ALL/s/mathfrak,\backslash mathfrak\_i.html"\; ;"title="mathfrak,\backslash mathfrak\; i">mathfrak,\backslash mathfrak\; i$
A Lie algebra ''homomorphism'' is a linear map compatible with the respective Lie brackets:
:$\backslash phi:\; \backslash mathfrak\backslash to\backslash mathfrak,\; \backslash quad\; \backslash phi(;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$
As for associative rings, ideals are precisely the kernels of homomorphisms; given a Lie algebra $\backslash mathfrak$ and an ideal $\backslash mathfrak\; i$ in it, one constructs the ''factor algebra'' or ''quotient algebra'' $\backslash mathfrak/\backslash mathfrak\; i$, and the first isomorphism theorem
In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between Quotient (universal algebra), quotients, homomorphisms, and subobjects. Vers ...

holds for Lie algebras.
Since the Lie bracket is a kind of infinitesimal commutator
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

of the corresponding Lie group, we say that two elements $x,y\backslash in\backslash mathfrak\; g$ ''commute'' if their bracket vanishes: $;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$.
The centralizer
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

subalgebra of a subset $S\backslash subset\; \backslash mathfrak$ is the set of elements commuting with ''$S$'': that is, $\backslash mathfrak\_(S)\; =\; \backslash $. The centralizer of $\backslash mathfrak$ itself is the ''center'' $\backslash mathfrak(\backslash mathfrak)$. Similarly, for a subspace ''S'', the normalizer
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

subalgebra of ''$S$'' is $\backslash mathfrak\_(S)\; =\; \backslash $. Equivalently, if $S$ is a Lie subalgebra, $\backslash mathfrak\_(S)$ is the largest subalgebra such that $S$ is an ideal of $\backslash mathfrak\_(S)$.
Examples

For $\backslash mathfrak(2)\; \backslash subset\; \backslash mathfrak(2)$, the commutator of two elements$\backslash begin\; \backslash left;\; href="/html/ALL/s/\backslash begin\; a\_\_b\_\backslash \backslash \; c\_\_d\; \backslash end,\_\; \backslash begin\; x\_\_0\_\backslash \backslash \; 0\_\_y\; \backslash end\; \backslash right.html"\; ;"title="\backslash begin\; a\; b\; \backslash \backslash \; c\; d\; \backslash end,\; \backslash begin\; x\; 0\; \backslash \backslash \; 0\; y\; \backslash end\; \backslash right">\backslash begin\; a\; b\; \backslash \backslash \; c\; d\; \backslash end,\; \backslash begin\; x\; 0\; \backslash \backslash \; 0\; y\; \backslash end\; \backslash right$shows $\backslash mathfrak(2)$ is a subalgebra, but not an ideal. In fact, every one-dimensional linear subspace of a Lie algebra has an induced abelian Lie algebra structure, which is generally not an ideal. For any simple Lie algebra, all abelian Lie algebras can never be ideals.

Direct sum and semidirect product

For two Lie algebras $\backslash mathfrak$ and $\backslash mathfrak$, theirdirect sum
The direct sum is an operation from abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathema ...

Lie algebra is the vector space $\backslash mathfrak\backslash oplus\backslash mathfrak$consisting of all pairs $\backslash mathfrak(x,x\text{'}),\; \backslash ,x\backslash in\backslash mathfrak,\; \backslash \; x\text{'}\backslash in\backslash mathfrak$, with the operation
:$;\; href="/html/ALL/s/x,x\text{\'}),(y,y\text{\'}).html"\; ;"title="x,x\text{\'}),(y,y\text{\'})">x,x\text{\'}),(y,y\text{\'})$
so that the copies of $\backslash mathfrak\; g,\; \backslash mathfrak\; g\text{'}$ commute with each other: $;\; href="/html/ALL/s/x,0),\_(0,x\text{\'}).html"\; ;"title="x,0),\; (0,x\text{\'})">x,0),\; (0,x\text{\'})$ Let $\backslash mathfrak$ be a Lie algebra and $\backslash mathfrak$ an ideal of $\backslash mathfrak$. If the canonical map $\backslash mathfrak\; \backslash to\; \backslash mathfrak/\backslash mathfrak$ splits (i.e., admits a section), then $\backslash mathfrak$ is said to be a semidirect product
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product of groups, direct product. There are two closely related concepts of semidirect product:
* an ''inner'' semidirect product ...

of $\backslash mathfrak$ and $\backslash mathfrak/\backslash mathfrak$, $\backslash mathfrak=\backslash mathfrak/\backslash mathfrak\backslash ltimes\backslash mathfrak$. See also semidirect sum of Lie algebras.
Levi's theorem
In Lie theory
In mathematics, the researcher Sophus Lie ( ) initiated lines of study involving integration of differential equations, transformation groups, and contact (mathematics), contact of spheres that have come to be called Lie theory. For ...

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

A ''derivation'' on the Lie algebra $\backslash mathfrak$ (or on anynon-associative algebra
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary operation, binary multiplication operation is not assumed to be associative operation, associative. That is, an algebraic structure ''A'' is a non-ass ...

) is a linear map
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

$\backslash delta\backslash colon\backslash mathfrak\backslash rightarrow\; \backslash mathfrak$ that obeys the Leibniz law, that is,
:$\backslash delta\; (;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$Examples

For example, given a Lie algebra ideal $\backslash mathfrak\; \backslash subset\; \backslash mathfrak$ the adjoint representation $\backslash mathfrak\_\backslash mathfrak$ of $\backslash mathfrak$ acts as outer derivations on $\backslash mathfrak$ since $;\; href="/html/ALL/s/,i.html"\; ;"title=",i">,i$ for any $x\; \backslash in\; \backslash mathfrak$ and $i\; \backslash in\; \backslash mathfrak$. For the Lie algebra $\backslash mathfrak\_n$ of upper triangular matrices in $\backslash mathfrak(n)$, it has an ideal $\backslash mathfrak\_n$ of strictly upper triangular matrices (where the only non-zero elements are above the diagonal of the matrix). For instance, the commutator of elements in $\backslash mathfrak\_3$ and $\backslash mathfrak\_3$ gives$\backslash begin\; \backslash left;\; href="/html/ALL/s/\backslash begin\; a\_\_b\_\_c\_\backslash \backslash \; 0\_\_d\_\_e\_\backslash \backslash \; 0\_\_0\_\_f\; \backslash end,\_\; \backslash begin\; 0\_\_x\_\_y\_\backslash \backslash \; 0\_\_0\_\_z\_\backslash \backslash \; 0\_\_0\_\_0\; \backslash end\; \backslash right.html"\; ;"title="\backslash begin\; a\; b\; c\; \backslash \backslash \; 0\; d\; e\; \backslash \backslash \; 0\; 0\; f\; \backslash end,\; \backslash begin\; 0\; x\; y\; \backslash \backslash \; 0\; 0\; z\; \backslash \backslash \; 0\; 0\; 0\; \backslash end\; \backslash right">\backslash begin\; a\; b\; c\; \backslash \backslash \; 0\; d\; e\; \backslash \backslash \; 0\; 0\; f\; \backslash end,\; \backslash begin\; 0\; x\; y\; \backslash \backslash \; 0\; 0\; z\; \backslash \backslash \; 0\; 0\; 0\; \backslash end\; \backslash right$shows there exist outer derivations from $\backslash mathfrak\_3$ in $\backslash text(\backslash mathfrak\_3)$.

Split Lie algebra

Let ''V'' be a finite-dimensional vector space over a field ''F'', $\backslash mathfrak(V)$ the Lie algebra of linear transformations and $\backslash mathfrak\; \backslash subseteq\; \backslash mathfrak(V)$ a Lie subalgebra. Then $\backslash mathfrak$ is said to be split if the roots of the characteristic polynomials of all linear transformations in $\backslash mathfrak$ are in the base field ''F''. More generally, a finite-dimensional Lie algebra $\backslash mathfrak$ is said to be split if it has a Cartan subalgebra whose image under theadjoint representation
In mathematics, the adjoint representation (or adjoint action) of a Lie group ''G'' is a way of representing the elements of the group as linear map, linear transformations of the group's Lie algebra, considered as a vector space. For example, if ' ...

$\backslash operatorname:\; \backslash mathfrak\; \backslash to\; \backslash mathfrak(\backslash mathfrak\; g)$ is a split Lie algebra. A split real form
In mathematics, the notion of a real form relates objects defined over the Field (algebra), field of Real number, real and Complex number, complex numbers. A real Lie algebra ''g''0 is called a real form of a complex Lie algebra ''g'' if ''g'' is t ...

of a complex semisimple Lie algebra (cf. #Real form and complexification) is an example of a split real Lie algebra. See also split Lie algebra
In the mathematical field of Lie theory, a split Lie algebra is a pair (\mathfrak, \mathfrak) where \mathfrak is a Lie algebra and \mathfrak < \mathfrak is a splitting Cartan subalgebra, where "splitting" means that for all $x\; \backslash in\; \backslash mat\; ...$

for further information.
Vector space basis

For practical calculations, it is often convenient to choose an explicitvector space basis
In mathematics, a Set (mathematics), set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referre ...

for the algebra. A common construction for this basis is sketched in the article structure constant
In mathematics, the structure constants or structure coefficients of an algebra over a field are used to explicitly specify the product of two basis vectors in the algebra as a linear combination. Given the structure constants, the resulting prod ...

s.
Definition using category-theoretic notation

Although the definitions above are sufficient for a conventional understanding of Lie algebras, once this is understood, additional insight can be gained by using notation common tocategory theory
Category theory formalizes mathematical structure
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and ...

, that is, by defining a Lie algebra in terms of linear map
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

s—that is, morphism
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

s of the category of vector spaces In Abstract algebra, algebra, given a Ring (mathematics), ring ''R'', the category of left modules over ''R'' is the Category (mathematics), category whose Object (category theory), objects are all left Module (mathematics), modules over ''R'' and w ...

—without considering individual elements. (In this section, the field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grassl ...

over which the algebra is defined is supposed to be of characteristic
Characteristic (from the Greek word for a property, attribute or trait
Trait may refer to:
* Phenotypic trait in biology, which involve genes and characteristics of organisms
* Trait (computer programming), a model for structuring object-oriented ...

different from two.)
For the category-theoretic definition of Lie algebras, two braiding isomorphisms are needed. If is a vector space, the ''interchange isomorphism'' $\backslash tau:\; A\backslash otimes\; A\; \backslash to\; A\backslash otimes\; A$ is defined by
:$\backslash tau(x\backslash otimes\; y)=\; y\backslash otimes\; x.$
The ''cyclic-permutation braiding'' $\backslash sigma:A\backslash otimes\; A\backslash otimes\; A\; \backslash to\; A\backslash otimes\; A\backslash otimes\; A$ is defined as
:$\backslash sigma=(\backslash mathrm\backslash otimes\; \backslash tau)\backslash circ(\backslash tau\backslash otimes\; \backslash mathrm),$
where $\backslash mathrm$ is the identity morphism.
Equivalently, $\backslash sigma$ is defined by
:$\backslash sigma(x\backslash otimes\; y\backslash otimes\; z)=\; y\backslash otimes\; z\backslash otimes\; x.$
With this notation, a Lie algebra can be defined as an object
Object may refer to:
General meanings
* Object (philosophy)
An object is a philosophy, philosophical term often used in contrast to the term ''Subject (philosophy), subject''. A subject is an observer and an object is a thing observed. For mo ...

$A$ in the category of vector spaces together with a morphism
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

:$;\; href="/html/ALL/s/cdot,\backslash cdot.html"\; ;"title="cdot,\backslash cdot">cdot,\backslash cdot$
that satisfies the two morphism equalities
:$;\; href="/html/ALL/s/cdot,\backslash cdot.html"\; ;"title="cdot,\backslash cdot">cdot,\backslash cdot$
and
:$;\; href="/html/ALL/s/cdot,\backslash cdot.html"\; ;"title="cdot,\backslash cdot">cdot,\backslash cdot$
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 alternating property of the Lie bracket.Associative algebra with commutator bracket

* On anassociative algebra
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

$A$ over a field $F$ with multiplication $(x,\; y)\; \backslash mapsto\; xy$, a Lie bracket may be defined by the commutator
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

$;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$. With this bracket, $A$ is a Lie algebra. The associative algebra ''A'' is called an ''enveloping algebra'' of the Lie algebra $(A,;\; href="/html/ALL/s/,\backslash cdot\backslash ,\_,\_\backslash cdot\_\backslash ,.html"\; ;"title=",\backslash cdot\backslash ,\; ,\; \backslash cdot\; \backslash ,">,\backslash cdot\backslash ,\; ,\; \backslash cdot\; \backslash ,$. Every Lie algebra can be embedded into one that arises from an associative algebra in this fashion; see universal enveloping algebra
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

.
* The associative algebra of the endomorphisms of an ''F''-vector space $V$ with the above Lie bracket is denoted $\backslash mathfrak(V)$.
*For a finite dimensional vector space $V\; =\; F^n$, the previous example is exactly the Lie algebra of ''n'' × ''n'' matrices, denoted $\backslash mathfrak(n,\; F)$ or $\backslash mathfrak\_n(F)$, and with bracket $;\; href="/html/ALL/s/,Y.html"\; ;"title=",Y">,Y$ where adjacency indicates matrix multiplication. This is the Lie algebra of the general linear group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no ge ...

, consisting of invertible matrices.
Special matrices

Two important subalgebras of $\backslash mathfrak\_n(F)$ are: * The matrices oftrace
Trace may refer to:
Arts and entertainment Music
* ''Trace'' (Son Volt album), 1995
* Trace (Died Pretty album), ''Trace'' (Died Pretty album), 1993
* Trace (band), a Dutch progressive rock band
* The Trace (album), ''The Trace'' (album)
Other ...

zero form the special linear Lie algebra
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

$\backslash mathfrak\_n(F)$, the Lie algebra of the special linear group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

$\backslash mathrm\_n(F)$.
*The skew-hermitian matrices form the unitary Lie algebra $\backslash mathfrak\; u(n)$, the Lie algebra of the unitary group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

''U''(''n'').
Matrix Lie algebras

A complexmatrix groupIn mathematics, a matrix group is a group (mathematics), group ''G'' consisting of invertible matrix, invertible matrix (mathematics), matrices over a specified field (mathematics), field ''K'', with the operation of matrix multiplication. A linear g ...

is a Lie group consisting of matrices, $G\backslash subset\; M\_n(\backslash mathbb)$, where the multiplication of ''G'' is matrix multiplication. The corresponding Lie algebra $\backslash mathfrak\; g$ is the space of matrices which are tangent vectors to ''G'' inside the linear space $M\_n(\backslash mathbb)$: this consists of derivatives of smooth curves in ''G'' at the identity: $\backslash mathfrak\; =\; \backslash .$The Lie bracket of $\backslash mathfrak$ is given by the commutator of matrices, $;\; href="/html/ALL/s/,Y.html"\; ;"title=",Y">,Y$. Given the Lie algebra, one can recover the Lie group as the image of the

matrix exponential
In mathematics, the matrix exponential is a matrix function on square matrix, square matrices analogous to the ordinary exponential function. It is used to solve systems of linear differential equations. In the theory of Lie groups, the matrix exp ...

mapping $\backslash exp:\; M\_n(\backslash mathbb)\backslash to\; M\_n(\backslash mathbb)$ defined by $\backslash exp(X)\; =\; I\; +\; X\; +\; \backslash tfracX^2+\backslash cdots$, which converges for every matrix $X$: that is, $G=\backslash exp(\backslash mathfrak\; g)$.
The following are examples of Lie algebras of matrix Lie groups:
* The special linear group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

$\_n(\backslash mathbb)$, consisting of all matrices with determinant 1. Its Lie algebra $\backslash mathfrak\_n(\backslash mathbb)$consists of all matrices with complex entries and trace 0. Similarly, one can define the corresponding real Lie group $\_n(\backslash mathbb)$ and its Lie algebra $\backslash mathfrak\_n(\backslash mathbb)$.
* The unitary group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

$U(n)$ consists of ''n'' × ''n'' unitary matrices (satisfying $U^*=U^$). Its Lie algebra $\backslash mathfrak(n)$ consists of skew-self-adjoint matrices ($X^*=-X$).
* The special orthogonal group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gen ...

$\backslash mathrm(n)$, consisting of real determinant-one orthogonal matrices ($A^=A^$). Its Lie algebra $\backslash mathfrak(n)$ consists of real skew-symmetric matrices ($X^=-X$). The full orthogonal group $\backslash mathrm(n)$, without the determinant-one condition, consists of $\backslash mathrm(n)$ and a separate connected component, so it has the ''same'' Lie algebra as $\backslash mathrm(n)$. Similarly, one can define a complex version of this group and algebra, simply by allowing complex matrix entries.
Two dimensions

* On any field $F$ there is, up to isomorphism, a single two-dimensional nonabelian Lie algebra. With generators ''x, y,'' its bracket is defined as $\backslash left;\; href="/html/ALL/s/,\_y\backslash right\_.html"\; ;"title=",\; y\backslash right\; ">,\; y\backslash right$. It generates the Affine group#Matrix representation, affine group in one dimension. :This can be realized by the matrices: ::$x=\; \backslash left(\; \backslash begin\; 1\; \&\; 0\backslash \backslash \; 0\; \&\; 0\; \backslash end\backslash right),\; \backslash qquad\; y=\; \backslash left(\; \backslash begin\; 0\; \&\; 1\backslash \backslash \; 0\; \&\; 0\; \backslash end\backslash right).$ Since :$\backslash left(\; \backslash begin\; 1\; \&\; c\backslash \backslash \; 0\; \&\; 0\; \backslash end\backslash right)^\; =\; \backslash left(\; \backslash begin\; 1\; \&\; c\backslash \backslash \; 0\; \&\; 0\; \backslash end\backslash right)$ for any natural number $n$ and any $c$, one sees that the resulting Lie group elements are upper triangular 2×2 matrices with unit lower diagonal: ::$\backslash exp(a\backslash cdotx+b\backslash cdoty)=\; \backslash left(\; \backslash begin\; e^a\; \&\; \backslash tfrac(e^a-1)\backslash \backslash \; 0\; \&\; 1\; \backslash end\backslash right)\; =\; 1\; +\; \backslash tfrac\backslash left(a\backslash cdotx+b\backslash cdoty\backslash right).$Three dimensions

* The Heisenberg algebra $\_3(\backslash mathbb)$ is a three-dimensional Lie algebra generated by elements , , and with Lie brackets ::$;\; href="/html/ALL/s/,y.html"\; ;"title=",y">,y$. :It is usually realized as the space of 3×3 strictly upper-triangular matrices, with the commutator Lie bracket and the basis ::$x\; =\; \backslash left(\; \backslash begin\; 0\&1\&0\backslash \backslash \; 0\&0\&0\backslash \backslash \; 0\&0\&0\; \backslash end\backslash right),\backslash quad\; y\; =\; \backslash left(\; \backslash begin\; 0\&0\&0\backslash \backslash \; 0\&0\&1\backslash \backslash \; 0\&0\&0\; \backslash end\backslash right),\backslash quad\; z\; =\; \backslash left(\; \backslash begin\; 0\&0\&1\backslash \backslash \; 0\&0\&0\backslash \backslash \; 0\&0\&0\; \backslash end\backslash right)~.\backslash quad$ :Any element of the Heisenberg group has a representation as a product of group generators, i.e.,matrix exponential
In mathematics, the matrix exponential is a matrix function on square matrix, square matrices analogous to the ordinary exponential function. It is used to solve systems of linear differential equations. In the theory of Lie groups, the matrix exp ...

s of these Lie algebra generators,
::$\backslash left(\; \backslash begin\; 1\&a\&c\backslash \backslash \; 0\&1\&b\backslash \backslash \; 0\&0\&1\; \backslash end\backslash right)=\; e^\; e^\; e^~.$
* The Lie algebra $\backslash mathfrak(3)$ of the group SO(3) is spanned by the three matrices
::$F\_1\; =\; \backslash left(\; \backslash begin\; 0\&0\&0\backslash \backslash \; 0\&0\&-1\backslash \backslash \; 0\&1\&0\; \backslash end\backslash right),\backslash quad\; F\_2\; =\; \backslash left(\; \backslash begin\; 0\&0\&1\backslash \backslash \; 0\&0\&0\backslash \backslash \; -1\&0\&0\; \backslash end\backslash right),\backslash quad\; F\_3\; =\; \backslash left(\; \backslash begin\; 0\&-1\&0\backslash \backslash \; 1\&0\&0\backslash \backslash \; 0\&0\&0\; \backslash end\backslash right)~.\backslash quad$
: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.$
:The three-dimensional Euclidean space $\backslash mathbb^3$ with the Lie bracket given by the cross product
In , the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a on two s in a three-dimensional (named here E), and is denoted by the symbol \times. Given two and , the cross produc ...

of Vector (geometric), vectors has the same commutation relations as above: thus, it is isomorphic to $\backslash mathfrak(3)$. This Lie algebra is unitarily equivalent to the usual Spin (physics) angular-momentum component operators for spin-1 particles in quantum mechanics
Quantum mechanics is a fundamental theory
A theory is a reason, rational type of abstraction, abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with ...

.
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 Lie bracket of vector fields, 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''Representations

Definitions

Given a vector space ''V'', let $\backslash mathfrak(V)$ denote the Lie algebra consisting of all linear endomorphisms of ''V'', with bracket given by $;\; href="/html/ALL/s/,Y.html"\; ;"title=",Y">,Y$. A ''representation'' of a Lie algebra $\backslash mathfrak$ on ''V'' is a Lie algebra homomorphism :$\backslash pi:\; \backslash mathfrak\; g\; \backslash to\; \backslash mathfrak(V).$ A representation is said to be ''faithful'' if its kernel is zero. Ado's theorem states that every finite-dimensional Lie algebra has a faithful representation on a finite-dimensional vector space.Adjoint representation

For any Lie algebra $\backslash mathfrak$, we can define a representation :$\backslash operatorname\backslash colon\backslash mathfrak\; \backslash to\; \backslash mathfrak(\backslash mathfrak)$ given by $\backslash operatorname(x)(y)\; =$, y
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

/math>; it is a representation on the vector space $\backslash mathfrak$ called the adjoint representation of a Lie algebra, 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 $\backslash mathfrak$. Indeed, in the semisimple case, the adjoint representation is already faithful. Rather the goal is to understand ''all'' possible representation of $\backslash mathfrak$, up to the natural notion of equivalence. In the semisimple case over a field of characteristic zero, Weyl's theorem on complete reducibility, Weyl's theorem 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 Lie algebra representation#Classifying finite-dimensional representations of Lie algebras, 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 $\backslash mathfrak(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 the irreducible representations of the given Lie algebra. In the study of the quantum Hydrogen-like atom, hydrogen atom, for example, quantum mechanics textbooks give (without calling it that) a classification of the irreducible representations of the Lie algebra $\backslash mathfrak(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 $\backslash mathfrak$ is ''abelian'' if the Lie bracket vanishes, i.e. [''x'',''y''] = 0, for all ''x'' and ''y'' in $\backslash mathfrak$. Abelian Lie algebras correspond to commutative (or abelian group, abelian) connected Lie groups such as vector spaces $\backslash mathbb^n$ or torus, tori $\backslash mathbb^n$, and are all of the form $\backslash mathfrak^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 $\backslash mathfrak$ is ''nilpotent Lie algebra, nilpotent'' if the lower central series :$\backslash mathfrak\; >\; [\backslash mathfrak,\backslash mathfrak]\; >\; \backslash mathfrak,\backslash mathfrak],\backslash mathfrak]\; >\; [\backslash mathfrak,\backslash mathfrak],\backslash mathfrak],\backslash mathfrak]\; >\; \backslash cdots$ becomes zero eventually. By Engel's theorem, a Lie algebra is nilpotent if and only if for every ''u'' in $\backslash mathfrak$ the adjoint endomorphism :$\backslash operatorname(u):\backslash mathfrak\; \backslash to\; \backslash mathfrak,\; \backslash quad\; \backslash operatorname(u)v=[u,v]$ is nilpotent. More generally still, a Lie algebra $\backslash mathfrak$ is said to be ''solvable Lie algebra, solvable'' if the derived series: :$\backslash mathfrak\; >\; [\backslash mathfrak,\backslash mathfrak]\; >\; \backslash mathfrak,\backslash mathfrak],[\backslash mathfrak,\backslash mathfrak\; >\; [\backslash mathfrak,\backslash mathfrak],[\backslash mathfrak,\backslash mathfrak,\backslash mathfrak,\backslash mathfrak],[\backslash mathfrak,\backslash mathfrak]\; >\; \backslash cdots$ becomes zero eventually. Every finite-dimensional Lie algebra has a unique maximal solvable ideal, called its radical of a Lie algebra, 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 Lie algebra, simple" if it has no non-trivial ideals and is not abelian. (This implies that a one-dimensional—necessarily abelian—Lie algebra is by definition not simple, even though it has no nontrivial ideals.) A Lie algebra $\backslash mathfrak$ 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 ''F'' has characteristic (field), characteristic zero, any finite-dimensional representation of a semisimple Lie algebra is semisimple representation, semisimple (i.e., direct sum of irreducible representations.) In general, a Lie algebra is called reductive Lie algebra, 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 $\backslash mathfrak$ defined by the formula : $K(u,v)=\backslash operatorname(\backslash operatorname(u)\backslash operatorname(v)),$ where tr denotes the Trace (linear algebra), trace of a linear operator. A Lie algebra $\backslash mathfrak$ is semisimple if and only if the Killing form is nondegenerate form, nondegenerate. A Lie algebra $\backslash mathfrak$ is solvable if and only if $K(\backslash mathfrak,[\backslash mathfrak,\backslash mathfrak])=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. (Such a decomposition exists for a finite-dimensional Lie algebra over a field of characteristic zero.) Furthermore, semisimple Lie algebras over an algebraically closed field have been completely classified through their root systems.Relation to Lie groups

Although Lie algebras are often studied in their own right, historically they arose as a means to studyLie group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

s.
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 $\backslash mathfrak\; g$, there exists a corresponding connected Lie group $G$ with Lie algebra $\backslash mathfrak\; g$. This is Lie's third theoremIn the mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

; 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 $\backslash mathbb^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 $\backslash mathfrak\; g$, there is a unique simply connected Lie group $G$ with Lie algebra $\backslash mathfrak\; g$.
The correspondence between Lie algebras and Lie groups is used in several ways, including in the list of simple Lie groups, 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 (group theory), center, once the classification of Lie algebras is known (solved by Élie Cartan, Cartan et al. in the Semisimple Lie algebra, 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(SReal form and complexification

Given a complex Lie algebra $\backslash mathfrak\; g$, a real Lie algebra $\backslash mathfrak\_0$ is said to be a ''real form'' of $\backslash mathfrak\; g$ if the complexification $\backslash mathfrak\_0\; \backslash otimes\_\; \backslash mathbb\; \backslash simeq\; \backslash mathfrak$ is isomorphic to $\backslash mathfrak$. A real form need not be unique; for example, $\backslash mathfrak\_2\; \backslash mathbb$ has two real forms $\backslash mathfrak\_2\; \backslash mathbb$ and $\backslash mathfrak\_2$. Given a semisimple finite-dimensional complex Lie algebra $\backslash mathfrak\; g$, a ''split form'' of it is a real form that splits; i.e., it has a Cartan subalgebra which acts via an adjoint representation with real eigenvalues. A split form exists and is unique (up to isomorphisms). A ''compact form'' is a real form that is the Lie algebra of a compact Lie group. A compact form exists and is also unique.Lie algebra with additional structures

A Lie algebra can be equipped with some additional structures that are assumed to be compatible with the bracket. For example, a graded Lie algebra is a Lie algebra with a graded vector space structure. If it also comes with differential (so that the underlying graded vector space is a chain complex), then it is called a differential graded Lie algebra. A simplicial Lie algebra is a simplicial object in the category of Lie algebras; in other words, it is obtained by replacing the underlying set with a simplicial set (so it might be better thought of as a family of Lie algebras).Lie ring

A ''Lie ring'' arises as a generalisation of Lie algebras, or through the study of the lower central series of Group (mathematics), groups. A Lie ring is defined as a nonassociative ring with multiplication that is anticommutative and satisfies theJacobi identity
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

. More specifically we can define a Lie ring $L$ to be an abelian group with an operation $[\backslash cdot,\backslash cdot]$ that has the following properties:
* Bilinearity:
::$[x\; +\; y,\; z]\; =$, z
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

+ , x
The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline (t ...

+ universal enveloping algebra
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

.
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/''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
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

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 then reducing modulo ''p'' to get a Lie algebra over a finite field.
Examples

* Any Lie algebra over a general Ring (mathematics), ring instead of a Field (mathematics), field is an example of a Lie ring. Lie rings are ''not''See also

* Adjoint representation of a Lie algebra * Anyonic Lie algebra * Chiral Lie algebra * Free Lie algebra * Index of a Lie algebra * Lie algebra cohomology * Lie algebra extension * Lie algebra representation * Lie bialgebra * Lie coalgebra * Lie operad * Particle physics and representation theory * Lie superalgebra * Poisson algebra * Pre-Lie algebra * Quantum groups * Moyal bracket, Moyal algebra * Quasi-Frobenius Lie algebra * Quasi-Lie algebra * Restricted Lie algebra * Serre relations * Symmetric Lie algebra * Gelfand–Fuks cohomologyRemarks

References

Sources

* * * * Karin Erdmann, Erdmann, Karin & Wildon, Mark. ''Introduction to Lie Algebras'', 1st edition, Springer, 2006. * * * * * * * * * * * * *External links

* * {{DEFAULTSORT:Lie Algebra Lie groups Lie algebras,