5
$\begingroup$

I have a question from Serre's book "Corps Locaux", namely question 5a in section 2 of chapter IV. It is as follows:

"Let $e_K$ be the absolute ramification index of K, and let n be a positive integer prime to p and (strictly) less than $pe_K/(p-1)$; let y be an element of valuation -n. Show that the Artin-Schreier equation $x^p - x =y$ is irreducible over K, and defines an extension L/K which is cyclic of degree p. (Show that if x is a root of this equation, then the other roots have the form $x + z_i$ $(0 \leq i < p$, with $z_i \in A_K$, and $z_i \equiv i \mod{\mathbb{p_L}}$."

Here $K$ is characteristic 0, its residue field has positive characteristic p, and $K$ is a complete local field.

I'm struggling with the last part, namely showing the roots have the given form. Right now, as $(n,p)=1$, if $x$ is any root then $val(x^p) = -n$, which forces any root to not be within $K$. If I can show that in the extension of $K$ generated by $x$ I can write all other roots in the desired form, this will mean $K(x)$ is the splitting field and the Galois group will act transitively on the roots, whence the result.

Could I be pointed in the right direction?

Thanks,

Garnet

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.