{"entities":{"Q7006468":{"pageid":21541773,"ns":120,"title":"Item:Q7006468","lastrevid":76509372,"modified":"2026-04-24T08:29:06Z","type":"item","id":"Q7006468","labels":{"en":{"language":"en","value":"Depth formula for modules of finite reducing projective dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8018098"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$4F400784-5B68-4EA2-B09A-966BF863691C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c24ab510386dc62197e6ab4c8c0371a2bcb7f531","datavalue":{"value":{"text":"Depth formula for modules of finite reducing projective dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7006468$AFAD90AB-C637-4B62-9B53-07CFFC7671DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b98f3ff91cf998795096dad9c827e107df6ffd76","datavalue":{"value":"1570.13006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006468$2312E33F-91B2-43B6-8371-14EFD2C25041","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7255b0f4038a05c98f90a05c7ccb4ec52dd9d6f2","datavalue":{"value":"10.1007/S10231-024-01509-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006468$F7D40A20-F762-4C6D-935D-DEA043C0E9DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"604a07c6e54da7ce2dd60b72ac1eea7c3c00f46f","datavalue":{"value":{"entity-type":"item","numeric-id":314657,"id":"Q314657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$03E24F53-13E9-4E07-A8DD-E5E8D9E74705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7482312d51340c77302dc72a1c2642cd7c60de","datavalue":{"value":{"entity-type":"item","numeric-id":2031586,"id":"Q2031586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$5FAB699B-A9A6-4DFA-8369-E2541F676A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"370d1c0dab098937297d45f15866156482dd0ed0","datavalue":{"value":{"entity-type":"item","numeric-id":6463153,"id":"Q6463153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$F9889ADC-4ADF-4F8C-A294-97C0D7E8D4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80ad177bdf002dc1d526dba34913044398bea1a8","datavalue":{"value":{"entity-type":"item","numeric-id":509993,"id":"Q509993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$18478F21-534E-405A-95EA-8D3C9DDFD054","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c77f9c239ccea9d2907937a25e079e96e3ef239a","datavalue":{"value":{"entity-type":"item","numeric-id":251434,"id":"Q251434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$F77C9103-72D2-4761-8759-307E4CCB1E4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a56864cb177015e6590e20bd4e7cb11bf3de47","datavalue":{"value":{"time":"+2025-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7006468$074F8F4C-C9C5-48EC-84C0-3D245EE1C02A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21a969b9058dd09a35a615ab67a90c482d71afde","datavalue":{"value":"Let \\(R\\) be a commutative Noetherian local ring with non-zero identity and all \\(R\\)-modules are finitely generated. Let \\(M,N\\) be two \\(R\\)-modules. In 1961, Auslander proved that if \\(\\mathrm{pd}_RM<\\infty\\) and \\(\\mathrm{Tor}_i^R(M,N)=0\\) for all \\(i>0,\\) then \\N\\[\\N\\mathrm{depth}_R(M)+\\mathrm{depth}_R(N)=\\mathrm{depth}(R)+\\mathrm{depth}_R(M\\otimes_R N).\\N\\]\\NThe above equality is called \\textit{depth formula}. If \\(\\mathrm{Tor}_i^R(M,N)=0\\) for all \\(i>0,\\) then \\(M,N\\) are called Tor-independent. The depth formula has been proved to hold true in many cases, such as when \\(R\\) is a complete intersection ring or when \\(R\\) is a Cohen-Macaulay local ring with certain conditions on \\(M\\) and \\(N\\).\\N\\NThe first main result is a generalization of \\textit{P. A. Bergh} and \\textit{D. A. Jorgensen}'s results [Ill. J. Math. 55, No. 2, 465--478 (2011; Zbl 1285.13015)]. Let \\(R\\) be a Cohen-Macaulay local ring and let \\(M\\) and \\(N\\) be Tor-independent \\(R\\)-modules. If \\(M\\) has finite reducing projective dimension, then the depth formula holds for \\(M\\) and \\(N.\\)\\N\\NThe authors provided examples indicating that the depth formula fails over certain special rings. Next, the paper contains some description of the number \\(\\sup\\{i\\mid \\mathrm{Tor}_i^R(M,N)\\ne 0\\}.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$9AA2EB85-B76F-4F12-B064-B485A40360C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"93219bf4299b951ba5335ead94606f0febf0acb4","datavalue":{"value":{"entity-type":"item","numeric-id":515039,"id":"Q515039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$9783668F-09DD-4B43-AF3A-AB2A77C08CA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9fd82bb3bb51bb4e60178b4b3fa3c15d4bdaa363","datavalue":{"value":"13D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006468$51022899-7CE3-4FA3-82DE-6183D535905B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006468$525E4183-71B2-4666-9F01-AC4FD2E071E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9dd685d198780361a1c3e1544313097f92c33bde","datavalue":{"value":"13D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006468$86436BA3-51C2-45DE-9F5F-AF095D9F05F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cf2cda5e8c0b6627ca21fea54e8e5c419db07f2","datavalue":{"value":"13C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006468$1A013327-925D-4675-B22F-43A9B2F3E5C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5f82e9410877a0cf6946fa8da2cccb6d59f4f60","datavalue":{"value":"8018098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006468$B776DC4E-FCE0-45E8-981C-D37442CB72D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fae51d7a113d615e1384fd2c92692ea5ce4d81f","datavalue":{"value":"derived depth formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$3CEF7459-6337-45B8-8635-B9845E9B29FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263f378c19662698bc2ac8f57225d338ed4a6115","datavalue":{"value":"complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$02FFE82C-9537-4B41-BC53-2A1BC9EC24C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$2B0AE2CA-06B3-44F7-AFFD-08FF4784AE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0185c45d92f986ae71ffc739a00d19cb835dbba5","datavalue":{"value":"complete intersection dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$7BB2BA18-9544-4832-8E49-9303906BC6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae7deac44612b04cc13e650d60f75ffa3e0fd9f","datavalue":{"value":"reducing projective dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$CAE814DD-40CA-4501-BDFE-62D0DEE8069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8d570980c66bb97260f993d2355b3508226478","datavalue":{"value":"tensor products of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$88E4FB2F-BD6B-4CB9-A15D-8C2BD737C853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6432b9d5ae39978c2862d1b92b724b31386ee55e","datavalue":{"value":"torsion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$D68AEE96-E0A1-4436-A00C-4C296D30F933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2870c7fd955cb2f1cf439ba5183093798518df","datavalue":{"value":"vanishing of Ext and Tor","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006468$A03BB6CB-4151-4BDC-AAE8-7206F69154C9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006468$5203BA5B-CA01-48CC-B11E-C5E35B7A5F4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Depth formula for modules of finite reducing projective dimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Depth_formula_for_modules_of_finite_reducing_projective_dimension"}}}}}