Tag Archives: localization

Commutative Algebra 60

Primary Decomposition of Ideals Definition. Let be a proper ideal. A primary decomposition of is its primary decomposition as an A-submodule of A: where each is -primary for some prime , i.e. . Here is a quick way to determine if … Continue reading

Posted in Advanced Algebra | Tagged , , , , , | Leave a comment

Commutative Algebra 58

We have already seen two forms of unique factorization. In a UFD, every non-zero element is a unique product of irreducible (also prime) elements. In a Dedekind domain, every non-zero ideal is a unique product of maximal ideals. Here, we … Continue reading

Posted in Advanced Algebra | Tagged , , , , , | Leave a comment

Commutative Algebra 45

Invertibility is Local In this article, we again let A be an integral domain and K its field of fractions. We continue our discussion of invertible fractional ideals of A. Proposition 1. A fractional ideal M of A is invertible if and … Continue reading

Posted in Advanced Algebra | Tagged , , , , , , | Leave a comment

Commutative Algebra 44

Fractional Ideals Throughout this article, let A be an integral domain and K its field of fractions. We do not assume the ring to be noetherian. The objective here is to develop the theory of multiplying and dividing certain classes of non-zero … Continue reading

Posted in Advanced Algebra | Tagged , , , , , | Leave a comment

Commutative Algebra 40

More on Integrality Lemma 1. Let be an integral extension. If is an ideal and , the resulting injection is an integral extension. Proof Any element of can be written as , . Then x satisfies a monic polynomial relation: . … Continue reading

Posted in Advanced Algebra | Tagged , , , , , , | 4 Comments

Commutative Algebra 31

Flat Modules Recall from proposition 3 here: for an A-module M, is a right-exact functor. Definition. We say M is flat over A (or A-flat) if is an exact functor, equivalently, if A flat A-algebra is an A-algebra which is flat as … Continue reading

Posted in Advanced Algebra | Tagged , , , , , , | Leave a comment

Commutative Algebra 29

Distributivity Finally, tensor product is distributive over arbitrary direct sums. Proposition 1. Given any family of modules , we have: Proof Take the map which takes . Note that this is well-defined: since only finitely many are non-zero, only finitely … Continue reading

Posted in Advanced Algebra | Tagged , , , , , | 2 Comments