isUniqueFactorizationDomain

URI: https://gptkb.org/prop/isUniqueFactorizationDomain
4 triples
GPTKB property
Random triples
Subject Object
gptkb:the_ring_of_integers_Z true
gptkb:ℤ[ω] true
gptkb:the_ring_of_polynomials_K[x]_over_a_field_K true
gptkb:Polynomial_ring_in_infinitely_many_variables_over_a_field true