Category:Euclidean Domains

From ProofWiki
Jump to navigation Jump to search

This category contains results about Euclidean Domains.
Definitions specific to this category can be found in Definitions/Euclidean Domains.

Let $\struct {D, +, \circ}$ be an integral domain.

Let there exist a Euclidean valuation on $D$.

Then $D$ is called a Euclidean domain.