## Euclidean Domains (Pt. II)

**Point of Post: **This is a continuation of this post.

*The -inequality*

There is an axiom that we have omitted from our definition of Euclidean domain but is sometimes included in textbooks (for example [3] as listed below). To make clear what this is, we define a function for an integral domain to have the *-inequality *if for all . Then, people often define a Euclidean domain to be an integral domain such that there exists a Euclidean valuation on which satisfies the -inequality. Why? This why is actually two why’s rolled into one–why is this desirable, and why the discrepancy? Well, let’s answer these questions in the order asked. So, why is the -inequality desirable? Well, in the back of everyone’s mind, we think of units as things that ‘act like ‘. Unfortunately, this intuition does not help us find units, or even more fundamentally, decide whether a given ring element is a unit. It would be nice if we had some way of quantitatively deciding, given a ring element, if its a unit. Well, this is precisely the case if we are given a Euclidean valuation satisfying the -inequality. Namely, we’ll prove that if is a Euclidean domain satisfying the -inequality then being a unit is equivalent to .

**Lemma: ***Let be a Euclidean domain, with satisfying the -inequality. Then, for all , for all and , and if .*

**Proof: **This first assertion follows immediately since . To prove the second assertion we merely note that by the -inequality, and since and so . To prove the last fact we assume that . We know then that with either or . Now, we may rewrite this as and since (since is not a unit) we know for sure that . Thus, we have that , but which is a contradiction.

Putting these three together we get the following results:

**Theorem: ***Let be a Euclidean domain with satisfying the -inequality. Then, the units of are precisely the elements of of minimal degree. In particular, has minimal degree in and if and only if . Moreover, if then .*

For example, if we assume for a second that the rings I stated earlier are integral domains with the I stated, then it’s easy to see that they all satisfy the -inequality. In particular, the only units of are those with , and so the non-zero constants. The only units of are those with and so easily verified to be .

Ok, so now it’s clear that having a Euclidean valuation which satisfies the -inequality is a desirable thing. So, the question is, why do we not state that all our integral domains have it! Well, ostensibly you’d think that one camp of mathematical expositors said “The -inequality puts too great of restriction on the rings we want to study, so let’s not include it. All the important results are independent of it anyways.” and the other camp is going “The -inequality is an indispensable tool when dealing with integral domains! Sure, we have to forget some rings, but they’re the weird, degenerate cases anyways…it’s worth it!” Well, in fact, this is not the case. Indeed, the class of integral domains which are Euclidean domains and those for which there exists a Euclidean function satisfying the -inequality are the same! To be more specific, clearly any ring possessing a Euclidean function satisfying the -inequality will be an integral domain, and conversely given a Euclidean domain we shall see that there is a natural way of creating a new function on , built from , which will be a Euclidean function satisfying the -inequality. So, how should we go about building this function ? Well, the above theorem about functions satisfying the -inequality gives us a hint. Namely, we know that needs to be the minimal value of on . Indeed, what we should have is that the more things that some divides the smaller it should be, obviously culminating in the fact that a unit (which divides everything) should have minimal degree. This suggests that our function should depend on how many ring elements its argument divides, and depend inversely on this (the more things it divides the smaller it should be). Since we would like to build from (since we need to satisfy the division algorithm property) it seems sensible then to define . This turns out to be the right path to take, but why? Well, it’s clear that has the one qualifying attribute we’d want, it satisfies the -inequality. To see this we merely note that if then every thing divisible by is divisible by , or said differently . Since our function is taking the infimum over the image of these sets under this clearly implies that . Ok, good! So we have a function which is now satisfies the -inequality…but why is it a Euclidean function? Well, the first thing we might try to do is, given , we can try to just do the normal “there exists such that and or “. Of course, the problem with this is that we can’t assert a priori that for non-zero . There is a trick though we can do. by definition for some and we know that there exists with . Let then , so that . If then we know that . But, in general we know that so that . The conclusion then follows. Putting this all together we get:

**Theorem: ***Let be an integral domain. Then, if is defined by the rule then satisfies the -inequality and is a Euclidean domain.*

**References:**

[1] Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[2] Rotman, Joseph J. *Advanced Modern Algebra*. Providence, RI: American Mathematical Society, 2010. Print.

[3] Bhattacharya, P. B., S. K. Jain, and S. R. Nagpaul. *Basic Abstract Algebra*. Cambridge [Cambridgeshire: Cambridge UP, 1986. Print.

[…] Let be a Euclidean domain with satisfying the -inequality. Then if one has that is a greatest common divisor of if and only if and whenever one has that […]

Pingback by PIDs (Pt. II) « Abstract Nonsense | October 22, 2011 |

[…] Let be a Euclidean domain with satisfying the -inequality and let . Then, is a greatest common divisor of if and only if and if then […]

Pingback by UFDs (Pt. II) « Abstract Nonsense | October 22, 2011 |