Krulldimensionen
Krulldimensionen, in English Krull dimension, is a numerical measure of the size of a commutative ring’s prime-ideal structure. For a ring R with unity, its Krull dimension is defined as the supremum of the lengths of all strictly increasing chains of prime ideals p0 ⊊ p1 ⊊ ... ⊊ pn within R, where the length is the number of inclusions. If no such bound exists, the Krull dimension is infinite. The dimension is denoted dim(R).
In practice, the Krull dimension captures a notion of complexity of a ring’s algebraic structure. It is
Other common properties include: dim(R/I) ≤ dim(R) for any ideal I, and dim(R × S) = max(dim(R), dim(S)).