Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Michael Artin's Algebra, chapter 10 (both unstarred, and complex representations)

M.8 Prove that a finite simple group that is not of prime order has no nontrivial representation of dimension 2.

M.14 Let $\rho\colon G\to GL(V)$ be a two-dimensional representation of a finite group $G$, and assume that $1$ is an eigenvalue of $\rho_g$ for every $g$ in $G$. Prove that $\rho$ is a sum of two one-dimensional representations.

All these exercises are closely related to $GL_2(\mathbb C)$, and I think it's closely related to the property of $U_2$, the unitary group, therefore they go together.

We can simplify both questions in nearly the same way.

The first one:

It's not hard to show the correctness of abelian case, therefore we discard this case for now. Suppose there's a nontrivial 2D representation $\rho$ of a finite simple group $G$. Since $\rho$ is nontrivial and $G$ is simple, $\ker\rho$ is trivial, and $G$ embeds as a subgroup of $GL_2$. By Maschke's theorem, WLOG, we can suppose that $G\subset U_2$. Moreover, consider the mapping $\det\colon G\to\mathbb C$, we have $\ker\det$ is nontrivial, since $G$ isn't abelian, therefore by the normality of $G$, the image is trivial, and $G\subset SU_2$, the special unitary group.

The second one:

We can only consider the image of $\rho$. It's a finite group whose matrices have eigenvalue $1$. We'd only show that these matrices are simultaneously diagonalizable, therefore $\rho$ is a direct sum of two 1D representations. WLOG, suppose that the image is contained in $U_2$, by Maschke's theorem.

Both problems are simplified as a property of $U_2$ (the first one reduces a bit more). The first one says that there's no simple subgroup of composite number order, the second one says that if they all have eigenvalue $1$, then they're simultaneously diagonalizable.

How can we proceed? I need some insight of $U_2$ or $SU_2$. Thanks!

EDIT: I think my previous question is also related.

share|improve this question
    
Should you being saying "irreducible representation" at a few points here? –  Alex Youcis Aug 13 '13 at 10:50
    
@AlexYoucis I don't see why the word irreducible should be applied anywhere. –  Tobias Kildetoft Aug 13 '13 at 10:53
    
There is no abelian case in the first question; finite simple abelian groups are of prime order. –  anon Aug 13 '13 at 11:05
    
Ok, so I am probably making the first one MUCH harder than it need be. Note that, for obvious reasons, your $G$ cannot have any non-trivial dim 1 reps. So, any non-trivial representation $\rho:G\to\text{GL}_2(\mathbb{C})$ must be irreducible and faithful. In particular, we may conclude that $2\mid |G|$ so that $G$ has an element $g$ of order $2$. Now, as you noted $\rho(g)$ has determinant $1$, but also has eigenvalues which satisfy $x^2=1$. In particular, it's a scalar matrix. –  Alex Youcis Aug 13 '13 at 11:33
    
But, this implies that $\rho(g)$ commutes with $\rho(x)$ for all $x\in G$, and since $\rho$ is faithful, this implies that $Z(G)\ne1$ which, by simplicity, implies that $G$ is abelian, which it isn't. Someone please tell me I'm speaking crazy things. –  Alex Youcis Aug 13 '13 at 11:34

2 Answers 2

up vote 4 down vote accepted

Tobias Kildetoft has suggested that I add this as answer, but it still feels too hard:

M.8 Note that since $G$ is simple and non-abelian (else its of prime order) we know that any one-dimensional representation of $G$ is trivial. Now, suppose that $\rho:G\to\text{GL}_2(\mathbb{C})$ is non-trivial. Then, evidently $\rho$ is faithful. But, since it also can't be the sum of one-dimensional reps (since those are all trivial) it must also be irreducible. This implies, in particular, that $2\mid|G|$ so that $G$ has some element of order $2$, say $g$. Note then that $\rho(g)$ must have eigenvalues $\pm 1$ (since it's order $2$). But, as you've already noted, it must also have determinant $1$. This forces the eigenvalues to both be $-1$, and so, in particular, $\rho(g)$ is a scalar matrix, and so in the center of $\text{GL}_2(\mathbb{C})$. By faithfulness, this means that $g$ is a non-trivial element of $Z(G)$, which by simplicity forces $G=Z(G)$. This is a contradiction.

share|improve this answer
    
Is there any method to prove that $2\vert\#G$? Generally, if $\chi$ is an irreducible representation of $G$, $\chi(1)\vert\#G$ but it's left unproved on M.Artin's book. –  Frank Science Aug 14 '13 at 9:51
    
The common technique is to show that $\displaystyle \frac{|G|}{\chi(1)}$ is an algebraic integer (by finding an integer valued matrix for which it is an eigenvalue), and then using the fact that the only algebraic integers which are rational are integers. It's in any standard book on rep theory. –  Alex Youcis Aug 14 '13 at 14:20
    
Well, next semester I'll try to read a proof from Serre's book. I hope it's helpful. According to the experience from doing other exercises on M.Artin, it seems that unstarred problems are usually easy, such as exercises on linear algebra where everything seems familiar, and I hope if there's an elementary argument on that. –  Frank Science Aug 14 '13 at 14:51

M.14: We may assume that $\rho$ is faithful (just replace $G$ by $G/\ker(\rho)$ and neither the hypothesis nor the conclusion changes). In particular, no non-identity element is in the kernel of $\det$ since $\det(g)$ is precisely the non-one eigenvalue of $g$. Thus $\det:G/\ker(\rho) \to \mathbb{C}^\times$ is an embedding, and $G/\ker(\rho)$ is finite abelian, so every representation is a direct sum of one-dimensional representations.

share|improve this answer
    
A nice trick, thanks! –  Frank Science Aug 13 '13 at 15:45
    
Though the proof is short, it's no easy for me to derive. –  Frank Science Aug 13 '13 at 15:47
    
@Jack Schmidt Can you see an easier solution for M.8? –  Alex Youcis Aug 13 '13 at 18:27
    
@Alex I think your method is standard and important. Calculating $Z(\rho)$ especially elements of order 2 is useful. –  Jack Schmidt Aug 13 '13 at 19:34
    
@Frank I like the trick because it is the opposite of the trick you used in M8. –  Jack Schmidt Aug 13 '13 at 19:35

Your Answer

 
discard

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.