Ring theory MOC

Euclidean domain

A Euclidean domain is an integral domain with a generalized version of the Euclidean division algorithm. More precisely, an integral domain 𝑅 is called a Euclidean domain iff there exists a Euclidean function 𝑑 :𝑅 →ℤ such that¹ #m/def/ring

1. 0 ≤𝑑(𝑎) ≤𝑑(𝑎𝑏) for all nonzero 𝑎,𝑏 ∈𝐷; and
2. if 𝑎,𝑏 ∈𝐷 and 𝑏 ≠0, then there exist elements 𝑞,𝑟 ∈𝐷 such that 𝑎 =𝑞𝑏 +𝑟 and 𝑑(𝑟) <𝑑(𝑏).

Every Euclidean domain is a Principal ideal domain.

Properties

• 𝕂[𝑥] is a Euclidean domain if 𝕂 is a field.

#state/develop | #lang/en | #SemBr