Assertion: prime number's divisor | /r/HasProperty | a generator of the ideal
Facets:
value: more technically
type: DEGREE
Source sentences:
text: More technically, a greatest common divisor of a and b is a generator of the ideal generated by a and b (this characterization is valid for principal ideal domains, but not, in general, for unique factorization domains).