World Library  
Flag as Inappropriate
Email this Article

Simple Lie group

Article Id: WHEBN0000292831
Reproduction Date:

Title: Simple Lie group  
Author: World Heritage Encyclopedia
Language: English
Subject: Lie group, Grand Unified Theory, F4 (mathematics), G2 (mathematics), Lie groups
Collection: Lie Algebras, Lie Groups
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Simple Lie group


In group theory, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups.

A simple Lie algebra is a non-abelian Lie algebra whose only ideals are 0 and itself. A direct sum of simple Lie algebras is called a semisimple Lie algebra.

An equivalent definition of a simple Lie group follows from the Lie correspondence: a connected Lie group is simple if its Lie algebra is simple. An important technical point is that a simple Lie group may contain discrete normal subgroups, hence being a simple Lie group is different from being simple as an abstract group.

Simple Lie groups include many classical Lie groups, which provide a group-theoretic underpinning for spherical geometry, projective geometry and related geometries in the sense of Felix Klein's Erlangen programme. It emerged in the course of classification of simple Lie groups that there exist also several exceptional possibilities not corresponding to any familiar geometry. These exceptional groups account for many special examples and configurations in other branches of mathematics, as well as contemporary theoretical physics.

While the notion of a simple Lie group is satisfying from the axiomatic perspective, in applications of Lie theory, such as the theory of Riemannian symmetric spaces, somewhat more general notions of semisimple and reductive Lie groups proved to be even more useful. In particular, every connected compact Lie group is reductive, and the study of representations of general reductive groups is a major branch of representation theory.

Contents

  • Comments on the definition 1
  • Method of classification 2
  • Real forms 3
  • Relationship of simple Lie algebras to groups 4
  • Classification by Dynkin diagram 5
  • Infinite series 6
    • A series 6.1
    • B series 6.2
    • C series 6.3
    • D series 6.4
  • Exceptional cases 7
  • Simply laced groups 8
  • See also 9
  • References 10

Comments on the definition

Unfortunately there is no single standard definition of a simple Lie group. The definition given above is sometimes varied in the following ways:

  • Connectedness: Usually simple Lie groups are connected by definition. This excludes discrete simple groups (these are zero-dimensional Lie groups that are simple as abstract groups) as well as disconnected orthogonal groups.
  • Center: Usually simple Lie groups are allowed to have a discrete center; for example, SL(2, R) has a center of order 2, but is still counted as a simple Lie group. If the center is non-trivial (and not the whole group) then the simple Lie group is not simple as an abstract group. Some authors require that the center of a simple Lie group be finite (or trivial); the universal cover of SL(2, R) is an example of a simple Lie group with infinite center.
  • R: Usually the group R of real numbers under addition (and its quotient R/Z) are not counted as simple Lie groups, even though they are connected and have a Lie algebra with no proper non-zero ideals. Occasionally authors define simple Lie groups in such a way that R is simple, though this sometimes seems to be an accident caused by overlooking this case.
  • Matrix groups: Some authors restrict themselves to Lie groups that can be represented as groups of finite matrices. The metaplectic group is an example of a simple Lie group that cannot be represented in this way.
  • Complex Lie algebras: The definition of a simple Lie algebra is not stable under the extension of scalars. The complexification of a complex simple Lie algebra, such as sl(n, C) is semisimple, but not simple.

The most common definition is the one above: simple Lie groups have to be connected, they are allowed to have non-trivial centers (possibly infinite), they need not be representable by finite matrices, and they must be non-abelian.

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 of a group. 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 Élie Cartan.

For an example, take the special orthogonal groups in even dimension. With the non-identity matrix −I in the center (group theory), these aren't actually simple groups; and having a twofold spin cover, they aren't simply-connected either. They lie 'between' G* and G, in the notation above.

Classification by Dynkin diagram

According to Dynkin's classification, we have as possibilities these only, where n is the number of nodes:

Dynkin diagrams

Infinite series

A series

A1, A2, ...

Ar corresponds to the special unitary group, SU(r + 1).

B series

B2, B3, ...

Br corresponds to the special orthogonal group, SO(2r + 1).

C series

C3, C4, ...

Cr corresponds to the symplectic group, Sp(2r).

D series

D4, D5, ...

Dr corresponds to the special orthogonal group, SO(2r), starting with SO(8). The diagram D2 is two isolated nodes, the same as A1 ∪ A1, and this coincidence corresponds to the covering map homomorphism from SU(2) × SU(2) to SO(4) given by quaternion multiplication; see quaternions and spatial rotation. Thus SO(4) is not a simple group. Also, the diagram D3 is the same as A3, corresponding to a covering map homomorphism from SU(4) to SO(6). With D4 there is an 'exotic' symmetry of the diagram, corresponding to so-called triality.

Exceptional cases

For the so-called exceptional cases see G2, F4, E6, E7, and E8. These cases are deemed 'exceptional' because they do not fall into infinite series of groups of increasing dimension. From the point of view of each group taken separately, there is nothing so unusual about them. These exceptional groups were discovered around 1890 in the classification of the simple Lie algebras, over the complex numbers (Wilhelm Killing, re-done by Élie Cartan). For some time it was a research issue to find concrete ways in which they arise, for example as a symmetry group of a differential system.

See also E.

Simply laced groups

A simply laced group is a Lie group whose Dynkin diagram only contain simple links, and therefore all the nonzero roots of the corresponding Lie algebra have the same length. The A, D and E series groups are all simply laced, but no group of type B, C, F, or G is simply laced.

See also

References

  • Fulton, WIlliam and Harris, Joe. Representation Theory, A First Course, Springer Readings in Mathematics
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.