Compact Lie group
= Compact Lie group
{wiki}
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>.