The character of the dual representation is , using unitarizability. The displayed sine quotient is real, so this character equals . The theorem that characters determine finite-dimensional semisimple complex representations of a compact group therefore gives . This is complex-linear self-duality; it does not assert that every has an invariant real structure.
Articles by others on the same topic
There are currently no matching articles.