Exercise 6.1 in Serre's Representations of Finite Groups I am trying to show that if $p$ divides the order of $G$ then the group algebra $K[G]$ for $K$ a field of characteristic $p$ is not semisimple. Now Serre suggests us to consider the ideal 
$$U = \left\{ \sum_{s \in G} a_s e_s \hspace{1mm} \Bigg| \hspace{1mm} \sum_{s\in G} a_s = 0\right\}$$
of $K[G]$ and show that there is no submodule $K[G]$ - submodule $V$ such that $U \oplus V = K[G]$. Now I sort of have a proof in the case that $G = S_3$ and $K = \Bbb{F}_2$ but can't seem to generalise. 
Suppose there were such a $V$ in this case. Then $V$ is one - dimensional spanned by some vector $v \in K[G]$ such that the sum of the coefficients of $u$ is not zero. If that $v$ is say $e_{(1)}$, then by multiplying with all other other basis elements of $\Bbb{F}_2[S_3]$ and taking their sum we will get something in $U$, contradiction. 
We now see that the general plan is this: If $v \notin U$ is the sum of a certain number of basis elements not in $U$, we can somehow multiply $v$ by elements in $K[G]$ then take the sum of all these to get something in $U$, contradiction.
How can this be generalised to an aribtrary field of characteristic $p$ and finite group $G$?
Thanks.

Here's my shot and the problem. I thought of this solution just before going to bed last night.
Suppose that $p$ divides the order of $G$. Then Cauchy's Theorem says that there is an element $x$ of order $p$. Consider $e_x$. If we can find a submodule $V$ such that $K[G] = U \oplus V$ then we can write 
$$e_x = u+v$$
for some $u\in U$ and $v \in V$. We note that $v \neq 0$ because $e_x \notin U$. Then consider the elements
$$\begin{eqnarray*} e_x &=& u + v \\
e_{x^2} &=& e_xu + e_x v \\
&\vdots & \\
e_{x^p} &=& e_{x^{p-1}}u + e_{x^{p-1}}v\end{eqnarray*}$$
and take their sum. We then have
$$\left(\sum_{i=1}^p e_{x^i}\right)\left(e_{1} -  u\right) = \sum_{i=1}^{p} e_{x^i}v. $$
However the guys on the left are in $U$ while the sum on the right is in $V$, contradicting $U \cap V = \{0\}$.
