Topological groups, Lie groups Definition
Compact Lie group
Builds on Lie groupCompact space
Definition
Let be a Lie group. The group is a compact Lie group if its underlying topological space is compact.
Remarks
Example: the special unitary group is the set of complex matrices with . It is a closed subgroup of , so it is a Lie group. As a space it is the unit sphere in , which is closed and bounded, hence compact.
Non-example: the additive group is a Lie group, but it is not compact, since the open cover by the intervals has no finite subcover.
A compact group need not be a Lie group. The group of -adic integers is compact, but each neighbourhood of contains the nontrivial subgroup for large, so it is not a Lie group.
Each compact Lie group is isomorphic to a closed subgroup of some unitary group .
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Compact space concept
- Lie group concept
- Compact Lie group definition
Further reading
About this page
| Tag | F4ZYFEKKZW |
|---|---|
| URI | m2://F4ZYFEKKZW |
| Kind | definition |
| Writing | W0 stub |
| MSC | 22E15, 22C05 |
| Defines | Compact Lie group |
| Uses | Lie group, Compact space |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.