Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:contains |
unit element
zero element |
gptkbp:defines |
A commutative ring in which for every element x of its field of fractions, either x or x^{-1} is in the ring.
|
gptkbp:every_ideal_is |
totally ordered by inclusion
|
gptkbp:example |
gptkb:ring_of_p-adic_integers
ring of formal power series over a field |
gptkbp:field |
gptkb:algebra
gptkb:commutative_algebra |
gptkbp:has_maximal_ideal |
unique maximal ideal
|
gptkbp:hasProperty |
local ring
integrally closed |
gptkbp:heldBy |
integral domain
|
https://www.w3.org/2000/01/rdf-schema#label |
valuation ring
|
gptkbp:namedFor |
gptkb:Wolfgang_Krull
|
gptkbp:relatedTo |
valuation
discrete valuation ring field of fractions |
gptkbp:used_in |
gptkb:algebraic_geometry
number theory valuation theory |
gptkbp:bfsParent |
gptkb:commutative_algebra
|
gptkbp:bfsLayer |
5
|