HOME





Lie's Theorem
In mathematics, specifically the theory of Lie algebras, Lie's theorem states that, over an algebraically closed field of characteristic zero, if \pi: \mathfrak \to \mathfrak(V) is a finite-dimensional representation of a solvable Lie algebra, then there is a flag V = V_0 \supset V_1 \supset \cdots \supset V_n = 0 of invariant subspaces of \pi(\mathfrak) with \operatorname V_i = i, meaning that \pi(X)(V_i) \subseteq V_i for each X \in \mathfrak and ''i''. Put in another way, the theorem says there is a basis for ''V'' such that all linear transformations in \pi(\mathfrak) are represented by upper triangular matrices. This is a generalization of the result of Frobenius that commuting matrices are simultaneously upper triangularizable, as commuting matrices generate an abelian Lie algebra, which is a fortiori solvable. A consequence of Lie's theorem is that any finite dimensional solvable Lie algebra over a field of characteristic 0 has a nilpotent derived algebra (see #Consequ ...
[...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]  


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]  


Lie–Kolchin Theorem
In mathematics, the Lie–Kolchin theorem is a theorem in the representation theory of linear algebraic groups; Lie's theorem is the analog for linear Lie algebras. It states that if ''G'' is a connected and solvable linear algebraic group defined over an algebraically closed field and :\rho\colon G \to GL(V) a representation on a nonzero finite-dimensional vector space ''V'', then there is a 1-dimensional linear subspace ''L'' of ''V'' such that : \rho(G)(L) = L. That is, ρ(''G'') has an invariant line ''L'', on which ''G'' therefore acts through a 1-dimensional representation. This is equivalent to the statement that ''V'' contains a nonzero vector ''v'' that is a common (simultaneous) eigenvector for all \rho(g), \,\, g \in G. It follows directly that every irreducible finite-dimensional representation of a connected and solvable linear algebraic group ''G'' has dimension 1. In fact, this is another way to state the Lie–Kolchin theorem. The result for Lie algebras ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Tensor Product Of Representations
In mathematics, the tensor product of representations is a tensor product of vector spaces underlying representations together with the factor-wise group action on the product. This construction, together with the Clebsch–Gordan procedure, can be used to generate additional irreducible representations if one already knows a few. Definition Group representations If V_1, V_2 are linear representations of a group G, then their tensor product is the tensor product of vector spaces V_1 \otimes V_2 with the linear action of G uniquely determined by the condition that :g \cdot (v_1 \otimes v_2) = (g\cdot v_1) \otimes (g\cdot v_2) for all v_1\in V_1 and v_2\in V_2. Although not every element of V_1 \otimes V_2 is expressible in the form v_1\otimes v_2, the universal property of the tensor product guarantees that this action is well-defined. In the language of homomorphisms, if the actions of G on V_1 and V_2 are given by homomorphisms \Pi_1: G\to\operatorname(V_1) and \Pi_2: G\to\op ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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]  


Cartan's Criterion For Solvability
In mathematics, Cartan's criterion gives conditions for a Lie algebra in characteristic 0 to be solvable, which implies a related criterion for the Lie algebra to be semisimple. It is based on the notion of the Killing form, a symmetric bilinear form on \mathfrak defined by the formula : \kappa(u,v)=\operatorname(\operatorname(u)\operatorname(v)), where tr denotes the trace of a linear operator. The criterion was introduced by .Cartan, Chapitre IV, Théorème 1 Cartan's criterion for solvability Cartan's criterion for solvability states: :''A Lie subalgebra \mathfrak of endomorphisms of a finite-dimensional vector space over a field of characteristic zero is solvable if and only if \operatorname(ab)=0 whenever a\in\mathfrak,b\in mathfrak,\mathfrak'' The fact that \operatorname(ab)=0 in the solvable case follows from Lie's theorem that puts \mathfrak g in the upper triangular form over the algebraic closure of the ground field (the trace can be computed after extending the gr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Nilpotent Lie Algebra
In mathematics, a Lie algebra \mathfrak is nilpotent if its lower central series terminates in the zero subalgebra. The ''lower central series'' is the sequence of subalgebras : \mathfrak \geq mathfrak,\mathfrak\geq mathfrak,[\mathfrak,\mathfrak \geq [\mathfrak, mathfrak,[\mathfrak,\mathfrak] \geq ... We write \mathfrak_0 = \mathfrak, and \mathfrak_n = [\mathfrak,\mathfrak_] for all n > 0. If the lower central series eventually arrives at the zero subalgebra, then the Lie algebra is called nilpotent. The lower central series for Lie algebras is analogous to the lower central series in group theory, and nilpotent Lie algebras are analogs of nilpotent groups. The nilpotent Lie algebras are precisely those that can be obtained from abelian Lie algebras, by successive central extensions. Note that the definition means that, viewed as a non-associative non-unital algebra, a Lie algebra \mathfrak is nilpotent if it is nilpotent as an ideal. Definition Let \mathfrak be a Lie alge ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Adjoint Representation Of A Lie Algebra
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 transformations of the group's Lie algebra, considered as a vector space. For example, if ''G'' is \mathrm(n, \mathbb), the Lie group of real ''n''-by-''n'' invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible ''n''-by-''n'' matrix g to an endomorphism of the vector space of all linear transformations of \mathbb^n defined by: x \mapsto g x g^ . For any Lie group, this natural representation is obtained by linearizing (i.e. taking the differential of) the action of ''G'' on itself by conjugation. The adjoint representation can be defined for linear algebraic groups over arbitrary fields. Definition Let ''G'' be a Lie group, and let :\Psi: G \to \operatorname(G) be the mapping , with Aut(''G'') the automorphism group of ''G'' and given by the inner automorphism (conjugatio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Engel's Theorem
In representation theory, a branch of mathematics, Engel's theorem states that a finite-dimensional Lie algebra \mathfrak g is a nilpotent Lie algebra if and only if for each X \in \mathfrak g, the adjoint map :\operatorname(X)\colon \mathfrak \to \mathfrak, given by \operatorname(X)(Y) = , Y/math>, is a nilpotent endomorphism on \mathfrak; i.e., \operatorname(X)^k = 0 for some ''k''. It is a consequence of the theorem, also called Engel's theorem, which says that if a Lie algebra of matrices consists of nilpotent matrices, then the matrices can all be simultaneously brought to a strictly upper triangular form. Note that if we merely have a Lie algebra of matrices which is nilpotent ''as a Lie algebra'', then this conclusion does ''not'' follow (i.e. the naïve replacement in Lie's theorem of "solvable" with "nilpotent", and "upper triangular" with "strictly upper triangular", is false; this already fails for the one-dimensional Lie subalgebra of scalar matrices). The theorem i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Consequences
Consequence may refer to: Philosophy, science and social sciences * Logical consequence, also known as a ''consequence relation'', or ''entailment'' * Consequent, in logic, the second half of a hypothetical proposition or consequences * Consequentialism, a theory in philosophy in which the morality of an act is determined by its effects * Unintended consequences * Consequence, in operant conditioning, a result of some behavior Film and television Films * '' Anjaam'' (English: ''Consequence''), a 1994 Hindi film * ''Consequence'', a 2003 film directed by Anthony Hickox * '' The Consequence'' (''Die Konsequenz''), a 1977 West German film * ''Consequences'' (1918 film), a British silent comedy film * ''Consequences'' (2018 film), a Slovenian drama film Television episodes * "Consequences" (''8 Simple Rules''), 2004 * "Consequences" (''Buffy the Vampire Slayer''), 1999 * "Consequences" (''CSI: NY''), 2006 * "Consequences" (''Most Beautiful Thing''), 2019 (the series is also kn ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Representation Of A Lie Algebra
Representation may refer to: Law and politics *Representation (politics), political activities undertaken by elected representatives, as well as other theories ** Representative democracy, type of democracy in which elected officials represent a group of people * Representation in contract law, a pre-contractual statement that may (if untrue) result in liability for misrepresentation * Labor representation, or worker representation, the work of a union representative who represents and defends the interests of fellow labor union members * Legal representation, provided by a barrister, lawyer, or other advocate * Lobbying or interest representation, attempts to influence the actions, policies, or decisions of officials * " No taxation without representation", a 1700s slogan that summarized one of the American colonists' 27 colonial grievances in the Thirteen Colonies, which was one of the major causes of the American Revolution * Permanent representation, a type of diplomatic missio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Derived Algebra Of A 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 mathfrak,\mathfrak ... is a fortiori solvable but the converse is not true. The solvable Lie algebras and the semisimple Lie al ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]