Editing Semisimple Lie algebra

{{Short description|Direct sum of simple Lie algebras}}
{{Lie groups}}

In [[mathematics]], a [[Lie algebra]] is '''semisimple''' if it is a [[direct sum of modules|direct sum]] of [[Simple Lie algebra|simple Lie algebras]]. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper [[Lie algebra#Subalgebras.2C ideals and homomorphisms|ideals]].)

Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of [[Characteristic (algebra)|characteristic]] 0. For such a Lie algebra <math>\mathfrak g</math>, if nonzero, the following conditions are equivalent:
*<math>\mathfrak g</math> is semisimple;
*the [[Killing form]] <math>\kappa(x, y) = \operatorname{tr}(\operatorname{ad}(x)\operatorname{ad}(y))</math> is [[non-degenerate]];
*<math>\mathfrak g</math> has no non-zero abelian ideals;
*<math>\mathfrak g</math> has no non-zero [[solvable Lie algebra|solvable]] ideals;
* the [[Radical of a Lie algebra|radical]] (maximal solvable ideal) of <math>\mathfrak g</math> is zero.

== Significance ==
The significance of semisimplicity comes firstly from the [[Levi decomposition]], which states that every finite dimensional Lie algebra is the semidirect product of a solvable ideal (its radical) and a semisimple algebra. In particular, there is no nonzero Lie algebra that is both solvable and semisimple.

Semisimple Lie algebras have a very elegant classification, in stark contrast to [[solvable Lie algebra]]s. Semisimple Lie algebras over an algebraically closed field of characteristic zero are completely classified by their [[root system]], which are in turn classified by [[Dynkin diagram]]s. Semisimple algebras over non-algebraically closed fields can be understood in terms of those over the algebraic closure, though the classification is somewhat more intricate; see [[real form]] for the case of real semisimple Lie algebras, which were classified by [[Élie Cartan]].

Further, the [[representation theory of semisimple Lie algebras]] is much cleaner than that for general Lie algebras. For example, the [[Jordan–Chevalley decomposition|Jordan decomposition]] in a semisimple Lie algebra coincides with the Jordan decomposition in its representation; this is not the case for Lie algebras in general.

If <math>\mathfrak g</math> is semisimple, then <math>\mathfrak g = [\mathfrak g, \mathfrak g]</math>. In particular, every linear semisimple Lie algebra is a subalgebra of <math>\mathfrak{sl}</math>, the [[special linear Lie algebra]]. The study of the structure of <math>\mathfrak{sl}</math> constitutes an important part of the representation theory for semisimple Lie algebras.

== History<!--linked from 'Dynkin diagram'--> ==
The semisimple Lie algebras over the complex numbers were first classified by [[Wilhelm Killing]] (1888–90), though his proof lacked rigor. His proof was made rigorous by [[Élie Cartan]] (1894) in his Ph.D. thesis, who also classified semisimple real Lie algebras. This was subsequently refined, and the present classification by Dynkin diagrams was given by then 22-year-old [[Eugene Dynkin]] in 1947. Some minor modifications have been made (notably by J. P. Serre), but the proof is unchanged in its essentials and can be found in any standard reference, such as {{Harv|Humphreys|1972}}.

== Basic properties ==
*Every ideal, quotient and product of semisimple Lie algebras is again semisimple.<ref>{{harvnb|Serre|2000|loc=Ch. II, § 2, Corollary to Theorem 3.}}</ref>
*The center of a semisimple Lie algebra <math>\mathfrak g</math> is trivial (since the center is an abelian ideal). In other words, the [[adjoint representation of a Lie algebra|adjoint representation]] <math>\operatorname{ad}</math>  is injective. Moreover, the image turns out<ref>Since the Killing form ''B'' is non-degenerate, given a derivation ''D'', there is an ''x'' such that <math>\operatorname{tr}(D\operatorname{ad}y) = B(x, y)</math> for all ''y'' and then, by an easy computation, <math>D = \operatorname{ad}(x)</math>.</ref> to be <math>\operatorname{Der}(\mathfrak g)</math> of [[derivation (abstract algebra)|derivations]] on <math>\mathfrak{g}</math>. Hence, <math>\operatorname{ad}: \mathfrak{g} \overset{\sim}\to \operatorname{Der}(\mathfrak g)</math> is an isomorphism.<ref>{{harvnb|Serre|2000|loc=Ch. II, § 4, Theorem 5.}}</ref> (This is a special case of [[Whitehead's lemma (Lie algebras)|Whitehead's lemma]].)
*As the adjoint representation is injective, a semisimple Lie algebra is a [[linear Lie algebra]] under the adjoint representation. This may lead to some ambiguity, as every Lie algebra is already linear with respect to some other vector space ([[Ado's theorem]]), although not necessarily via the adjoint representation.  But in practice, such ambiguity rarely occurs.
*If <math>\mathfrak g</math> is a semisimple Lie algebra, then <math>\mathfrak g = [\mathfrak g, \mathfrak g]</math> (because <math>\mathfrak g/[\mathfrak g, \mathfrak g]</math> is semisimple and abelian).<ref>{{harvnb|Serre|2000|loc=Ch. II, § 3, Corollary to Theorem 4.}}</ref>
*A finite-dimensional Lie algebra <math>\mathfrak g</math> over a field ''k'' of characteristic zero is semisimple if and only if the base extension <math>\mathfrak{g} \otimes_k F</math> is semisimple for each field extension <math>F \supset k</math>.<ref>{{harvnb|Jacobson|1979|loc=Corollary at the end of Ch. III, § 4.}}</ref> Thus, for example, a finite-dimensional real Lie algebra is semisimple if and only if its complexification is semisimple.

==Jordan decomposition==
Each [[endomorphism]] ''x'' of a finite-dimensional vector space over a field of characteristic zero can be decomposed uniquely into a [[semisimple operator|semisimple]] (i.e., diagonalizable over the algebraic closure) and [[nilpotent endomorphism|nilpotent]] part
:<math>x=s+n\ </math>
such that ''s'' and ''n'' commute with each other.  Moreover, each of ''s'' and ''n'' is a polynomial in ''x''.  This is the [[Jordan–Chevalley decomposition|Jordan decomposition]] of ''x''.

The above applies to the [[adjoint representation of a Lie algebra|adjoint representation]] <math>\operatorname{ad}</math> of a semisimple Lie algebra <math>\mathfrak g</math>. An element ''x'' of <math>\mathfrak g</math> is said to be semisimple (resp. nilpotent) if <math>\operatorname{ad}(x)</math> is a semisimple (resp. nilpotent) operator.<ref>{{harvnb|Serre|2000|loc=Ch. II, § 5. Definition 3.}}</ref> If <math>x\in\mathfrak g</math>, then the '''abstract Jordan decomposition''' states that ''x'' can be written uniquely as:
:<math>x = s + n</math>
where <math>s</math> is semisimple, <math>n</math> is nilpotent and <math>[s, n] = 0</math>.<ref>{{harvnb|Serre|2000|loc=Ch. II, § 5. Theorem 6.}}</ref> Moreover, if <math>y \in \mathfrak g</math> commutes with ''x'', then it commutes with both <math>s, n</math> as well.

The abstract Jordan decomposition factors through any representation of <math>\mathfrak g</math> in the sense that given any representation ρ,
:<math>\rho(x) = \rho(s) + \rho(n)\,</math>
is the Jordan decomposition of ρ(''x'') in the endomorphism algebra of the representation space.<ref>{{harvnb|Serre|2000|loc=Ch. II, § 5. Theorem 7.}}</ref> (This is proved as a consequence of [[Weyl's complete reducibility theorem]]; see [[Weyl's theorem on complete reducibility#Application: preservation of Jordan decomposition]].)

== Structure ==
Let <math>\mathfrak g</math> be a (finite-dimensional) semisimple Lie algebra over an algebraically closed field of characteristic zero. The structure of <math>\mathfrak g</math> can be described by an [[adjoint action]] of a certain distinguished subalgebra on it, a [[Cartan subalgebra]]. By definition,<ref>This is a definition of a Cartan subalgebra of a semisimple Lie algebra and coincides with the general one.</ref> a [[Cartan subalgebra]] (also called a maximal [[toral subalgebra]]) <math>\mathfrak h</math> of <math>\mathfrak g</math> is a maximal subalgebra such that, for each <math>h \in \mathfrak h</math>, <math>\operatorname{ad}(h)</math> is [[diagonalizable matrix|diagonalizable]]. As it turns out, <math>\mathfrak h</math> is abelian and so all the operators in <math>\operatorname{ad}(\mathfrak h)</math> are [[simultaneously diagonalizable]]. For each linear functional <math>\alpha</math> of <math>\mathfrak h</math>, let
:<math>\mathfrak{g}_{\alpha} = \{ x \in \mathfrak{g} | \operatorname{ad}(h) x := [h, x] = \alpha(h) x \, \text{ for all } h \in \mathfrak h \}</math>.
(Note that <math>\mathfrak{g}_0</math> is the [[centralizer (Lie algebra)|centralizer]] of <math>\mathfrak h</math>.) Then

{{math_theorem
| name = Root space decomposition
| math_statement = <ref>{{harvnb|Serre|2000|loc=Ch. VI, § 1.}}</ref> Given a Cartan subalgebra <math>\mathfrak{h}</math>, it holds that <math>\mathfrak{g}_0 = \mathfrak{h}</math> and there is a decomposition (as an <math>\mathfrak h</math>-module):
:<math>\mathfrak g = \mathfrak h \oplus \bigoplus_{\alpha \in \Phi} \mathfrak{g}_{\alpha}</math>
where <math>\Phi</math> is the set of all nonzero linear functionals <math>\alpha</math> of <math>\mathfrak h</math> such that <math>\mathfrak g_{\alpha} \ne \{0\}</math>. Moreover, for each <math>\alpha, \beta \in \Phi</math>,
*<math>[\mathfrak g_{\alpha}, \mathfrak g_{\beta}] \subseteq \mathfrak g_{\alpha + \beta}</math>, which is the equality if <math>\alpha + \beta \ne 0</math>.
*<math>[\mathfrak{g}_{\alpha}, \mathfrak{g}_{-\alpha}] \oplus \mathfrak{g}_{-\alpha} \oplus \mathfrak{g}_{\alpha} \simeq \mathfrak{sl}_2</math> as a Lie algebra.
*<math>\dim \mathfrak g_{\alpha} = 1</math>; in particular, <math>\dim \mathfrak g = \dim \mathfrak h + \# \Phi</math>.
*<math>\mathfrak g_{2\alpha} = \{0\}</math>; in other words, <math>2 \alpha \not\in \Phi</math>.
*With respect to the Killing form ''B'', <math>\mathfrak{g}_{\alpha}, \mathfrak{g}_{\beta}</math> are orthogonal to each other if <math>\alpha + \beta \ne 0</math>; the restriction of ''B'' to <math>\mathfrak h</math> is nondegenerate.
}}
(The most difficult item to show is <math>\dim \mathfrak{g}_{\alpha} = 1</math>. The standard proofs all use some facts in the [[representation theory of sl 2|representation theory of <math>\mathfrak{sl}_2</math>]]; e.g., Serre uses the fact that an <math>\mathfrak{sl}_2</math>-module with a primitive element of negative weight is infinite-dimensional, contradicting <math>\dim \mathfrak g < \infty</math>.)

Let <math>h_{\alpha} \in \mathfrak{h}, e_{\alpha} \in \mathfrak{g}_{\alpha}, f_{\alpha} \in \mathfrak{g}_{-\alpha}</math> with the commutation relations <math>[e_{\alpha}, f_{\alpha}] = h_{\alpha}, [h_{\alpha}, e_{\alpha}] = 2e_{\alpha}, [h_{\alpha}, f_{\alpha}] = -2f_{\alpha}</math>; i.e., the <math>h_{\alpha}, e_{\alpha}, f_{\alpha}</math> correspond to the standard basis of <math>\mathfrak{sl}_2</math>.

The linear functionals in <math>\Phi</math> are called the '''roots''' of <math>\mathfrak g</math> relative to <math>\mathfrak h</math>. The roots span <math>\mathfrak h^*</math> (since if <math>\alpha(h) = 0, \alpha \in \Phi</math>, then <math>\operatorname{ad}(h)</math> is the zero operator; i.e., <math>h</math> is in the center, which is zero.) Moreover, from the representation theory of <math>\mathfrak{sl}_2</math>, one deduces the following symmetry and integral properties of <math>\Phi</math>: for each <math>\alpha, \beta \in \Phi</math>,
{{bulleted list
|The endomorphism
:<math>s_{\alpha} : \mathfrak{h}^* \to \mathfrak{h}^*, \, \gamma \mapsto \gamma - \gamma(h_{\alpha}) \alpha</math>
leaves <math>\Phi</math> invariant (i.e., <math>s_{\alpha}(\Phi) \subset \Phi</math>).
|<math>\beta(h_{\alpha})</math> is an integer.}}
Note that <math>s_{\alpha}</math> has the properties (1) <math>s_{\alpha}(\alpha) = -\alpha</math> and (2) the fixed-point set is <math>\{ \gamma \in \mathfrak{h}^* | \gamma(h_\alpha) = 0 \}</math>, which means that <math>s_{\alpha}</math> is the reflection with respect to the hyperplane corresponding to <math>\alpha</math>. The above then says that <math>\Phi</math> is a [[root system]].

It follows from the general theory of a root system that <math>\Phi</math> contains a basis <math>\alpha_1, \dots, \alpha_l</math> of <math>\mathfrak{h}^*</math> such that each root is a linear combination of <math>\alpha_1, \dots, \alpha_l</math> with integer coefficients of the same sign; the roots <math>\alpha_i</math> are called [[Root system#Positive roots and simple roots|simple roots]]. Let <math>e_i = e_{\alpha_i}</math>, etc. Then the <math>3l</math> elements <math>e_i, f_i, h_i</math> (called '''Chevalley generators''') generate <math>\mathfrak g</math> as a Lie algebra. Moreover, they satisfy the relations (called '''Serre relations'''): with <math>a_{ij} = \alpha_j(h_i)</math>,
:<math>[h_i, h_j] = 0,</math>
:<math>[e_i, f_i] = h_i, [e_i, f_j] = 0, i \ne j,</math>
:<math>[h_i, e_j] = a_{ij} e_j, [h_i, f_j] = -a_{ij} f_j,</math>
:<math>\operatorname{ad}(e_i)^{-a_{ij} + 1}(e_j) = \operatorname{ad}(f_i)^{-a_{ij} + 1}(f_j) = 0, i \ne j</math>.
The converse of this is also true: i.e., the Lie algebra generated by the generators and the relations like the above is a (finite-dimensional) semisimple Lie algebra that has the root space decomposition as above (provided the <math>[a_{ij}]_{1 \le i, j \le l}</math> is a [[Cartan matrix]]). This is a [[Serre's theorem on a semisimple Lie algebra|theorem of Serre]]. In particular, two semisimple Lie algebras are isomorphic if they have the same root system.

The implication of the axiomatic nature of a root system and Serre's theorem is that one can enumerate all possible root systems; hence, "all possible" semisimple Lie algebras (finite-dimensional over an algebraically closed field of characteristic zero).

The '''Weyl group''' is the group of linear transformations of <math>\mathfrak{h}^* \simeq \mathfrak{h}</math> generated by the <math>s_\alpha</math>'s. The Weyl group is an important symmetry of the problem; for example, the weights of any finite-dimensional representation of <math>\mathfrak{g}</math> are invariant under the Weyl group.<ref>{{harvnb|Hall|2015}} Theorem 9.3</ref>

== Example root space decomposition in sl<sub>n</sub>(C)  ==
For <math>\mathfrak{g} = \mathfrak{sl}_n(\mathbb{C})
</math> and the Cartan subalgebra <math>\mathfrak{h}</math> of diagonal matrices, define <math>\lambda_i \in \mathfrak{h}^*</math> by
:<math>\lambda_i(d(a_1,\ldots, a_n)) = a_i</math>,
where <math>d(a_1,\ldots, a_n)</math> denotes the diagonal matrix with <math>a_1,\ldots, a_n</math> on the diagonal. Then the decomposition is given by
:<math>\mathfrak{g} = \mathfrak{h}\oplus \left( \bigoplus_{i \neq j} \mathfrak{g}_{\lambda_i - \lambda_j} \right)</math>
where
:<math>\mathfrak{g}_{\lambda_i - \lambda_j} = \text{Span}_\mathbb{C}(e_{ij})</math>
for the vector <math>e_{ij}</math> in <math>\mathfrak{sl}_n(\mathbb{C})</math> with the standard (matrix) basis, meaning <math>e_{ij}</math> represents the basis vector in the <math>i</math>-th row and <math>j</math>-th column. This decomposition of <math>\mathfrak{g}</math> has an associated root system:
:<math>\Phi = \{ \lambda_i - \lambda_j : i \neq j \}</math>

=== sl<sub>2</sub>(C) ===
For example, in <math>\mathfrak{sl}_2(\mathbb{C})</math> the decomposition is
:<math>\mathfrak{sl}_2= \mathfrak{h}\oplus
\mathfrak{g}_{\lambda_1 - \lambda_2}\oplus
\mathfrak{g}_{\lambda_2 - \lambda_1}</math>
and the associated root system is
:<math>\Phi = \{\lambda_1 - \lambda_2, \lambda_2 - \lambda_1 \}</math>

=== sl<sub>3</sub>(C) ===
In <math>\mathfrak{sl}_3(\mathbb{C})</math> the decomposition is
:<math>\mathfrak{sl}_3 = \mathfrak{h} \oplus \mathfrak{g}_{\lambda_1 - \lambda_2}
\oplus \mathfrak{g}_{\lambda_1 - \lambda_3}
\oplus \mathfrak{g}_{\lambda_2 - \lambda_3}

\oplus \mathfrak{g}_{\lambda_2 - \lambda_1}
\oplus \mathfrak{g}_{\lambda_3 - \lambda_1}
\oplus \mathfrak{g}_{\lambda_3 - \lambda_2}
</math>
and the associated root system is given by
:<math>\Phi = \{\pm(\lambda_1 - \lambda_2),\pm(\lambda_1 - \lambda_3),\pm(\lambda_2 - \lambda_3) \}</math>

== Examples ==
As noted in [[#Structure]], semisimple [[Lie algebra]]s over <math>\mathbb{C}</math> (or more generally an algebraically closed field of characteristic zero) are classified by the root system associated to their Cartan subalgebras, and the root systems, in turn, are classified by their Dynkin diagrams.
Examples of semisimple Lie algebras, the [[classical Lie algebra]]s, with notation coming from their [[Dynkin diagram]]s, are:
* <math>A_n:</math> <math>\mathfrak {sl}_{n+1}</math>, the [[special linear Lie algebra]].
* <math>B_n:</math> <math>\mathfrak{so}_{2n+1}</math>, the odd-dimensional [[special orthogonal Lie algebra]].
* <math>C_n:</math> <math>\mathfrak {sp}_{2n}</math>, the [[symplectic Lie algebra]].
* <math>D_n:</math> <math>\mathfrak{so}_{2n}</math>, the even-dimensional [[special orthogonal Lie algebra]] (<math>n>1</math>).
The restriction <math>n>1</math> in the <math>D_n</math> family is needed because <math>\mathfrak{so}_{2}</math> is one-dimensional and commutative and therefore not semisimple.

These Lie algebras are numbered so that ''n'' is the [[rank (Lie algebra)|rank]]. Almost all of these semisimple Lie algebras are actually simple and the members of these families are almost all distinct, except for some collisions in small rank. For example <math>\mathfrak{so}_{4} \cong \mathfrak{so}_{3} \oplus \mathfrak{so}_{3} </math> and <math>\mathfrak{sp}_{2} \cong \mathfrak{so}_{5}</math>. These four families, together with five exceptions ([[E6 (mathematics)|E<sub>6</sub>]], [[E7 (mathematics)|E<sub>7</sub>]], [[E8 (mathematics)|E<sub>8</sub>]], [[F4 (mathematics)|F<sub>4</sub>]], and [[G2 (mathematics)|G<sub>2</sub>]]), are in fact the ''only'' simple Lie algebras over the complex numbers.

== Classification ==
{{See also|Root system}}
[[File:Connected Dynkin Diagrams.svg|thumb|The simple Lie algebras are classified by the connected [[Dynkin diagram]]s.]]
Every semisimple Lie algebra over an algebraically closed field of characteristic 0 is a [[direct sum]] of [[simple Lie algebra]]s (by definition), and the finite-dimensional simple Lie algebras fall in four families – A<sub>n</sub>, B<sub>n</sub>, C<sub>n</sub>, and D<sub>n</sub> – with five exceptions
[[E6 (mathematics)|E<sub>6</sub>]], [[E7 (mathematics)|E<sub>7</sub>]], [[E8 (mathematics)|E<sub>8</sub>]], [[F4 (mathematics)|F<sub>4</sub>]], and [[G2 (mathematics)|G<sub>2</sub>]]. Simple Lie algebras are classified by the connected [[Dynkin diagram]]s, shown on the right, while semisimple Lie algebras correspond to not necessarily connected Dynkin diagrams, where each component of the diagram corresponds to a summand of the decomposition of the semisimple Lie algebra into simple Lie algebras.

The classification proceeds by considering a [[Cartan subalgebra]] (see below) and its [[adjoint representation of a Lie algebra|adjoint action]] on the Lie algebra. The [[root system]] of the action then both determines the original Lie algebra and must have a very constrained form, which can be classified by the Dynkin diagrams. See the section below describing Cartan subalgebras and root systems for more details.

The classification is widely considered one of the most elegant results in mathematics – a brief list of axioms yields, via a relatively short proof, a complete but non-trivial classification with surprising structure. This should be compared to the [[classification of finite simple groups]], which is significantly more complicated.

The enumeration of the four families is non-redundant and consists only of simple algebras if <math>n \geq 1</math> for A<sub>n</sub>, <math>n \geq 2</math> for B<sub>n</sub>, <math>n \geq 3</math> for C<sub>n</sub>, and <math>n \geq 4</math> for D<sub>n</sub>. If one starts numbering lower, the enumeration is redundant, and one has [[exceptional isomorphism]]s between simple Lie algebras, which are reflected in [[Dynkin diagram#Isomorphisms|isomorphisms of Dynkin diagrams]]; the E<sub>n</sub> can also be extended down, but below E<sub>6</sub> are isomorphic to other, non-exceptional algebras.

Over a non-algebraically closed field, the classification is more complicated – one classifies simple Lie algebras over the algebraic closure, then for each of these, one classifies simple Lie algebras over the original field which have this form (over the closure). For example, to classify simple real Lie algebras, one classifies real Lie algebras with a given complexification, which are known as [[Real form (Lie theory)|real forms]] of the complex Lie algebra; this can be done by [[Satake diagram]]s, which are Dynkin diagrams with additional data ("decorations").<ref>{{harvnb|Knapp|2002}} Section VI.10</ref>

==Representation theory of semisimple Lie algebras ==
{{main|Representation theory of semisimple Lie algebras}}

Let <math>\mathfrak g</math> be a (finite-dimensional) semisimple Lie algebra over an algebraically closed field of characteristic zero. Then, as in [[#Structure]], <math display="inline">\mathfrak g = \mathfrak h \oplus \bigoplus_{\alpha \in \Phi} \mathfrak g_{\alpha}</math> where <math>\Phi</math> is the root system. Choose the simple roots in <math>\Phi</math>; a root <math>\alpha</math> of <math>\Phi</math> is then called [[positive root|positive]] and is denoted by <math>\alpha > 0</math> if it is a linear combination of the simple roots with non-negative integer coefficients. Let <math display="inline">\mathfrak b = \mathfrak h \oplus \bigoplus_{\alpha > 0} \mathfrak g_{\alpha}</math>, which is a maximal solvable subalgebra of <math>\mathfrak g</math>, the [[Borel subalgebra]].

Let ''V'' be a (possibly-infinite-dimensional) simple <math>\mathfrak g</math>-module. If ''V'' happens to admit a <math>\mathfrak b</math>-weight vector <math>v_0</math>,<ref>A <math>\mathfrak{b}</math>-weight vector is also called a [[primitive element (Lie algebra)|primitive element]], especially in older textbooks.</ref> then it is unique up to scaling and is called the [[highest weight vector]] of ''V''. It is also an <math>\mathfrak h</math>-weight vector and the <math>\mathfrak h</math>-weight of <math>v_0</math>, a linear functional of <math>\mathfrak h</math>, is called the [[highest weight]] of ''V''. The basic yet nontrivial facts<ref>In textbooks, these facts is usually established by the theory of [[Verma module]]s.</ref> then are (1) to each linear functional <math>\mu \in \mathfrak h^*</math>, there exists a simple <math>\mathfrak g</math>-module <math>V^{\mu}</math> having <math>\mu</math> as its highest weight and (2) two simple modules having the same highest weight are equivalent. In short, there exists a bijection between <math>\mathfrak h^*</math> and the set of the equivalence classes of simple <math>\mathfrak g</math>-modules admitting a Borel-weight vector.

For applications, one is often interested in a finite-dimensional simple <math>\mathfrak g</math>-module (a finite-dimensional irreducible representation). This is especially the case when <math>\mathfrak g</math> is the Lie algebra of a [[Lie group]] (or complexification of such), since, via the [[Lie correspondence]], a Lie algebra representation can be integrated to a Lie group representation when the obstructions are overcome. The next criterion then addresses this need: by the [[positive Weyl chamber]] <math>C \subset \mathfrak{h}^*</math>, we mean the convex cone <math>C = \{ \mu \in \mathfrak{h}^* | \mu(h_{\alpha}) \ge 0, \alpha \in \Phi > 0 \}</math> where <math>h_{\alpha} \in [\mathfrak g_{\alpha}, \mathfrak g_{-\alpha}]</math> is a unique vector such that <math>\alpha(h_{\alpha}) = 2</math>. The criterion then reads:<ref>{{harvnb|Serre|2000|loc=Ch. VII, § 4, Theorem 3.}}</ref>
*<math>\dim V^{\mu} < \infty</math> if and only if, for each positive root <math>\alpha > 0</math>, (1) <math>\mu(h_{\alpha})</math> is an integer and (2) <math>\mu</math> lies in <math>C</math>.
A linear functional <math>\mu</math> satisfying the above equivalent condition is called a dominant integral weight. Hence, in summary, there exists a bijection between the dominant integral weights and the equivalence classes of finite-dimensional simple <math>\mathfrak g</math>-modules, the result known as the [[theorem of the highest weight]]. The character of a finite-dimensional simple module in turns is computed by the [[Weyl character formula]].<!-- expand this -->

The [[Weyl's completely reducibility theorem|theorem due to Weyl]] says that, over a field of characteristic zero, every finite-dimensional [[representation of a Lie algebra|module]] of a semisimple Lie algebra <math>\mathfrak g</math> is [[semisimple representation|completely reducible]]; i.e., it is a direct sum of simple <math>\mathfrak g</math>-modules. Hence, the above results then apply to finite-dimensional representations of a semisimple Lie algebra.

== Real semisimple Lie algebra ==
For a semisimple Lie algebra over a field that has characteristic zero but is not algebraically closed, there is no general structure theory like the one for those over an algebraically closed field of characteristic zero. But over the field of real numbers, there are still the structure results.

Let <math>\mathfrak g</math> be a finite-dimensional real semisimple Lie algebra and <math>\mathfrak{g}^{\mathbb{C}} = \mathfrak{g} \otimes_{\mathbb{R}} \mathbb{C}</math> the complexification of it (which is again semisimple). The real Lie algebra <math>\mathfrak g</math> is called a [[real form]] of <math>\mathfrak{g}^{\mathbb{C}}</math>. A real form is called a compact form if the Killing form on it is negative-definite; it is necessarily the Lie algebra of a compact Lie group (hence, the name).

=== Compact case ===
Suppose <math>\mathfrak g</math> is a compact form and <math>\mathfrak h \subset \mathfrak g</math> a maximal abelian subspace. One can show (for example, from the fact <math>\mathfrak g</math> is the Lie algebra of a compact Lie group) that <math>\operatorname{ad}(\mathfrak h)</math> consists of skew-Hermitian matrices, diagonalizable over <math>\mathbb{C}</math> with imaginary eigenvalues. Hence, <math>\mathfrak h^{\mathbb{C}}</math> is a [[Cartan subalgebra]] of <math>\mathfrak{g}^{\mathbb{C}}</math> and there results in the root space decomposition (cf. [[#Structure]])
:<math>\mathfrak{g}^{\mathbb{C}} = \mathfrak{h}^{\mathbb{C}} \oplus \bigoplus_{\alpha \in \Phi} \mathfrak{g}_{\alpha}</math>
where each <math>\alpha \in \Phi</math> is real-valued on <math>i \mathfrak{h}</math>; thus, can be identified with a real-linear functional on the real vector space <math>i \mathfrak{h}</math>.

For example, let <math>\mathfrak{g} = \mathfrak{su}(n)</math> and take <math>\mathfrak h \subset \mathfrak g</math> the subspace of all diagonal matrices. Note <math>\mathfrak{g}^{\mathbb{C}} = \mathfrak{sl}_n \mathbb{C}</math>. Let <math>e_i</math> be the linear functional on <math>\mathfrak{h}^{\mathbb{C}}</math> given by <math>e_i(H) = h_i</math> for <math>H = \operatorname{diag}(h_1, \dots, h_n)</math>. Then for each <math>H \in \mathfrak{h}^{\mathbb{C}}</math>,
:<math>[H, E_{ij}] = (e_i(H) - e_j(H)) E_{ij}</math>
where <math>E_{ij}</math> is the matrix that has 1 on the <math>(i, j)</math>-th spot and zero elsewhere. Hence, each root <math>\alpha</math> is of the form <math>\alpha = e_i - e_j, i \ne j</math> and the root space decomposition is the decomposition of matrices:<ref>{{harvnb|Knapp|2002|loc=Ch. IV, § 1, Example 1.}}</ref>
:<math>\mathfrak{g}^{\mathbb{C}} = \mathfrak{h}^{\mathbb{C}} \oplus \bigoplus_{i \ne j} \mathbb{C} E_{ij}.</math>

=== Noncompact case ===
Suppose <math>\mathfrak g</math> is not necessarily a compact form (i.e., the signature of the Killing form is not all negative). Suppose, moreover, it has a [[Cartan involution]] <math>\theta</math> and let <math>\mathfrak g = \mathfrak k \oplus \mathfrak p</math> be the eigenspace decomposition of <math>\theta</math>, where <math>\mathfrak k, \mathfrak p</math> are the eigenspaces for 1 and -1, respectively. For example, if <math>\mathfrak g = \mathfrak{sl}_n \mathbb{R}</math> and <math>\theta</math> the negative transpose, then <math>\mathfrak k = \mathfrak{so}(n)</math>.

Let <math>\mathfrak a \subset \mathfrak p</math> be a maximal abelian subspace. Now, <math>\operatorname{ad}(\mathfrak p)</math> consists of symmetric matrices (with respect to a suitable inner product) and thus the operators in <math>\operatorname{ad}(\mathfrak a)</math> are simultaneously diagonalizable, with real eigenvalues. By repeating the arguments for the algebraically closed base field, one obtains the decomposition (called the '''restricted root space decomposition'''):<ref>{{harvnb|Knapp|2002|loc=Ch. V, § 2, Proposition 5.9.}}</ref>
:<math>\mathfrak g = \mathfrak g_0 \oplus \bigoplus_{\alpha \in \Phi} \mathfrak{g}_{\alpha}</math>
where
*the elements in <math>\Phi</math> are called the [[restricted root]]s,
*<math>\theta(\mathfrak{g}_{\alpha}) = \mathfrak{g}_{-\alpha}</math> for any linear functional <math>\alpha</math>; in particular, <math>-\Phi \subset \Phi</math>,
*<math>\mathfrak g_0 = \mathfrak a \oplus Z_{\mathfrak k}(\mathfrak a)</math>.
Moreover, <math>\Phi</math> is a [[root system]] but not necessarily reduced one (i.e., it can happen <math>\alpha, 2\alpha</math> are both roots).

== The case of sl(n,C)==
If <math>\mathfrak{g}=\mathrm{sl}(n,\mathbb{C})</math>, then <math>\mathfrak{h}</math> may be taken to be the diagonal subalgebra of <math>\mathfrak{g}</math>, consisting of diagonal matrices whose diagonal entries sum to zero. Since <math>\mathfrak{h}</math> has dimension <math>n-1</math>, we see that <math>\mathrm{sl}(n;\mathbb{C})</math> has rank <math>n-1</math>.

The root vectors <math>X</math> in this case may be taken to be the matrices <math>E_{i,j}</math> with <math>i\neq j</math>, where <math>E_{i,j}</math> is the matrix with a 1 in the <math>(i,j)</math> spot and zeros elsewhere.<ref>{{harvnb|Hall|2015}} Section 7.7.1</ref> If <math>H</math> is a diagonal matrix with diagonal entries <math>\lambda_1,\ldots,\lambda_n</math>, then we have
:<math>[H,E_{i,j}]=(\lambda_i-\lambda_j)E_{i,j}</math>.
Thus, the roots for <math>\mathrm{sl}(n,\mathbb{C})</math> are the linear functionals <math>\alpha_{i,j}</math> given by
:<math>\alpha_{i,j}(H)=\lambda_i-\lambda_j</math>.
After identifying <math>\mathfrak{h}</math> with its dual, the roots become the vectors <math>\alpha_{i,j}:=e_i-e_j</math> in the space of <math>n</math>-tuples that sum to zero. This is the root system [[Root system#An|known as <math>A_{n-1}</math>]] in the conventional labeling.

The reflection associated to the root <math>\alpha_{i,j}</math> acts on <math>\mathfrak{h}</math> by transposing the <math>i</math> and <math>j</math> diagonal entries. The Weyl group is then just the permutation group on <math>n</math> elements, acting by permuting the diagonal entries of matrices in <math>\mathfrak{h}</math>.<!-- This is the old version of the structure section; it may (or may not) be needed to incorporated into the article
== Structure ==
Let <math>\mathfrak g</math> be a complex [[semisimple Lie algebra]].  Let further <math>\mathfrak h</math> be a [[Semisimple_Lie_algebra#Cartan_subalgebras_and_root_systems|Cartan subalgebra]] of <math>\mathfrak g</math>.  Then <math>\mathfrak h</math> acts on <math>\mathfrak g</math> via simultaneously [[diagonalizable]] linear maps in the [[adjoint representation of a Lie algebra|adjoint representation]].  For {{math|''λ''}} in <math>\mathfrak h^*,</math> define the subspace <math>\mathfrak g_\lambda\subset\mathfrak g</math> by

:<math>\mathfrak{g}_\lambda := \{X\in\mathfrak{g}: [H,X]=\lambda(H)X\text{ for all }H\in\mathfrak{h}\}. </math>

We say that <math>\lambda\in\mathfrak h^*</math> is a '''root''' if <math>\lambda\neq 0</math> and the subspace <math>\mathfrak g_\lambda</math> is nonzero. In this case <math>\mathfrak g_\lambda</math> is called the '''root space''' of {{math|''λ''}}. For each root <math>\lambda</math>, the root space <math>\mathfrak g_\lambda</math> is one-dimensional.<ref>{{harvnb|Hall|2015}} Theorem 7.23</ref> Meanwhile, the definition of Cartan subalgebra guarantees that <math>\mathfrak g_0=\mathfrak h</math>.

Let {{math|''R''}} be the set of all roots. Since the elements of <math>\mathfrak h</math> are simultaneously diagonalizable, we have

:<math>\mathfrak{g}=\mathfrak{h}\oplus\bigoplus_{\lambda\in R}\mathfrak{g}_\lambda.</math>

The [[Cartan subalgebra]] <math>\mathfrak h</math> inherits a nondegenerate bilinear form from the [[Killing form]] on <math>\mathfrak g</math>. This form induces a form on <math>\mathfrak h^*</math> and the restriction of that form to the real span of the roots is an inner product. One can show that with respect to this inner product {{math|''R''}} is a reduced crystallographic root system.<ref>{{harvnb|Hall|2015}} Theorem 7.30</ref>

Let moreover {{math|Δ}} be a choice of [[root system#Positive roots and simple roots|simple roots]]. Now, it is not particularly difficult to find the following set of generators <math>H_\lambda,X_\lambda,Y_\lambda\text{ for }\lambda\in\Delta</math> satisfying the Chevalley–Serre relations<ref>{{harvnb|Humphreys|1973}} Section 18.1</ref>
:<math>\begin{align}[][H_\lambda,H_\mu] &=0 \text{ for all }\lambda,\mu\in\Delta,\\
\left[H_\lambda,X_\mu\right] &= C_{\mu,\lambda}X_\mu,\\
\left[H_\lambda,Y_\mu\right] &= -C_{\mu,\lambda}Y_\mu,\\
\left[X_\mu,Y_\lambda\right] &= \delta_{\mu\lambda}H_\mu,\\
\mathrm{ad}_{X_\lambda}^{1-C_{\mu,\lambda}}(X_\mu) &= 0\text{ for }\lambda\ne\mu,\\
\mathrm{ad}_{Y_\lambda}^{1-C_{\mu,\lambda}}(Y_\mu) &= 0\text{ for }\lambda\ne\mu.\end{align}</math>

Here <math>C_{\lambda,\mu}</math> is the coefficient of the [[Cartan matrix]], given by
:<math>C_{\lambda,\mu}=2\frac{(\lambda,\mu)}{(\mu,\mu)}</math>.
Note that if <math>\lambda</math> and <math>\mu</math> are in <math>\Delta</math> with <math>\lambda\neq\mu</math>, then <math>(\lambda,\mu)\leq 0</math>, so that <math>C_{\lambda,\mu}</math> is a non-positive integer and <math>1-C_{\lambda,\mu}</math> is a positive integer.

.<ref>{{harvnb|Humphreys|1973}} Proposition 18.1</ref> For each simple root <math>\lambda\in\Delta</math>, we can find <math>X_\lambda</math> in the root space <math>\mathfrak g_\lambda</math>, <math>Y_\lambda</math> in the root space <math>\mathfrak g_{-\lambda}</math> and <math>H_\lambda</math> in the Cartan subalgebra satisfying the standard <math>\mathrm{sl}(2;\mathbb C)</math> relations: <math>[H_\lambda,X_\lambda]=2X_\lambda</math>, <math>[H_\lambda,Y_\lambda]=-2Y_\lambda</math>, and <math>[X_\lambda,Y_\lambda]=H_\lambda</math>. These will be our generators.

Now, the element <math>H_\lambda</math> is the ''coroot'' associated to <math>\lambda</math>, which means that after we identify <math>\mathfrak h</math> with its dual, we have <math>H_\lambda=2\lambda/(\lambda,\lambda).</math><ref>{{harvnb|Hall|2015}} Equation (7.9)</ref> Then we have, for example,
:<math>[H_\lambda,X_\mu]=(\mu,H_\lambda)X_\mu=2\frac{(\mu,\lambda)}{(\lambda,\lambda)}X_\mu=C_{\mu,\lambda}X_\mu.</math>
This sort of reasoning verifies the first four relations above.

The last two relations hold because <math>[X_\lambda,X_\mu]</math> belongs to the root space <math>\mathfrak g_{\lambda+\mu}</math>, and more generally, <math>\mathrm{ad}_{X_\lambda}^{k}(X_\mu)</math> belongs to <math>\mathfrak g_{k\lambda+\mu}</math>. But, as we shall see momentarily, if <math>\lambda</math> and <math>
\mu</math> are simple roots, then <math>k\lambda+\mu</math> is not a root if <math>k=1-C_{\mu,\lambda}</math>, so that <math>\mathrm{ad}_{X_\lambda}^{k}(X_\mu)</math> must be zero. To see that <math>k\lambda+\mu</math> is not a root, note that if <math>\lambda</math> and <math>\mu</math> are distinct elements of <math>\Delta</math>, then <math>-\lambda+\mu</math> cannot be a root, for this would violate one of the defining properties of a base—that the expansion of a root in terms of the base cannot have both positive and negative coefficients. But then if <math>s_\lambda</math> is the reflection associated to <math>\lambda</math>, we can easily calculate that 
:<math>s_\lambda\cdot(-\lambda+\mu)=\lambda+\mu-C_{\mu,\lambda}\lambda=k\lambda+\mu</math>.
Then since <math>-\lambda+\mu</math> is not a root, neither is <math>k\lambda+\mu</math>.

Note that the elements <math>\{X_\lambda,Y_\lambda,H_\lambda\},\,\lambda\in\Delta,</math> ''do not'' span <math>\mathfrak g</math> as a vector space, because <math>\lambda</math> does not range over all the positive roots, but only over the base. Nevertheless, these elements generate <math>\mathfrak g</math> as a Lie algebra.<ref>{{harvnb|Humphreys|1973}} Section 18.3</ref>

===Serre's theorem===
{{main|Serre's theorem on a semisimple Lie algebra}}
Serre's theorem asserts the above generators and relations completely determine <math>\mathfrak g</math>. In fact Serre's theorem asserts that starting from an arbitrary root system—not assumed to come from a semisimple Lie algebra—we can use the above relations to ''define'' a Lie algebra, the Lie algebra is finite-dimensional and semisimple, and the root system of that Lie algebra is the root system <math>R</math> we started from.<ref>{{harvnb|Humphreys|1973}} Section 18.3</ref>

A consequence of Serre's theorem is this: 
*Every (reduced, crystallographic) root system comes from a semisimple Lie algebra.-->

== Generalizations ==
{{Main|Reductive Lie algebra|Split Lie algebra}}
Semisimple Lie algebras admit certain generalizations. Firstly, many statements that are true for semisimple Lie algebras are true more generally for [[reductive Lie algebra]]s. Abstractly, a reductive Lie algebra is one whose adjoint representation is [[completely reducible]], while concretely, a reductive Lie algebra is a direct sum of a semisimple Lie algebra and an [[abelian Lie algebra]]; for example, <math>\mathfrak{sl}_n</math> is semisimple, and <math>\mathfrak{gl}_n</math> is reductive. Many properties of semisimple Lie algebras depend only on reducibility.

Many properties of complex semisimple/reductive Lie algebras are true not only for semisimple/reductive Lie algebras over algebraically closed fields, but more generally for [[split Lie algebra|split semisimple/reductive Lie algebras]] over other fields: semisimple/reductive Lie algebras over algebraically closed fields are always split, but over other fields this is not always the case. Split Lie algebras have essentially the same representation theory as semisimple Lie algebras over algebraically closed fields, for instance, the [[splitting Cartan subalgebra]] playing the same role as the [[Cartan subalgebra]] plays over algebraically closed fields. This is the approach followed in {{Harv|Bourbaki|2005}}, for instance, which classifies representations of split semisimple/reductive Lie algebras.

==Semisimple and reductive groups==
{{Main|Semisimple Lie group|Reductive group}}
A connected Lie group is called [[Semisimple Lie group|semisimple]] if its Lie algebra is a semisimple Lie algebra, i.e. a direct sum of simple Lie algebras. It is called [[Reductive group|reductive]] if its Lie algebra is a direct sum of simple and trivial (one-dimensional) Lie algebras. Reductive groups occur naturally as symmetries of a number of mathematical objects in algebra, geometry, and physics. For example, the group <math>GL_n(\mathbb{R})</math> of symmetries of an ''n''-dimensional real [[vector space]] (equivalently, the group of invertible matrices) is reductive.

==See also==
*[[Lie algebra]]
*[[Root system]]
*[[Lie algebra representation]]
*[[Compact group]]
*[[Simple Lie group]]
*[[Borel subalgebra]]
*[[Jacobson–Morozov theorem]]

==References==
{{Reflist}}
{{refbegin}}
* {{Citation | title=Elements of Mathematics: Lie Groups and Lie Algebras: Chapters 7–9 | author-link=Nicolas Bourbaki | first=Nicolas | last=Bourbaki | chapter = VIII: Split Semi-simple Lie Algebras | year = 2005 | publisher=Springer | isbn=9783540434054 | chapter-url = https://books.google.com/books?id=Yh1RHnYCDNsC&pg=PA69 }}
* {{citation|author-link1=Karin Erdmann|last1=Erdmann|first1=Karin|last2=Wildon|first2=Mark|title=Introduction to Lie Algebras|edition=1st|publisher=Springer|year=2006|isbn=1-84628-040-0}}.
*{{Citation| last=Hall|first=Brian C.|title=Lie Groups, Lie Algebras, and Representations: An Elementary Introduction|edition=2nd|series=Graduate Texts in Mathematics|volume=222|publisher=Springer|year=2015|isbn=978-3319134666}}
* {{Citation | last1=Humphreys | first1=James E. | title=Introduction to Lie Algebras and Representation Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90053-7 | year=1972 | url-access=registration | url=https://archive.org/details/introductiontoli00jame }}.
* {{cite book |last=Jacobson |first=Nathan |author-link=Nathan Jacobson |title=Lie algebras |orig-date=1962 |publisher=Dover Publications, Inc |location=New York |date=1979 |isbn=0-486-63832-4}}
*{{Citation| last=Knapp|first=Anthony W.|title=Lie groups beyond an introduction|edition=2nd|publisher=Birkhäuser|year=2002}}
*{{Citation |url=https://books.google.com/books?id=7AHsSUrooSsC&pg=PA3|title=Algèbres de Lie semi-simples complexes|last=Serre|first=Jean-Pierre|date=2000|publisher=Springer|trans-title=Complex Semisimple Lie Algebras|isbn=978-3-540-67827-4|language=en|translator-last=Jones|translator-first=G. A.}}.
* {{citation|last=Varadarajan|first=V. S.|title=Lie Groups, Lie Algebras, and Their Representations|edition=1st|publisher=Springer|year=2004|isbn=0-387-90969-9}}.
{{refend}}

{{Authority control}}

{{DEFAULTSORT:Semisimple Lie Algebra}}
[[Category:Properties of Lie algebras]]