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. for all nonzero ; and
2. if and , 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