Bourbaki

Exercise 7, § 1

Algebra, VII, p. 49

Given an integral domain A, we call a map w from A′=A−{0}A' = A - \{0\} into N a Euclidean function if it satisfies the following conditions : (SI)(S_I) w(xy) ≥ w(y) for each pair x, y of elements of A'. (SII)(S_{II}) If a ∈ A' and b ∈ A', then there exist elements q, r of A such that a = bq + r, and such that either r=0r = 0 or w(r)<w(b)w(r) < w(b).

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 a∈aa \in a such that w(a)w(a) 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 w(a+bi)=a2+b2=NQ(i)/Q(a+bi)w(a + bi) = a^2 + b^2 = N_{\mathbf{Q}(i)/\mathbf{Q}}(a + bi) (notice that, for all x∈Q(i)x \in \mathbf{Q}(i), there exists y∈Ay \in A such that N(x−y)≤112N(x - y) \leq 112). d) Show that the quadratic extension ring B of Z with basis (1,e)(1, e) (e′≡2e' \equiv 2), is a Euclidean domain with respect to the function

w(a+be)=∣a2−2b2∣=∣NQ(e)/Q(a+be)∣ w(a + be) = |a^2 - 2b^2| = |N_{\mathbf{Q}(e)/\mathbf{Q}}(a + be)|

(for all x∈Q(e)x \in \mathbf{Q}(e), there exists y∈By \in B such that ∣N(x−y)∣≤112|N(x - y)| \leq 112)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.