|
|
| Line 1: |
Line 1: |
| {{Lie groups}}
| | The writer is recognized by the title of Figures Lint. One of the things he loves most is ice skating but he is having difficulties to discover time for it. North Dakota is her beginning place but she will have to move 1 day or another. He utilized to be unemployed but now he is a meter reader.<br><br>my web-site - [http://MiniURL.Fouiner.info/dietmeals23439 weight loss food delivery] |
| | |
| In [[mathematics]], a [[Lie algebra]] is '''semisimple''' if it is a [[direct sum of modules|direct sum]] of [[simple Lie algebra]]s, i.e., non-abelian Lie algebras <math>\mathfrak g</math> whose only [[Lie_algebra#Homomorphisms.2C_subalgebras.2C_and_ideals|ideals]] are {0} and <math>\mathfrak g</math> itself.
| |
| | |
| Throughout the article, unless otherwise stated, <math>\mathfrak g</math> is a finite-dimensional Lie algebra over a field of characteristic 0. The following conditions are equivalent:
| |
| *<math>\mathfrak g</math> is semisimple
| |
| *the [[Killing form]], κ(x,y) = tr(ad(''x'')ad(''y'')), is [[non-degenerate]],
| |
| *<math>\mathfrak g</math> has no non-zero abelian ideals,
| |
| *<math>\mathfrak g</math> has no non-zero solvable ideals,
| |
| * The [[Radical of a Lie algebra|radical]] (maximal solvable ideal) of <math>\mathfrak g</math> is zero.
| |
| | |
| == Examples ==
| |
| Examples of semisimple Lie algebras, with notation coming from classification by [[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]].
| |
| These Lie algebras are numbered so that ''n'' is the [[rank (Lie algebra)|rank]]. Except certain exceptions in low dimensions, many of these are simple Lie algebras, which are ''[[A fortiori argument|a fortiori]]'' semisimple. These four families, together with five exceptions (E<sub>6</sub>, E<sub>7</sub>, E<sub>8</sub>, F<sub>4</sub>, and 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 is a [[direct sum]] of simple Lie algebras (by definition), and the 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
| |
| E<sub>6</sub>, E<sub>7</sub>, E<sub>8</sub>, F<sub>4</sub>, and 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]] (maximal abelian Lie algebra; corresponds to a [[maximal torus]] in a Lie group) and the [[adjoint representation of a Lie algebra|adjoint action]] of the Lie algebra on this subalgebra. 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.
| |
| | |
| 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").
| |
| | |
| == History ==
| |
| 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}}.
| |
| | |
| == Properties ==
| |
| === Complete reducibility ===
| |
| A consequence of semisimplicity is a [[Weyl's completely reducibility theorem|theorem due to Weyl]]: every finite-dimensional [[representation of a Lie algebra|representation]] is [[completely reducible]]; that is for every invariant subspace of the representation there is an invariant complement. Infinite-dimensional representations of semisimple Lie algebras are not in general completely reducible.
| |
| | |
| === Centerless ===
| |
| Since the center of a Lie algebra <math>\mathfrak g</math> is an abelian ideal, if <math>\mathfrak g</math> is semisimple, then its center is zero. (Note: since <math>\mathfrak{gl}_n</math> has non-trivial center, it is not semisimple.) In other words, the [[adjoint representation of a Lie algebra|adjoint representation]] <math>\operatorname{ad}</math> is injective. Moreover, it can be shown that the dimension of the Lie algebra <math>\operatorname{Der}(\mathfrak g)</math> of [[derivation (abstract algebra)|derivations]] on <math>\mathfrak{g}</math> is equal to the dimension of <math> \mathfrak g</math>. Hence, <math>\mathfrak{g}</math> is Lie algebra isomorphic to <math>\operatorname{Der}(\mathfrak g)</math>. (This is a special case of [[Whitehead's lemma (Lie algebras)|Whitehead's lemma]].) Every ideal, quotient and product of semisimple Lie algebras is again semisimple.
| |
| | |
| === Linear ===
| |
| The adjoint representation is injective, and so a semisimple Lie algebra is also 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.
| |
| | |
| ===Jordan decomposition===
| |
| Any endomorphism ''x'' of a finite-dimensional vector space over an algebraically closed field can be decomposed uniquely into a diagonalizable (or semisimple) and 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 a consequence of the [[Jordan–Chevalley decomposition|Jordan decomposition]].
| |
| | |
| If <math>x\in\mathfrak g</math>, then the image of ''x'' under the adjoint map decomposes as
| |
| :<math>\operatorname{ad}(x) = \operatorname{ad}(s) + \operatorname{ad}(n).</math>
| |
| The elements ''s'' and ''n'' are ''unique'' elements of <math>\mathfrak g</math> such that ''n'' is nilpotent, ''s'' is semisimple, ''n'' and ''s'' commute, and for which such a decomposition holds. This 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 ring of the representation space.
| |
| | |
| === Rank ===
| |
| The '''rank''' of a complex semisimple Lie algebra is the dimension of any of its [[Cartan subalgebra]]s.
| |
| | |
| == 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 algebras. Semisimple Lie algebras over an algebraically closed field 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 [[Classification of finite-dimensional representations of semisimple Lie algebras|representation theory of semisimple Lie algebras]] is much cleaner than that for general Lie algebras. For example, the 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.
| |
| | |
| == 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 semsimple 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.
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| {{refbegin}}
| |
| * {{Citation | title=Elements of Mathematics: Lie Groups and Lie Algebras: Chapters 7–9 | authorlink=Nicolas Bourbaki | first=Nicolas | last=Bourbaki | chapter = VIII: Split Semi-simple Lie Algebras | year = 2005 | chapterurl = http://books.google.com/books?id=Yh1RHnYCDNsC&pg=PA69 }}
| |
| * {{citation|authorlink1=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 | 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}}.
| |
| * {{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}}
| |
| | |
| {{DEFAULTSORT:Semisimple Lie Algebra}}
| |
| [[Category:Properties of Lie algebras]]
| |