0
$\begingroup$

In the proof of proposition 5.23 Atiyah-Macdonald on page 66 use that if $x$ is algebraic over $K$ and $v = a_n x^n + \dots + a_1 x + a_0$ then $v$ is algebraic over $K$ (where $K$ is the field of fractions of $A$ and $a_i \in A$). I tried to prove it because it seems that it should be easy to prove but didn't manage. Can someone show me how to prove it please?

I posted the statement and the first half of the proof here but my question is about the second part of the proof:

enter image description here

And I have a second question about this proof: in the first half they use the word transcendental to mean transcendental over the ring $A$ whereas in part (ii) of the proof they use algebraic to mean algebraic over the field of fractions. Is the first a mistake? Usually transcendental means transcendental over a field.

  • 0
    Dear @Alex, thank you!2012-07-19

3 Answers 3

1

If $x$ is algebraic over the field of fractions of the integral domain $A$, there is a nontrivial polynomial $\sum_j \dfrac{a_j}{b_j} x^j = 0$. Multiplying by the product of the $b_j$ we get a nontrivial polynomial with coefficients in $A$. So "algebraic over $A$" and "algebraic over the field of fractions" are equivalent.

  • 0
    Dear Robert Israel, thank $y$ou ver$y$ much for this answer!2012-07-19
4

Regarding your last question:

An element is transcendental over $A$ if and only if it is transcendental over its field of fractions. This because any polynomial over $A$ that is satisfied by $x$ is also a polynomial over $K$, and if you have a polynomial over $K$ satisfied by $x$, then you can multiply by an appropriate constant to clear denominators and get a polynomial over $A$ satisfied by $x$.

All you need to do is show that if $a$ and $b$ are algebraic over $K$, then $a+b$ and $ab$ are algebraic over $K$. The result with then follow from them, since elements of $A$ are certainly algebraic over $K$ (they satisfy the polynomial $t-a$).

To show that this is indeed the case, note that if $b$ is algebraic over $K$ then it is also algebraic over $K[a]$ (same polynomial serves as witness). Therefore, $K[a,b]$ is finite dimensional over $K[a]$, which is finite dimensional over $K$. Thus, $ab,a+b\in K[a,b]$ lie in a finite dimensional vector space over $K$< hence are algebraic over $K$.

  • 0
    Dear Arturo Magidin, thank you very much $f$or this answer!2012-07-19
2

$x$ is algebric if and only if $K[x]$ is finite dimensional over $K$. Now if $v$ is polynomial in $x$ then $K \subset K[v] \subset K[x]$, thus if $K[x]$ is finite extenioon, so is $K[v]$.

  • 0
    Oh, this is a very nice proof. Thank you very much! I wish I'd thought of that!2012-07-19