Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
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$. – user18119 Oct 29 '12 at 10:21
up vote 2 down vote accepted

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.)

share|cite|improve this answer
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? – user46336 Oct 29 '12 at 18:11
Which new reference? Can you advise me a some book or link? – user46336 Oct 29 '12 at 18:29
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. – user46336 Oct 29 '12 at 20:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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