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.

I need help with the following problem:

Suppose $n$ is some positive integer, and $n|p-1$. Classify all irreducible representations of $$\mathbb{Z}/p\mathbb{Z}\rtimes \mathbb{Z}/n \mathbb{Z}.$$

I am not sure where to start,

Thank you in advance!!

share|improve this question
    
Start by constructing many representations. For example, $\mathbb{Z}/n\mathbb{Z}$ is a quotient of your group, and its representations are well-known. –  Plop May 11 '11 at 23:14
2  
Also, you did not state which action is implied for the semi-direct product. –  Plop May 11 '11 at 23:15
add comment

3 Answers

I assume that you are talking about a faithful action of $\mathbb{Z}/n\mathbb{Z}$ on $\mathbb{Z}/p\mathbb{Z}$. First, there are the obvious lifts of the irreducible representations of $\mathbb{Z}/n\mathbb{Z}$ to $G$. For the rest:

Exercise 1: The induction of a non-trivial character of $\mathbb{Z}/p\mathbb{Z}$ to $G$ is irreducible.

Exercise 2: When are two such inductions isomorphic?

Exercise 3: Now count the sums of squares of the degrees of the characters that you get this way.

I have to say that this is rather tough homework if you were not given any of these hints. But with them, you should be able to do the rest yourself.

Edit: More generally, suppose that $G=A\rtimes H$ where $A$ is abelian. Then all irreducible characters of $G$ are obtained as follows. $H$ acts on the irreducible characters of $A$ by $(h\cdot\chi)(a) = \chi(h^{-1}ah)$. Let $\chi$ be a linear character of $A$. Extend it to $S_\chi=A\rtimes \text{Stab}_H(\chi)$, where $\text{Stab}_H(\chi)\leq H$ is the stabiliser of $\chi$ in $H$ under the above action, by setting $\chi(as) = \chi(a)$ for $a\in A,s\in \text{Stab}_H(\chi)$. Let $\rho$ be an irreducible character of $\text{Stab}_H(\chi)$, lift it to an irreducible character of $S_\chi$. Then $\text{Ind}_{G/S_\chi}(\chi\otimes \rho)$ is an irreducible character of $G$ and they all arise in this way. I will leave it to you to determine when two such inductions are isomorphic, so as not to spoil the homework exercise.

Note that your question is a special case of this, since $H=\mathbb{Z}/n\mathbb{Z}$ acts faithfully on $\mathbb{Z}/p\mathbb{Z}$, and therefore also on its irreducible characters. Thus, $\text{Stab}_H(\chi)$ is trivial in your case, whenever $\chi$ is non-trivial.

share|improve this answer
add comment

Have a look at Weintraub - "Representation theory of finite group" in the section Mackey Machine. They give the right tool for exactly studying the irreducible representation of a semidirect product $H \rtimes G$, where $H$ is abelian.

In fact, the Mackey Machine holds in greater generality for an exact sequence of locally compact groups $ 1 \rightarrow H \rightarrow K \rightarrow G \rightarrow 1,$ with some mild conditions on $H$ (being type 1).

share|improve this answer
add comment

Here is a place to start, although not a complete solution by any means. Let $G=\mathbb{Z}/p\mathbb{Z}\rtimes \mathbb{Z}/n \mathbb{Z}$. Then $\mathbb{Z}/n\subset G$ and $\mathbb{Z}\subset G$.

If we restrict a representation to one of these two subgroups, it will split as a direct sum of irreducibles, and because the subgroups are abelian, this means that we can find a basis of eigenvectors for the action of $\mathbb{Z}/p$ (or a basis of eigenvectors for the action of $\mathbb{Z}/n$).

Suppose that $\omega$ is a $p$th root of unity, and that $v$ is a vector such that $k.v=\omega^k v$ for $k\in \mathbb{Z}/p$. If $j\in \mathbb{Z}/n$, then how does $k$ act on $j.v$? Use the commutation relations that you know you have in $G$ between elements of $\mathbb{Z}/n$ and $\mathbb{Z}/p$

share|improve this answer
add comment

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.