dim R = sup length of chain p_0 ⊊ p_1 ⊊ … ⊊ p_n of prime ideals. Catches geometric dimension of Spec R; Noether normalization.
dim R = sup length of chain p_0 ⊊ p_1 ⊊ … ⊊ p_n of prime ideals. Catches geometric dimension of Spec R; Noether normalization.