simple lie group

In mathematics, a simple Lie group is a Lie group which is also a simple group. These groups, and groups closely related to them, include many of the so-called classical groups of geometry, which lie behind projective geometry and other geometries derived from it by the Erlangen programme of Felix Klein. They also include some exceptional groups, that were first discovered by those pursuing the classification of simple Lie groups. The exceptional groups account for many special examples and configurations in other branches of mathematics. In particular the classification of finite simple groups depended on a thorough prior knowledge of the 'exceptional' possibilities. The complete listing of the simple Lie groups is the basis for the theory of the semisimple Lie groups and reductive groups, and their representation theory. This has turned out not only to be a major extension of the theory of compact Lie groups (and their representation theory), but to be of basic significance in particle physics.

Method of classification

Such groups are classified using the prior classification of the complex simple Lie algebras: for which see the page on root systems. It is shown that a simple Lie group has a simple Lie algebra that will occur on the list given there, once it is complexified (that is, made into a complex vector space rather than a real one). This reduces the classification to two further matters.

Real forms

The groups SO(p,q,R) and SO(p+q,R), for example, give rise to different real Lie algebras, but having the same Dynkin diagram. In general there may be different real forms of the same complex Lie algebra.

Relationship of simple Lie algebras to groups

Secondly the Lie algebra only determines uniquely the simply connected (universal) cover G* of the component containing the identity of a Lie group G. It may well happen that G* isn't actually a simple group, for example having a non-trivial center. We have therefore to worry about the global topology, by computing the fundamental group of G (an abelian group: a Lie group is an H-space). This was done by Cartan. For an example, take the special orthogonal groups in even dimension. With −I a scalar matrix in the center, these aren't actually simple groups; and having a two-fold spin cover, they aren't simply-connected either. They lie 'between' G* and G, in the notation above.

Classification by Dynkin diagram

See main article root system According to Dynkin's classification, we have as possibilities these only, where n is the number of nodes: Dynkin diagrams

Infinite series

A series

A₁, A₂, ... A_r corresponds to the special unitary group, SU(r+1).

B series

B₁, B₂, ... B_r corresponds to the special orthogonal group, SO(2r+1).

C series

C₁, C₂, ... C_r corresponds to the symplectic group, Sp(2r).

D series

D₂, D₃, ... D_r corresponds to the special orthogonal group, SO(2r). Note that SO(4) is not a simple group, though. The Dynkin diagram has two nodes that are not connected. There is a surjective homomorphism from SO(3)* × SO(3)* to SO(4) given by quaternion multiplication; see quaternions and spatial rotation. Therefore the simple groups here start with D₃, which as a diagram straightens out to A₃. With D₄ there is an 'exotic' symmetry of the diagram, corresponding to so-called triality.