2

Suppose $L,K$ are fields. Is is true that if $L$ a finitely generated $K$-algebra then $L/K$ is a finite field extension?

Wikipedia seems to think so. But if it is true surely it's difficult to prove? After all the Nullstellensatz would seem to follow immediately from such a result. Is this the basic idea of Noether Normalisation?

Any advice or guidance about a proof would be greatly appreciated!

  • 1
    @EdwardHughes: This is one form of Nullstellensatz. It is not easier nor harder than Nullstellensatz. –  Oct 07 '12 at 14:03

1 Answers1

4

You can look at my answer given here. It proves using Noether Normalisation that the extension $L/K$ must necessarily be finite.

  • Aha - thank you. Didn't see that question. I guess mine is a slight duplicate of that one. As such it can probably just be closed! – Edward Hughes Oct 07 '12 at 14:09