{"entities":{"Q1127800":{"pageid":1138549,"ns":120,"title":"Item:Q1127800","lastrevid":46717374,"modified":"2025-12-25T11:18:14Z","type":"item","id":"Q1127800","labels":{"en":{"language":"en","value":"Squarefree lexsegment ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1186184"}},"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":"Q1127800$0DBCCD86-DEB4-4EF0-9171-035685E8F724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0426e941829421e444eb5e5d315141d0179e3764","datavalue":{"value":{"text":"Squarefree lexsegment ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127800$78760F86-D890-4AB4-ADA5-A918404EC801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e7cdbdec84497a89f057b68c3f471e4ee213d56","datavalue":{"value":"0914.13007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$8D5FA520-13BA-4A6E-BB3A-6C3010A8898E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a9739fe6d02b4dc7ff29b555134a8666e990be7","datavalue":{"value":"10.1007/PL00004621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$D2E7C4C1-4B4C-45E8-9BE6-46D012AE581D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3678c381f1a266424fc3c814a7b6278c92f3d47b","datavalue":{"value":{"entity-type":"item","numeric-id":177378,"id":"Q177378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127800$F760C8C2-0643-4E20-8910-AA81434BC2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abc6a70dbf6482813534e44e9cb5a1449332bf6","datavalue":{"value":{"entity-type":"item","numeric-id":249579,"id":"Q249579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127800$620DB3C8-B1B0-4F45-8EC0-8760AEEE3460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b30fd439ff2c639c1423160846b46d27da722fca","datavalue":{"value":{"entity-type":"item","numeric-id":1059116,"id":"Q1059116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127800$8204CD64-DDC7-4271-9706-543D89947451","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":"Q1127800$E229BE0B-D97F-4EC4-B9B3-1106AD15A00F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04308aed0d348814abb526d3ddeaf64fb167d343","datavalue":{"value":{"time":"+1998-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127800$1232AF3E-9EF1-4E29-9C35-86B19B7771C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"146fdef844b64333f28a2c3bb4ffbbb2317cd389","datavalue":{"value":"In the paper the concept of squarefree lex segment ideal is introduced (the squarefree formal analogue of lex segment ideal) and used to prove that taken a polynomial ring \\(A=k[x_1,\\dots,x_v]\\) over a field \\(k\\), and given arbitrary integers \\(d,q\\) and \\(e\\), there exists a squarefree monomial ideal \\(I\\) such that \\(\\text{dim} A/I\\)=d, \\(\\text{depth } A/I=e\\) and \\(A/I\\) has a \\(q\\)-linear resolution. Moreover the squarefree analogue of stable and strongly stable ideals is introduced, and the explicit free resolution of a squarefree stable ideal is constructed. It turns out that such a resolution has the same formal structure as the classical Eliahou-Kervaire resolution. In the paper it is also shown that given a squarefree ideal \\(I\\) of \\(A\\) there exists a squarefree lex segment ideal \\(J\\) such that \\(A/I\\) and \\(A/J\\) have the same Hilbert function. This result is well known in classical combinatorics, in fact it is equivalent to the essential part of the so-called Kruskal-Katona theorem, but the proof given is new and has the benefit that it is based on simple algebraic results. In particular, the authors introduce the ``indicator algebra'' \\(A/(I,x_1^2,\\dots,x_v^2)\\) of a squarefree ideal \\(I\\) of \\(A\\), and in the last section they give an explicit formula to compute the Betti numbers of the indicator algebra of a squarefree strongly stable ideal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$86126458-AA13-40B2-A47A-9C27C893D870","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"29e9c3739541c6d2689e2217775c5f9c78e555df","datavalue":{"value":{"entity-type":"item","numeric-id":220666,"id":"Q220666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127800$927F3109-7E7B-4EF6-8A45-CA06FA635CA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$D3989225-EEB6-41C9-8C77-68B17B4AFACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$710F1B66-4F70-44B2-BC97-B735C69AD7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$1CBF59C3-D1B8-418F-A85A-1F972A579E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$B1D6452A-5BE4-4AB6-A874-4C511BD28923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebef0a6e2a3d99714528cc3bb6717da12c98f91f","datavalue":{"value":"1186184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$7D0C714E-7537-4018-A3D7-A5AE5A15A59E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1dee5f296f6eb3d7c20b7a60cb05021ef4ac720","datavalue":{"value":"squarefree monomial ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$AD20B032-1503-469C-BDEF-DF7B14C0AC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63fd7633246e4147a91faa5f00d74be9f5b15b1b","datavalue":{"value":"lex segment ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$8D9142D4-4E29-4E22-A138-94037A2FC3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6c38f58e201c45c2033aac02cb8c4cc600509e","datavalue":{"value":"stable ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$EDD3D8D2-87B2-445E-AC2D-EEA1CA51AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08afcdf058072e0491babb026633cefd7c28b55","datavalue":{"value":"Kruskal-Katona theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$CE154FCA-A4CE-4B21-906F-8DC78BA9E811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$950AFF59-5AD2-4C53-A7BD-31484C671338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8a5d48c9d0c451eff9cb5bf9f8281865f31ab0c","datavalue":{"value":"free resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$DA8BA593-F5EE-49AC-BC78-80F1E8284188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad8616749b0ec0ef9f0ed2397224ba3f85b0219","datavalue":{"value":"Betti numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127800$CB4875B2-B75C-4FDF-B343-32D1F0DB2A46","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":"Q1127800$9AFB5F18-F08B-436E-8703-6C74BF5D2C06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ff3d080ffad2d0ca2dadd1459f8e1c0e138d008","datavalue":{"value":"https://doi.org/10.1007/pl00004621","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127800$B779AC4F-9258-4C99-9729-46C29D4FE6B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"936018e1216e705915bfb024bbb55a3acda4b25f","datavalue":{"value":"W2024028565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127800$FB3D8ABB-6886-457D-905A-AE7440D07F1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51003e2ebf4b04d58d2da72d0010f8447945455","datavalue":{"value":{"entity-type":"item","numeric-id":3522689,"id":"Q3522689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b187e49e421da52c04060eb2c170a11009e3958","datavalue":{"value":{"amount":"+0.8759907484054565","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":"Q1127800$B57A334E-317C-4445-8CAB-84BF52133F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4506c7e98056213da809dbb3178ee9cceafd0b30","datavalue":{"value":{"entity-type":"item","numeric-id":2704101,"id":"Q2704101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ce7fd81bf6c91924791a388dcee6766241676e","datavalue":{"value":{"amount":"+0.8447937369346619","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":"Q1127800$A52009CB-F7CD-4DE7-BB1F-0335491A3151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6077e435943c9d0830a95fb96dc26adcf6dae9a6","datavalue":{"value":{"entity-type":"item","numeric-id":4909083,"id":"Q4909083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ad4794c112be1952727f5fdc10272020a8c997","datavalue":{"value":{"amount":"+0.8119899034500122","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":"Q1127800$63A56F75-B65E-4ADB-BAF0-E277539EDD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02cca8cd20b3e9b792d2d42a5710d20d6e5c18b5","datavalue":{"value":{"entity-type":"item","numeric-id":2259539,"id":"Q2259539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a433884e440358955cafb92cbc382f3be886d47b","datavalue":{"value":{"amount":"+0.8116350173950195","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":"Q1127800$C451E39C-98C2-48D0-B257-6E626DB0BCEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1127800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1127800"}}}}}