Radical Of A Lie Algebra
In the mathematical field of Lie theory, the radical of a Lie algebra \mathfrak is the largest solvable ideal of \mathfrak.. The radical, denoted by (\mathfrak), fits into the exact sequence :0 \to (\mathfrak) \to \mathfrak g \to \mathfrak/(\mathfrak) \to 0. where \mathfrak/(\mathfrak) is semisimple. When the ground field has characteristic zero and \mathfrak g has finite dimension, Levi's theorem states that this exact sequence splits; i.e., there exists a (necessarily semisimple) subalgebra of \mathfrak g that is isomorphic to the semisimple quotient \mathfrak/(\mathfrak) via the restriction of the quotient map \mathfrak g \to \mathfrak/(\mathfrak). A similar notion is a Borel subalgebra, which is a (not necessarily unique) maximal solvable subalgebra. Definition Let k be a field and let \mathfrak be a finite-dimensional Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alte ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematical
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lie Theory
In mathematics, the mathematician 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 instance, the latter subject is Lie sphere geometry. This article addresses his approach to transformation groups, which is one of the areas of mathematics, and was worked out by Wilhelm Killing and Élie Cartan. The foundation of Lie theory is the exponential map (Lie theory), exponential map relating Lie algebras to Lie groups which is called the Lie group–Lie algebra correspondence. The subject is part of differential geometry since Lie groups are differentiable manifolds. Lie groups evolve out of the identity (1) and the tangent vectors to one-parameter group, one-parameter subgroups generate the Lie algebra. The structure of a Lie group is implicit in its algebra, and the structure of the Lie algebra is expressed by root systems and Root datu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation (called the Lie bracket) is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, ,y= xy - yx . Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: every Lie group gives rise to a Lie algebra, which is the tangent space at the identity. (In this case, the Lie bracket measures the failure of commutativity for the Lie group.) Conversely, to any finite-di ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Solvable Lie Algebra
In mathematics, a Lie algebra \mathfrak is solvable if its derived series terminates in the zero subalgebra. The ''derived Lie algebra'' of the Lie algebra \mathfrak is the subalgebra of \mathfrak, denoted : mathfrak,\mathfrak/math> that consists of all linear combinations of Lie brackets of pairs of elements of \mathfrak. The ''derived series'' is the sequence of subalgebras : \mathfrak \geq mathfrak,\mathfrak\geq \mathfrak,\mathfrak mathfrak,\mathfrak \geq [ \mathfrak,\mathfrak mathfrak,\mathfrak, \mathfrak,\mathfrak mathfrak,\mathfrak] \geq ... If the derived series eventually arrives at the zero subalgebra, then the Lie algebra is called solvable. The derived series for Lie algebras is analogous to the derived series for commutator subgroups in group theory, and solvable Lie algebras are analogs of solvable groups. Any nilpotent Lie algebra is a fortiori solvable but the converse is not true. The solvable Lie algebras and the semisimple Lie algebras form two large an ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ideal (Lie Algebra)
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation (called the Lie bracket) is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, ,y= xy - yx . Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: every Lie group gives rise to a Lie algebra, which is the tangent space at the identity. (In this case, the Lie bracket measures the failure of commutativity for the Lie group.) Conversely, to any finite-dimensional ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Semisimple Lie Algebra
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 \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form \kappa(x, y) = \operatorname(\operatorname(x)\operatorname(y)) is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable Lie algebra, solvable ideals; * the Radical of a Lie algebra, radical (maximal solvable ideal) of \mathfrak g is zero. Significance The significance of semisimplicity comes firstly from the Levi decomposition, which states that every finite dimensional Lie al ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Levi's Theorem
In Lie theory and representation theory, the Levi decomposition, conjectured by Wilhelm Killing and Élie Cartan and proved by , states that any finite-dimensional Lie algebra ''g'' over a field of characteristic zero is the semidirect product of a solvable ideal and a semisimple subalgebra. One is its radical, a maximal solvable ideal, and the other is a semisimple subalgebra, called a Levi subalgebra. The Levi decomposition implies that any finite-dimensional Lie algebra is a semidirect product of a solvable Lie algebra and a semisimple Lie algebra. When viewed as a factor-algebra of ''g'', this semisimple Lie algebra is also called the Levi factor of ''g''. To a certain extent, the decomposition can be used to reduce problems about finite-dimensional Lie algebras and Lie groups to separate problems about Lie algebras in these two special classes, solvable and semisimple. Moreover, Malcev (1942) showed that any two Levi subalgebras are conjugate by an (inner) automorphism ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Borel Subalgebra
In mathematics, specifically in representation theory, a Borel subalgebra of a Lie algebra \mathfrak is a maximal solvable subalgebra. The notion is named after Armand Borel. If the Lie algebra \mathfrak is the Lie algebra of a complex Lie group, then a Borel subalgebra is the Lie algebra of a Borel subgroup. Borel subalgebra associated to a flag Let \mathfrak g = \mathfrak(V) be the Lie algebra of the endomorphisms of a finite-dimensional vector space ''V'' over the complex numbers. Then to specify a Borel subalgebra of \mathfrak g amounts to specify a flag of ''V''; given a flag V = V_0 \supset V_1 \supset \cdots \supset V_n = 0, the subspace \mathfrak b = \ is a Borel subalgebra, and conversely, each Borel subalgebra is of that form by Lie's theorem. Hence, the Borel subalgebras are classified by the flag variety of ''V''. Borel subalgebra relative to a base of a root system Let \mathfrak g be a complex semisimple Lie algebra, \mathfrak h a Cartan subalgebra and ''R'' the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Group Extension
In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group. If Q and N are two groups, then G is an extension of Q by N if there is a short exact sequence :1\to N\;\overset\;G\;\overset\;Q \to 1. If G is an extension of Q by N, then G is a group, \iota(N) is a normal subgroup of G and the quotient group G/\iota(N) is isomorphic to the group Q. Group extensions arise in the context of the extension problem, where the groups Q and N are known and the properties of G are to be determined. Note that the phrasing "G is an extension of N by Q" is also used by some. Since any finite group G possesses a maximal normal subgroup N with simple factor group G/\iota(N), all finite groups may be constructed as a series of extensions with finite simple groups. This fact was a motivation for completing the classification of finite simple groups. An extension is called a central extension if the subgroup N lies in th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Semisimple Lie Algebra
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 \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form \kappa(x, y) = \operatorname(\operatorname(x)\operatorname(y)) is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable Lie algebra, solvable ideals; * the Radical of a Lie algebra, radical (maximal solvable ideal) of \mathfrak g is zero. Significance The significance of semisimplicity comes firstly from the Levi decomposition, which states that every finite dimensional Lie al ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reductive Lie Algebra
In mathematics, a Lie algebra is reductive if its adjoint representation is completely reducible, hence the name. More concretely, a Lie algebra is reductive if it is a direct sum of a semisimple Lie algebra and an abelian Lie algebra: \mathfrak = \mathfrak \oplus \mathfrak; there are alternative characterizations, given below. Examples The most basic example is the Lie algebra \mathfrak_n of n \times n matrices with the commutator as Lie bracket, or more abstractly as the endomorphism algebra of an ''n''-dimensional vector space, \mathfrak(V). This is the Lie algebra of the general linear group GL(''n''), and is reductive as it decomposes as \mathfrak_n = \mathfrak_n \oplus \mathfrak, corresponding to traceless matrices and scalar matrices. Any semisimple Lie algebra or abelian Lie algebra is ''a fortiori'' reductive. Over the real numbers, compact Lie algebras are reductive. Definitions A Lie algebra \mathfrak over a field of characteristic 0 is called reductive if any of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Levi Decomposition
In Lie theory and representation theory, the Levi decomposition, conjectured by Wilhelm Killing and Élie Cartan and proved by , states that any finite-dimensional Lie algebra ''g'' over a field of characteristic zero is the semidirect product of a solvable ideal and a semisimple subalgebra. One is its radical, a maximal solvable ideal, and the other is a semisimple subalgebra, called a Levi subalgebra. The Levi decomposition implies that any finite-dimensional Lie algebra is a semidirect product of a solvable Lie algebra and a semisimple Lie algebra. When viewed as a factor-algebra of ''g'', this semisimple Lie algebra is also called the Levi factor of ''g''. To a certain extent, the decomposition can be used to reduce problems about finite-dimensional Lie algebras and Lie groups to separate problems about Lie algebras in these two special classes, solvable and semisimple. Moreover, Malcev (1942) showed that any two Levi subalgebras are conjugate by an (inner) automorphism ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |