{"entities":{"Q6970125":{"pageid":21323814,"ns":120,"title":"Item:Q6970125","lastrevid":84048602,"modified":"2026-05-08T19:44:25Z","type":"item","id":"Q6970125","labels":{"en":{"language":"en","value":"The improved new intersection theorem revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054118"}},"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":"Q6970125$13EF218D-AB63-4143-A751-FB0DD95F67D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91dde6895e7ec5280d58a7efd2e27fec6e7b706d","datavalue":{"value":{"text":"The improved new intersection theorem revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970125$EC44D621-1975-42D7-A6F8-F67F7FDC0852","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"345bc73816132e4fd435aa9dea1c670ddb4045c9","datavalue":{"value":"1567.13016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970125$440682A9-E766-43C9-ABF5-40A351645D18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"907103e53cd95e83a3562320387d2fadd7be27ad","datavalue":{"value":"10.1307/MMJ/20226245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970125$9A73BE09-1D70-4767-BFCE-B600A2BE6667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b0b3bd4e6707a45abaa3a93fde28988e811560","datavalue":{"value":{"entity-type":"item","numeric-id":420734,"id":"Q420734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$457156D5-FC04-48E8-8090-D05F80AFF17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6de0b70cffbb4751f5d01621eb4941598bc5c41","datavalue":{"value":{"entity-type":"item","numeric-id":1621841,"id":"Q1621841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$B599F5E6-03C8-4E26-963A-FCBD9FC237C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c4c7a1f46d9894fac4cec7ad103eaed62d5731b","datavalue":{"value":{"entity-type":"item","numeric-id":227392,"id":"Q227392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$D49AAA5A-4604-46FC-B61B-07510467890E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970125$476C92DE-8908-489A-B4FF-6F4EBDE3371A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38935587224b396fb4e8366c659b0d23ad897d8f","datavalue":{"value":"https://projecteuclid.org/journals/michigan-mathematical-journal/volume-75/issue-2/The-Improved-New-Intersection-Theorem-Revisited/10.1307/mmj/20226245.full","type":"string"},"datatype":"url"},"type":"statement","id":"Q6970125$B2C56932-8EA8-4D93-90E6-57E0FEDAB392","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68b15514b60feee64302e8721ad512c36546f2d7","datavalue":{"value":"Let \\((R,{\\mathfrak m})\\) be a commutative Noetherian local ring, and let \\N\\[\\N{\\mathbf F}:0\\rightarrow F_n\\rightarrow F_{n-1} \\rightarrow \\cdots \\rightarrow F_1\\rightarrow F_0\\rightarrow 0\\N\\]\\Nbe a non-exact complex of finitely generated free \\(R\\)-modules. The new intersection theorem asserts that if each homology module \\(\\text{H}_i({\\mathbf F})\\) has finite length, then \\(n\\geq \\dim R\\). An improvement of this result, known as the improved new intersection theorem, states that if \\(\\text{H}_i({\\mathbf F})\\) has finite length for all \\(i> 0\\), and a nonzero minimal generator of \\(\\text{H}_0({\\mathbf F})\\) generates a submodule of finite length, then \\(n\\geq \\dim R\\).\\N\\NTwo generalizations of the improved new intersection theorem are as follows:\\N\\begin{itemize}\\N\\item[(a)] (Iyengar, 1991) Suppose that \\(\\text{H}_i({\\mathbf F})\\) has finite length for all \\(i> 0\\), and an ideal \\(I\\) annihilates a nonzero minimal generator of \\(\\text{H}_0({\\mathbf F})\\). Then \\(n\\geq \\dim R-\\dim R/I\\).\\N\\item[(b)] (Avramov, Iyengar and Neeman 2018) Suppose that an ideal \\(I\\) annihilates \\(\\text{H}_i({\\mathbf F})\\) for all \\(i> 0\\), as well as a nonzero minimal generator of \\(\\text{H}_0({\\mathbf F})\\). Then \\(n\\geq \\text{ht}\\ I\\).\\N\\end{itemize}\\NThe main objective of this paper is to present the following common generalization of the latter two results:\\N\\N{Theorem:} Let \\(R\\) and \\({\\mathbf F}\\) be as above. Assume that an ideal \\(I\\) annihilates the homology modules \\(\\text{H}_i({\\mathbf F})\\) for all \\(i> 0\\), as well as a nonzero minimal generator of \\(\\text{H}_0({\\mathbf F})\\). Then \\(n\\geq \\dim R-\\dim R/I\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970125$63AA5314-CF09-4992-AB20-653B6D656E4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a078389bc53734e38053d2cf7546e6109b026b5","datavalue":{"value":{"entity-type":"item","numeric-id":367022,"id":"Q367022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$59D06D89-373B-4D27-8B13-984440899243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3759a062279a66b1679b98fa644219ef0bc3b7a3","datavalue":{"value":"13D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970125$C4D02750-2167-4604-99DB-8FA434AD1A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970125$B0427145-3AAF-4B1E-BB65-F8CD4A9B15B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2f71c0be356a51eeb4846316a7396b06433e723","datavalue":{"value":"8054118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970125$1CB525C4-974B-49F3-B2FB-2DA4D7350BE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d02fb9493b93ac7467e0f2e734c289d1109b2d6","datavalue":{"value":"big Cohen-Macaulay module","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970125$098AB437-A83E-4777-8048-192A693C0D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0185c45d92f986ae71ffc739a00d19cb835dbba5","datavalue":{"value":"complete intersection dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970125$052F1336-5D65-48E1-AFB0-26444F1AF559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4217991e59746429cc733743c5bc283c5d4e6288","datavalue":{"value":"deformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970125$D99BB50E-6C42-4D40-9A58-87B1885106F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25176804885492002f03e31e61e39ebb554df301","datavalue":{"value":"Gorenstein dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970125$CDD4EAAD-CA82-43EC-B7AE-FC385C2A2E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"377598ca77f89bcdb7594c20a8a94a127a48bc9d","datavalue":{"value":"quasi-deformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970125$2DB8EAB9-7F83-4E9A-B821-DF6EA27378F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4114d33d25a8dc4de35014f0cb352cbe137c9d","datavalue":{"value":"totally reflexive module","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970125$EFFF0330-027E-49BD-9D4F-459EBFF0F569","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":"Q6970125$677B8B9E-DECF-4951-AE93-25E848C601C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9009e3ae6e4eb24061cb871a5b8b01f44b22e9a","datavalue":{"value":{"entity-type":"item","numeric-id":4338377,"id":"Q4338377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$FEEE8AE9-C57C-43C1-ACFD-B57386A565F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1762b4b372d2b814de465575f95de307954561d","datavalue":{"value":{"entity-type":"item","numeric-id":5122029,"id":"Q5122029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$6923DDCA-70CF-4688-8505-8C24618A0DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9669847a317cf773b11d5bbd580c258749445d5d","datavalue":{"value":{"entity-type":"item","numeric-id":1621842,"id":"Q1621842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$A8F9CAA5-913F-45A6-9D6B-02C994DE6FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f7691fc0ef40254a6d30ff8c351eb5f088f238","datavalue":{"value":{"entity-type":"item","numeric-id":2625040,"id":"Q2625040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$6976BFBF-1A49-4566-B5E9-C7E0F60D1F15","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":"Q6970125$F83D03E2-E708-4F6B-8B18-ECA62331694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b713b1cb12d615693123119c52cdcd8093796fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1170574,"id":"Q1170574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$9C5EEC1D-2BFF-48C5-A408-32D5D7BCD092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfdd6bbbc4ffa4f7016b340aec87a4b29af439ca","datavalue":{"value":{"entity-type":"item","numeric-id":4128895,"id":"Q4128895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$B99EBA8B-9ED2-47D5-B1FA-6029BCFEC6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2770ca40387fc8fc5448abed854b2f68aa8e84b","datavalue":{"value":{"entity-type":"item","numeric-id":1259630,"id":"Q1259630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$031A7000-2449-4364-B429-14F185C6C85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797e2a691b3c7265a78140980c4264185863c89c","datavalue":{"value":{"entity-type":"item","numeric-id":4451109,"id":"Q4451109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$68845050-8F5B-46B8-A243-62BC83EA1969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4a0266c108092427f477e835f4c8bd913ffa4b","datavalue":{"value":{"entity-type":"item","numeric-id":4109754,"id":"Q4109754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$2DEA51FD-29DE-4946-B57E-0122F9219DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7bd5926b72bdf9170cf4de25c287f9d35be296","datavalue":{"value":{"entity-type":"item","numeric-id":2266742,"id":"Q2266742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$93FA1249-534C-4351-829B-9EFBABAA052D","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":"Q6970125$0A5E9715-8FCC-412D-BE8E-1BCD272E3A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914e6fcacb123193d1c683434aa4208c5721fdbf","datavalue":{"value":{"entity-type":"item","numeric-id":5051888,"id":"Q5051888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$D2080A91-D775-46CD-853B-7B7EA9C098D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e205faacf8c133a3db72599e840c538bea36ca3c","datavalue":{"value":{"entity-type":"item","numeric-id":4767388,"id":"Q4767388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$A2D96967-41A5-496F-87A5-0B565BDAF0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c4bdf1db1856ac1b8d57a0882ae52f90e79960","datavalue":{"value":{"entity-type":"item","numeric-id":4215795,"id":"Q4215795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$8A3A5CB5-3D3C-4093-9C70-4B6F4523CE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd659662981f7491cf1c878d4fcb717842879b2","datavalue":{"value":{"entity-type":"item","numeric-id":4583928,"id":"Q4583928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$71B6A517-9E1C-449C-BC76-FCF0443E42A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b4b25586d5b2fc2fe49e75881c5a38762d0c24","datavalue":{"value":{"entity-type":"item","numeric-id":3932919,"id":"Q3932919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$E6A3BCF4-D60C-4A17-8C61-7EC4209E16CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37ff3d2c013d0d6c023ff8740018361e956e09f","datavalue":{"value":{"entity-type":"item","numeric-id":3995214,"id":"Q3995214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970125$54386A2A-60D9-4C58-8E03-557F4204668F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The improved new intersection theorem revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_improved_new_intersection_theorem_revisited"}}}}}