Tag Archives: induced modules

Commutative Algebra 56

Posted on May 14, 2020 by limsup

Throughout this article, A denotes a noetherian ring and is a fixed ideal. All A-modules are finitely generated. Consequences of Artin-Rees Lemma Suppose we have an exact sequence of finitely generated A-modules Let M be given the 𝔞-adic filtration; the induced filtration on … Continue reading →

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

Commutative Algebra 33

Posted on April 21, 2020 by limsup

Snake Lemma Let us introduce a useful tool for computing kernels and cokernels in a complicated diagram of modules. Although it is only marginally useful for now, it will become a major tool in homological algebra. Snake Lemma. Suppose we … Continue reading →

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

Commutative Algebra 29

Posted on April 16, 2020 by limsup

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

Commutative Algebra 26

Posted on April 13, 2020 by limsup

Left-Exact Functors We saw (in theorem 1 here) that the localization functor is exact, which gave us a whole slew of nice properties, including preservation of submodules, quotient modules, finite intersection/sum, etc. However, exactness is often too much to ask … Continue reading →

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

Commutative Algebra 24

Posted on April 11, 2020 by limsup

Quotient vs Localization Taking the quotient and localization are two sides of the same coin when we look at . Quotient removes the “small” prime ideals in – it only keeps the prime ideals containing . Localization removes the “large” … Continue reading →

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