Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

share|improve this question

1 Answer 1

up vote 4 down vote accepted

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)$.

share|improve this answer
    
Thanks! I was certain in my head, but just wanted something more concrete to justify myself, and that hint did the trick. –  Warren Moore Apr 14 '13 at 13:48

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.