{"entities":{"Q913866":{"pageid":915714,"ns":120,"title":"Item:Q913866","lastrevid":49380685,"modified":"2026-01-07T01:46:04Z","type":"item","id":"Q913866","labels":{"en":{"language":"en","value":"Minimal resolutions of some monomial ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148248"}},"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":"Q913866$9EF9A73F-47C2-4785-A6BC-12F5A4C0FFA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b58065d87d2c8167e9c9cd9739cd8be87dc778e8","datavalue":{"value":{"text":"Minimal resolutions of some monomial ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913866$36676D00-069E-42B1-B8C9-939B49EF0498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea4680b433a1d4d7983a10dc842285c5de358932","datavalue":{"value":"0701.13006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913866$FC8D367E-A219-420D-ACE5-71829196A555","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"864fcb123ea00d44a2dc9a12209b6fca739ba65e","datavalue":{"value":"10.1016/0021-8693(90)90237-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913866$D2CA16D2-FCEA-479C-9571-1124E428F5D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f162a365b204fccf5e9bb5c2dcfd4b10f31e740","datavalue":{"value":{"entity-type":"item","numeric-id":190538,"id":"Q190538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$428BA817-1FEF-4968-BE11-18DF5E53BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89fd89e852036de3e3219912c219d3ef4975c055","datavalue":{"value":{"entity-type":"item","numeric-id":1130640,"id":"Q1130640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$B1199D4C-4CE7-48D2-815F-20442461B0D8","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":"Q913866$A724D3BB-BC0E-4958-9C9C-75AA6E81A4C6","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":"Q913866$F44CFE7F-FC43-4EFC-B6EE-E2BF08A992AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ea82f8b95e6d1f8ba01383d50a46d5371d04fc3","datavalue":{"value":"Let \\(R=k[x_ 1,...,x_ n]\\) be a (graded) polynomial ring in n variables over a commutative ring, e.g., a field, k, where \\(\\deg (x_ i)=1\\). A monomial ideal I has a uniquely determined minimal set of monomial generators G(I), which is called the canonical generator system of I. If w is a monomial in R, let max(w) denote the largest index of the variables dividing w. A monomial ideal I is said to be stable if for every monomial \\(w\\in I\\) and \\(i<m=\\max (w),\\) \\(x_ iw/x_ m\\in I\\). Remark that, if I is a stable monomial ideal with canonical generator set G(I), every monomial \\(w\\in I\\) has a unique decomposition, called the canonical decomposition, \\(w=u\\cdot y\\) with \\(u\\in G(I)\\) and max(u)\\(\\leq \\min (y)\\) (lemma 1.1).    Now define a symbol \\(e(i_ 1,...,i_ q;u)\\) to be admissible if the following three conditions are satisfied: (1) \\(u\\in G(I);\\) (2) \\(i_ 1,...,i_ q\\) are integers such that \\(1\\leq i_ 1<i_ 2<...<i_ q\\leq n\\); (3) \\(i_ q<\\max (u).\\)    Let \\(L_ q=L_ q(I)\\) be the free R-module on the set of all admissible symbols \\(e(i_ 1,...,i_ q;u)\\) for fixed \\(q\\geq 0\\). Let \\(\\alpha:L_ 0\\to I\\) be the map of R-modules with \\(\\alpha (e(u))=u\\). And, for \\(q\\geq 1\\), define the R-module map \\(d:L_ q\\to L_{q-1}\\) by  \\[  d(e(\\sigma;u))=\\sum^{q}_{r=1}(-1)^ rx_{i_ r}e(\\sigma_ r;u)\\quad -\\sum_{r\\in A(\\sigma;u)}(-1)^ ry_ re(\\sigma_ r;u_ r)  \\]  where \\(\\sigma =(i_ 1,...,i_ q)\\), \\(\\sigma_ r=(i_ 1,...,\\hat i_ r,...,i_ q)\\), and \\(x_{i_ r}u=u_ r\\cdot y_ r\\), is the canonical decomposition of \\(x_{i_ r}u\\), with the set \\(A(\\sigma;u)\\subset \\{1,...,q\\}\\) of values of r such that \\(\\max \\{i_ 1,...,\\hat i_ r,...,i_ q\\}<\\max (u_ r).\\)- With these notation, the main result of the paper is:    Theorem 2.1. Let \\(R=k[x_ 1,...,x_ n]\\) be the polynomial ring in n variables over the unitary ring k. Let I be a stable monomial ideal in R. Then, \\((L_*(I),d)\\) as described above is a free graded resolution of I over R. If k is a field, then \\((L_*(I),d)\\) is the minimal resolution.    As applications of this theorem, when k is a field, one gets a formula for the Betti numbers \\(\\beta_ q(I)\\) and the Poincar\u00e9 series \\(P(I,t)\\) of I:  \\[  \\beta_ q(I)=\\dim_ k Tor_ q^ R(I,k) = \\text{rank}(L_ q(I))=\\sum_{u\\in G(I)} {{\\max(u)-1}\\choose q}. \\]   \\[  P(I,t)=\\sum^{\\infty}_{q=0}(-1)^ q\\sum_{u\\in G(I)} {{\\max(u)- 1}\\choose q} \\frac{t^{\\deg (u)}}{(1-t)^ n}=\\sum_{u\\in G(I)} \\frac{t^{\\deg (u)}}{(1-t)^{n-\\max (u)+1}}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q913866$D41FCCEE-E2F8-40BC-8775-05DB646105B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1e19a40bf456df064fc7bea626d083b06ca3056e","datavalue":{"value":{"entity-type":"item","numeric-id":590340,"id":"Q590340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$9F3DAC75-3184-4FFD-9DA2-4754EACC77A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"99c27e09fa243dec33ba15f384f6aea1342b3613","datavalue":{"value":"13D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913866$E64CB19A-AA3E-4F24-8CB2-F13A83309DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913866$9E8DD4A6-23AA-40FB-848C-67913D15ABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913866$6F2ECD92-AF35-4824-B77A-32EF79489B36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a552a2fef4d0b5cb4c7823bcdb752943ce23cbe6","datavalue":{"value":"4148248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913866$F1A938A5-29AB-4C55-AA79-736CB9C0F66D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07af2604142e690327d7211fd0ca7a94aabf369","datavalue":{"value":"resolution of stable monomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q913866$E5BFEF84-8B85-4691-8EB4-0100C84C36B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa07ec990b4c113ec6cb5d2bc0d1b2e295521957","datavalue":{"value":"canonical generator system","type":"string"},"datatype":"string"},"type":"statement","id":"Q913866$D91C49D5-B6DD-4D9B-A4CC-B07B8561A0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df129b2172e3a94d38f3c19cc0d45681b28794f4","datavalue":{"value":"admissible symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q913866$CDA90FD7-0065-48B4-B76F-C979EB69C611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q913866$61B146C9-FE0A-46CD-BF3E-841C787E375C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad8616749b0ec0ef9f0ed2397224ba3f85b0219","datavalue":{"value":"Betti numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q913866$15B8E202-2713-4926-A48F-97ECE9BB85F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfeb67cf1c041de86355be92a13587b7f4156fdd","datavalue":{"value":"Poincar\u00e9 series","type":"string"},"datatype":"string"},"type":"statement","id":"Q913866$A74FA9FD-28C4-46C5-A7CE-AF34BE4172C4","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":"Q913866$E7BC2EE8-1381-4130-BD06-0807BA6F6680","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1458a8a0bc43343464469783127d3c6ecf5333f0","datavalue":{"value":"Q61632105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913866$D18B7A6D-14F3-4968-A816-7F203060E21E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd54e1568baae0c13d409f3ec2b0e986a236507","datavalue":{"value":{"entity-type":"item","numeric-id":5340180,"id":"Q5340180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$70FACBC2-118D-405B-AD62-44663FF66847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca3cc6b3ad7686c307194bc8d12021b7cff726","datavalue":{"value":{"entity-type":"item","numeric-id":579329,"id":"Q579329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$99827B49-870B-46A2-B323-BA6DDB9425FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e3be954cee337f923def731a981046dc4ad480","datavalue":{"value":{"entity-type":"item","numeric-id":4748248,"id":"Q4748248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$74AFD473-F61A-4055-8F9A-E87E2D9BF196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d20476b475a809b06f72cae6f36bfbcfda402e","datavalue":{"value":{"entity-type":"item","numeric-id":4405282,"id":"Q4405282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$0C35D857-5044-4883-B4D6-CDD879768BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3efeed6abcde0610ca3cf90bb160a5efceb56f","datavalue":{"value":{"entity-type":"item","numeric-id":3292616,"id":"Q3292616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$C5B5903B-B10F-4812-922B-5ABEF17B44C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5715911602bedd62a5b36a510a8717c03f3745","datavalue":{"value":{"entity-type":"item","numeric-id":4050885,"id":"Q4050885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$381B6680-A955-4B57-8C48-8A7A346710C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527d46b9f9973b3fa6e1a1980f64ab521064501","datavalue":{"value":{"entity-type":"item","numeric-id":4120658,"id":"Q4120658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$90889612-8F8D-4429-AD6B-C5C5AAA90F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba25ca42109c1687dfce971d03a8612600e9d766","datavalue":{"value":{"entity-type":"item","numeric-id":1106898,"id":"Q1106898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$653CDB08-6344-46B2-A6F1-2D7A8BD686B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5b86b3fc185425a5ed074d0c081908b28b7079","datavalue":{"value":{"entity-type":"item","numeric-id":1233054,"id":"Q1233054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$50C40D4D-FB1A-4BFF-AD40-1071A8A943DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd18e80f6766b9ab6637393d21b1b7402cf8f49","datavalue":{"value":{"entity-type":"item","numeric-id":1122627,"id":"Q1122627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$F48094C8-BFEE-4CA5-BB14-416B2B2A4803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc378394b8772104bd1ab89d89040228ad6cacb","datavalue":{"value":{"entity-type":"item","numeric-id":1904824,"id":"Q1904824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913866$FDBFDFF3-EE26-4AA3-9DD8-A650BC460E56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae9e20204b152134c3a15f3a842042ba8306bb8","datavalue":{"value":{"entity-type":"item","numeric-id":6483290,"id":"Q6483290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fc6c05174b94772ff4aa74e4ad433836658765","datavalue":{"value":{"amount":"+0.855586051940918","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":"Q913866$6500B66C-0DC1-44AF-BA6B-C5716A0D48DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65600bf9b26bd928b084a0732e99cb93a9427fd","datavalue":{"value":{"entity-type":"item","numeric-id":4938528,"id":"Q4938528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fc6c05174b94772ff4aa74e4ad433836658765","datavalue":{"value":{"amount":"+0.855586051940918","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":"Q913866$5A4A4976-1ED6-4953-AB50-D86F9E76EC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac2c841314182ed4f071ff68615b1862d99249e","datavalue":{"value":{"entity-type":"item","numeric-id":2895433,"id":"Q2895433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b87cea5282712b11a854e6c4f97093317662298","datavalue":{"value":{"amount":"+0.8413923382759094","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":"Q913866$BE8DD67D-C2D8-4C37-A488-DC099CD53358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecddd1e03261a743eedcfa8d7ae372bcb0d3c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":1574756,"id":"Q1574756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2071b4357070cab8b9d3128e73aa0866ba01a463","datavalue":{"value":{"amount":"+0.8406420350074768","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":"Q913866$54AD4C2E-2209-4CDA-B1DD-C770B576421F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9319709ac58d02132cef4b095fe830a3c8b9db77","datavalue":{"value":{"entity-type":"item","numeric-id":1382126,"id":"Q1382126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3740c4c02706d4d000b74931cc0d34c867019ba0","datavalue":{"value":{"amount":"+0.8390994071960449","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":"Q913866$C77BF77B-20F6-47E4-8B83-2ADED1FFE339","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:913866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:913866"}}}}}