1
$\begingroup$

Let $G$ be a finite group with faithful irreducible representation $\gamma: G \to GL_n(\mathbb{C})$, $n>1$.

Can we put a bound on the size of $G$? What if $G$ is nilpotent?

$\endgroup$
5
  • $\begingroup$ Every finite cyclic group has a 1-dimensional faithful representation... $\endgroup$ Oct 2, 2012 at 21:27
  • $\begingroup$ I remembered this point when I was thinking about asking a quesiton, but I forgot to put this in the question! The question is now adjusted to eliminate the cyclic case. Thanks for the reminder though Alain! $\endgroup$
    – Alonso
    Oct 2, 2012 at 21:33
  • $\begingroup$ $\mathbf{C}[G]$ is ths sum of $G$'s irreps, so certainly you deduce that $n\le |G|$, which can be improved. But if you want an upper bound I don't think you can say much just by artificially removing $n=1$. $\endgroup$
    – YCor
    Oct 2, 2012 at 22:37
  • 1
    $\begingroup$ Every dihedral group of order 6 or more has a faithful irreducible representation of degree 2. Which also answers the nilpotent case if you take dihedral groups of order a power of 2. $\endgroup$ Oct 2, 2012 at 23:00
  • $\begingroup$ If you like, you can think of Alain's comment as: large subgroups of roots of unity in $\mathbb{C}^∗=GL_1(\mathbb{C})$. $\endgroup$
    – LMN
    Oct 2, 2012 at 23:28

1 Answer 1

11
$\begingroup$

Jordan's theorem says that there is a function $f : \mathbb{N} \to \mathbb{N}$ such that whenever $G$ is a finite subgroup of ${\rm GL}(n,\mathbb{C}),$ there is an Abelian onrmal subgroup $A$ such that $[G:A] \leq f(n)$. Explicit bounds were given later, which can be much improved by invoking the classification of finite simple groups. If $G$ is a primitive subgroup of ${\rm SL}(n,\mathbb{C})$, then it follows from Jordan's theorem that $|G|$ is bounded in terms of $n$. Recall that a primitive representation is an irreducible one which is not equivalent to a representation induced from a representation of a proper subgroup.

$\endgroup$
2
  • $\begingroup$ Did Jordan used modern language? Just curious.... $\endgroup$ Oct 3, 2012 at 3:55
  • $\begingroup$ I am not sure, but the proofs by Frobenius, Schur and Burnside which give explicit bounds use fairly modern language. Once you know that your group may be assumed to consist of unitary matrices, Jordan's theorem is essentially a compactness argument- it can be reduced to the primitive case, and then it follows that if $x$ and $y$ are in diffent cosets of $Z(G)$, then we have $\|x - y \| \geq \frac{1}{2}$ where we use the operator norm on $M_{n}(\mathbb{C}).$ Since $G$ is contained in the ball of $M_{n}(\mathbb{C})$ (even in its boundary), we are done. $\endgroup$ Oct 3, 2012 at 18:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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