MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $p,q$ be primes s.t. $q=np+1$. Denote $m=p^2$. Then $\mathbb{Z}_p$ acts non-trivially on $\mathbb{Z}_q$, so we have a non-abelian semi-direct product $\mathbb{Z}_q\rtimes \mathbb{Z}_m$, with the action of $\mathbb{Z}_p$. This group has a faithful irreducible representation.

Over $\mathbb{C}$, every faithful irreducible representation must be of dimension $p$, because the dimension must divide $p^2q$, it cannot be 1 since the group is non-abelian, and it cannot be greater than $p$ because there is an abelian subgroup of order $pq$.

Is it possible to bound the dimensions of the faithful irreducible representations in characteristic $p,q$ as well?

Also, is there a simple way to check if the faithful irreducible representation I have is also irreducible in characteristic $p,q$?

share|cite|improve this question
But surely this group has a nontrivial normal $p$-subgroup and also a nontrivial normal $q$-subgroup, so there are no faithful irreducible representations in characteristic $p$ or $q$. – Derek Holt Jan 10 '13 at 19:36
Well, clearly the center is $Z_p$, and $Z_q$ is isomorphic to a normal subgroup by construction. Why does this mean there are no faithful irreducible representations in characteristic $p$ or $q$? (I guess it must be elementry, but I don't understand). Thanks. – A.B. Jan 10 '13 at 20:50
Any irreducible representation of a finite group $G$ in characteristic $p$ has $O_p(G)$ in its kernel. – Derek Holt Jan 11 '13 at 14:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.