Lie Group - Types of Lie Groups and Structure Theory

Types of Lie Groups and Structure Theory

Lie groups are classified according to their algebraic properties (simple, semisimple, solvable, nilpotent, abelian), their connectedness (connected or simply connected) and their compactness.

• Compact Lie groups are all known: they are finite central quotients of a product of copies of the circle group S1 and simple compact Lie groups (which correspond to connected Dynkin diagrams).
• Any simply connected solvable Lie group is isomorphic to a closed subgroup of the group of invertible upper triangular matrices of some rank, and any finite dimensional irreducible representation of such a group is 1 dimensional. Solvable groups are too messy to classify except in a few small dimensions.
• Any simply connected nilpotent Lie group is isomorphic to a closed subgroup of the group of invertible upper triangular matrices with 1's on the diagonal of some rank, and any finite dimensional irreducible representation of such a group is 1 dimensional. Like solvable groups, nilpotent groups are too messy to classify except in a few small dimensions.
• Simple Lie groups are sometimes defined to be those that are simple as abstract groups, and sometimes defined to be connected Lie groups with a simple Lie algebra. For example, SL₂(R) is simple according to the second definition but not according to the first. They have all been classified (for either definition).
• Semisimple Lie groups are Lie groups whose Lie algebra is a product of simple Lie algebras. They are central extensions of products of simple Lie groups.

The identity component of any Lie group is an open normal subgroup, and the quotient group is a discrete group. The universal cover of any connected Lie group is a simply connected Lie group, and conversely any connected Lie group is a quotient of a simply connected Lie group by a discrete normal subgroup of the center. Any Lie group G can be decomposed into discrete, simple, and abelian groups in a canonical way as follows. Write

G_con for the connected component of the identity

G_sol for the largest connected normal solvable subgroup

G_nil for the largest connected normal nilpotent subgroup

so that we have a sequence of normal subgroups

1 ⊆ G_nil ⊆ G_sol ⊆ G_con ⊆ G.

Then

G/G_con is discrete

G_con/G_sol is a central extension of a product of simple connected Lie groups.

G_sol/G_nil is abelian. A connected abelian Lie group is isomorphic to a product of copies of R and the circle group S1.

G_nil/1 is nilpotent, and therefore its ascending central series has all quotients abelian.

This can be used to reduce some problems about Lie groups (such as finding their unitary representations) to the same problems for connected simple groups and nilpotent and solvable subgroups of smaller dimension.