Assertion: ring | /r/HasAspect | unique factorization of ideals
Facets:
value: into prime ideals
type: OTHER
Source sentences:
text: A ring of integers is always a Dedekind domain, and so has unique factorization of ideals into prime ideals.