# Finite-dimensional faithful representations of compact groups

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!

-
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

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

-
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)$...

-
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:

http://www.ams.org/notices/200910/rtx091001236p.pdf

-

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})$.

-