isEuclideanDomain

URI: https://gptkb.org/prop/isEuclideanDomain
6 triples
GPTKB property
Random triples
Subject Object
gptkb:\\mathbb{Z} true
gptkb:the_ring_of_polynomials_K[x]_over_a_field_K true
gptkb:Eisenstein_integer true
gptkb:ℤ[ω] true
gptkb:the_ring_of_integers_Z true
gptkb:the_field_of_rational_numbers_Q false