I'm trying to give an example of a normal field extension $K|F$ that is not separable. I now that if $F$ is finite or char$(F)=0$, $K|F$ is automatically separable, thus, I must look into infinite fields with char$(F)=p>0$.
The only fields I know that satisfy those properties are the rational function field over the $\mathbb{Z}_p$'s, but the examples I've seen before with those fields are never trivial! I have an idea but I'm not sure if it's right:
Let $p$ be a prime, $F=\mathbb{F}_p(t^p)$ and $K=F(t)$. $K|F$ is not separable since the minimal polynomial $\mbox{min}(F,t)=x^p-t^p$ has repeated roots. However, this extension is normal since $K$ is the splitting field of $t$ over $F$.
I hope someone can make a comment about this. Thanks.