|
Real Simple Lie Algebra
In algebra, a simple Lie algebra is a Lie algebra that is non-abelian and contains no nonzero proper ideals. The classification of real simple Lie algebras is one of the major achievements of Wilhelm Killing and Élie Cartan. A direct sum of simple Lie algebras is called a semisimple Lie algebra. A simple Lie group is a connected Lie group whose Lie algebra is simple. Complex simple Lie algebras A finite-dimensional simple complex Lie algebra is isomorphic to either of the following: \mathfrak_n \mathbb, \mathfrak_n \mathbb, \mathfrak_ \mathbb (classical Lie algebras) or one of the five exceptional Lie algebras. To each finite-dimensional complex semisimple Lie algebra \mathfrak, there exists a corresponding diagram (called the Dynkin diagram) where the nodes denote the simple roots, the nodes are jointed (or not jointed) by a number of lines depending on the angles between the simple roots and the arrows are put to indicate whether the roots are longer or shorter. The Dynk ... [...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 Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted [x,y]. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative property, associative. Lie algebras are closely related to Lie groups, which are group (mathematics), groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected space, connected Lie group unique up to finite coverings (Lie's third theorem). This Lie group–Lie algebra correspondence, correspondence allows one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exceptional Lie Algebra
In mathematics, an exceptional Lie algebra is a complex simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five of them: \mathfrak_2, \mathfrak_4, \mathfrak_6, \mathfrak_7, \mathfrak_8; their respective dimensions are 14, 52, 78, 133, 248. The corresponding diagrams are: * G2 : * F4 : * E6 : * E7 : * E8 : In contrast, simple Lie algebras that are not exceptional are called classical Lie algebra The classical Lie algebras are finite-dimensional Lie algebras over a field which can be classified into four types A_n , B_n , C_n and D_n , where for \mathfrak(n) the general linear Lie algebra and I_n the n \times n identity matrix: ...s (there are infinitely many of them). Construction There is no simple universally accepted way to construct exceptional Lie algebras; in fact, they were discovered only in the process of the classification program. Here are some constructions: *§ 22.1-2 of give a detailed construction of \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simple Lie Group
In mathematics, a simple Lie group is a connected non-abelian Lie group ''G'' which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, \mathbb, and that of the unit-magnitude complex numbers, U(1) (the unit circle), simple Lie groups give the atomic "blocks" that make up all (finite-dimensional) connected Lie groups via the operation of group extension. Many commonly encountered Lie groups are either simple or 'close' to being simple: for example, the so-called "special linear group" SL(''n'') of ''n'' by ''n'' matrices with determinant equal to 1 is simple for all ''n'' > 1. The first classification of simple Lie groups was by Wilhelm Killing, and this work was later perfected by Élie Cartan. The final classification is often referred to as Killing-Cartan classification. Definition Unfortun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Table Of Lie Groups
This article gives a table of some common Lie groups and their associated Lie algebras. The following are noted: the topological properties of the group (dimension; connectedness; compactness; the nature of the fundamental group; and whether or not they are simply connected) as well as on their algebraic properties ( abelian; simple; semisimple). For more examples of Lie groups and other related topics see the list of simple Lie groups; the Bianchi classification of groups of up to three dimensions; see classification of low-dimensional real Lie algebras for up to four dimensions; and the list of Lie group topics. Real Lie groups and their algebras Column legend * Cpt: Is this group ''G'' compact? (Yes or No) * \pi_0: Gives the group of components of ''G''. The order of the component group gives the number of connected components. The group is connected if and only if the component group is trivial (denoted by 0). * \pi_1: Gives the fundamental group of ''G'' whenever ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Satake Diagram
In the mathematical study of Lie algebras and Lie groups, a Satake diagram is a generalization of a Dynkin diagram introduced by whose configurations classify simple Lie algebras over the field of real numbers. The Satake diagrams associated to a Dynkin diagram classify real forms of the complex Lie algebra corresponding to the Dynkin diagram. More generally, the Tits index or Satake–Tits diagram of a reductive algebraic group over a field is a generalization of the Satake diagram to arbitrary fields, introduced by , that reduces the classification of reductive algebraic groups to that of anisotropic reductive algebraic groups. Satake diagrams are not the same as Vogan diagrams of a Lie group, although they look similar. Definition A Satake diagram is obtained from a Dynkin diagram by blackening some vertices, and connecting other vertices in pairs by arrows, according to certain rules. Suppose that ''G'' is an algebraic group defined over a field ''k'', such as the reals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugate Of A Complex Lie Algebra
In mathematics, a complex Lie algebra is a Lie algebra over the complex numbers. Given a complex Lie algebra \mathfrak, its conjugate \overline is a complex Lie algebra with the same underlying real vector space but with i = \sqrt acting as -i instead. As a real Lie algebra, a complex Lie algebra \mathfrak is trivially isomorphic to its conjugate. A complex Lie algebra is isomorphic to its conjugate if and only if it admits a real form (and is said to be defined over the real numbers). Real form Given a complex Lie algebra \mathfrak, a real Lie algebra \mathfrak_0 is said to be a real form of \mathfrak if the complexification \mathfrak_0 \otimes_\mathbb is isomorphic to \mathfrak. A real form \mathfrak_0 is abelian (resp. nilpotent, solvable, semisimple) if and only if \mathfrak is abelian (resp. nilpotent, solvable, semisimple). On the other hand, a real form \mathfrak_0 is simple if and only if either \mathfrak is simple or \mathfrak is of the form \mathfrak \times \overline ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Dynkin Diagrams
Finite is the opposite of infinite. It may refer to: * Finite number (other) * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marked for person and/or tense or aspect * "Finite", a song by Sara Groves from the album '' Invisible Empires'' See also * * Nonfinite (other) Nonfinite is the opposite of finite * a nonfinite verb is a verb that is not capable of serving as the main verb in an independent clause * a non-finite clause In linguistics, a non-finite clause is a dependent or embedded clause that represen ... {{disambiguation fr:Fini it:Finito ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynkin Diagram
In the mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the classification of semisimple Lie algebras over algebraically closed fields, in the classification of Weyl groups and other finite reflection groups, and in other contexts. Various properties of the Dynkin diagram (such as whether it contains multiple edges, or its symmetries) correspond to important features of the associated Lie algebra. The term "Dynkin diagram" can be ambiguous. In some cases, Dynkin diagrams are assumed to be directed, in which case they correspond to root systems and semi-simple Lie algebras, while in other cases they are assumed to be undirected, in which case they correspond to Weyl groups. In this article, "Dynkin diagram" means ''directed'' Dynkin diagram, and ''undirected'' Dynkin diagrams will be explicitly so named. Classification of semisimple ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classical Lie Algebra
The classical Lie algebras are finite-dimensional Lie algebras over a field which can be classified into four types A_n , B_n , C_n and D_n , where for \mathfrak(n) the general linear Lie algebra and I_n the n \times n identity matrix: * A_n := \mathfrak(n+1) = \ , the ''special linear Lie algebra''; * B_n := \mathfrak(2n+1) = \ , the ''odd-dimensional orthogonal Lie algebra''; * C_n := \mathfrak(2n) = \ , the ''symplectic Lie algebra''; and * D_n := \mathfrak(2n) = \ , the ''even-dimensional orthogonal Lie algebra''. Except for the low-dimensional cases D_1 = \mathfrak(2) and D_2 = \mathfrak(4) , the classical Lie algebras are simple. The Moyal algebra is an infinite-dimensional Lie algebra that contains all classical Lie algebras as subalgebras. See also * Simple Lie algebra * Classical group In mathematics, the classical groups are defined as the special linear groups over the reals , the complex numbers and the quaternions together with special auto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-abelian Group
In mathematics, and specifically in group theory, a non-abelian group, sometimes called a non-commutative group, is a group (''G'', ∗) in which there exists at least one pair of elements ''a'' and ''b'' of ''G'', such that ''a'' ∗ ''b'' ≠ ''b'' ∗ ''a''. This class of groups contrasts with the abelian groups. (In an abelian group, all pairs of group elements commute). Non-abelian groups are pervasive in mathematics and physics. One of the simplest examples of a non-abelian group is the dihedral group of order 6. It is the smallest finite non-abelian group. A common example from physics is the rotation group SO(3) in three dimensions (for example, rotating something 90 degrees along one axis and then 90 degrees along a different axis is not the same as doing them in reverse order). Both discrete groups and continuous groups may be non-abelian. Most of the interesting Lie groups are non-abelian, and these play an important role in gauge theory. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Lie Algebra
In mathematics, a complex Lie algebra is a Lie algebra over the complex numbers. Given a complex Lie algebra \mathfrak, its conjugate \overline is a complex Lie algebra with the same underlying real vector space but with i = \sqrt acting as -i instead. As a real Lie algebra, a complex Lie algebra \mathfrak is trivially isomorphic to its conjugate. A complex Lie algebra is isomorphic to its conjugate if and only if it admits a real form (and is said to be defined over the real numbers). Real form Given a complex Lie algebra \mathfrak, a real Lie algebra \mathfrak_0 is said to be a real form of \mathfrak if the complexification \mathfrak_0 \otimes_\mathbb is isomorphic to \mathfrak. A real form \mathfrak_0 is abelian (resp. nilpotent, solvable, semisimple) if and only if \mathfrak is abelian (resp. nilpotent, solvable, semisimple). On the other hand, a real form \mathfrak_0 is simple if and only if either \mathfrak is simple or \mathfrak is of the form \mathfrak \times \overline ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
