Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This question already has an answer here:

Noether normalization tells us that a finitely generated $k$-algebra is an integral extension of a polynomial algebra over the field $k$.

My question is whether this still holds if we replace the field $k$ by a more general ring.

Question: Let $R$ be a commutative ring, and let $A$ be a finitely generated $R$-algebra which is flat over $R$. Are there $R$-algebraically independent elements $x_1,\dots, x_m\in A$ such that $A$ is integral over $R[x_1,\dots, x_m]$?

EDIT: Seeing that the general question above was already asked, I should change it to the case I am really interested in:

What is the answer in the case that $R$ is a local $k$-algebra of dimension zero over some field $k$? (So $R$ is nearly a field, but not reduced.)

share|improve this question

marked as duplicate by Stefan Kohl, David White, Ricardo Andrade, j.c., Daniel Moskovich Nov 29 '13 at 1:25

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Do you want to add some hypotheses on $R$? This can definitely fail if $\text{Spec} R$ is disconnected or reducible. –  Jason Starr Nov 28 '13 at 10:45
We can restrict to ${\rm Spec}R$ being connected. Maybe also that $A$ is even faithfully flat. The case I am troubled with is that of a nonreduced local ring $R$. Of course $R$ and $A$ should be commutative. –  AndreasM Nov 28 '13 at 12:13
Unfortunately "connected" is not strong enough. Let $R$ be $k[u,v]/\langle uv \rangle$, and let $A$ be $R[s,t]/\langle t(u+v)-1,su \rangle$. Then $A$ is $R$-flat, but $A$ is not integral over $R[x_1,\dots,x_m]$ for any $R$-algebraically independent elements $x_1,\dots,x_m$ in $A$. –  Jason Starr Nov 28 '13 at 13:13
My previous example is not faithfully flat over $R$, but that is easy to remedy. Just define $B$ to be $A\times R$ with its natural $R$-algebra structure. Really, you need to add some irreducibility hypotheses. –  Jason Starr Nov 28 '13 at 18:19
Hey! Is that allowed? –  Jason Starr Nov 28 '13 at 23:26

1 Answer 1

Here's one generalization, taken from

Notes of Mel Hochster

Theorem: Let $D$ be an integral domain and let $R$ be any finitely generated $D$-algebra extension of $D$. Then there is a nonzero element $c \in D$ and elements $z_1, \ldots, z_d$ in $R_c$ algebraically independent over $D_c$ such that $R_c$ is module-finite over its subring $D_c[z_1, \ldots, z_d]$, which is isomorphic to a polynomial ring over $D_c$.

After looking at the proof very briefly, I don't see how to replace the inverting an element with a flatness hypothesis. Maybe you could blow something up and work on some charts though...

share|improve this answer
This is in Nagata, Local rings, I.14.4. –  Cantlog Nov 28 '13 at 22:31

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