{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1337516","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1337516","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1337516","kernelVersion":"v1","immutable":true,"modified":"2026-01-01T05:26:09Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1337516","name":"Tensor products of modules and the rigidity of Tor","headline":"Tensor products of modules and the rigidity of Tor","description":"scientific article; zbMATH DE number 683109","url":"https://portal.mardi4nfdi.de/entity/Q1337516","datePublished":"1994-11-09","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q227472"},{"@id":"https://portal.mardi4nfdi.de/entity/Q188220"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q166142"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF01459794","url":"https://doi.org/10.1007/BF01459794"},"sameAs":["https://doi.org/10.1007/BF01459794"],"comment":"Let \\(R\\) be a hypersurface domain that is, a ring of the form \\(S/(f)\\), where \\(S\\) is a regular local ring and \\(f\\) is a prime element. Suppose \\(M\\) and \\(N\\) are finitely generated \\(R\\)-modules. We prove two rigidity theorems on the vanishing of Tor. In the first theorem we assume that the regular local ring \\(S\\) is unramified, that \\(M\\otimes_ RN\\) has finite length, and that \\(\\dim (M) + \\dim (N) \\leq \\dim (R)\\). With these assumptions, if \\(\\text{Tor}^ R_ j (M,N) = 0\\) for some \\(j \\geq 0\\), then \\(\\text{Tor}^ R_ i (M,N) = 0\\) for all \\(i \\geq j\\). The second rigidity theorem states that if \\(M \\otimes_ RN\\) is reflexive, then \\(\\text{Tor}^ R_ i (M,N) = 0\\) for all \\(i \\geq 1\\). We use these theorems to prove the following theorem (valid even if \\(S\\) is ramified): If \\(M \\otimes_ RN\\) is a maximal Cohen-Macaulay \\(R\\)-module, then both \\(M\\) and \\(N\\) are maximal Cohen-Macaulay modules, and at least one of them is free.  Editorial remark: Note that due the the correction [\\textit{C. Huneke} and \\textit{R. Wiegand}, Math. Ann. 338, No. 2, 291--293 (2007; Zbl 1122.13301)] and a later result of \\textit{O. Celikbas} and \\textit{R. Takahashi} [Proc. Am. Math. Soc. 147, No. 7, 2733-2739 (2019; Zbl 1411.13022)] one of the conclusions of the depth formula theorem is flawed due to an incorrect convention for the depth of the zero module.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q775081"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3844514"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3887573"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4193573"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3714163"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3138095"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4055756"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2266745"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2550427"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1177240"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1821836"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2522294"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3992979"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2625900"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3710615"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3882615"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5554434"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3995215"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5542868"}]},"provenance":{"prov:generatedAtTime":"2026-01-01T05:26:09Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}