{"entities":{"Q752772":{"pageid":754621,"ns":120,"title":"Item:Q752772","lastrevid":64199079,"modified":"2026-04-11T18:17:38Z","type":"item","id":"Q752772","labels":{"en":{"language":"en","value":"S\u00e9ries de Poincar\u00e9 et modules inertes. (Poincar\u00e9 series and inert modules)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179508"}},"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":"Q752772$03CD34BA-55FD-40DA-A7D2-1E736E12050F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda7f4dc27cad62a50eae530bb78f7dda656595a","datavalue":{"value":{"text":"S\u00e9ries de Poincar\u00e9 et modules inertes. (Poincar\u00e9 series and inert modules)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752772$35AF6A22-C945-406E-8451-A043E932D50A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a91ff7292f7dad508b371325b7cf3fd5434381bb","datavalue":{"value":"0716.13011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752772$B6FB2B9A-CFDC-4965-B41B-C85F8266E295","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39b90c9a1ca73a439e4f30b7f8aaca0abc6eacc7","datavalue":{"value":"10.1016/0021-8693(90)90250-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752772$256DF74C-C33E-4C86-BDB8-E740D712B66B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67c2a4bd15f06eaa16c13bb2bdb02f76dd9b1671","datavalue":{"value":{"entity-type":"item","numeric-id":752770,"id":"Q752770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$E8455C4C-0DBC-4674-BE69-580FA2DB7CDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$DC6138C0-39AA-4E84-B98E-76DB2A0BAEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q752772$9C3AF2C2-8ECD-4439-B632-AF97913206AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93e82b1b08a86b6c40dc518e13a365f979fefa73","datavalue":{"value":"Let f: (S,\\({\\mathfrak n})\\to (R,{\\mathfrak m})\\) be a homomorphism of noetherian local rings, which induces the identity map on their common residue field k, and let M be an R-module. The paper investigates the relation of the Poincar\u00e9 series of M over R, \\(P^ M_ R(t)=\\sum_{i\\geq 0}\\dim_ kTor^ R_ i(M,k)t^ i \\), and a similar formal power series over S. Of course, in order for \\(P^ M_ R(t)\\) to be defined, one needs the dimensions of the corresponding Tor's to be finite, and the author proves that this condition is equivalent to the finiteness of \\(\\dim_ kExt^ i_ R(k,M)\\) for \\(i\\in {\\mathbb{Z}}\\), and to the finiteness of \\(\\dim_ kH(K\\otimes_ RM)\\), when K is the Koszul complex over a minimal system of generators of \\({\\mathfrak m}\\). He also shows that if \\(P^ M_ S(t)\\) is defined, then so is \\(P^ M_ R(t)\\), and that the converse holds when S/\\({\\mathfrak m}S\\) is artinian. These results partly depend on a rather general change of rings spectral sequence constructed in the paper, which in particular yields a coefficientwise inequality: \\(P^ k_ R(t)\\cdot P^ M_ S(t)\\gg P^ k_ S(t)\\cdot P^ M_ R(t).\\)    The author says an R-module M is inert by f if the inequality above becomes an equality. The study of inert modules, which is the main object of the paper, is linked to earlier work on the homology of local rings. Thus, it is shown that the homomorphism f is large [that is, the induced map \\(f_*: Tor^ S(k,k)\\to Tor^ R(k,k)\\) is surjective, cf. \\textit{G. Levin}, Math. Scand. 46, 209-215 (1980; Zbl 0472.13010)] if and only if every finite type R-module M is inert by f. On the other hand, if f is small [that is, \\(f_*\\) is injective, cf. the reviewer, J. Algebra 50, 400-453 (1978; Zbl 0395.13005)] then M is inert by f if and only if the induced map \\(Tor^ S(M,k)\\to Tor^ R(M,k)\\) is injective.    A particularly nice application of the ideas and techniques of the paper is given in the proof of the following result: If the ring R is Golod, and the module M is finitely generated, then the sequence \\(\\{\\dim_ kTor^ R_ i(M,k)| i>\\dim_ k{\\mathfrak m}| {\\mathfrak m}^ 2\\}\\) is constant if R is a hypersurface ring, and is strictly increasing otherwise.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752772$2E1374C5-51C5-44EE-BD8C-0D5B1887A11E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752772$5C879586-8584-4545-811F-04CEBC505C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"948aa1fb9c132b8af64a8a1ee35d1e52801f0e0a","datavalue":{"value":"13H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752772$3E7EBBB8-3C1A-41E2-9B0E-F71FE0180570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752772$D8C5FDF6-5F81-4AE5-876A-9FFB53F0A3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752772$9A9CC1FC-93C6-4873-997D-19B8F77F11D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df606fde8732e79e92fec47734698b3cb2547c8a","datavalue":{"value":"4179508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752772$D528B7F7-75D0-45AD-BFAD-608DB465665E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774b49588517687178b489a2cf426812a4970851","datavalue":{"value":"Golod rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q752772$5F13FF45-4229-4C09-9B89-103920D7203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfeb67cf1c041de86355be92a13587b7f4156fdd","datavalue":{"value":"Poincar\u00e9 series","type":"string"},"datatype":"string"},"type":"statement","id":"Q752772$054E695D-0886-4869-96F7-C455EAE6374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb746490cb68fec47cbd97b2ef95953099ba7f2c","datavalue":{"value":"Koszul complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q752772$593B8CA5-BDEE-4235-B90C-62CFC2C9EAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acbb8529d23ce15d90a7f4e3b18ceaa7a852194e","datavalue":{"value":"inert modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q752772$1AC2BABE-BE0A-4E10-82A9-1A6FC12CE3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f519ad81b04b251e14a82110dc513064594211d","datavalue":{"value":"homology of local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q752772$58A15293-B471-4C5C-A35C-6F375112C11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4cd9e4fccfccc4f65fa35fc48d49862008202b","datavalue":{"value":"hypersurface ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q752772$DF993A1C-49BD-4BB1-9E50-EA46B19386C7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac7a1c973058e33904e36c86423cca844c1550ce","datavalue":{"value":{"entity-type":"item","numeric-id":208196,"id":"Q208196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$31C4F5EA-7ADE-476B-BCE6-7F967768C4CE","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":"Q752772$4741FEAD-F7B6-4F98-9062-D5E989BD065A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ae18bfd110e559ff165589e741e2cdc1896c52","datavalue":{"value":{"entity-type":"item","numeric-id":1252898,"id":"Q1252898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$6B2F68C9-FA46-4EE3-A78B-30DB7B2C4387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1796f75b27bb7b8b4edbb60d18a6bb9e51a4c8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3344077,"id":"Q3344077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$AFEC844D-3AB0-4C98-BC4F-D5194C92CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c216aa04883f3c27ac38d32ad4bf54c6a35c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3240881,"id":"Q3240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$91C198B1-ED27-44F5-9909-501F4DF65F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba5810d759093ce095ea68347ef4d59723858b6","datavalue":{"value":{"entity-type":"item","numeric-id":1845781,"id":"Q1845781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$356D7541-A12A-44D6-AC41-99A7483223AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b331d3937886cc5ffea36cc48cff849ba1aaf7","datavalue":{"value":{"entity-type":"item","numeric-id":4117932,"id":"Q4117932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$06457EA1-96CA-4765-974A-15DF6A3BE09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5bab9fa0be0276bd910f7fea96c112c4bce41a","datavalue":{"value":{"entity-type":"item","numeric-id":1235742,"id":"Q1235742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$91668C7D-04C0-4A1F-8915-897A1AF909F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e28e0da26b3459140edfaa31244ce35f419de2","datavalue":{"value":{"entity-type":"item","numeric-id":3255431,"id":"Q3255431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$53D5DBC7-06A9-45BC-A8DA-1967B112E65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601bb317946d3c46f894d7f8087b27a8b9c0efcc","datavalue":{"value":{"entity-type":"item","numeric-id":3676249,"id":"Q3676249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$D5B47F95-AA03-4D34-AE89-254CA7D19678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120544ce62a77e0751d87757839b4e0d628874a5","datavalue":{"value":{"entity-type":"item","numeric-id":3880947,"id":"Q3880947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$3F172449-12BD-4542-A200-FF126F6BD020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e3832e582ec18100a2957f7a1aaa4170dc6bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4193574,"id":"Q4193574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$A251E497-6210-4203-941A-1E3BD628AFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd1f2adc770461f92c074b717b5fe5b672be630","datavalue":{"value":{"entity-type":"item","numeric-id":3926721,"id":"Q3926721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$19B52DA6-3B09-47FA-A11B-879492C9AD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df45345891fbcdee3869566a7af0f20b59982063","datavalue":{"value":{"entity-type":"item","numeric-id":5343374,"id":"Q5343374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$E1D36C6C-59C4-4AB7-8B6D-E5F4D9902A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a2a13d2c8efad82c52c4d4da2d76587c49065f","datavalue":{"value":{"entity-type":"item","numeric-id":4152646,"id":"Q4152646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752772$7860AC2E-C5D2-49F3-82C3-0C0965483AE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c937ceed335eb4123f3b0fb80c82fa476ab375","datavalue":{"value":{"entity-type":"item","numeric-id":1071061,"id":"Q1071061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b25c27df0b5b6d1dc5e474b2cecc0827d829beb","datavalue":{"value":{"amount":"+0.862167239189148","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":"Q752772$1A129C8A-BCC3-4FA2-9157-2E640E84C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833ebab2f7433e3e9a4e419af5d80054f298fcb1","datavalue":{"value":{"entity-type":"item","numeric-id":1104989,"id":"Q1104989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa68ce6a30bdca17556d0cadc2271b6c6059e5f7","datavalue":{"value":{"amount":"+0.800294816493988","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":"Q752772$74EEC0AB-DB8C-42A3-A924-05FE6E0D3387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60032439b018c26d70821273d45122c2b6d4befd","datavalue":{"value":{"entity-type":"item","numeric-id":4205524,"id":"Q4205524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52dbb5d9cd86d7f5b1632aaa1fbedeff4b428794","datavalue":{"value":{"amount":"+0.7875161170959473","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":"Q752772$2011A772-6BA2-4B70-8626-535CD5B60FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28098dc2ad1405a0430b5dedaca5b46c6d0086e1","datavalue":{"value":{"entity-type":"item","numeric-id":1313776,"id":"Q1313776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e663f4512a9645bb736b7b50b5d194fca941c72b","datavalue":{"value":{"amount":"+0.7844609618186951","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":"Q752772$867E8C8F-9014-4AA9-AB59-E40CFB12BDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08fa6a719c4ffb5e83166bca44498cf0e754ad1","datavalue":{"value":{"entity-type":"item","numeric-id":3708890,"id":"Q3708890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e187a4c4b2c9cafd0592dc8b50d496b8357c234","datavalue":{"value":{"amount":"+0.7769852876663208","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":"Q752772$B45EE8F9-994A-4D4F-892B-7D45E2DB4E07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"S\u00e9ries de Poincar\u00e9 et modules inertes. (Poincar\u00e9 series and inert modules)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/S%C3%A9ries_de_Poincar%C3%A9_et_modules_inertes._(Poincar%C3%A9_series_and_inert_modules)"}}}}}