|
List Of Lie Group Topics
This is a list of Lie group topics, by Wikipedia page. Examples ''See Table of Lie groups for a list'' *General linear group, special linear group ** SL2(R) ** SL2(C) *Unitary group, special unitary group **SU(2) **SU(3) *Orthogonal group, special orthogonal group **Rotation group SO(3) **SO(8) **Generalized orthogonal group, generalized special orthogonal group ***The special unitary group SU(1,1) is the unit sphere in the ring of coquaternions. It is the group of hyperbolic motions of the Poincaré disk model of the Hyperbolic plane. ***Lorentz group **Spinor group *Symplectic group *Exceptional groups ** G2 ** F4 ** E6 ** E7 ** E8 *Affine group *Euclidean group *Poincaré group *Heisenberg group Lie algebras *Commutator *Jacobi identity *Universal enveloping algebra * Baker-Campbell-Hausdorff formula *Casimir invariant *Killing form *Kac–Moody algebra *Affine Lie algebra *Loop algebra *Graded Lie algebra Foundational results *One-parameter group, One-parameter subgroup *Ma ... [...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] |
Hyperbolic Motion
In geometry, hyperbolic motions are isometric automorphisms of a hyperbolic space. Under composition of mappings, the hyperbolic motions form a continuous group. This group is said to characterize the hyperbolic space. Such an approach to geometry was cultivated by Felix Klein in his Erlangen program. The idea of reducing geometry to its characteristic group was developed particularly by Mario Pieri in his reduction of the primitive notions of geometry to merely point and ''motion''. Hyperbolic motions are often taken from inversive geometry: these are mappings composed of reflections in a line or a circle (or in a hyperplane or a hypersphere for hyperbolic spaces of more than two dimensions). To distinguish the hyperbolic motions, a particular line or circle is taken as the absolute. The proviso is that the absolute must be an invariant set of all hyperbolic motions. The absolute divides the plane into two connected components, and hyperbolic motions must ''not'' permute these ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heisenberg Group
In mathematics, the Heisenberg group H, named after Werner Heisenberg, is the group of 3×3 upper triangular matrices of the form ::\begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end under the operation of matrix multiplication. Elements ''a, b'' and ''c'' can be taken from any commutative ring with identity, often taken to be the ring of real numbers (resulting in the "continuous Heisenberg group") or the ring of integers (resulting in the "discrete Heisenberg group"). The continuous Heisenberg group arises in the description of one-dimensional quantum mechanical systems, especially in the context of the Stone–von Neumann theorem. More generally, one can consider Heisenberg groups associated to ''n''-dimensional systems, and most generally, to any symplectic vector space. The three-dimensional case In the three-dimensional case, the product of two Heisenberg matrices is given by: :\begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end \begin 1 & a' & c'\\ 0 & 1 & b'\\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Group
The Poincaré group, named after Henri Poincaré (1906), was first defined by Hermann Minkowski (1908) as the group of Minkowski spacetime isometries. It is a ten-dimensional non-abelian Lie group that is of importance as a model in our understanding of the most basic fundamentals of physics. Overview A Minkowski spacetime isometry has the property that the interval between events is left invariant. For example, if everything were postponed by two hours, including the two events and the path you took to go from one to the other, then the time interval between the events recorded by a stop-watch you carried with you would be the same. Or if everything were shifted five kilometres to the west, or turned 60 degrees to the right, you would also see no change in the interval. It turns out that the proper length of an object is also unaffected by such a shift. A time or space reversal (a reflection) is also an isometry of this group. In Minkowski space (i.e. ignoring the effec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Group
In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space \mathbb^n; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). The group depends only on the dimension ''n'' of the space, and is commonly denoted E(''n'') or ISO(''n''). The Euclidean group E(''n'') comprises all translations, rotations, and reflections of \mathbb^n; and arbitrary finite combinations of them. The Euclidean group can be seen as the symmetry group of the space itself, and contains the group of symmetries of any figure (subset) of that space. A Euclidean isometry can be ''direct'' or ''indirect'', depending on whether it preserves the handedness of figures. The direct Euclidean isometries form a subgroup, the special Euclidean group, often denoted SE(''n''), whose elements are called rigid motions or Euclidean motions. They comprise arbitrary combinations of translations and rot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Group
In mathematics, the affine group or general affine group of any affine space over a field is the group of all invertible affine transformations from the space into itself. It is a Lie group if is the real or complex field or quaternions. Relation to general linear group Construction from general linear group Concretely, given a vector space , it has an underlying affine space obtained by "forgetting" the origin, with acting by translations, and the affine group of can be described concretely as the semidirect product of by , the general linear group of : :\operatorname(V) = V \rtimes \operatorname(V) The action of on is the natural one (linear transformations are automorphisms), so this defines a semidirect product. In terms of matrices, one writes: :\operatorname(n,K) = K^n \rtimes \operatorname(n,K) where here the natural action of on is matrix multiplication of a vector. Stabilizer of a point Given the affine group of an affine space , the stabilizer of a point ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E8 (mathematics)
In mathematics, E8 is any of several closely related exceptional simple Lie groups, linear algebraic groups or Lie algebras of dimension 248; the same notation is used for the corresponding root lattice, which has rank 8. The designation E8 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled A''n'', B''n'', C''n'', D''n'', and five exceptional cases labeled G2, F4, E6, E7, and E8. The E8 algebra is the largest and most complicated of these exceptional cases. Basic description The Lie group E8 has dimension 248. Its rank, which is the dimension of its maximal torus, is eight. Therefore, the vectors of the root system are in eight-dimensional Euclidean space: they are described explicitly later in this article. The Weyl group of E8, which is the group of symmetries of the maximal torus which are induced by conjugations in the whole group, has order 2357 = . The compact group E8 is unique ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E7 (mathematics)
In mathematics, E7 is the name of several closely related Lie groups, linear algebraic groups or their Lie algebras e7, all of which have dimension 133; the same notation E7 is used for the corresponding root lattice, which has rank 7. The designation E7 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled A''n'', B''n'', C''n'', D''n'', and five exceptional cases labeled E6, E7, E8, F4, and G2. The E7 algebra is thus one of the five exceptional cases. The fundamental group of the (adjoint) complex form, compact real form, or any algebraic version of E7 is the cyclic group Z/2Z, and its outer automorphism group is the trivial group. The dimension of its fundamental representation is 56. Real and complex forms There is a unique complex Lie algebra of type E7, corresponding to a complex group of complex dimension 133. The complex adjoint Lie group E7 of complex dimension 133 can be considered ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E6 (mathematics)
In mathematics, E6 is the name of some closely related Lie groups, linear algebraic groups or their Lie algebras \mathfrak_6, all of which have dimension 78; the same notation E6 is used for the corresponding root lattice, which has rank 6. The designation E6 comes from the Cartan–Killing classification of the complex simple Lie algebras (see ). This classifies Lie algebras into four infinite series labeled A''n'', B''n'', C''n'', D''n'', and five exceptional cases labeled E6, E7, E8, F4, and G2. The E6 algebra is thus one of the five exceptional cases. The fundamental group of the complex form, compact real form, or any algebraic version of E6 is the cyclic group Z/3Z, and its outer automorphism group is the cyclic group Z/2Z. Its fundamental representation is 27-dimensional (complex), and a basis is given by the 27 lines on a cubic surface. The dual representation, which is inequivalent, is also 27-dimensional. In particle physics, E6 plays a role in some gra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
F4 (mathematics)
In mathematics, F4 is the name of a Lie group and also its Lie algebra f4. It is one of the five exceptional simple Lie groups. F4 has rank 4 and dimension 52. The compact form is simply connected and its outer automorphism group is the trivial group. Its fundamental representation is 26-dimensional. The compact real form of F4 is the isometry group of a 16-dimensional Riemannian manifold known as the octonionic projective plane OP2. This can be seen systematically using a construction known as the ''magic square'', due to Hans Freudenthal and Jacques Tits. There are 3 real forms: a compact one, a split one, and a third one. They are the isometry groups of the three real Albert algebras. The F4 Lie algebra may be constructed by adding 16 generators transforming as a spinor to the 36-dimensional Lie algebra so(9), in analogy with the construction of E8. In older books and papers, F4 is sometimes denoted by E4. Algebra Dynkin diagram The Dynkin diagram for F4 is: . W ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
G2 (mathematics)
In mathematics, G2 is the name of three simple Lie groups (a complex form, a compact real form and a split real form), their Lie algebras \mathfrak_2, as well as some algebraic groups. They are the smallest of the five exceptional simple Lie groups. G2 has rank 2 and dimension 14. It has two fundamental representations, with dimension 7 and 14. The compact form of G2 can be described as the automorphism group of the Octonion, octonion algebra or, equivalently, as the subgroup of SO(7) that preserves any chosen particular vector in its 8-dimensional Real representation, real spinor Group representation, representation (a spin representation). History The Lie algebra \mathfrak_2, being the smallest exceptional simple Lie algebra, was the first of these to be discovered in the attempt to classify simple Lie algebras. On May 23, 1887, Wilhelm Killing wrote a letter to Friedrich Engel (mathematician), Friedrich Engel saying that he had found a 14-dimensional simple Lie algebra, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Group
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and for positive integer ''n'' and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by \mathrm(n). Many authors prefer slightly different notations, usually differing by factors of . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group is denoted , and is the compact real form of . Note that when we refer to ''the'' (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension . The name "symplectic group" is due to Hermann Weyl as a replacement for the previous confusing names (line) complex group and Abelian linear group, and is the Greek analog of "complex". The metaplect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
