hasKrullDimension

Indicates that a mathematical structure (typically a ring or scheme) is associated with a specific Krull dimension, measuring the maximal length of chains of its prime ideals.

Sample triples (1)