Hi, is the regular representation of a finite group $G$ over $K$ always a direct sum of irreducible representations, even if I take a general field $K$ (which must NOT be algebraically closed) but has $char(K) \nmid |G|$ ? If this is true, I whould try to use Maschke's theorem to proof it.
Regards, James

