Point of Post: In this post we show that submodules of free modules need not be free, and give some intuition why this should be true. We then show that, in fact, submodules of -modules hold (for a unital commutative ring ) precisely when is a PID.
Now that we have discussed free modules we’d like to discuss some of the properties that hold in these free modules. In particular, while tempting it is, in general, wrong to take theorems about the “nicest free modules” (i.e. vector spaces/modules over division rings) and transfer these to general theorems about free modules. This post shall be devoted to resolving one such “inaccurate transfer”. Namely, the “theorem” that every submodules of a free module is free. For example, everyone knows that submodules of vector spaces, or more generally submodules of modules over division rings, are free. Why? Well, the obvious reason–they’re still vector spaces/modules over division rings which we know are always free! Ok, now try to make an analogous proof for a general free left -module and some submodule . Since we know that, in general, all modules over a given ring are not free (in fact, we shall eventually (and this is a real eventually) show that the only rings for which this statement is true are division rings) we can’t rely on this argument. So, one starts to try to create a basis for in terms of a basis for . Hmm, a little thought shows that there is no natural way of doing this. We could “hope” that we can nab a basis for which contains elements of , but we can’t really see a way of necessarily doing this (one may be inclined to, hopefully to some mild embarrassment, try the old linear algebra trick of “extend a basis from to “, which of course has a little logical flaw). Ok, fine, so at this point we’ve seen that there is really no natural way of showing that a submodule of a free module isn’t free, but perhaps this is because we aren’t being clever enough, the nonexistence of a proof is not a disproof. As I said though, this is, in fact, a non-theorem. Intuitively, there is an example that typifies the reason why this “theorem” sometimes fails. We know that if we are given a ring and a left ideal of then is a submodule of the free -module and so if our “theorem” was true this would imply that for some cardinal . That’s a pretty steep condition, no? We see that our good friends fields and division rings side-step this issue all together being precisely the rings for which the only ideals of are and , or and respectively. But, if we take, for example some finite ring which is not a division ring then there exists some proper non-trivial ideal . Clearly then we can’t have that for some by merely appealing to a cardinality argument, and so cannot be a free -module. So, this immediately gives us a whole class of examples. For instance, is a free -module and is an ideal, but is surely not a free modules since any such (finite) module would have order for some and . This is a typifying example precisely because, in the category of commutative unital rings, this is the only possible obstruction in the sense that if a ring does not have this obstruction (i.e. every ideal is a free module) then one can generally state that submodules of free modules over that ring are free.
Point of Post: This is a continuation of this post.
Point of Post:
In this post we discuss how polynomial rings act when their underlying rings are PIDs, Euclidean domains, and UFDs. The high points being the proof that is a Euclidean domain for fields and is a UFD when is a UFD.
We have mentioned several times that polynomial rings occupy a central role in modern mathematics. Consequently, studying them should occupy no small amount of our time. In this post we shall prove some previously made assertions about when polynomial rings are Euclidean domains, PIDs, and UFDs and some of the consequences of thes results.
Point of Post: In this post we discuss the most general “nice integral domain”, unique factorization domains.
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.
Point of Post: In this post we discuss PIDs, and some of the pursuant theorem.
In this post we discuss a more general class of rings than Euclidean domains. The type of ring we are talking about is a natural one to consider. In particular, we have seen from experience that the ideal theory of a ring is a key-determinant in the rings complexity. For example, the nicest rings (fields) are precisely those with the nicest ideal theories (just the full ring and trivial ideal). Consequently, since our current goals (as laid out in the last post) is create a series of integral domains which are “nice” (so that, when encountered in practice, all our great theory applies to them) it makes sense to create some integral domains with nice ideal theory. So, we saw that having few ideals can make an ideal theory, but it is not the only way. In particular, besides having a small number of ideals its clear that we can make the ideal theory of a ring “nice” by requiring that each ideal is “nice”. Well, it’s pretty clear what the nicest type of ideals are, principal (singly generated). Thus, in this post we shall discuss rings which are integral domains for which every ideal is principal, or as we shall call them, PIDs. These clearly contain Euclidean domains since, as we proved before, every ideal in a Euclidean domain is principle. In fact, for most basic uses we shall see that Euclidean Domains are just “practical” PIDs in the sense that the theoretical niceties of Euclidean domains are just the niceties from being a PID, but the applications of the theory is much more practical for Euclidean domains (e.g. actually finding the element which generates the ideal, finding greatest common divisors, etc.).