Krull domain

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:characterizedBy gptkb:divisor_class_group
intersection of discrete valuation rings
gptkbp:field gptkb:commutative_algebra
gptkbp:generalizes gptkb:Dedekind_domain
unique factorization domain
gptkbp:hasProperty every nonzero prime ideal is the intersection of height one prime ideals containing it
every nonzero element is contained in only finitely many height one prime ideals
https://www.w3.org/2000/01/rdf-schema#label Krull domain
gptkbp:introducedIn 1931
gptkbp:isA integral domain
integrally closed domain
Noetherian domain (if finitely generated over a field)
gptkbp:namedAfter gptkb:Wolfgang_Krull
gptkbp:relatedTo divisor theory
valuation theory
gptkbp:bfsParent gptkb:UFD_(Unique_Factorization_Domain)
gptkbp:bfsLayer 6