What is the simplest proof of the fact that an integral algebra $R$ over a field $k$ has the same Krull dimension as transcendence degree $\operatorname{trdeg}_k R$? Is it possible to use only Noether normalization theorem?

  • 2
    $\begingroup$ Please define the trancendence degree of an algebra (I guess it is that of its field of fractions). It is not true in general: take for $R$ a non-algebraic field extension of $k$. $\endgroup$ – user18119 Oct 29 '12 at 10:21

R. Ash, A Course in Commutative Algebra, proof of Theorem 5.6.7 uses Noether normalization and few obvious remarks on integral extensions. (However, see QiL's comment.)

  • $\begingroup$ In Introduction to commutative algebra There is used a lot of properties of dimensions of local rings. Where is there simple proof, using only Noether normalization? $\endgroup$ – user46336 Oct 29 '12 at 18:11
  • $\begingroup$ Which new reference? Can you advise me a some book or link? $\endgroup$ – user46336 Oct 29 '12 at 18:29
  • $\begingroup$ Thank you, yes! It's obvious, that the thanscendence degree is not lower, than Krull. The thing to be proved is that if we factorize by the minimal prime ideal, then the transcendence degree decreases exactly by 1. $\endgroup$ – user46336 Oct 29 '12 at 20:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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