Today we’ll continue towards a primary decomposition for modules. First, I’ll list two facts without proof that may come up (they are quite straightforward to prove if you want to try). If R is any ring and is an exact sequence of -modules, then . Secondly, if is a Noetherian ring and a non-zero finite -module, then there is a chain of submodules of such that for each we have with .
I don’t remember, but I may have even proved that second one when talking about Artin-Rees. Now let be Noetherian and a finite -module.
I) is finite. We induct on the length of the chain in the second fact. Suppose this is true for all having a chain of the above form of length . If is a finite module with a chain of length , then since is Noetherian and is a submodule it is also finite. So by the inductive hypothesis, is finite. Now consider the exact sequence . By the first fact . But the chain has the condition that for some . Since we have that the cardinality of can increase by at most one from the cardinality of which was finite.
II) . Suppose . Then contains a submodule isomorphic to (it is just the image of the hom and apply first iso theorem). So is exact, so when we localize we still have an exact sequence . Since , which means .
III) The set of minimal elements of coincides with the minimal elements of . Well, (II) gave one inclusion so suppose is a minimal element. Then since by the last post we get that . But we also figured out a formula for this set . Thus by non-emptyness we must have .
Recall when we working in the Zariski topology on . We have an operator on ideals , and the Zariski closed sets of are precisely those sets that are of the form for some .
So by definition of this operator, if are the minimal elements of , then . Another property of the topological space is that a subspace is irreducible if and only if it is for some minimal prime . So if we think of as a closed subspace of , then the irreducible components are precisely . We call the the isolated associated primes of M. The other associated primes are called embedded primes.
Due to the above geomtric interpretation of what isolated and embedded primes are, the terms make sense. An isolated prime gives you full irreducible component of whereas an embedded prime gives some embedded subspace of the component generated by the prime it lies over.
I’ll finish with the new definitions. Suppose is a submodule. Then we call a primary submodule if for all and we have the condition and for some .
The above condition is equivalent to the condition: if is a zero-divisor for , then . Showing these are equivalent is immediate when you write out what the definitions of all these things are. This shows that the property of being primary is dependent only on the quotient module .
Sorry to end on some definitions, but I think if I do another theorem this post will become too long.