Do compact groups acting irreducibly have finite subgroups which do the same?

Question

Let $G$ be a closed subgroup of $U(n,{\bf C})$, not necessarily connected. Regard ${\bf C}^n$ as a complex $G$-module $M$.

Q. Suppose $M$ is irreducible as a $G$-module (equivalent, I think, to the condition that the linear span of $G$ is all of $M_n({\bf C})$). Does there always exist a finite subgroup $H < G$ such that $M$ is irreducible as an $H$-module?

Perhaps one should view the question as one about faithful irreducible representations of "abstract" compact Lie groups and their finite subgroups, but the more concrete picture is easier for me to think about.

It also seems possible to me that one could hammer the question by using structure theory for compact Lie groups in some way, and then looking down the lists to check everything works for A, B, C, D etc, but I'd prefer to have something that used the basic ideas that go into such structure theory rather than the final classification itself, since the original motivation for the question actually comes from an infinite-dimensional context.

(The original motivation for the question is probably not relevant here; but I include it in case it is of interest. The question is a generalization of one raised en passant in some work of A. Blanco, and if the answer is yes, it seems that improvements can be made to some results he's obtained concerning finite-dimensional Banach spaces $X$ for which $B(X)$ is "amenable with constant $1$". Moreover, a proof which was somehow "global" in nature might be adaptable to the study of $K(X)$ for certain well-behaved infinite-dimensional $X$.)

Answer 1

No. Consider an irreducible representation of $\mathrm{SU}(2)$ of large dimension, say $n\ge n_0$. Then it cannot be irreducible for a finite subgroup, because these are either abelian or dihedral (with only 1 or 2-dimensional irreducible reps) or in a short finite list, with finitely many possible dimensions of irreducible reps for each. Maybe the best $n_0$ here is $n_0=7$ but I haven't checked.

Answer 2

The answer is already no for $G=U(2)$ acting on $Sym^6(\mathbb C^2)$.

Given a subgroup $\Gamma \leq U(n) \cong SU(n) \times U(1) / Z_n$, we can enlarge it by projecting to $SU(n)/Z_n$ and $U(1)/Z_n$, take the preimages in $SU(n),U(1)$, and multiply together. The $U(1)$ isn't going to help hold together an irrep so we've reduced to subgroups of $SU(n)$.

There aren't so many of these for $n=2$; the cyclic, binary dihedral, and the $E_{6,7,8}$ ones. Their largest irreps are 1, 2, 3, 4, 6-dimensional, i.e. the largest coefficient of a simple root in the expansion of the highest root of the $A,D,E$ root systems.