Lemma 15.101.2. Let $A$ be a Noetherian ring. Let $I \subset A$ be an ideal. Let $M$ be a finite $A$-module. Let $N$ be an $A$-module annihilated by $I$. There exists an integer $n > 0$ such that $\text{Tor}^ A_ p(I^ nM, N) \to \text{Tor}^ A_ p(M, N)$ is zero for all $p \geq 0$.

Proof. By Lemma 15.100.7 we can factor $I^ nM \to M$ as $I^ nM \to M \otimes _ A^\mathbf {L} I \to M$. We claim the composition

$I^ nM \otimes _ A^\mathbf {L} N \to (M \otimes _ A^\mathbf {L} I) \otimes _ A^\mathbf {L} N \to M \otimes _ A^\mathbf {L} N$

is zero. Namely, the diagram

$\xymatrix{ (M \otimes _ A^\mathbf {L} I) \otimes _ A^\mathbf {L} N \ar[rr] \ar[rd] & & M \otimes _ A^\mathbf {L} (I \otimes _ A^\mathbf {L} N) \ar[ld] \\ & M \otimes _ A^\mathbf {L} N }$

commutes (details omitted) and the map $I \otimes _ A^\mathbf {L} N \to N$ is zero as $N$ is annihilated by $I$. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
{"ft_lang_label":"__label__en","ft_lang_prob":0.6145174,"math_prob":0.99988925,"size":1249,"snap":"2021-43-2021-49","text_gpt3_token_len":454,"char_repetition_ratio":0.22248995,"word_repetition_ratio":0.12236287,"special_character_ratio":0.35868695,"punctuation_ratio":0.07971015,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.000007,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-10-20T09:34:13Z\",\"WARC-Record-ID\":\"<urn:uuid:55d5f678-a190-4c4f-92c8-5bd3805e5157>\",\"Content-Length\":\"14705\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:f1069d90-ff6a-4cc5-9249-dcff1e960b9a>\",\"WARC-Concurrent-To\":\"<urn:uuid:f8b08ff4-ac3f-4d29-b629-fb7968b2c253>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0FXN\",\"WARC-Payload-Digest\":\"sha1:YYS7AZGJZ3XHJFLL3XVQ2BGLZXLHG6BY\",\"WARC-Block-Digest\":\"sha1:4F6OFHHCPCMTYENC4LOTFNOAKYZ4MFK5\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-43/CC-MAIN-2021-43_segments_1634323585305.53_warc_CC-MAIN-20211020090145-20211020120145-00259.warc.gz\"}"}