Krull dimension

E157401

Krull dimension is a fundamental invariant in commutative algebra that measures the "size" of a ring by the maximum length of chains of its prime ideals.

All labels observed (3)

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf commutative algebra concept ⓘ
dimension theory concept ⓘ
ring invariant ⓘ
appearsIn Hilbert’s Nullstellensatz context ⓘ
Krull’s height theorem ⓘ
Krull’s principal ideal theorem ⓘ
appliesTo Noetherian ring ⓘ
linked to: Noetherian rings

commutative ring with identity ⓘ
integral domain ⓘ
local ring ⓘ
scheme ⓘ
comparedTo global dimension ⓘ
homological dimension ⓘ
projective dimension ⓘ
context used to measure complexity of algebraic sets over a ring ⓘ
used to study chains of prime ideals in Spec R ⓘ
definedAs the supremum of lengths of chains of prime ideals in a ring ⓘ
defines a notion of dimension for commutative rings ⓘ
example a field has Krull dimension 0 ⓘ
a principal ideal domain that is not a field has Krull dimension 1 ⓘ
an Artinian ring has Krull dimension 0 ⓘ
the polynomial ring k[x1,…,xn] over a field k has Krull dimension n ⓘ
field algebraic geometry ⓘ
commutative algebra ⓘ
ring theory ⓘ
generalizes geometric dimension of affine varieties ⓘ
hasVariant Krull–Gabriel dimension ⓘ
cohomological dimension ⓘ
transcendence degree as a related notion for fields ⓘ
measures the size of a ring via chains of prime ideals ⓘ
namedAfter Wolfgang Krull ⓘ
property can be infinite ⓘ
equals the supremum of heights of prime ideals ⓘ
for Noetherian rings equals the maximum length of chains of prime ideals ⓘ
is a nonnegative integer or infinity ⓘ
is invariant under ring isomorphism ⓘ
is monotone under integral extensions in many cases ⓘ
relatedTo Zariski topology ⓘ
codimension ⓘ
dimension of an algebraic variety ⓘ
height of a prime ideal ⓘ
spectrum of a ring ⓘ
symbol dim R ⓘ
usedIn algebraic geometry over Spec R ⓘ
classification of Noetherian rings ⓘ
commutative algebra textbooks ⓘ
dimension theory of schemes ⓘ
usesConcept chain of prime ideals ⓘ
prime ideal ⓘ

How these facts were elicited

Referenced by (9)

Full triples — surface form annotated when it differs from this entity's canonical label.

Noether normalization lemma → relatedTo → Krull dimension ⓘ
Gelfand–Kirillov dimension → relatedTo → Krull dimension ⓘ
Krull’s principal ideal theorem → relatedTo → Krull’s height theorem ⓘ
linked to: Krull dimension
Krull’s principal ideal theorem → relatedTo → Krull’s dimension theory ⓘ
linked to: Krull dimension
Krull–Gabriel dimension → refines → Krull dimension ⓘ
Wolfgang Krull → notableConcept → Krull dimension ⓘ
Eisenbud’s Commutative Algebra → topic → Krull dimension ⓘ
Cohen–Macaulay ring → hasInvariant → Krull dimension ⓘ
Cohen–Macaulay ring → relatedConcept → Krull dimension ⓘ