Intereting Posts

Continuous functions on discrete product topology
Proving a sample mean converges in probability to the true mean
Monotonocity of the function
An integral domain whose every prime ideal is principal is a PID
Finding combinatorial sum
Is there exist a homemoorphism between either pair of $(0,1),(0,1],$
What does it mean when two functions are “orthogonal”, why is it important?
Need to simplify ratio test: $\frac{(2(k+1))!}{(2k)!} $
A Cauchy sequence has a rapidly Cauchy subsequence
What is $\aleph_0$ powered to $\aleph_0$?
Convergence in probability inverse of random variable
Do complex numbers really exist?
Equivalence of categories ($c^*$ algebras <-> topological spaces)
A problem in the space $C$
cauchy sequence on $\mathbb{R}$

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,

- Prove that G is a cyclic group
- Proving that a normal, abelian subgroup of G is in the center of G if |G/N| and |Aut(N)| are relatively prime.
- A question about perfect group
- Finite p-group with a cyclic frattini subgroup.
- a question about fixed-point-free automorphism
- No group of order 400 is simple

Thank you in advance!!

- $U(n) \simeq \frac{SU(n) \times U(1)}{\mathbb{Z}_{n}}$ isomorphism
- Does $|x^G|$ divide the order $\langle x^G\rangle$?
- Conjugacy classes of D2n?
- Why do the elements of finite order in a nilpotent group form a subgroup?
- $H$ is a maximal normal subgroup of $G$ if and only if $G/H$ is simple.
- Petersen graph is not a Cayley graph
- No group of order 400 is simple
- Problem 4.3, I. Martin Isaacs' Character Theory
- Number of cycles in complete graph
- How can I calculate $gnu(17^3\times 2)=gnu(9826)$ with GAP?

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.

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).

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$

- Find a conformal map from the disc to the first quadrant.
- Group theory applications along with a solved example
- Find vector field given curl
- Why does $K \leadsto K(X)$ preserve the degree of field extensions?
- Book ref. request: “…starting from a mathematically amorphous problem and combining ideas from sources to produce new mathematics…”
- prove that $A(n) : \left(\frac n3\right)^n\lt n!\lt \left(\frac{n}{2}\right)^n$ for all $n\ge 6$
- Prove that $\int\limits_0^1 x^a(1-x)^{-1}\ln x \,dx = -\sum\limits_{n=1}^\infty \frac{1}{(n+a)^2}$
- How to evaluate $\int_0^{2\pi}\frac{1}{(1+a\cos {\theta})^2}\,d\theta$ without contour integration?
- Finding derivative of $\sqrt{x}$ using only limits
- Number of 4-digit numerals with at most 2 different digits
- Tiling problem: 100 by 100 grid and 1 by 8 pieces
- How to prove the uniqueness of a continuous extension of a densely defined function?
- row operations, swapping rows
- why is $\sum\limits_{k=1}^{n} k^m$ a polynomial with degree $m+1$ in $n$
- Cumulative distribution function of sum of binomial random variables