Let $G$ be finite abelian group and $K$ a field such that $char(K)$ does not divide the order $r$ of $G$. For each divisor $d$ of $r$ let $\omega\_d$ be a primitive $d$-root of unity and $a\_d:=\frac{\mid \{ a\in G \mid o(a)=d \} \mid}{dim\_K(K(\omega\_d))}$. By a theorem of Perlis and Walker (see e.g. [Perlis/Walker](http://www.jstor.org/stable/1990406?seq=1#page_scan_tab_contents)) the group algebra $KG$ is isomorphic to $\bigoplus\limits\_{d\mid r} K(\omega\_d)^{a\_d}$. Hence for each $d\mid r$ there are $a\_d$ irreducible characters of dimension $dim\_K(K(\omega\_d))$.


My question is how these irreducible characters can be constructed? The background of my question is to compute the central idempotents $e\_i:=\frac{\chi\_i(1)}{r} \sum\limits\_{g\in G} \chi\_i(g^{-1})g$ by using the constructed irreducible characters $\chi\_1,\cdots ,\chi\_h$.



Irreducible characters of finite abelian groups
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$).


Later edit: Let me clarify this last comment a little. Fix $G$ (now finite Abelian of order $r$, but not necessarily cyclic). Let $L = K[\omega\_{r}]$. The primitive idempotents of $LG$ all have the form $e\_{\lambda} = \frac{1}{|G|} \sum\_{g \in G} \lambda(g^{-1})g$ where $\lambda$ ranges over the homomorphisms from $G$ to $L^{\times}$
(there are exactly $r$ of these). These $e\_{\lambda}$ are permuted by ${\rm Gal}(L/K)$, just as the linear characters $\lambda$ are permuted by that Galois group. The primitive idempotents of $KG$ are all of the form $\sum\_{\lambda \in \Omega} e\_{\lambda}$, where $\Omega$ ranges through the orbits of ${\rm Gal}(L/K)$ on these irreducible ($L$)-characters.


