En la pregunta
El autor está hablando de representaciones irreductibles de un producto semi-directo. ¿Quiere decir representaciones sobre$\mathbb{C}, \mathbb{Z}, \mathbb{F}_p, \ldots$? ¿O sería la misma manera de construirlos?
No estoy seguro de si está permitido volver a hacer una pregunta. Si no. Lo siento.