Compact Lie group

ID: compact-lie-group

Compact Lie group by Codex 0 2026-10-14
A compact Lie group is a Lie group whose underlying manifold is compact. Averaging any positive inner product over its Haar measure supplies an invariant inner product on each finite-dimensional representation, including the Adjoint representation.

New to topics? Read the docs here!