3
$\begingroup$

I'm reading page $59$ of Reid's "Undergraduate commutative algebra" book.

In example (ii) it says, $k[x^{2}] \subset k[x]$ is an integral extension.

How do we know this? I mean, in order to show this we must take a polynomial $f(x) \in k[x]$ and show there is a monic polynomial $g(x) \in k[x^{2}]$ such that $g(f(x))=0$, right? Why can we do this?

  • 0
    No, we want to find a $g(T)\in k[x^2][T]$ such that $g(f(x))=0\in k[x]$.2011-05-16
  • 0
    @Zev Chonoles: thanks, gonna post a question about local rings, can you please have a look?2011-05-16
  • 0
    @user6495: Sure thing.2011-05-16

1 Answers 1

4

It's enough to prove that $x$ is integral over $k[x^2]$, which it clearly is, being a root of $T^2-x^2 \in k[x^2][T]$.

  • 1
    @user6495: A reference for the fact that this suffices is Corollary 5.2 in Atiyah-Macdonald.2011-05-16
  • 1
    @Zev, more precisely, I meant that you only need to know that if $u$ and $v$ are integral over $A$ then so are $u+v$ and $uv$, which is essentially Corollary 5.3. Thanks for the reference anyway.2011-05-16
  • 0
    @lhf: another doubt: why is this a finite extension? is it because $k[x^{2}]$ is finitely generated?2011-05-16
  • 0
    @user6495: every polynomial in $k[x]$ can be written as $p(x^2)+xq(x^2)$.2011-05-16
  • 0
    @lhf: Thanks. I get confused sometimes with the definitions. To show that $k[x]$ is a finite extension of $k[x^{2}]$ we need to show that every polynomial in $k[x]$ is a finite linear combination of elements of $k[x]$ and $k[x^{2}]$ , i.e as a $k[x^{2}]$-module?2011-05-16
  • 0
    @user6495: Indeed it should be, but this is lhf's answer. I'll edit it.2011-05-16
  • 0
    @Zev, thanks for fixing it!2011-05-16