[Math] Which compact groups have finitely many irreducible representations of each dimension

lie-groupsrt.representation-theorytopological-groups

If my understanding is correct, this is true of sufficiently nice nonabelian Lie groups (see Ben Webster's answer below), and any finite group. On the other hand, this is false for any infinite compact abelian group by Pontryagin duality (see Kevin Buzzard's comment below), and by extension for any group with such a group as a quotient (perhaps even as a quotient of a finite-index subgroup; see Ben Webster's comment below).

So: are there any nice conditions weaker than being a Lie group which guarantee that a compact group only has finitely many irreducible representations of each dimension? (Nice necessary conditions would also be interesting.)

Best Answer

Some of the comments to the question have already indicated that finite abelianisation has something to do with it. If $G$ is a finitely generated profinite group, the following are equivalent:

  1. $G$ has a finite number of isomorphism classes of complex irreducible representations of dimension $n$, for each $n$ (in this case $G$ is usually called (representation) rigid).
  2. $H/[H,H]$ is finite for every open subgroup $H$ of $G$ (in this case, $G$ is said to have the property FAb).

This result is contained in Proposition 2 in this paper by Bass, Lubotzky, Magid, and Mozes.