MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it true that a compact group always has a faithful, finite-dimensional unitary representation? If not, are there any reasonably simple counter-examples?

I've done some research and know that every group has some faithful representation, all irreducible reps of a compact group are finite, and that the irreducible reps separate the points of the group. However, that doesn't quite answer the question!

share|cite|improve this question
The additive group of $p$-adic integers is an example, any finite dimensional continuous representation has some $p^n$ in its kernel. – Torsten Ekedahl May 5 '11 at 14:00
up vote 10 down vote accepted

A famous theorem is that this is true if and only if $G$ is a Lie group.

share|cite|improve this answer
Also, the adjective "unitary" is redundant, as every finite-dimensional representation of a compact group is unitarizable. – Mark May 5 '11 at 11:47
Does this theorem have a name? Even better, are there any good references for it? – Sabri May 5 '11 at 14:01
@Sabri: one direction follows from the fact that a closed subgroup of a Lie group is a Lie group (I don't know if this theorem has a name). The other follows from Peter-Weyl. – Qiaochu Yuan May 5 '11 at 16:15
Sabri: you can find the proof in Folland's text ("A Course in Abstract Harmonic Analysis", theorem 5.13). I don't know of a name for it. The theorem which Qiaochu mentioned, though, is often called the "closed subgroup theorem" or Cartan's theorem. – Mark May 5 '11 at 16:33

No, it is false! Take a product of alef-2011 copies of $C_2$. It is a bit too big to fit into $GL_n (C)$...

share|cite|improve this answer
And I fear it will be falser next year... – Georges Elencwajg May 5 '11 at 11:30
More specifically, it isn't a second-countable group, while every subspace (let alone subgroup) of $GL_n (\mathbb{C}$ is second-countable. – Mark May 5 '11 at 11:50
Or use Burnsides's theorem that any linear group of finite exponent is finite. – Benjamin Steinberg Oct 12 '11 at 2:47

Another famous and interesting NASC for a compact (or even locally compact) group to have a faithful finite dimensional representation is that it "not have arbitrarily small subgroups", i.e., that there exist a neighborhood of the identity with no non-trivial subgroup. This was the way that von Neumann solved the Hilbert 5th Problem in the compact case, and is explained (starting on page 1243) in:

share|cite|improve this answer

See On closed totally disconnected subgroups of connected real Lie groups : a non-discrete totally diisconnected group has no faithful representation in $GL_n(\mathbb{C})$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.