Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
integral domain |
| gptkbp:abbreviation |
greatest common divisor domain
|
| gptkbp:defines |
an integral domain in which any two nonzero elements have a greatest common divisor
|
| gptkbp:example |
the ring of integers
the ring of polynomials over a field |
| gptkbp:field |
abstract algebra
|
| https://www.w3.org/2000/01/rdf-schema#label |
GCD domain
|
| gptkbp:property |
every principal ideal domain is a GCD domain
every unique factorization domain is a GCD domain not every GCD domain is a unique factorization domain |
| gptkbp:relatedTo |
integral domain
principal ideal domain unique factorization domain greatest common divisor |
| gptkbp:bfsParent |
gptkb:UFD_(Unique_Factorization_Domain)
|
| gptkbp:bfsLayer |
6
|