Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness of the quotient and remainder in the Division Algorithm; (2) permitting unique base expansion with respect to any nonzero nonunit in the ring; (3) allowing explicit solutions to Bézout s identity with norm constraints. The two most popular examples of Euclidean domains, the ring of integers Z and the ring F[ξ] of polynomials over a field F, possess slightly different properties. For example, in Z the quotient and remainder from the Division Algorithm are generally not unique (becoming so when one restricts to positive integers), while the quotient and remainder in F[ξ] are unique. Indeed, Jodeit Jr. [1967] shows that any Euclidean domain with a unique Division Algorithm is isomorphic to either a field or to the polynomial ring over a field. The differences in the two rings Z and F[ξ] also shows up in two other commonly presented results which derive from the Division Algorithm: (1) the expansion of elements of the ring in terms of a base (which is taken to be a nonzero nonunit); (2) the computation, using the Euclidean Algorithm, of solutions to Bézout s identity for coprime ring elements, and with constraints on the Euclidean norms of the solution. For the base expansion in Z, to ensure uniqueness one again needs to restrict to positive integers, whereas the base expansion is always unique in F[ξ]. Moreover, the proofs in the two cases are typically carried out separately, or the proof of one is (not entirely accurately) suggested to follow just like the proof of the other. This leads to the natural question, Is there a property of subsets of Euclidean domains which ensures, in these subsets: (1) uniqueness of the quotient and remainder; (2) uniqueness of base expansion; (3) norm bounds in the Euclidean Algorithm. We show that there is indeed such a property, and it is quite simple we call this property δ-positivity. Let us review the basic features of Euclidean domains, and provide the new definitions that will be used to prove some useful results for Euclidean domains having these properties. If A is a subset of B we write A B, using the notation A B to denote proper inclusion. We denote by Z >0 the set of positive integers and by Z 0 the set of nonnegative integers. For an integral domain R we let 1 R denote the unit element and 0 R denote the zero element. For a field F, F[ξ] denotes the polynomial ring with coefficients in F. By deg(a) we denote the degree of A F[ξ], with the convention that deg(0 F[ξ] ) =. Since there is not perfect agreement on what properties should be assigned to a Euclidean norm, let us first say exactly what we mean in this paper by a Euclidean domain. A Professor, Department of Mathematics and Statistics, Queen s University, Kingston, ON K7L 3N6, Canada Email: andrew@mast.queensu.ca, URL: http://www.mast.queensu.ca/~andrew/ Research supported in part by a grant from the Natural Sciences and Engineering Research Council of Canada 1
2 A. D. Lewis Euclidean domain is a pair (R, δ), where R is an integral domain and where the map δ : R Z 0, called the norm, has the following properties: 1. if a, b R and if ab 0 R, then δ(ab) δ(a); 2. if a, b R with b 0 R, then there exists q, r R such that (a) a = qb + r and such that (b) δ(r) < δ(b). We shall make use of the following facts about Euclidean domains, without explicit mention: 1. δ(0 R ) < δ(1 R ); 2. if a R \ {0 R } then δ(a) δ(1 R ); 3. δ(a) = δ(0 R ) if and only if a = 0 R ; 4. for a R \ {0 R }, δ(ab) = δ(a) if and only if b is a unit; 5. a R is a unit if and only if δ(a) = δ(1 R ). Now let us give a few new definitions. 1 Definition: Let (R, δ) be a Euclidean domain. (i) A subset C R is trivial if C = {0 R }, and is nontrivial otherwise. (ii) A nonempty subset C R is δ-closed if, for each a, b C with b 0 R, there exists q, r C such that a = qb + r and such that δ(r) < δ(b). (iii) A subset C R admits a unique Division Algorithm if, for each a, b C with b 0 R, there exists unique q, r C such that a = qb + r and such that δ(r) < δ(b). (iv) A nonempty subset P R is δ-positive if, for each a, b P, we have δ(a b) max{δ(a), δ(b)}. In this paper we will be interested in nontrivial, δ-closed, and δ-positive subsemirings of Euclidean domains, recalling that a subsemiring S R has the property that if a, b S then ab S and a + b S. Let us give the two primary examples which illustrate the preceding concepts. 2 Examples: 1. For the ring Z we take the usual Euclidean norm: δ(k) = k. One can easily verify using elementary properties of integers that the subset Z 0 Z is a nontrivial, δ-closed, and δ-positive subsemiring. Note, however, that Z is not a δ-positive subset of itself since, for example, δ(1 ( 2)) = 3 > max{δ(1), δ(2)}. 2. Let F be a field and define δ : F[ξ] Z 0 by { 0, A = 0 δ(a) = F[ξ], deg(a) + 1, A 0 F[ξ].
Subsets of Euclidean domains possessing a unique division algorithm 3 The pair (F[ξ], δ) is then well known to be a Euclidean domain. We claim that F[ξ] is a δ-positive subset of itself. If either A or B is nonzero, then δ(a B) = deg(a B) + 1 max{deg(a), deg(b)} + 1 = max{deg(a) + 1, deg(b) + 1} = max{δ(a), δ(b)}, and, if A = B = 0 F[ξ], then δ(a B) = max{δ(a), δ(b)}. This shows that F[ξ] is indeed δ-positive. The following property of nontrivial δ-closed subsets is useful. 3 Lemma: If (R, δ) is a Euclidean domain and if S R is a nontrivial δ-closed subsemiring, then 0 R, 1 R S. Proof: Let b S {0 R }. Since S is δ-closed there exists q, r S such that b = qb + r with δ(r) < δ(b). We claim that this implies that q = 1 R and r = 0 R. Suppose that q 1 R. Then δ(b) δ((1 R q)b) = δ(r) < δ(b) which is a contradiction. Thus q = 1 R, and it then follows that r = 0 R. Let us first explore the relationship between δ-positivity and uniqueness in the Division Algorithm. Note that, for the Euclidean domain (Z, δ), we do not generally have such uniqueness since, for example, we can write 6 = 1 5 + 1 = 2 5 4. 4 Proposition: If (R, δ) is a Euclidean domain and if S is a nontrivial, δ-closed, and δ- positive subsemiring of R, then S admits a unique Division Algorithm. Proof: Suppose that a = q 1 b + r 1 = q 2 b + r 2 for q 1, q 2, r 1, r 2 S with δ(r 1 ), δ(r 2 ) < δ(b). Then (q 1 q 2 )b = r 2 r 1, and so δ((q 1 q 2 )b) = δ(r 1 r 2 ) max{δ(r 1 ), δ(r 2 )} < δ(b), using δ-closedness of S. This implies that (q 1 q 2 )b = 0 R. Since b 0 R this implies that q 1 q 2 = 0 R and so q 1 = q 2. We then immediately have r 1 = r 2. The condition of δ-positivity is, in certain circumstances, also necessary for uniqueness in the Division Algorithm. 5 Proposition: Let (R, δ) be a Euclidean domain and let S R be a nontrivial, δ-closed subsemiring with the following properties: (i) S generates R as a ring; (ii) S admits a unique Division Algorithm. Then S is δ-positive. Proof: Note that since S is a subsemiring, S generates R as a ring if and only if, for every r R, it holds that either r S or r S. Suppose that S is not δ-positive so that δ(a b) > max{δ(a), δ(b)} for some a, b S. Suppose that b a S. Then b = 0 R (b a) + b, b = 1 R (b a) + a, δ(b) < δ(b a), δ(a) < δ(b a), which shows that S does not admit a unique Division Algorithm. argument gives the same conclusion when a b S. An entirely similar
4 A. D. Lewis Next we show that base expansion is valid in δ-positive subsets. Again, while base expansions exist for all integers, in order to ensure uniqueness of the coefficients in the expansion, one needs to restrict to positive integers to obtain uniqueness. Much of the proof we give is to be found in standard texts, but we give all of the details in order to illustrate exactly where our additional hypothesis of δ-positivity is used. 6 Proposition: Let (R, δ) be a Euclidean domain, let S R be a nontrivial, δ-closed, and δ-positive subsemiring, and let b S be a nonzero nonunit. Then, given a S \ {0 R }, there exists a unique k Z 0 and unique r 0, r 1,..., r k S such that (i) r k 0 R, (ii) δ(r 0 ), δ(r 1 ),..., δ(r k ) < δ(b) and (iii) a = r 0 + r 1 b + r 2 b 2 + + r k b k. Proof: We prove the result by induction on δ(a). By Lemma 3 we have inf{δ(a) a S} = 0. Since we do not consider the case δ(a) = δ(0 R ), first consider a R such that δ(a) = δ(1 R ). Then a is a unit. Thus, since b is a nonzero nonunit, we have δ(a) < δ(b), and the existence part of the result follows by taking k = 0 and r 0 = a. Now suppose that the result holds for all a S such that δ(a) {δ(1 R,..., m}. Let a be such that δ(a) = inf{δ(r) r S, δ(r) > m}. If δ(a) < δ(b) then take k = 0 and r 0 = a to give existence in this case. Otherwise, apply the Division Algorithm to give a = qb + r with δ(r) < δ(b). Since S is δ-closed, we can moreover suppose that q, r S. Now, since b is a nonzero nonunit, since we are supposing that δ(a) δ(b) > δ(r), and since S is δ-positive, δ(q) < δ(qb) = δ(a r) max{δ(a), δ(r)} = δ(a). Therefore, we may apply the induction hypothesis to q to give q = r 0 + r 1b + r 2b 2 + + r k bk for some k Z 0 and for r 0, r 1,..., r k S. Then a = (r 0 + r 1b + r 2b 2 + + r k bk )b + r = r + r 0b + r 1b 2 + + r k bk+1, showing that the existence part of the result holds for δ(a) = inf{δ(r) r S, δ(r) > m}. This proves the existence part of the result for all a S by induction. We also prove the uniqueness assertion by induction on δ(a). First we use a technical lemma concerning the general expansion of 0 R in the base b.
Subsets of Euclidean domains possessing a unique division algorithm 5 Lemma: Let (R, δ) be a Euclidean domain with b R a nonzero nonunit. If k Z 0 and r 0, r 1,..., r k R satisfy (i) r 0 + r 1 b + r 2 b 2 + + r k b k = 0 R and (ii) δ(r 0 ), δ(r 1 ),..., δ(r k ) < δ(b), then r 0 = r 1 = = r k = 0 R. Proof: We prove this by induction on k. For k = 0 the result is trivial. For k = 1 we have r 0 + r 1 b = 0 R, and we claim that r 0 = r 1 = 0 R. Suppose that r 1 0 R. Then δ(b) δ(r 1 b) = δ( r 0 ) = δ(r 0 ) < δ(b), which is a contradiction. Thus r 1 = 0 R, and then also r 0 = 0 R. Now suppose the result holds for k {0, 1,..., m} and consider the expression 0 R = r 0 + r 1 b + r 2 b 2 + + r m+1 b m+1 = (r 1 + r 2 b + + r m+1 b m )b + r 0. Since the result holds for k = 1, it follows that r 1 + r 2 b + + r m+1 b m = 0 R, r 0 = 0 R. By the induction hypothesis, r 1 = r 2 = = r m+1 = 0 R, and so the result follows. Now we carry on with the uniqueness part of the proof. First consider the case when δ(a) = δ(1 R ). Then, since b is a nonzero nonunit, δ(a) < δ(b). Suppose that a = r 0 + r 1 b + r 2 b 2 + + r k b k = (r 1 + r 2 b + + r k b k 1 )b + r 0 (1) for r 0, r 1,..., r k S with δ(r 0 ), δ(r 1 ),..., δ(r k ) < δ(b). By Proposition 4 there is only one way to express a as qb + r with δ(r) < δ(b) and with q, r S, and from the existence part of the proof we know that this implies that r 1 + r 2 b + + r k b k 1 = 0 R, r 0 = a. By the lemma we can then assert that r 1 = = r k = 0 R, and so we must have k = 0 and r 0 = a as the unique solution to (1). Thus the result holds when δ(a) = δ(1 R ). Next suppose the result true for δ(a) {δ(1 R,..., m}, and suppose that a S satisfies Then suppose that δ(a) = inf{δ(r) r S, δ(r) > m}. a = r 0 + r 1 b + + r k b k = r 0 + r 1b + + r k bk for k, k Z 0, r 0, r 1,..., r k S, and r 0, r 1,..., r k S satisfying δ(r j ), δ(r j ) < δ(b) for j {0, 1,..., k} and j {0, 1,..., k }. Also suppose that r k, r k 0 R. Then (r 1 + r 2 b + + r k b k 1 ) b + r } {{ } 0 = (r 1 + r 2b + + r k 1 bk ) b + r } {{ } 0. q q
6 A. D. Lewis By Proposition 4 we have q = q and r 0 = r 0. First suppose that δ(a) < δ(b). Then, by Proposition 4, we have q = q = 0 R and r 0 = r 0 = a. By the lemma it follows that r 1 = = r k = 0 R and r 1 = = r k = 0 R, and so we have k = k = 0 and r 0 = r 0 = a. Next suppose that δ(a) δ(b). Then it follows that q, q 0 R, since otherwise we have a = r 0 = r 0, contradicting the fact that δ(r 0), δ(r 0 ) < δ(b). Then we have δ(q) < δ(qb) = δ(a r 0 ) max{δ(a), δ(r 0 )} = δ(a) since b is a nonzero nonunit and since δ(a) δ(b) > δ(r 0 ). Similarly, δ(q ) < δ(a). Therefore, the induction hypothesis applies to q and q and we conclude that k 1 = k 1 and r j = r j for j {1,..., k}, so proving the uniqueness part of the result by induction on δ(a). The preceding base expansion result has the following consequence which will be useful to us in our proof below of the norm bounds in the Euclidean Algorithm. 7 Proposition: Let (R, δ) be a Euclidean domain, let S R be a nontrivial, δ-closed, and δ-positive subsemiring of R, and let If U S and if x S satisfies U = {r S r is a unit} {0 R }. δ(x) = inf{δ(r) r S, δ(r) > δ(1 R )}, then, for a S \ {0 R }, there exists a unique k Z 0 and c 0, c 1,..., c k U such that (i) c k 0 R and (ii) a = c 0 + c 1 x + + c k x k. Moreover, if U S and if a, b S \ {0 R } are written as a = c 0 + c 1 x + + c k x k, b = d 0 + d 1 x + + d l x l for c 0, c 1,..., c k, d 0, d 1,..., d l U such that c k, d l 0 R, then δ(a) > δ(b) if and only if k > l. Proof: Since x is a nonzero nonunit, from Proposition 6 we can write a = c 0 +c 1 x+ +c k x k for unique c 0, c 1,..., c k S with c k 0 R and δ(c 0 ), δ(c 1 ),..., δ(c k ) < δ(x). The hypotheses on x immediately give c 0, c 1,..., c k U. Now let a and b be as stated in the second assertion and write a = qb + r for q, r S with δ(r) < δ(b), this being possible by δ-closedness of S. Let us assume that δ(a) > δ(b). We will show by induction on δ(b) that k > l. First suppose that δ(b) = δ(1 R ) so that b U. Since δ(a) > δ(b) it follows that a is a nonzero nonunit and so, by the first part of the result, k > 1, giving the result in this case. Assume the result holds for δ(b) {δ(1 R ),..., n} and suppose that δ(b) = inf{δ(r) r c, δ(r) > n}. We claim that the hypothesis that δ(a) > δ(b) implies that q is a nonzero nonunit. If q = 0 R then a = r and so δ(b) > δ(r) = δ(a), in contradiction with our assumption. If q is a unit then δ(b) = δ(qb) = δ(a r) = δ(a),
Subsets of Euclidean domains possessing a unique division algorithm 7 the last equality holding since δ(r) < δ(b) < δ(a) and since δ(a r) max{δ(a), δ(r)} by δ-positivity of S. Thus q being a unit leads to the contradiction δ(b) = δ(a). Since q is a nonzero nonunit, by the first conclusion of the proposition we have q = u 0 +u 1 x+ +u m x m for m Z >0 with u 0, u 1,..., u m U and u m 0 R. Since δ(r) < δ(b) the induction hypotheses imply that r = v 0 + v 1 x + + v p x p for p < l with v 0, v 1,..., v p U and v p 0 R. Therefore, a = c 0 + c 1 x + + c k x k = (u 0 + u 1 x + + u m x m )(d 0 + d 1 x + + d l x l ) + v 0 + v 1 x + + v p x p, from which we deduce that k > l since R is a domain and since p < m + l. Now assume that k > l. Let us write q = u 0 + u 1 x + + u m x m, r = v 0 + v 1 x + + v p x p with u 0, u 1,..., u m, v 0, v 1,..., v p U and u m, v p 0 R. Since δ(r) < δ(b) the previous part of the proof gives p < l. By the uniqueness part of Proposition 6 we must have m = k l > 0. Therefore, again by the uniqueness part of Proposition 6, we conclude that q is not a unit and so δ(q) > δ(1 R ). Therefore, δ(b) < δ(qb) = δ(a r) max{δ(a), δ(r)} = δ(a), the last equality holding since δ(r) < δ(b). This gives the result. Note that as a consequence of this, the characterisation of Jodeit Jr. [1967] of Euclidean rings admitting a unique division algorithm follows straightforwardly. 8 Corollary: If (R, δ) is a Euclidean domain that admits a unique Division Algorithm, then (i) the set of units in R forms a field which we denote by F R and (ii) if F R R then R is isomorphic to F R [ξ]. Proof: We claim that R admits a unique Division Algorithm if and only if δ(a + b) max{δ(a), δ(b)} for every a, b R. Certainly, if δ(a+b) max{δ(a), δ(b)} for every a, b R, then R is a δ-closed and δ-positive subsemiring of itself, and then uniqueness of quotient and remainder follows from Proposition 4. Conversely, suppose that a, b R \ {0 R } satisfy δ(a + b) > max{δ(a), δ(b)}. Then we can write a = 0 R (a + b) + a with δ(a) < δ(a + b) and also a = 1 R (a + b) + ( b) with δ( b) < δ(a + b). Thus R does not admit a unique Division Algorithm. That the units in R form a field will follow if we can show that, if units a, b R satisfy a + b 0 R, then a + b is a unit. This, however, follows since δ(1 R ) δ(a + b) max{δ(a), δ(b)} = δ(1 R ), and so δ(a + b) = δ(1 R ), implying that a + b is a unit. The final assertion of the corollary follows from Proposition 7 since every r R can be written as r = a 0 + a 1 x + + a k x k
8 A. D. Lewis for unique a 0, a 1,..., a k F R with a k 0 R and with x as defined in the statement of Proposition 7. We then easily see that the map R a 0 + a 1 x + + a k x k a 0 + a 1 ξ + + a k ξ k F R [ξ] is the desired isomorphism. The final theorem we state concerns solutions to Bézout s identity, which states that, if a, b R are elements of a principal ideal domain, then a and b are coprime if and only if there exists r, s R such that ra + bs = 1 R. One way to compute r and s for Euclidean domains involves the Euclidean Algorithm. To establish notation, let us recall that the Euclidean Algorithm states that, if (R, δ) is a Euclidean domain and if a, b R with b 0 R, then there exists k Z 0, q 0, q 1,..., q k R, and r 0 = b, r 1,..., r k R \ {0 R } such that a = q 0 r 0 + r 1, δ(r 1 ) < δ(r 0 ), r 0 = q 1 r 1 + r 2, δ(r 2 ) < δ(r 1 ),. (2) r k 2 = q k 1 r k 1 + r k, δ(r k ) < δ(r k 1 ), r k 1 = q k r k. Moreover, it turns out that r k as it appears in the Euclidean Algorithm is a greatest common divisor for a and b. In particular, if a and b are coprime, then r k is a unit. Moreover, as we shall see in our next theorem, one can use the Euclidean Algorithm to find r, s R such that ra + bs = 1 R. In a Euclidean domain one can ask that r and s have norms satisfying some bound; the usual bounds are that δ(r) < δ(b) and δ(s) < δ(a). As we see in the following theorem, if one enforces δ-positivity, then the bounds are achieved by the (necessarily unique) solution obtained from the Euclidean Algorithm. Again, most of the steps in this theorem may be found in any textbook, but we give all of the details so as to reveal where the property of δ-positivity is used. 9 Theorem: If (R, δ) is a Euclidean domain and if a, b R\{0 R } are coprime, let k Z 0, q 0, q 1,..., q k R, and r 0 = b, r 1,..., r k 1 R \ {0 R } be such that a = q 0 r 0 + r 1, δ(r 1 ) < δ(r 0 ), r 0 = q 1 r 1 + r 2, δ(r 2 ) < δ(r 1 ),. r k 2 = q k 1 r k 1 + u, δ(u) < δ(r k 1 ), r k 1 = q k u, where u R is a unit (this being the case since a and b are coprime). Then let α 0 = 1 R and β 0 = q k 1, and recursively define α 1,..., α k 1 R and β 1,..., β k 1 R by α j = β j 1, β j = α j 1 q k 1 j β j 1, j {1,..., k 1}.
Subsets of Euclidean domains possessing a unique division algorithm 9 If we take r = { 0 R, δ(b) = δ(1 R ), u 1 α k 1, δ(b) > δ(1 R ), s = { b 1, δ(b) = δ(1 R ), u 1 β k 1, δ(b) > δ(1 R ), then ra + sb = 1 R. Moreover, if S R is a nontrivial, δ-closed, and δ-positive subsemiring, and if a and b additionally have the property that a, b S and that at least one of a and b is not a unit, then (i) q 0, q 1..., q k and r 1,..., r k 1 may be chosen to lie in S and, (ii) if q 0, q 1..., q k and r 1,..., r k 1 are so chosen, then r and s as defined above additionally satisfy δ(r) < δ(b) and δ(s) < δ(a). Proof: Let us first reduce to the case when u = 1 R. Multiply all equations in the Euclidean Algorithm for a and b by u 1 : u 1 a = q 0 u 1 r 0 + u 1 r 1, δ(u 1 r 1 ) < δ(u 1 r 0 ), u 1 r 0 = q 1 u 1 r 1 + u 1 r 2, δ(u 1 r 2 ) < δ(u 1 r 1 ),. u 1 r k 2 = q k 1 u 1 r k 1 + 1 R, δ(1 R ) < δ(u 1 r k 1 ), u 1 r k 1 = q k. Note that the resulting equations hold if and only if the original equations hold, by virtue of R being an integral domain. The resulting equations are then the Euclidean Algorithm for u 1 a and u 1 b, and at each step the remainders r 0, r 1,..., r k 1 are multiplied by u 1. The quotients q 0, q 1,..., q k remain the same, however. Thus the definitions of α 0, α 1,..., α k 1 and β 0, β 1,..., β k 1 are unchanged from the Euclidean Algorithm for a and b. Applying the conclusions of the theorem to the modified Euclidean Algorithm then gives r, s R such that r (u 1 a) + s (u 1 b) = 1 R. Thus the conclusions of the first part of the theorem in the general case follow from those when u = 1 R by taking r = u 1 r and s = u 1 s. Also note that the relation δ(u 1 r j 1 ) < δ(u 1 r j ) is equivalent to the relation δ(r j 1 ) < δ(r j ), j {0, 1,..., k 1}. Therefore, the conclusions of the second part of the theorem in the general case also follow from those for the case when u = 1 R. Thus, in the remainder of the proof we suppose that u = 1 R. Let us also eliminate the case where δ(b) = δ(1 R ). If this is the case then we have a = qb + r with δ(r) = δ(0 R ), and so r = 0 R. Therefore, since b is a unit, q = ab 1. Now, taking r = 0 R and s = b 1, we have ra + sb = 1 R. Moreover, for the second part of the theorem, δ(r) < δ(b) and δ(s) < δ(a) since s is a unit and a is not, the latter by the hypotheses of the theorem. Thus the conclusions of the theorem hold when δ(b) = δ(1 R ). Thus, in the remainder of the proof we suppose that b is a nonzero nonunit. We now prove the theorem by induction on k. If k = 1 then we have a = q 0 r 0 + 1 R, δ(1 R ) < δ(r 0 ), r 0 = q 1.
10 A. D. Lewis Thus 1 R = 1 R a + ( q 0 ) b, and the theorem holds with r = α 0 = 1 R and s = β 0 = q 0. Now suppose the theorem true for k {1,..., m 1} and consider the Euclidean Algorithm for a and b = r 0 of the form a = q 0 r 0 + r 1, δ(r 1 ) < δ(r 0 ), r 0 = q 1 r 1 + r 2, δ(r 2 ) < δ(r 1 ),. r m 2 = q m 1 r m 1 + 1 R, δ(1 R ) < δ(r m 1 ), r m 1 = q m. By the induction hypothesis, the conclusions of the theorem hold for the last m equations. But the last m equations are the result of applying the Euclidean Algorithm in the case where a = r 0 and b = r 1. Thus, if we define α 0 = 1 R and β 0 = q k 1, and recursively define α 1,..., α m 2 and β 1,..., β m 2 by α j = β j 1, β j = α j 1 q m 1 j β j 1, j {1,..., m 2}, and if we take r = α m 2 and s = β m 2, then we have r r 0 + s r 1 = 1 R. Since r 0 = b we have 1 R = α m 2 r 0 + β m 2 (a q 0 r 0 ) = (α m 2 q 0 β m 2 )b + β m 2 a, and so the theorem holds with r = α m 1 = β m 2 and s = β m 1 = α m 2 q 0 β m 2, as desired. Now we proceed to the second part of the theorem, supposing that a, b S for a δ-closed and δ-positive subsemiring S R. Since r 0 = b, that q 0 and r 1 can be chosen to lie in S follows from the fact that S is δ-closed. This reasoning can then be applied to each line of the Euclidean Algorithm to ensure that all quotients and remainders can be chosen to lie in S. The following lemma records a useful property of these quotients and remainders. Lemma: Using the notation of the theorem statement, suppose that a, b S and that q 0, q 1,..., q k and r 1,..., r k 1 are chosen to lie in S. Then, for j {0, 1,..., k 1}, either (i) α j S and β j S or (ii) α j S and β j S. Proof: The lemma is proved by induction on j. For j = 0 we have α 0 = 1 R S and β 0 = q k 1 S. Suppose the lemma true for j {0, 1,..., m}. We have two cases. 1. α m S and β m S: We immediately have α m+1 = β m S. Also, β m+1 = α m q k 2 m β m S since α m S and q k m 2 ( β m ) S, using the semiring property of S. 2. α m S and β m S: This case follows, mutatis mutandis, in the manner of the previous case. Now, the final thing we need to show is that r and s constructed as above from a, b S satisfy δ(r) < δ(b) and δ(s) < δ(a). We prove this by induction on k. For k = 1 we have r = 1 R and s = q 0. Therefore, δ(r) = δ(1 R ) < δ(b)
Subsets of Euclidean domains possessing a unique division algorithm 11 since we are assuming that b is a nonzero nonunit. Also, since b is a nonzero nonunit, δ(s) = δ( q 0 ) < δ( q 0 b) = δ(a 1 R ) max{δ(a), δ(1 R )} δ(a), using δ-positivity of S. So the final assertion of the theorem holds for k = 1. Now suppose that this assertion holds for k {1,..., m 1} and consider the Euclidean Algorithm for a and b of the form a = q 0 r 0 + r 1, δ(r 1 ) < δ(r 0 ), r 0 = q 1 r 1 + r 2, δ(r 2 ) < δ(r 1 ),. r m 2 = q m 1 r m 1 + 1 R, δ(1 R ) < δ(r m 1 ), r m 1 = q m. Considering the last m equations, as in the first part of the proof we have the Euclidean Algorithm for a = r 0 and b = r 1. Therefore, considering r, s R as constructed in the first part of the proof, we have δ(r ) < δ(r 1 ) and δ(s ) < δ(r 0 ). Again as in the first part of the proof, we take r = s and s = r q 0 s so that ra + sb = 1 R. Then δ(r) = δ(s ) < δ(r 0 ) = δ(b). It remains to show that δ(s) < δ(a). First suppose that δ(a) < δ(b). Then, by Proposition 4 we have a = 0 R b + a as the unique output of the Division Algorithm in S. Thus we must have q 0 = 0 R and r 1 = a. In this case, δ(s) = δ(r ) < δ(r 1 ) = δ(a), giving the norm bound for s if δ(a) < δ(b). Thus we consider the case when δ(b) δ(a). By the lemma we have either (1) r S and q 0 s S or (2) r S and q 0 s S. Consider the case r, q 0 s S. We then have a = q 0 b + r 1, s = q 0 s + r with δ(r 1 ) < δ(b), δ(s ) < δ(b), and δ(r ) < δ(r 1 ). Since a, q 0, b, r 1, s, s, r S we use Proposition 7 to write these elements of S as uniquely defined polynomials in x, where δ(x) = inf{δ(r) r S, δ(r) > δ(1 R )}. Let us denote these polynomials by P a, P q0, P b, P r1, P s, P s, and P r. By Proposition 7 we have This immediately gives δ(r 1 ) < δ(b) = deg(p r1 ) < deg(p b ), δ(s ) < δ(b) = deg(p s ) < deg(p b ), δ(r ) < δ(r 1 ) = deg(p r ) < deg(p r1 ). deg(p a ) = deg(p q0 ) + deg(p b ), deg(p s ) max{deg(p q0 ) + deg(p s ), deg(p r )}.
12 A. D. Lewis If then if then max{deg(p q0 ) + deg(p s ), deg(p r )} = deg(p q0 ) + deg(p s ) deg(p a ) = deg(p q0 ) + deg(p b ) > deg(p q0 ) + deg(p s ) deg(p s ) max{deg(p q0 ) + deg(p s ), deg(p r )} = deg(p r ) deg(p a ) = deg(p q0 ) + deg(p b ) > deg(p r1 ) > deg(p r ) deg(p s ). In either case we have deg(p s ) > deg(p a ), and then we apply Proposition 7 again to give δ(s) < δ(a) in the case when r, q 0 s S. When r, q 0 s S then s S and we write a = q 0 b + r 1, s = q 0 s + ( r ). The steps above may now be repeated to give δ(s) = δ( s) < δ(a) in this case. References Jodeit Jr., M. A. [1967]. Uniqueness in the division algorithm. The American Mathematical Monthly 74(1), pages 835 836. issn: 0002-9890. doi: 10.2307/2315810.