{"entities":{"Q790188":{"pageid":792036,"ns":120,"title":"Item:Q790188","lastrevid":64362261,"modified":"2026-04-11T19:20:32Z","type":"item","id":"Q790188","labels":{"en":{"language":"en","value":"Syzygies and Ext"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847536"}},"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":"Q790188$CD4791B1-43AD-420C-904B-FEAFF88ECB4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"536916d59ce7b9c24bb67818b48a86e875433752","datavalue":{"value":{"text":"Syzygies and Ext","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790188$DE9B4C4A-417C-4BB3-A9A0-613DE901989C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb79ef843e1f8bca53e6408d025162362ad79d9e","datavalue":{"value":"0534.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$C66EAAEF-B185-4135-A27C-ECB4F0E57CA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28366f212e6d37d3b7245073b856c97970b63b5a","datavalue":{"value":"10.1007/BF01304215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$74C6191C-07ED-4949-9A08-6C5707986D58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a3640bce18e6002c51d3b45cb5f31af545862d","datavalue":{"value":{"entity-type":"item","numeric-id":717843,"id":"Q717843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$814FC0FE-7D87-4F9F-B273-2AE84CEE1A02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$3EF1C8FB-377B-4DA4-BFFA-5177A7C2277A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q790188$2927B46E-C4DE-4ED9-910E-4C7B3D08BC3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5ec348990b57ce087a4de8f219e37555fd05879","datavalue":{"value":"https://eudml.org/doc/173538","type":"string"},"datatype":"url"},"type":"statement","id":"Q790188$8C70E440-2120-4D8E-BE6D-D06DE45651E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78dfa38ab455702f771a99a994e93ff65b123a6a","datavalue":{"value":"Let \\(R\\) denote a regular local ring. All \\(R\\)-modules will be assumed to be finitely generated and unitary. In his article in Ill. J. Math. 10, 220-226 (1966; Zbl 0139.26601), \\textit{S. Lichtenbaum} proved that if \\(Tor^ R_ i(M,N)=(0)\\) for some \\(i\\), then \\(Tor^ R_ j(M,N)=(0)\\) for all \\(j\\geq i\\). Easy examples show that a similar statement is not true in general with Tor replaced by Ext. However, when \\(M=N\\), the statement \\(Ext^ i_ R(M,M)=(0)\\), does imply \\(Ext^ j_ R(M,M)=(0)\\) for all \\(j\\geq i\\). This is shown in the author's article in Nagoya Math. J. 59, 149-152 (1975; Zbl 0348.13006). When \\(M\\) and \\(N\\) are arbitrary the best one can assert is that if \\(Ext^ i_ R(M,N)=(0)\\) for a positive integer \\(i\\geq depth N-Syz M\\), then \\(Ext^ j_ R(M,N)=(0)\\) for all \\(j\\geq i\\). Here if \\(M\\) is an \\(r\\)-th module of syzygies we denote \\(Syz M=r\\). This is theorem 1 of the present article. - This is done by first generalising the concept of test module for projectivity introduced by \\textit{M. Ramras} in his article in Proc. Am. Math. Soc. 27, 457-462 (1971; Zbl 0219.13013). We say a nonzero module \\(M\\) is a test module for projectivity of \\(r\\)-th syzygies, if \\(Ext^ 1_ R(P,M)=(0)\\), for an \\(r\\)-th syzygy module \\(P\\), implies \\(P\\) is projective. We prove \\(M\\neq(0)\\), is a test module for projectivity of \\(r\\)-th syzygies if and only if \\(depth M\\leq r+1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q790188$FF6FE575-BC37-408E-B220-6C91A142568D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$A9203CDC-6DEE-40D8-86A2-6B12C309D39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97db24179cfc0cd5c39cf1637a09a84330364f9c","datavalue":{"value":"13H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$0CCDC04A-E5C4-4588-9843-3A8C9C38792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6c0d35e6fccd0fb471822cfa3b5bcd398a274a","datavalue":{"value":"13C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$72F044DF-26A9-4265-B231-E9B6DEE00159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60572561c94bb0a5de4329d3c7bf8a47080901dd","datavalue":{"value":"18G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$6A9F3336-78E9-43DB-88E2-4E68B312CEE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dca32245801bf6307d659d77bcb5588fe50f21e5","datavalue":{"value":"3847536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$EA7A5BBA-27C2-4B4A-9D24-D3ECB63502A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40db73407da9605b5ca1d02685f12a4c126b232d","datavalue":{"value":"regular local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q790188$12712463-7DD8-4620-B4B0-9435D5B3F82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c3572afc56b31903678329ac7c91ff442d71b52","datavalue":{"value":"test module for projectivity of r-th syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q790188$E1B0572C-3913-4360-9148-7FB8CD9DDE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a5d0d4cf762e7c7ba742f2943056dfb033b4f","datavalue":{"value":"depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q790188$D95DDDE6-798E-4422-B4A0-4FA85A03516E","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":"Q790188$76E57254-E706-40CA-A7E6-ED91ABE4F62C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d445e4d99186f4fd45b429cefa54b5b98f784c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5603896,"id":"Q5603896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$DA85269A-427D-4C6B-8A49-C213701D5B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89f44019bb3dcf38bf437d64d3fb8ba1ca5e5ad","datavalue":{"value":{"entity-type":"item","numeric-id":4059047,"id":"Q4059047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$09121C9D-E091-45DD-86D7-3C7A193ACFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75d23283f9ef33e3b913d387ce9aafc45807060","datavalue":{"value":{"entity-type":"item","numeric-id":3697124,"id":"Q3697124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$AF7C80F9-BB2F-4C19-ADAE-411CF4ACBB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeabb44c3ec9eb1ddfa34c62a4b70452359bb38f","datavalue":{"value":{"entity-type":"item","numeric-id":5720253,"id":"Q5720253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$DCF44919-28D7-4D3D-AF80-5B60777AD564","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":"Q790188$0EEA86E4-5E8D-4FB2-AC06-6B5975341BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cd5b4a82bf86c789e8aec14457e9e7a5412b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5611879,"id":"Q5611879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$14BF6D8A-1C09-4C09-A817-B5AC35EF2A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc7a6ea9c69da6364500c52fc2b6c248c10c69a","datavalue":{"value":{"entity-type":"item","numeric-id":5623806,"id":"Q5623806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790188$6CF2C8FE-8C3B-423C-B770-FE8A4704E243","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7ac59ccc013390c770363924529f0e0eb0f440a","datavalue":{"value":"W1963718330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790188$20253CB2-C9BB-4417-AB22-BD0A81548880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be271ac32b04a7bfd50deccdb54933f192053d49","datavalue":{"value":{"entity-type":"item","numeric-id":3686801,"id":"Q3686801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f5cb7c52affa8dc15d43b8d0fc94c8a3304386","datavalue":{"value":{"amount":"+0.9181116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$F1D7392D-BC1D-4B86-AFD8-89CFECD0F987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64391cbac3e897932ad61b8ffd0f74171325a9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4245145,"id":"Q4245145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4ae3498f343df20274791d4265cb4df8184fc9","datavalue":{"value":{"amount":"+0.8520588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$7C6F4F02-35C5-4E0A-A656-0F5518EC990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24362fbe876971d4ff60496fea8de0d9757c6df","datavalue":{"value":{"entity-type":"item","numeric-id":1570373,"id":"Q1570373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6065e1b6872d6f6bf8cad8a85264a3990a6ef3","datavalue":{"value":{"amount":"+0.8318401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$1572D73B-8C69-4437-9449-659D96A1C3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fecb5806cd03f8fb7159cef3ecb695509eac85","datavalue":{"value":{"entity-type":"item","numeric-id":5335388,"id":"Q5335388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4787da52772babf240a524bafa0e87c2ea359cae","datavalue":{"value":{"amount":"+0.81507826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$A29F8AA0-3D14-46C3-A818-D127E764569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e488074d7fe1f996f69e309167ab63ee21f4ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3495450,"id":"Q3495450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce0bae1492998643db6068e4c6a7af7c69358fe","datavalue":{"value":{"amount":"+0.8130039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$92DF3A1F-488A-4630-A361-6C788E308278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09efad829c8606bbbc0c5483ace3e116ccc23767","datavalue":{"value":{"entity-type":"item","numeric-id":609463,"id":"Q609463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1123aac88991749531062c0be071cac00116a6c8","datavalue":{"value":{"amount":"+0.8011867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$3263F205-A235-4F02-89D9-3FB20E2C8730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bcab0812fbe5b119f02e8df9bfc1cb5793d0d1","datavalue":{"value":{"entity-type":"item","numeric-id":3344076,"id":"Q3344076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb90dd681d5872091061a4ac5562008176eb56d","datavalue":{"value":{"amount":"+0.7989644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$DA7C7700-3903-4E72-89DA-8FDB5F651A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1cacd972d3a278e4b417783c3d6437577d2c47","datavalue":{"value":{"entity-type":"item","numeric-id":3317207,"id":"Q3317207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57490187614a3768b5688dcc1f1b6239767febf9","datavalue":{"value":{"amount":"+0.7821915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$9C587F3A-BE4A-40A6-8942-3716506CFBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b08731b3fe647266f9e7b0aacba67d266fc0302","datavalue":{"value":{"entity-type":"item","numeric-id":860423,"id":"Q860423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb54cc1b12770d6011305c62c93fe73a422b521","datavalue":{"value":{"amount":"+0.7811216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790188$44D88402-2C79-48E1-9CEB-7D103DF3BB18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syzygies and Ext","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syzygies_and_Ext"}}}}}