## UFDs (Pt. I)

**Point of Post: **In this post we discuss the most general “nice integral domain”, unique factorization domains.

*Motivation*

So, up until this we point we have discussed the very nice integral domains which admit degree functions (i.e. Euclidean domains) and the, less nice still fantastic, integral domains whose ideals are all principal (i.e. PIDs). In this post we shall take another step down the niceness-ladder and discuss a proper subset of PIDs (and thus a “doubly proper” subset of Euclidean domains)–UFDs. Amusingly enough though, UFDs are perhaps the most useful of the three, because they pop up much more often than either Euclidean domains or PIDs. Perhaps the first indication of why this is so is captured by the nice interaction UFDs have with the construction . Indeed, we have seen is a PID (let alone a Euclidean domain) if and only if is a field! So, in the vast majority of cases if one starts with a Euclidean domain or a PID and passes to the polynomial ring one is not going to end up with a Euclidean domain or a PID. The classic example is that is about as nice of a Euclidean domain as you could want, yet is not even a PID ( for a prime is not principle)! That said, as we shall see the construction does preserve UFDs in the sense that being a UFD implies that is a UFD. So, for example, while not a PID or a Euclidean domain is a UFD. Now, we have indicated before that polynomial rings play a pivotal role in not only algebra but algebra’s application to other fields of mathematics (e.g. algebraic geometry). With this in mind any properties that interact well with the construction are definitely well-worth our time.

So, I have yet to say actually what a UFD is. If you pulled some kid off the street and asked him what was one of the most startlingly useful and insightful ring theoretic properties of they might be apt to say “Oh! The fundamental theorem of arithmetic–every integer factors uniquely (up to differences in sign) into a product of primes!” (smart kid, huh?). Well, that kid would be right. Anyone who has done even the slightest bit of number theory is well-aware that the existence and uniqueness of integer factorization into primes is an invaluable tool. Often times easier in just a “makes things” simpler–how often are you trying to decide if some divisibility argument is true, and you just produce the prime factorization of things involved, and it becomes trivial. Well, this is what UFDs attempt to capture. We shall see that in any integral domain there are notions analogous to (integer) primality and UFDs are (roughly) those for which there is a notion of unique factorization into these prime elements. Indeed, this probably would have been clear if I had mentioned that UFD stands for Unique Factorization Domain.

*UFDs*

We begin by defining the notions of primality that will be useful to us. Let be an integral domain, then a non-zero non-unit element is said to be *irreducible *if whenever either or (and so consequently the “other” element is an associate of ). Roughly this says that the only divisors of are units and associates. An element is said to be *prime *if it generates a prime ideal (i.e. )–note that this is equivalent to implies or .

Now, wait a minute. These definitions seem to fly in the face of our time-honored and beloved definition of primality in . Indeed, in we defined an element to be “prime” if it was irreducible and then it was a theorem (Euclid’s lemma) that a “prime” was…well…prime. So, what gives? First off, this makes us wonder if it’s even true if primality and irreducibility are, in general, different. Well, this is certainly true, let’s examine the classic example that is irreducible in but not prime. Indeed, we can recall that there is a certain field norm given by which is multiplicative. Now, if then we can easily see that . Now, suppose that . Then, clearly and so which is ridiculous since . Thus, we can clearly conclude . We assume that (since by symmetry if then and the same logic will follow). We see then that evidently and and so . Thus, we see that every time we try to factor in one of the factors must be a unit, in other words, is irreducible in . That said, a quick check shows that so that . That said, if then we see by comparing coefficients that which is preposterous and so . Clearly though the same logic shows that . But, this implies that is not prime in since we have found two elements of not in whose product is in . So, ok, the notions of primality and irreducibility are in general different. So, why do we “switch” the definitions in ? Well as we shall see there really is no foul since, in (or more generally in PIDs) primality and irreuducibility are the same. And considering that we usually first encounter primality when we are attempting to factorize integers and irreducibility tells us when we can “stop” (we’ve factored as much as we can) it makes sense that we choose irreducibility as our definition of “prime”.

Now that we have worked through that confusing point we can get back to the general theory. It’s clear that primality is stronger than irreducibility since if is prime and we know that or and since is an integral domain this will clearly imply that the the other element of is a unit. But, as we showed above the converse is not true. More formally:

**Theorem: ***Let be an integral domain. Then, every prime element is irreducible but not conversely.*

With this in mind we are prepared to define UFDs. Namely a *unique factorization domain*, abbreviated *UFD*, is an integral domain where all irreducible elements are prime and every non-zero non-unit element of can be factored into the product of irreducibles.

Now, how exactly does this definition imply that factorization is unique? Well, pretty much the same way it did in :

**Theorem: ***Let be a UFD and let where are irreducible in . Then, and there exists a bijection such that is associate to .*

**Proof: **Assume without loss of generality that . Now, since is prime and we have that for some , call . But, since is a prime and is not a unit this implies that and are associate, say for some unit . We see then cancelling both sides that where the product is taken over . Now, since is prime and and (since is a unit and is not) we see that for some , call . Using the same conclusion as before we know that for some and so where the product is taken over . Continuing in this way we find that we have an injection such that is associate to , say by , and such that where is taken over . Now, suppose that was non-empty then the product would be non-trivial, but this product is equal to the unit and so, if is a factor in we see that (being prime) divides one of which implies that is prime, which is a contradiction. Thus, and the conclusion follows.

Now, we have seen that PIDs possess greatest common divisors for any two elements, this is also true for UFDs. Moreover, it’s often easy (given their irreducible factorizations to find them):

**Theorem: ***Let be a UFD and let . We may write and where , are irreducible in , and . Then, is a greatest common divisor for .*

**Proof: **Evidently and if it’s easy to see that where , and from where it easily follows that . Thus, is a greatest common divisor.

**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.

[…] UFDs (Pt. II) Point of Post: This is a continuation of this post. […]

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

[…] then the -support to be the set of basis vectors in the -expansion whose coefficient is not divisible by . Of course we have that […]

Pingback by Coproduct of Free Modules are Free, but not Arbitrary Products « Abstract Nonsense | November 23, 2011 |

[…] be a unitally multiplicative subset of . Define the relation on by if and only if (in the usual notion of divisibility). For each let denote the localization of at . There are obvious maps when . Namely, since we […]

Pingback by Direct Limit of Rings (Pt. I) « Abstract Nonsense | December 4, 2011 |

[…] be be a ring (most often a UFD or a PID) we can then define a relation on the set by if and only if . Then, we have canonical […]

Pingback by Inverse Limit of Rings (Pt. I) « Abstract Nonsense | December 9, 2011 |

[…] polynomials with irreducible loci are among the polynomials that can’t be factored. Indeed, recall that a polynomial is irreducible if whenever then either or is a constant. We then have […]

Pingback by Loci of Holomorphic Functions and the Inverse Function Theorem (Pt. III) « Abstract Nonsense | October 3, 2012 |