Let $G$ be a finite group, and let $K$ be a finite field whose characteristic does not divide $|G|$.  I am interested in the theory of finitely generated modules over $K[G]$.  Of course many problems are not present here because $K[G]$ is semisimple and all modules are projective.  My case is partly covered by Section 15.5 of Serre's book "Linear Representations of Finite Groups".  However, Serre likes to assume that $K$ is "sufficiently large", meaning that it has a primitive $m$'th root of unity, where $m$ is the least common multiple of the orders of the elements of $G$.  I do not want to assume this, so some Galois theory of finite extensions of $K$ will come into play.  I do not think that anything desperately complicated happens, but it would be convenient if I could refer to the literature rather than having to write it out myself.  Is there a good source for this?

In particular, I think it is true that whenever $V$ is a simple $K[G]$-module, the dimension $\dim_K(V)$ divides $|G|$, just as for representations over $\mathbb{C}$.  A reference for this particular point would already be useful.