Skip to main content
2 of 3
typo
Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169

This is all fairly standard, but here goes. If $M$ is an irreducible $KG$-module, then (since $G$ is Abelian) we obtain a homomorphism $\theta: G \to {\rm End}_{KG}(M)^{\times}$, so $\theta(G)$ is a finite Abelian subgroup of the group of units of a division algebra (using Schur's Lemma). Hence ${\rm Im} \theta$ is cyclic. In other words, the problem is now reduced to proving the result in the case $G$ cyclic. Let us recalibrate notation, and assume that $|G| =r$ and $G = \langle g \rangle $ is cyclic. Let us consider out irreducible $KG$ module $M$ and $\theta$ as before. Let $\theta(g)$ have order $d$ ( we could actually assume that $d = r$ at this point, given what has gone before, but let us work in greater generality). Let $f(x) \in K[x]$ be the minimum polynomial of $\theta(g)$. Then $f(x)$ must be irreducible, for if $p(x) \in K[x]$ is an irreducible factor of $f(x)$, then $p(\theta(g))$ is not invertible, so must be the zero matrix, as it commutes with all of $\theta(G)$. Also, $f(x)$ divides $x^{d}-1$, since $\theta(g)$ has order $d$, and $f(x)$ does not divide $x^{h}-1$ ( hence is coprime to it) for $0 < h < d.$ Each eigenvalue of $\theta(g)$ ( in a suitable extension of $K$) is therefore a primitive $d$-th root of unity. Let $\omega_{d}$ be one of these. By the theory of the rational canonical form, we may choose a $K$-basis for $M$ such that the matrix $X$ representing $\theta(g)$ with respect to that basis is the companion matrix for $f(x)$. The size of the matrix for $\theta(g)$ is thus $[K(\omega_{d}):K] \times [K(\omega_{d}):K]$. For each positive integer $a$ coprime to $d$, and less than $d$, we may define a new matrix representation $\psi$ of $\langle g \rangle$ by setting $\psi(g) = X^{a}$ (and following the previous constructions carefully, (up to similarity) there are no other choices for which $g$ can act as a matrix of order exactly $d$ on an irreducible $KG$-module). This explains how to construct all $\phi(d)$ inequivalent irreducible representations of $\langle g \rangle$ of degree $[K(\omega_{d}):K]$ over $K$ ( where $\phi$ is Euler's function).

(actually, if all you are interested in is primitive idempotents of $KG$, you don't need to explicitly construct the representations. Just use a little Galois theory, starting from what the idempotents look like over $\overline{K}$, the algebraic closure of $K$).

Geoff Robinson
  • 44.4k
  • 5
  • 123
  • 169