Is there any idea to prove that $F + xk[[x]]$ is not integrally closed when the field $k$ is a proper extension of the field $F.$

  • $\begingroup$ I find it strange to believe this when $k/F$ is purely transcendental... $\endgroup$ – darij grinberg Feb 29 '12 at 4:26

I claim the integral closure of the ring $R:=F+xk[[x]]$ is $R':=F'+xk[[x]]$, where $F'$ is the algebraic closure of $F$ inside $k$. For one, the field of fractions of $R$ is $k((x))$, and $F'$ is integral over $R$, so the integral closure of $R$ is at least as large as $R'$. On the other hand, $R$ is contained in power series ring $k[[x]]$, which is integrally closed, so any element $f$ of the integral closure of $R$ had better be a power series in $x$. By evaluating its minimal polynomial at $x=0$, we see that the constant term of $f$ is integral over $F$, so $f\in R'$, as desired.

| cite | improve this answer | |
  • $\begingroup$ It seems if $k$ is finite then the integral closure is just $k[[x]]$. Is that true or not? If that is true then how can we prove it? Thank you. $\endgroup$ – Rajnish Feb 29 '12 at 16:55
  • $\begingroup$ Yes, it is true, because a finite field (like $k$) is algebraic over any subfield (like $F$). $\endgroup$ – Tiankai Mar 9 '12 at 5:50

Your Answer

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

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