{"@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/Q2015172","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2015172","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2015172","kernelVersion":"v1","immutable":true,"modified":"2026-03-31T21:24:59Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2015172","name":"Relative tor functors with respect to a semidualizing module","headline":"Relative tor functors with respect to a semidualizing module","description":"scientific article; zbMATH DE number 6306456","url":"https://portal.mardi4nfdi.de/entity/Q2015172","datePublished":"2014-06-23","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q361742"},{"@id":"https://portal.mardi4nfdi.de/entity/Q361743"},{"@id":"https://portal.mardi4nfdi.de/entity/Q361744"},{"@id":"https://portal.mardi4nfdi.de/entity/Q831314"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163566"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S10468-012-9389-4","url":"https://doi.org/10.1007/S10468-012-9389-4"},"sameAs":["https://doi.org/10.1007/S10468-012-9389-4"],"comment":"All rings in the paper under review are commutative and noetherian.  According to the authors, the relative homological algebra is the study of non-traditional resolution and the (co)-homology theories. This idea goes back to Butler, Horrocks, Eilenberg and Moore and was reinvigorated by \\textit{M. C. R. Butler} and \\textit{G. Horrocks} [Philos. Trans. R. Soc. Lond., Ser. A 254, 155--222 (1961; Zbl 0099.25902)]; \\textit{S. Eilenberg} and \\textit{J. C. Moore} [Mem. Am. Math. Soc. 55, 39 p. (1965; Zbl 0129.01101)]; \\textit{E. E. Enochs} and \\textit{O. M. G. Jenda} [Relative homological algebra. de Gruyter Expositions in Mathematics. 30. Berlin: Walter de Gruyter. (2000; Zbl 0952.13001)] and \\textit{L. L. Avramov} and \\textit{A. Martsinkovsky} [Proc. Lond. Math. Soc. (3) 85, No. 2, 393--440 (2002; Zbl 1047.16002)].  By \\(\\mathcal{P}(R)\\), \\(\\mathcal{F}(R)\\) and \\(\\mathcal{I}(R)\\) denote the subcategories of projective, flat and injective \\(R\\)-modules. A finitely generated \\(R\\)-module \\(C\\) is semidualizing if \\(\\text{Hom}_R(C,C)\\cong R\\) and \\(\\text{Ext}^i_R(C,C)=0\\) for \\(i\\geqslant1\\). Let \\(\\mathcal{P}_C(R)\\)=the subcategory of modules \\(M\\cong P\\otimes_RC\\) for some \\(P\\in \\mathcal{P}(R)\\); \\(\\mathcal{F}_C(R)\\)=the subcategory of modules \\(M\\cong F\\otimes_RC\\) for some \\(F\\in \\mathcal{F}(R)\\); \\(\\mathcal{I}_C(R)\\)=the subcategory of modules \\(M\\cong \\text{Hom}(C,I)\\) for some \\(I\\in \\mathcal{I}(R)\\).  Let \\(Q\\) be a proper \\(\\mathcal{P}_C\\)-resolution of \\(M\\), and let \\(G\\) be a proper \\(\\mathcal{F}_C\\)-resolution of \\(M\\). For each \\(i\\geqslant0\\), set  \\(\\text{Tor}_i^{\\mathcal{P}_C\\mathcal{M}}(M,N):=H_i(Q\\otimes_RN)\\cong H_i(N\\otimes_RQ)=:\\text{Tor}_i^{\\mathcal{MP}_C}(N,M)\\)  \\(\\text{Tor}_i^{\\mathcal{F}_C\\mathcal{M}}(M,N):=H_i(G\\otimes_RN)\\cong H_i(N\\otimes_RG)=:\\text{Tor}_i^{\\mathcal{MF}_C}(N,M)\\).  Let \\(C\\) be a semidualizing \\(R\\)-module, and \\(M\\) and \\(N\\) be \\(R\\)-modules. The authors prove that for each \\(i\\), there is a natural isomorphism \\(\\text{Tor}_i^{\\mathcal{P}_C\\mathcal{M}}(M,N)\\cong \\text{Tor}_i^{\\mathcal{F}_C\\mathcal{M}}(M,N)\\). On other hand, many properties of absolute Tor do not pass to the relative setting, for instance, \\(\\text{Tor}_i^{\\mathcal{F}_C\\mathcal{M}}(M,N)\\ncong \\text{Tor}_i^{\\mathcal{MF}_C}(M,N)\\). Some results by the authors provide classes of modules \\(M\\) and \\(N\\) such that these non-isomorphisms are isomorphisms. On other hand, they show that the only way that these non-isomorphisms are always isomorphisms only in the trivial case. For instance, they prove the theorem.  Theorem. Assume that \\((R,\\mathbf{m}, k)\\) is local, and let \\(B\\) and \\(C\\) be semidualizing \\(R\\)-modules. Then the following condition are equivalent  (i) \\(\\text{Tor}_i^{\\mathcal{F}_B\\mathcal{M}}(M,N)\\cong\\text{Tor}_i^{\\mathcal{MF}_C}(M,N)\\) for all \\(i\\geqslant0\\) and for all \\(R\\)-modules \\(M,N\\).  (ii) \\(\\text{Tor}_i^{\\mathcal{F}_B\\mathcal{M}}(B,k)\\cong\\text{Tor}_i^{\\mathcal{MF}_C}(B,k)\\) for \\(i=0\\) and some \\(i>0\\).  (iii) \\(\\text{Tor}_i^{\\mathcal{F}_B\\mathcal{M}}(k,C)\\cong\\text{Tor}_i^{\\mathcal{MF}_C}(k,C)\\) for \\(i=0\\) and some \\(i>0\\).  (iv) \\(B\\cong R\\cong C\\).  The authors discuss \\(\\mathcal{F}_C\\)-pd, the homological dimension obtained from bounded proper \\(\\mathcal{F}_C\\)-resolutions, and its relation to relative Tor in the last section.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3152241"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3280178"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2701683"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3402214"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5337221"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1971008"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3215060"},{"@id":"https://portal.mardi4nfdi.de/entity/Q847967"},{"@id":"https://portal.mardi4nfdi.de/entity/Q841537"},{"@id":"https://portal.mardi4nfdi.de/entity/Q819804"},{"@id":"https://portal.mardi4nfdi.de/entity/Q847984"},{"@id":"https://portal.mardi4nfdi.de/entity/Q928478"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2382945"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3653976"},{"@id":"https://portal.mardi4nfdi.de/entity/Q848828"},{"@id":"https://portal.mardi4nfdi.de/entity/Q409235"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5190617"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4049187"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2531959"}]},"provenance":{"prov:generatedAtTime":"2026-03-31T21:24:59Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}