Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematical Object

Krull Dimension

Algebraic Geometry and K-Theory

In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals in that ring, a quantity that need not be finite even for a well behaved Noetherian ring. It was introduced to give an algebraic definition of the dimension of an algebraic variety, since the dimension of the affine variety defined by an ideal I in a polynomial ring R equals the Krull dimension of the quotient ring R modulo I. A field has Krull dimension zero, a polynomial ring in n variables over a field has Krull dimension n, and a principal ideal domain that is not itself a field has Krull dimension one. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Classification
Object Kind
Number 1
Connections

Attributed To

Source Krull Dimension (Wikipedia)

In Branch

Source Krull Dimension (Wikipedia)

Is Kind Of Object

Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.

Sources
1. Krull Dimension (Wikipedia)
  • In Branch: Commutative Algebra, Lead sentence
    In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of
  • Attributed To: Wolfgang Krull, Lead paragraph
    In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.