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 |
gptkb:local_ring
integrally closed |
| gptkbp:heldBy |
gptkb:integral_domain
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
valuation ring
|