Exercise 7, § 1
Algebra, VII, p. 49
Given an integral domain A, we call a map w from into N a Euclidean function if it satisfies the following conditions : w(xy) ≥ w(y) for each pair x, y of elements of A'. If a ∈ A' and b ∈ A', then there exist elements q, r of A such that a = bq + r, and such that either or .
If there exists a Euclidean function on A then A is called a Euclidean domain. a) Show that Z and K[X ] (where K is a field) are Euclidean domains. b) Show that every Euclidean domain is a principal ideal domain (if a is an ideal of A, choose such that is as small as possible). c) Show that the ring A of Gaussian integers (VII, p. 1) is a Euclidean domain with respect to the function (notice that, for all , there exists such that ). d) Show that the quadratic extension ring B of Z with basis (), is a Euclidean domain with respect to the function
(for all , there exists such that )
Solution
No solution has been written yet.