2
$\begingroup$

let $k$ a perfect field and consider the following field $F= k((\omega))$, complete w.r.t a valuation for which $\omega$ is a uniformizer. Consider the field extension $E=F[T]/(T^2-\omega^3)$.

  1. Is it true that $\mathcal{O}_F= k[[\omega]]$ ?
  2. What is it $\mathcal{O}_E$?
  3. let $x\in E$ a root of $T^2-\omega^3$. How far are $\mathcal{O}_E$ and $\mathcal{O}_F[x]$?
  • 0
    @Alex $B$. 1) was clear I just wanted a confirm. :)2011-08-24

1 Answers 1

1

Hint: The polynomial $T^2- \omega$ is Eisenstien polynomial over $\mathcal{O}_F$ for which $E$ is the splitting field over $F.$

  • 0
    I am not an expert in number theory, I just know a bit of algebraic geometry. I don't get the hint...geometrycally if I blow-up the curve $T^2-\omega^3$ in $(\omega,T)$, I find a sort of normalization given by the ring $R=F[u]/(u^2-\omega)$ (which is normal because the curve is non singular) and an inclusion $E=F[T]/(T^2-\omega^3)\rightarrow R$ given by $T\rightarrow u\omega$. But how this construction is linked to the previous questions?2011-08-24