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
|