Semi-simple Lie Group
In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form, κ(x,y) = tr(ad(''x'')ad(''y'')), is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable ideals; * the 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 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 a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Wilhelm Killing
Wilhelm Karl Joseph Killing (10 May 1847 – 11 February 1923) was a German mathematician who made important contributions to the theories of Lie algebras, Lie groups, and non-Euclidean geometry. Life Killing studied at the University of Münster and later wrote his dissertation under Karl Weierstrass and Ernst Kummer at Berlin in 1872. He taught in gymnasia (secondary schools) from 1868 to 1872. He became a professor at the seminary college Collegium Hosianum in Braunsberg (now Braniewo). He took holy orders in order to take his teaching position. He became rector of the college and chair of the town council. As a professor and administrator Killing was widely liked and respected. Finally, in 1892 he became professor at the University of Münster. In 1886, Killing and his spouse entered the Third Order of Franciscans. Work In 1878 Killing wrote on space forms in terms of non-Euclidean geometry in Crelle's Journal, which he further developed in 1880 as well as in 1885. Re ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cartan Subalgebra
In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra \mathfrak of a Lie algebra \mathfrak that is self-normalising (if ,Y\in \mathfrak for all X \in \mathfrak, then Y \in \mathfrak). They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra \mathfrak over a field of characteristic 0 . In a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero (e.g., a Cartan subalgebra is the same thing as a maximal abelian subalgebra consisting of elements ''x'' such that the adjoint endomorphism \operatorname(x) : \mathfrak \to \mathfrak is semisimple (i.e., diagonalizable). Sometimes this characterization is simply taken as the definition of a Cartan subalgebra.pg 231 In general, a subalgebra is called toral if it consists of semisimple elements. Over an algebraically closed field, a toral subalgebra is automatically abelian. Thus, over ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Adjoint Action
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 GL(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 (conjugation) :\Psi_g(h)= ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Preservation Of Jordan Decomposition
Preservation may refer to: Heritage and conservation * Preservation (library and archival science), activities aimed at prolonging the life of a record while making as few changes as possible * ''Preservation'' (magazine), published by the National Trust for Historic Preservation * Historic preservation, endeavor to preserve, conserve and protect buildings, objects, landscapes or other artifacts * Conservation and restoration of cultural heritage, protection and care of tangible cultural heritage Mathematics and computer science * Type preservation, property of a type system if evaluation of expressions does not cause their type to change * Case preservation, when computer storage preserves the distinction between upper and lower case * Digital preservation, endeavor to ensure that digital information of continuing value remains accessible and usable Arts and entertainment * ''Preservation'' (2018 novel), historical fiction by Jock Serong about the wreck of the ''Syd ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Weyl's Complete Reducibility Theorem
In algebra, Weyl's theorem on complete reducibility is a fundamental result in the theory of Lie algebra representations (specifically in the representation theory of semisimple Lie algebras). Let \mathfrak be a semisimple Lie algebra over a field of characteristic zero. The theorem states that every finite-dimensional module over \mathfrak is semisimple as a module (i.e., a direct sum of simple modules.) The enveloping algebra is semisimple Weyl's theorem implies (in fact is equivalent to) that the enveloping algebra of a finite-dimensional representation is a semisimple ring in the following way. Given a finite-dimensional Lie algebra representation \pi: \mathfrak \to \mathfrak(V), let A \subset \operatorname(V) be the associative subalgebra of the endomorphism algebra of ''V'' generated by \pi(\mathfrak g). The ring ''A'' is called the enveloping algebra of \pi. If \pi is semisimple, then ''A'' is semisimple. (Proof: Since ''A'' is a finite-dimensional algebra, it is an Artini ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Nilpotent Endomorphism
In linear algebra, a nilpotent matrix is a square matrix ''N'' such that :N^k = 0\, for some positive integer k. The smallest such k is called the index of N, sometimes the degree of N. More generally, a nilpotent transformation is a linear transformation L of a vector space such that L^k = 0 for some positive integer k (and thus, L^j = 0 for all j \geq k). Both of these concepts are special cases of a more general concept of nilpotence that applies to elements of rings. Examples Example 1 The matrix : A = \begin 0 & 1 \\ 0 & 0 \end is nilpotent with index 2, since A^2 = 0. Example 2 More generally, any n-dimensional triangular matrix with zeros along the main diagonal is nilpotent, with index \le n . For example, the matrix : B=\begin 0 & 2 & 1 & 6\\ 0 & 0 & 1 & 2\\ 0 & 0 & 0 & 3\\ 0 & 0 & 0 & 0 \end is nilpotent, with : B^2=\begin 0 & 0 & 2 & 7\\ 0 & 0 & 0 & 3\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 \end ;\ B^3=\begin 0 & 0 & 0 & 6\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Semisimple Operator
In mathematics, a linear operator ''T'' on a vector space is semisimple if every ''T''-invariant subspace has a complementary ''T''-invariant subspace;Lam (2001), p. 39/ref> in other words, the vector space is a semisimple representation of the operator ''T''. Equivalently, a linear operator is semisimple if the minimal polynomial of it is a product of distinct irreducible polynomials. A linear operator on a finite dimensional vector space over an algebraically closed field is semisimple if and only if it is diagonalizable.This is trivial by the definition in terms of a minimal polynomial but can be seen more directly as follows. Such an operator always has an eigenvector; if it is, in addition, semi-simple, then it has a complementary invariant hyperplane, which itself has an eigenvector, and thus by induction is diagonalizable. Conversely, diagonalizable operators are easily seen to be semi-simple, as invariant subspaces are direct sums of eigenspaces, and any basis for this spa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Endomorphism
In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a group is a group homomorphism . In general, we can talk about endomorphisms in any category. In the category of sets, endomorphisms are functions from a set ''S'' to itself. In any category, the composition of any two endomorphisms of is again an endomorphism of . It follows that the set of all endomorphisms of forms a monoid, the full transformation monoid, and denoted (or to emphasize the category ). Automorphisms An invertible endomorphism of is called an automorphism. The set of all automorphisms is a subset of with a group structure, called the automorphism group of and denoted . In the following diagram, the arrows denote implication: Endomorphism rings Any two endomorphisms of an abelian group, , can be added toge ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ado's Theorem
In abstract algebra, Ado's theorem is a theorem characterizing finite-dimensional Lie algebras. Statement Ado's theorem states that every finite-dimensional Lie algebra ''L'' over a field ''K'' of characteristic zero can be viewed as a Lie algebra of square matrices under the commutator bracket. More precisely, the theorem states that ''L'' has a linear representation ρ over ''K'', on a finite-dimensional vector space ''V'', that is a faithful representation, making ''L'' isomorphic to a subalgebra of the endomorphisms of ''V''. History The theorem was proved in 1935 by Igor Dmitrievich Ado of Kazan State University, a student of Nikolai Chebotaryov. The restriction on the characteristic was later removed by Kenkichi Iwasawa (see also the below Gerhard Hochschild paper for a proof). Implications While for the Lie algebras associated to classical groups there is nothing new in this, the general case is a deeper result. Applied to the real Lie algebra of a Lie group ''G'', it doe ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Linear Lie Algebra
In algebra, a linear Lie algebra is a subalgebra \mathfrak of the Lie algebra \mathfrak(V) consisting of endomorphisms of a vector space ''V''. In other words, a linear Lie algebra is the image of a Lie algebra representation. Any Lie algebra is a linear Lie algebra in the sense that there is always a faithful representation of \mathfrak (in fact, on a finite-dimensional vector space by Ado's theorem if \mathfrak is itself finite-dimensional.) Let ''V'' be a finite-dimensional vector space over a field of characteristic zero and \mathfrak a subalgebra of \mathfrak(V). Then ''V'' is semisimple as a module over \mathfrak if and only if (i) it is a direct sum of the center and a semisimple ideal and (ii) the elements of the center are diagonalizable In linear algebra, a square matrix A is called diagonalizable or non-defective if it is similar to a diagonal matrix, i.e., if there exists an invertible matrix P and a diagonal matrix D such that or equivalently (Such D are not u ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Whitehead's Lemma (Lie Algebras)
In homological algebra, Whitehead's lemmas (named after J. H. C. Whitehead) represent a series of statements regarding representation theory of finite-dimensional, semisimple Lie algebras in characteristic zero. Historically, they are regarded as leading to the discovery of Lie algebra cohomology. One usually makes the distinction between Whitehead's first and second lemma for the corresponding statements about first and second order cohomology, respectively, but there are similar statements pertaining to Lie algebra cohomology in arbitrary orders which are also attributed to Whitehead. The first Whitehead lemma is an important step toward the proof of Weyl's theorem on complete reducibility. Statements Without mentioning cohomology groups, one can state Whitehead's first lemma as follows: Let \mathfrak be a finite-dimensional, semisimple Lie algebra over a field of characteristic zero, ''V'' a finite-dimensional module over it, and f\colon \mathfrak \to V a linear map such that ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |