0
$\begingroup$

Let $K$ be finite field, $E=K((x))$ and $F=K((x^n))$, that is $F$ is field of formal laurent series in $x^n$. I know that $E\cong F$ (because you can consider $x\rightarrow x^n$ )

I want to prove if $L/F$ is any field extension of degree $n$ such that $e(L/F)=n$ then $L\cong E$ as $F$-algebra. Thanks

  • 0
    It is not true as stated. For example, suppose $-1$ has no square root in $K$ (e.g. $K=\mathbb{Z}/3\mathbb{Z}$), $n=2$, and that $L=F(\sqrt{-x^2})$. Since $E$ contains no square root of $-x^2$, $L$ and $E$ are not isomorphic.2012-06-25
  • 0
    @user8268 It is not clear for me that $e(L/F)=2$. Can you explain why $e(L/F)=2$?2012-06-25
  • 0
    $v(\sqrt{-x^2})=v(x^2)/2$ ($v$ is the valuation), so $e(L/F)\geq2$2012-06-27

1 Answers 1