Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Monarch
|
| gptkbp:example |
local rings of discrete valuation
the ring of integers in a number field the ring of polynomials over a field |
| gptkbp:has_programs |
gptkb:currency
algebraic geometry coding theory computation in number theory |
| gptkbp:has_property |
Noetherian
every ideal can be factored into prime ideals dimension 1 integrally closed |
| https://www.w3.org/2000/01/rdf-schema#label |
Dedekind domains
|
| gptkbp:is_characterized_by |
every nonzero prime ideal is maximal
unique factorization of ideals |
| gptkbp:is_part_of |
gptkb:item
abstract algebra commutative algebra |
| gptkbp:is_used_in |
representation theory
algebraic topology homological algebra mathematical logic |
| gptkbp:named_after |
gptkb:Richard_Dedekind
|
| gptkbp:related_to |
algebraic number theory
Dedekind's criterion class group |
| gptkbp:bfsParent |
gptkb:Marie_Dedekind
|
| gptkbp:bfsLayer |
6
|