{"entities":{"Q2367192":{"pageid":2377935,"ns":120,"title":"Item:Q2367192","lastrevid":46349403,"modified":"2025-12-24T15:06:15Z","type":"item","id":"Q2367192","labels":{"en":{"language":"en","value":"Ideals whose Hilbert function and Hilbert polynomial agree at \\(n=1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 238143"}},"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":"Q2367192$CE9179D1-170F-48AD-9079-3E2CEC1CBA11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ead39e76c9ea2a7ac7e3c28c0fabf1a7647d5801","datavalue":{"value":{"text":"Ideals whose Hilbert function and Hilbert polynomial agree at \\(n=1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367192$1F09DF93-EA6E-467B-BA34-FF3E4323BD84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd4289b1420c1459d5471eda15e9a6a6c50abb55","datavalue":{"value":"0780.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$BB714104-CB42-472B-BE53-75C470BDFA0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe89a30b1774c410d9aa073c8936d77a9791db9b","datavalue":{"value":{"entity-type":"item","numeric-id":599120,"id":"Q599120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367192$E441C92A-D6EB-4AB2-BB2F-BF15C9F4B89E","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":"Q2367192$70CD8EE7-77B1-4581-8E26-79964FD3B221","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367192$9BED84BC-8147-4637-9EE1-4DA600349D31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4523117a2c416e19df3db87b1d6dd8a17a509a56","datavalue":{"value":"Throughout let \\((R,m)\\) be a Cohen-Macaulay local ring of dimension \\(d\\geq 2\\) and \\(I\\) an \\(m\\)-primary ideal. We denote by \\(H_ I(n)\\) (resp. \\(P_ I(n))\\) the Hilbert function (resp. polynomial) of \\(I\\), and let \\(e_ 0,\\ldots,e_ d\\) be its Hilbert coefficients, that is, \\(P_ I(x)=e_ 0{x+d-1\\choose d}-e_ 1{x+d-2\\choose d-1}+\\cdots+(-1)^ de_ d\\). It is known that   (1) \\(H_ I(1)=e_ 0\\) if and only if \\(I\\) is generated by a system of parameters;   (2) If \\(H_ I(1)=e_ 0-e_ 1\\), then \\(e_ i=0\\) for \\(i\\geq 2\\) and depth gr\\(_ I(R)=d\\) [\\textit{C. Huneke}, Mich. Math. J. 34, 293-318 (1987; Zbl 0628.13012) and \\textit{A. Ooishi}, Hiroshima Math. J. 17, 361-372 (1987; Zbl 0639.13016)];   (3) If \\(H_ I(1)=e_ 0-e_ 1+1\\) and \\(e_ 2\\neq 0\\), then \\(e_ 2=1\\), \\(e_ i=0\\) for \\(i\\geq 3\\) and depth gr\\(_ I(R)\\geq d-1\\) [the author, J. Algebr. Geom. 1, No. 2, 325-333 (1992; Zbl 0779.13005)].   And in all these cases \\(H_ I(n)=P_ I(n)\\) for \\(n\\geq 1\\) [cf. \\textit{T. Marley}, J. Lond. Math. Soc., II. Ser. 40, No. 1, 1-8 (1989; Zbl 0688.13009)].   In the paper under review the author shows that if \\(H_ I(1)=e_ 0-e_ 1+e_ 2\\) and \\(e_ 2=2\\) then \\(e_ i=0\\) for \\(i\\geq 3\\), \\(H_ I(n)=P_ I(n)\\) for \\(n\\geq 1\\) and depth gr\\(_ I(R)\\geq d-1\\). The author also gives examples such that   (1) \\(H_ I(1)=P_ I(1)=e_ 0-e_ 1+e_ 2\\) but depth gr\\(_ I(R)=0\\), and    (2) \\(H_ I(1)=e_ 0-e_ 1+2\\) but \\(e_ 2=3\\).   For the proof the author considers the ideal \\(\\tilde I=\\bigcup_{k\\geq 1}\\bigl(I^{k+1}:I^ k\\bigr)\\) and investigates the second local cohomology module of the Rees ring of \\(I\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367192$A3796EB7-DDEE-4799-B927-F393B76AA9F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9803748f0810bee35abb7d020d30371873977d14","datavalue":{"value":{"entity-type":"item","numeric-id":588196,"id":"Q588196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367192$48CA51CE-02BD-49B6-B844-95C279788F19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$53DA4B7D-50ED-46DF-8737-A950434CE909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$C0FF0A91-4BE2-495A-B211-F73F5D8CBC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$683DBAC3-5EE9-4853-9B84-9D3AE82314DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$2E518B7B-1E83-44FE-9338-E41EFB5AB9BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3d1d4a2b8af70e1c7d9f3219098fa7a27e62fc4","datavalue":{"value":"238143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$680A01E3-D989-40C8-9DB1-31C52B2852B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df458e7de8c254fd59b4dae554f18abba44c4bc","datavalue":{"value":"Cohen-Macaulay local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367192$41467FA4-5077-4015-A16E-A13BBE798A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d7a207339942b36c053a99c19234a1b304efe","datavalue":{"value":"Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367192$6DBB237E-07F1-4D7B-AC5D-30E1C440A7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d69b8988d3955c5cd2c32fea125d32c17e2fbbbd","datavalue":{"value":"Hilbert coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367192$D28980FA-7BBE-4D53-8148-5476A61529A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06e3d35ad867f8dc773a420d2a0ed5b58ebd529","datavalue":{"value":"local cohomology module of the Rees ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367192$0CFBC6E1-D414-44DB-8E27-C18BA12CCBBD","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":"Q2367192$3B1000FF-87FE-429A-8128-352A469E6CEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d3507b49253a9facf14776f38e103c0152eddbe","datavalue":{"value":"https://doi.org/10.1006/jabr.1993.1114","type":"string"},"datatype":"url"},"type":"statement","id":"Q2367192$FE7AD933-2800-4804-8761-C0A22B9CB128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"641122947d9e015e444c1170b7e10b7a22e52ead","datavalue":{"value":"W2069765460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$C4A4D221-D65D-430D-9477-5D2351DFD132","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d8f7bdf90d3f9143aeeb4cc1692051d0575a2cc","datavalue":{"value":"10.1006/JABR.1993.1114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367192$5EC4792A-849A-4F03-AFB8-0D92C488A291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f052d03895681a86dda09c5b87a443cec85cfda","datavalue":{"value":{"entity-type":"item","numeric-id":5287203,"id":"Q5287203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db4a1da105706466d1f278103e39b437932be80","datavalue":{"value":{"amount":"+0.8950111865997314","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":"Q2367192$DAC44D1A-DBD4-4C43-A547-9C43755376EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1bc27eb6808ed4c2b6f51d9599964aba1872ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4399237,"id":"Q4399237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88f6de26f60779f2c8891f1ddf3b001f69ae825","datavalue":{"value":{"amount":"+0.8768672943115234","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":"Q2367192$17D5C6BB-DEAF-4792-ADCA-B1FA91FFF537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f31d5aa25d446a3c823f67f36e7290516acb71","datavalue":{"value":{"entity-type":"item","numeric-id":4316782,"id":"Q4316782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e839c97cccb61224b5e96a6db016d51661e88e05","datavalue":{"value":{"amount":"+0.861541211605072","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":"Q2367192$87691CB5-DD08-4B0A-85A1-9D338BEB393B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367192"}}}}}