Assertion: ring | /r/HasProperty | dedekind domains
Facets:
value: always
type: TEMPORAL
Source sentences:
text: The rings of integers in number fields are Dedekind domains.
text: A ring of integers is always a Dedekind domain, and so has unique factorization of ideals into prime ideals.