{"entities":{"Q392449":{"pageid":394216,"ns":120,"title":"Item:Q392449","lastrevid":61533513,"modified":"2026-04-10T23:59:20Z","type":"item","id":"Q392449","labels":{"en":{"language":"en","value":"Necessary conditions for the depth formula over Cohen-Macaulay local rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244932"}},"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":"Q392449$0E343365-78EF-4D4E-9A24-8ECDBEC240A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dc5cadd19842411ddbc3d84db08a230fecddfb9","datavalue":{"value":{"text":"Necessary conditions for the depth formula over Cohen-Macaulay local rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392449$1DF83969-AF3A-416E-B159-A36901591E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26b7201a966c15cdbffe59120af5bea3b97376f7","datavalue":{"value":"1282.13030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392449$D14749C3-63D6-42D7-AAC3-4CA68E964E22","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":"Q392449$58BC05FB-BA96-4A24-BE8E-611AE3887EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b601e8c1e070f061dc0014400e21e4efa533a2","datavalue":{"value":{"entity-type":"item","numeric-id":261395,"id":"Q261395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$45D1ECBE-200F-4F70-8FB5-0331FC2AA8F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$ED7DF8E5-CE64-467F-A914-2498C82A5C55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"819179e1ce3d26ef126a75c0ecf5c026c92211c9","datavalue":{"value":{"time":"+2014-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q392449$61A8A712-9A52-483C-B691-8FCDA6EEF6DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d667c11a5ca86f57e55f327a821ed1fb8e27186","datavalue":{"value":"https://arxiv.org/abs/1008.2573","type":"string"},"datatype":"url"},"type":"statement","id":"Q392449$493AFF6B-A01B-488E-94F2-033462D91743","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a35544e1f8976a8a4f4a8e43d2e03ad50884015e","datavalue":{"value":{"entity-type":"item","numeric-id":282971,"id":"Q282971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$1D6C389F-5594-4837-887B-4063419DE1A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9fd82bb3bb51bb4e60178b4b3fa3c15d4bdaa363","datavalue":{"value":"13D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392449$2910C9E1-2E05-4AFC-BDE0-9150055BB4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392449$AD3C2898-B447-4873-B654-21C484A0BA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392449$5D00D6AE-7A03-439C-AE60-CE06A25B5561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"794101d6d35e002d6bb9dd11d5a5c435a831d71c","datavalue":{"value":"6244932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392449$3D83FEA9-68AC-4568-BE44-D344FD8827EE","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":"Q392449$7DE0F4B5-1A96-4B2A-9233-3B3B35E1807F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac5e5be842ad29ce18a5d6d18353bf552cdbdf19","datavalue":{"value":"W2962946116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392449$E3D52EFE-506F-4BD8-B539-9CD3BA5842B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8478b6ea90c246bdc70a88c3cbad926d26effd79","datavalue":{"value":{"entity-type":"item","numeric-id":1250867,"id":"Q1250867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$12D6CACF-285D-476D-930B-E07696EEE374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1552f169e55f25febd06730c4b4cf82c3f8d0342","datavalue":{"value":{"entity-type":"item","numeric-id":3629413,"id":"Q3629413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$295A86BC-B8B7-400B-99AE-390D4B2D5C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3fe14c762f2743787e1745cccb54b0b2d554f8","datavalue":{"value":{"entity-type":"item","numeric-id":4216833,"id":"Q4216833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$CBB6AA6F-24DB-4601-B56F-E18DC85F200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3cee208cf9ba9628f1dfa71f35dc5804356b98","datavalue":{"value":{"entity-type":"item","numeric-id":775081,"id":"Q775081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$33D59DBF-B530-429C-90FF-8A76C74DF36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75e404b0cc9696a177fa2beeb4bd80398a5e485","datavalue":{"value":{"entity-type":"item","numeric-id":2365769,"id":"Q2365769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$FCA70DEA-2C2A-40F9-AA4F-933E97315914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63a6942f7c16ecc12be3c29fc1e6ab3ffaf2222","datavalue":{"value":{"entity-type":"item","numeric-id":4103701,"id":"Q4103701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$3C36FD74-DF7A-4ED3-9C0E-DE47041C08C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ac102a24b3688d9b7471039ceedfbf7aa45b35","datavalue":{"value":{"entity-type":"item","numeric-id":1123231,"id":"Q1123231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$B43D9E81-95F2-4A20-ADAE-BE63D8E5F039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5759d7e5489570d5042705442a8d5bb6f66f74","datavalue":{"value":{"entity-type":"item","numeric-id":4251930,"id":"Q4251930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$C980A08C-315B-4A93-8CEF-EABCDDD12377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446e055cc28a63f447a8b0a9c8f3572b015db756","datavalue":{"value":{"entity-type":"item","numeric-id":1591416,"id":"Q1591416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$98E93F9D-9B2D-4162-B4AA-CDFE452D079B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ab72b64a3728cabe98b0c9d8418a3172108b4e","datavalue":{"value":{"entity-type":"item","numeric-id":1389788,"id":"Q1389788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$25A266BF-65CF-4269-B7A1-1D86CFDAFA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b5a0d257867667306d1db9ec77f9df3c979202","datavalue":{"value":{"entity-type":"item","numeric-id":351751,"id":"Q351751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$816A5972-6666-4C1F-9232-9AD933AE036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5d5912d83322cd197b1f5c054b0276e99c6018","datavalue":{"value":{"entity-type":"item","numeric-id":5515450,"id":"Q5515450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$6D7A2F3E-2C50-45DC-9111-39FAC38633A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb9dba8fb67f5c936245b1d00a01dc2fa67b447","datavalue":{"value":{"entity-type":"item","numeric-id":4274969,"id":"Q4274969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$8A0E1328-B684-4E61-8313-926116E5E565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d676005332d7dfe9616fa05c45f30a0c287cdf3","datavalue":{"value":{"entity-type":"item","numeric-id":4424387,"id":"Q4424387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$10ED5458-B16F-48CC-B168-F48069792AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7addd1bb871fa7ae1d645370ee8e490b47ad59","datavalue":{"value":{"entity-type":"item","numeric-id":412537,"id":"Q412537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$DC6FE5C7-1708-4B0F-93CA-35FF415ECF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e111b9eefc34a24ae37af49479aa4309385c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":2747135,"id":"Q2747135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$68439CB3-9036-4CC2-9241-09FED71A57E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ee91fb3dbde792b64aeb1e2debbcac42a4608d","datavalue":{"value":{"entity-type":"item","numeric-id":472989,"id":"Q472989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$14510587-7EE9-44DC-8154-4ED655AB43D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee11638c2d831192dc8b2f657d4ad4d7ad70383d","datavalue":{"value":{"entity-type":"item","numeric-id":935866,"id":"Q935866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$10260ACA-AE91-4AFB-BC28-FF00A0997985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ba6c2147a4b9fc8e3e6915845e166e68786fa","datavalue":{"value":{"entity-type":"item","numeric-id":973932,"id":"Q973932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$5DA222E8-E758-41D2-98EA-7FC589967DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6b2bb312507731542d6a2feee5818257a99ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3686801,"id":"Q3686801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$5FD3BCFC-EAD0-453C-B68A-127B083811E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1dcd17b69596df7d1d7d7f3a41ae2bb34c9544","datavalue":{"value":{"entity-type":"item","numeric-id":3879340,"id":"Q3879340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$9B34B882-D320-4350-BD20-39509F61470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9027a53bb89a12b7e32fdbaafcc8c18228edc3c9","datavalue":{"value":{"entity-type":"item","numeric-id":4043173,"id":"Q4043173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$64C41C39-E9DE-4715-875D-FE94D4FE96E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c269da3a6a8ec834b6eaadf72ebe5d0fcecdb9fa","datavalue":{"value":{"entity-type":"item","numeric-id":4459342,"id":"Q4459342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$CB0D880E-2267-4A20-83EF-7B13E9E03AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29a03e57026963b14e6a2c782e2bcf5541687fd","datavalue":{"value":{"entity-type":"item","numeric-id":5936927,"id":"Q5936927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$3FF61BEE-5555-40E1-B4CF-EFB023450FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69852961c052867ed27a67fbb3ae1df10ba25b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1883039,"id":"Q1883039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$1ED0D766-3932-4F16-AC57-E28EBC2E9641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9bb8f0eb8ab31a4c7e1b1301f7b8a1758eff03","datavalue":{"value":{"entity-type":"item","numeric-id":1337516,"id":"Q1337516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$66C71F74-8483-4E54-80AE-68BF8E9947B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36be864749fc992712e49425be4d76f49ce2de9c","datavalue":{"value":{"entity-type":"item","numeric-id":1291048,"id":"Q1291048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$9442E685-4D8A-40C1-B8BB-220FD816C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a119d04f73aa0acc631f22061caad4c84f7f676f","datavalue":{"value":{"entity-type":"item","numeric-id":1283948,"id":"Q1283948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$1359C7B7-165E-4F8C-8A90-54F3CC8200EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1879abce487e8842769acb6fb2a72fffd94e1a3c","datavalue":{"value":{"entity-type":"item","numeric-id":2755356,"id":"Q2755356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$F9767E15-B89B-4E50-933B-7312DDE57697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c428d4ab8c01eb24213e44db052846cb4f7f0a3","datavalue":{"value":{"entity-type":"item","numeric-id":1964128,"id":"Q1964128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$7375DC0B-7B7D-4346-B1FF-BC2195005DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f2fadfe891d1bbd44f604ca6c38e99be8a2e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2522294,"id":"Q2522294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$74D1FE62-E927-4D49-A995-7AC0FC2D473A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0042e78c1093ea5a901d066ddec966df245baa19","datavalue":{"value":{"entity-type":"item","numeric-id":2707892,"id":"Q2707892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$C64C9B3C-4C72-4909-AA91-7D852AFF0274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a685456d99a720fb145d02d944e16d6af378def8","datavalue":{"value":{"entity-type":"item","numeric-id":4372724,"id":"Q4372724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$95DE5B73-21EF-4738-B82F-768A298AEA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2925d8c42c06d168799f69a288cb72700e58f36","datavalue":{"value":{"entity-type":"item","numeric-id":934575,"id":"Q934575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$3C9F2ABA-0B67-47EA-A1B6-2F80C6FBCFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5a124f7bc15f1cf5aeb7e21f2e7f2c002ef369","datavalue":{"value":{"entity-type":"item","numeric-id":5735272,"id":"Q5735272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$250A4159-A20B-4FAE-A327-7F26112E4AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33160ef07fc7f053b41c0d31ce28aa051c57a77","datavalue":{"value":{"entity-type":"item","numeric-id":2382945,"id":"Q2382945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$0340E458-4342-4E10-ABEE-640CB69E582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5f77a7e9328fabdee5e33a7e3207cd390c12c1","datavalue":{"value":{"entity-type":"item","numeric-id":1591407,"id":"Q1591407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$ECE6EAC1-7517-49A4-8C13-FA2C65AE7C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af7000ca1284f2eadc44054c341480deff628e2","datavalue":{"value":{"entity-type":"item","numeric-id":5554434,"id":"Q5554434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$9A135AB7-71A3-4DDA-8C99-E866A329CDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a7a8a2685049d93ce9602f687a0937e0bade13","datavalue":{"value":{"entity-type":"item","numeric-id":3995215,"id":"Q3995215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392449$E26B32C3-73D0-4E98-A0B8-FB391EF7E364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e996c04568bef4ee5edd3389f9133d5a97caba1","datavalue":{"value":"10.1016/J.JPAA.2013.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392449$41DDA033-7B19-4591-87AA-F6D686D6BF3A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3439cca63aac3368ef13b4b3ad33e4c82d080ff8","datavalue":{"value":"Let \\((R,{\\mathfrak m}, k)\\) be a local ring and let \\(M\\) and \\(N\\) be finitely generated nonzero \\(R\\)-modules. We say the pair \\((M, N)\\) satisfies the depth formula provided: NEWLINE\\[NEWLINE\\text{depth}(M) + \\text{depth}(N) = \\text{depth}(R) + \\text{depth}(M \\bigotimes_R N).NEWLINE\\]NEWLINE This useful formula is not true in general, as one can see by taking \\(R\\) to have depth at least \\(1\\) and \\(M = N = k\\). The depth formula was first studied by Auslander in 1961 for finitely generated modules over regular local rings. More precisely, if \\(R\\) is a local ring, Auslander proved that \\(M\\) and \\(N\\) satisfy the depth formula provided \\(M\\) has finite projective dimension and \\(\\text{Tor}^R_i(M, N) = 0\\) for all \\(i \\geq 1\\). Three decades later Huneke and Wiegand proved that the depth formula holds for \\(M\\) and \\(N\\) over complete intersection rings \\(R\\) provided \\(\\text{Tor}^R_i(M, N) = 0\\) for all \\(i \\geq 1\\), even if \\(M\\) does not have finite projective dimension.NEWLINENEWLINEThe authors investigate some of the necessary conditions for the depth formula \\(\\text{depth}(M) + \\text{depth}(N) = \\text{depth}(R) + \\text{depth}(M \\bigotimes_R N)\\) to hold. We show that, under certain conditions, \\(M\\) and \\(N\\) satisfy the depth formula if and only if \\(\\text{Tor}^R_i(M, N) = 0\\) for all \\(i \\geq 1\\). They also examine the relationship between the depth of \\(M \\bigotimes_R N)\\) and the vanishing of \\(\\text{Ext}\\) modules with various applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q392449$8938099D-2938-4EE5-9DF3-79D1CA591317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9f9204736e88863a705f93ea67489c554d236e","datavalue":{"value":{"entity-type":"item","numeric-id":515616,"id":"Q515616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e3956cb90c25663fd3b4eaa1161bd0b45a9888","datavalue":{"value":{"amount":"+0.8387485146522522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392449$B34B5249-10CA-4458-A7DB-0882DDC364B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524bcc93357c8d3e4ac7c60d0b9da86edf9231f1","datavalue":{"value":{"entity-type":"item","numeric-id":4216833,"id":"Q4216833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d221e12dc076849d2acb1f744ee176095c96590b","datavalue":{"value":{"amount":"+0.8291078209877014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392449$7E8B0BA7-C2F2-447D-BA50-9E8D04149D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f81c66580c21dfa8b5db12a97fedea3502398d4","datavalue":{"value":{"entity-type":"item","numeric-id":2747135,"id":"Q2747135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2e25580f77bde8cada581c53a1a1bb4f700adc","datavalue":{"value":{"amount":"+0.820842981338501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392449$6B29BA3E-CFA6-44F9-A605-65D17DABCC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83f80728d60b79797fcce60a57f1b4335798ef4","datavalue":{"value":{"entity-type":"item","numeric-id":472989,"id":"Q472989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd7c4815f2501dd18bab544d6d7a82fe3f9a878","datavalue":{"value":{"amount":"+0.8200289607048035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392449$A482EAF4-DD2A-4F94-81F6-E7205D23846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51e72154a66b7f65e8fbc2e90610637c7232c67","datavalue":{"value":{"entity-type":"item","numeric-id":2254326,"id":"Q2254326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb105f80aea139851d559a603b934a067fe00109","datavalue":{"value":{"amount":"+0.8197425007820129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392449$6D6C1754-18C9-4482-B18D-B9B11365F30A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Necessary conditions for the depth formula over Cohen-Macaulay local rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Necessary_conditions_for_the_depth_formula_over_Cohen-Macaulay_local_rings"}}}}}