Compact Lie group

From Groupprops
Jump to: navigation, search

Template:Lie group property

Definition

A compact Lie group is a Lie group whose underlying manifold (or topological space) is a compact space, or equivalently, it is a Lie group whose underlying topological group is a compact group.