Skip to main content
2 of 3
added 120 characters in body; deleted 12 characters in body
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

This follows from a direct generalization of the Noether normalization lemma. It is covered in these notes from Mel Hochster. These notes prove it in a pretty general form (when the base ring is only an integral domain rather than a field).

Edit: A sufficient condition is that the algebra is finitely generated, but it is clearly not necessary.

Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215