Math 2.0

Topological groups, Lie groups Definition

Compact Lie group

Builds on Lie groupCompact space

Definition

Let GG be a Lie group. The group GG is a compact Lie group if its underlying topological space is compact.

Remarks

Example: the special unitary group SU(2)\mathrm{SU}(2) is the set of complex matrices (a−bˉbaˉ)\begin{pmatrix} a & -\bar b \\ b & \bar a \end{pmatrix} with ∣a∣2+∣b∣2=1\abs{a}^2 + \abs{b}^2 = 1. It is a closed subgroup of GL2(ℂ)\mathrm{GL}_2(\C), so it is a Lie group. As a space it is the unit sphere S3S^3 in ℂ2≅ℝ4\C^2 \cong \R^4, which is closed and bounded, hence compact.

Non-example: the additive group ℝ\R is a Lie group, but it is not compact, since the open cover by the intervals (−n,n)(-n, n) has no finite subcover.

A compact group need not be a Lie group. The group ℤp\Z_p of pp-adic integers is compact, but each neighbourhood of 00 contains the nontrivial subgroup pkℤpp^k \Z_p for kk large, so it is not a Lie group.

Each compact Lie group is isomorphic to a closed subgroup of some unitary group U(n)\mathrm{U}(n).

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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact space concept
  2. Lie group concept
  3. Compact Lie group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Compact_group
About this page
TagF4ZYFEKKZW
URIm2://F4ZYFEKKZW
Kinddefinition
WritingW0 stub
MSC22E15, 22C05
DefinesCompact Lie group
UsesLie group, Compact space
Changed2 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.