DISPLAYTITLE: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 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 algebra or, equivalently, as the subgroup of SO(7) that preserves any chosen particular vector in its 8-dimensional real spinor representation (a spin representation).
The Lie algebra , 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 saying that he had found a 14-dimensional simple Lie algebra, which we now call .
In 1893, Élie Cartan published a note describing an open set in equipped with a 2-dimensional distribution—that is, a smoothly varying field of 2-dimensional subspaces of the tangent space—for which the Lie algebra appears as the infinitesimal symmetries. In the same year, in the same journal, Engel noticed the same thing. Later it was discovered that the 2-dimensional distribution is closely related to a ball rolling on another ball. The space of configurations of the rolling ball is 5-dimensional, with a 2-dimensional distribution that describes motions of the ball where it rolls without slipping or twisting.
In 1900, Engel discovered that a generic antisymmetric trilinear form (or 3-form) on a 7-dimensional complex vector space is preserved by a group isomorphic to the complex form of G2.
In 1908 Cartan mentioned that the automorphism group of the octonions is a 14-dimensional simple Lie group. In 1914 he stated that this is the compact real form of G2.
In older books and papers, G2 is sometimes denoted by E2.
There are 3 simple real Lie algebras associated with this root system:
The underlying real Lie algebra of the complex Lie algebra G2 has dimension 28.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory. In the following we will assume all groups are Hausdorff spaces.
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 , if nonzero, the following conditions are equivalent: is semisimple; the Killing form, κ(x,y) = tr(ad(x)ad(y)), is non-degenerate; has no non-zero abelian ideals; has no non-zero solvable ideals; the radical (maximal solvable ideal) of is zero.
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups; the symmetry groups of regular polyhedra are an example. However, not all Coxeter groups are finite, and not all can be described in terms of symmetries and Euclidean reflections. Coxeter groups were introduced in 1934 as abstractions of reflection groups , and finite Coxeter groups were classified in 1935 .
We consider a natural subclass of harmonic maps from a surface into G/T, namely cyclic primitive maps. Here G is any simple real Lie group (not necessarily compact), T is a Cartan subgroup and both are chosen so that there is a Coxeter automorphism on G(C) ...
The minimal faithful permutation degree (G) of a finite group G is the least nonnegative integer n such that G embeds in the symmetric group Sym(n). Clearly (G x H) (G) + (H) for all finite groups G and H. In 1975, Wright ([10]) proved that equality occurs ...
Taylor & Francis Inc2016
Motivated by recent experimental progress in the context of ultra-cold multi-colour fermionic atoms in optical lattices, this thesis investigates the properties of the antiferromagnetic SU(N) Heisenberg models with fully antisymmetric irreducible represent ...