3

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?

user6495
  • 3,957

1 Answers1

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]$.

Zev Chonoles
  • 129,973
lhf
  • 216,483
  • 1
    @user6495: A reference for the fact that this suffices is Corollary 5.2 in Atiyah-Macdonald. – Zev Chonoles May 16 '11 at 01:34
  • 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. – lhf May 16 '11 at 01:42
  • @lhf: another doubt: why is this a finite extension? is it because $k[x^{2}]$ is finitely generated? – user6495 May 16 '11 at 01:54
  • @user6495: every polynomial in $k[x]$ can be written as $p(x^2)+xq(x^2)$. – lhf May 16 '11 at 02:00
  • @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? – user6495 May 16 '11 at 02:40
  • @user6495: Indeed it should be, but this is lhf's answer. I'll edit it. – Zev Chonoles May 16 '11 at 04:41
  • @Zev, thanks for fixing it! – lhf May 16 '11 at 10:48