Splitting field that isn't a Galois extension

I'm trying to find a counter-example to following statement: if $K$ is the splitting field of $g\in F[x],$ then the extension $K/F$ is Galois.

I know the statement is true if $g$ is separable, so I need $F$ to be infinite of characteristic $p>0$. My thoughts were something like $K/\mathbb{F}_p(t)$, where $t$ is transcendental over $\mathbb{F}_p$, and $K$ is the splitting field of $g(x)=x^p-t$.

I know that $g$ is irreducible and not separable (it has a repeated root $s\in K$, $g(x)=x^p-t=x^p-s^p=(x-s)^p$), and if I could show that $g$ was the minimal polynomial of $s$ over $\mathbb{F}_p(t)$ then I think I'd be done ($K/F$ is Galois if and only if for every $\alpha\in K$, the minimal polynomial of $\alpha$ over $F$ is separable and $K$ contains its splitting field).

I'm pretty certain that this is the counter-example that I'm looking for, but I'm just struggling to fully prove to myself that it works. I know that the minimal polynomial of $s$ must be $(x-s)^q$ for some $0<q\le p$ since it must divide $g$, but not sure how to argue that $(x-s)^q\notin \mathbb{F}_p(t)[x]$ for $0<q<p$.

Thanks, Warren

• You can save yourself a little trouble by taking $p = 2$, in which case all you need to do is show $\sqrt{t} \not\in \Bbb F_2(t)$. To see this suppose we had $u \in \Bbb F_2(t)$ with $u^2 = t$. Writing $u = \dfrac{p(t)}{q(t)}$ we have $[q(t)]^2t = [p(t)]^2$ where one polynomial has odd degree, and the other has even degree. – David Wheeler Aug 1 '14 at 19:22

Hint: it turns out that $\mathbf{F}_p(s)$ is a rational function field as well, and the field extension identifies $\mathbf{F}_p(t)$ with the subfield $\mathbf{F}_p(s^p) \subseteq \mathbf{F}_p(s)$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.91917694,"math_prob":0.9999417,"size":1112,"snap":"2019-26-2019-30","text_gpt3_token_len":345,"char_repetition_ratio":0.10740072,"word_repetition_ratio":0.03314917,"special_character_ratio":0.30395684,"punctuation_ratio":0.06854839,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000054,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-06-26T22:00:10Z\",\"WARC-Record-ID\":\"<urn:uuid:ad29517e-1028-465d-a2a2-01813f034263>\",\"Content-Length\":\"140019\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:ffe1f9e1-edbe-48c6-8d0b-6559d1a0aefe>\",\"WARC-Concurrent-To\":\"<urn:uuid:a80b72cf-bc25-4cb2-b774-e6a50fb159d9>\",\"WARC-IP-Address\":\"151.101.65.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/361223/splitting-field-that-isnt-a-galois-extension\",\"WARC-Payload-Digest\":\"sha1:3MARMA5LAE74Z4LYS227KFU2I22YRLUI\",\"WARC-Block-Digest\":\"sha1:RFGAODP7ANJLDOGAM5GLYY2PAWBLLDMD\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-26/CC-MAIN-2019-26_segments_1560628000575.75_warc_CC-MAIN-20190626214837-20190627000837-00133.warc.gz\"}"}