Proposition 7.9 in Atiyah & MacDonald's Introduction to Commutative Algebra states:

Let $k$ be a field and $E$ a finitely-generated $k$ algebra. If $E$ is a field, then it is finite algebraic extension of $k$.

The proof begins with the line: ''Let $E =k[x_1, \dots, x_n]$". Would someone be able to explain why this is obviously always possible? It seems that we are assuming something we are trying to prove.

  • 3
    $\begingroup$ Is this not what it means that $E$ is a finitely generated $k$-algebra? $\endgroup$ Jul 8, 2015 at 20:39
  • $\begingroup$ What is $F$ in this problem? But yes, that opening line merely repeats that $E$ is a finitely-generated $k$ algebra. $\endgroup$
    – hardmath
    Jul 8, 2015 at 20:43

1 Answer 1


There are a finite number of generators for $E$ as a $k$ algebra - which is what the statement expresses.

The substantial content of the proposition is that if $E$ is a field then the $x_i$ (and hence all elements of $E$) are algebraic over $k$.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .