{"entities":{"Q677481":{"pageid":679330,"ns":120,"title":"Item:Q677481","lastrevid":63514389,"modified":"2026-04-11T13:40:58Z","type":"item","id":"Q677481","labels":{"en":{"language":"en","value":"The upper bound of the Dilworth number and the Rees number of Noetherian local rings with a Hilbert function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 997643"}},"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":"Q677481$7201AC99-4A08-430C-916F-F4B02315D3DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba9138cb0e949c095bdc0fb3be72ec30cde96ac9","datavalue":{"value":{"text":"The upper bound of the Dilworth number and the Rees number of Noetherian local rings with a Hilbert function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677481$8512BE41-D51A-42AF-B2C4-2D2C3B62DAA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"440ec23724c2363f22b26823b438c4c97f9016da","datavalue":{"value":"0874.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677481$19CC0611-0130-4DA5-ADEA-03DAAD18D015","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7080016d132244094a939194654fe46823feece0","datavalue":{"value":{"entity-type":"item","numeric-id":677480,"id":"Q677480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677481$2FB20914-CEB0-4C56-8A49-F725AD810943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677481$A4A22CE6-F036-4E14-AAFC-4F8E5EA0BE55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4290736ce8052f16c7655e6cb5afa0182814405","datavalue":{"value":{"time":"+1997-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677481$A712FF43-394C-4E53-A680-7BF8183EBC4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62ef5a34a37f889cf9810a3646b6d6af98bbd54d","datavalue":{"value":"The Dilworth number and the Rees number of a local ring \\(A\\) are defined as follows:  \\[ d(A) = \\sup\\{\\mu(I)|\\;I\\;\\text{is an ideal of} A\\}, \\]   \\[ r(A) = \\inf\\{\\ell(A/xA)|\\;x\\;\\text{is a non-unit element of} A\\}, \\]  where \\(\\mu(I)\\) denotes the minimal number of generators of \\(I\\). These invariants were introduced and studied by \\textit{J. Watanabe} in a series of papers [see e.g. Adv. Math. 76, No. 2, 194-199 (1989; Zbl 0703.13019)]. Note that \\(d(A) < \\infty\\) if and only if \\(\\dim A \\leq 1\\). Given the Hilbert function of \\(A\\), this paper determines the possible maximum values of \\(d(A)\\) and \\(r(A)\\). Let \\({\\mathbf h} = h_0,h_1,h_2,\\dots\\) be a sequence of non-negative integers. Let \\(k \\) be an arbitrary field. Consider a polynomial ring \\(R = k[X_1,\\ldots,X_n]\\), \\(n = h_1\\). Let \\(M({\\mathbf h})\\) denote the union of the sets of the last \\(h_i\\) monomials of degree \\(i\\) in \\(R\\), \\(i \\geq 0\\), with respect to the reverse lexicographic order. Let \\(A(k,{\\mathbf h})\\) denote the quotient ring of \\(R\\) by the ideal generated by all monomials not contained in \\(M({\\mathbf h})\\). Let \\({\\mathcal R}({\\mathbf h})\\) resp. \\({\\mathcal R}_0({\\mathbf h})\\) denote the set of local rings resp. local rings having residue fields of characteristic zero with Hilbert function \\({\\mathbf h}\\). The sequence \\({\\mathbf h}\\) is called an \\(O\\)-sequence if \\({\\mathbf h}\\) is the Hilbert function of a local ring \\(A\\), i.e. \\({\\mathcal R}({\\mathbf h}) \\neq \\emptyset\\). In this case, \\(A(k,{\\mathbf h}) \\in {\\mathcal R}({\\mathbf h})\\). One can assign with \\({\\mathbf h}\\) a number \\(v({\\mathbf h})\\) which is finite if \\(\\dim A \\leq 1\\). For an \\(O\\)-sequence \\({\\mathbf h}\\) the author proves the following:   (i) \\(d(A) \\leq v({\\mathbf h})\\) for all \\(A \\in {\\mathcal R}({\\mathbf h})\\);   (ii) \\(r(A) \\leq v({\\mathbf h})\\) for all \\(A \\in {\\mathcal R}_0({\\mathbf h})\\);   (iii) \\(d(A(k,{\\mathbf h})) = r(A(k,{\\mathbf h})) = v({\\mathbf h})\\).    There is an example which shows that (ii) fails if we replace \\({\\mathcal R}_0({\\mathbf h})\\) by \\({\\mathcal R}({\\mathbf h})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q677481$C3538D44-CFD1-4E8C-8769-C17CF18D803C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8409aeb489e85cf7439f78c75b430b92d7b996e7","datavalue":{"value":"13E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677481$AA446221-DAB5-4D75-B892-8AF320A38A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677481$1140D02C-47A2-438B-95D0-12E7DE52D7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec1d0db78fd74c443a01310455d9419f80930f5d","datavalue":{"value":"13E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677481$B638243A-1C68-4F8E-A468-5AC38C101B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44462f3fcb03c9b6f5d766b18afb8ab088ed6f30","datavalue":{"value":"997643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677481$1144B5E5-8759-4F6B-8496-917CA37CABBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99266d14fac1b5b9e7ee01bb7b35c4d18bf8fa9","datavalue":{"value":"Dilworth number","type":"string"},"datatype":"string"},"type":"statement","id":"Q677481$4EF2686F-ECAC-4B20-91EA-0EBAB3DEC4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c75ff94835f13c53fdd9cae00b5535c2b243990","datavalue":{"value":"Rees number","type":"string"},"datatype":"string"},"type":"statement","id":"Q677481$45F82B52-4170-40AE-BBE2-15A0B45BC110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d7a207339942b36c053a99c19234a1b304efe","datavalue":{"value":"Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q677481$7A41B373-5137-476B-932F-D1446D1706E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b72b1794f9cd610d73d12a858d02cdfd434c974","datavalue":{"value":"minimal number of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q677481$127151F7-FA58-4806-B9BE-4915EF142515","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7671bf4b7c432bdd69b07680fef9b5d1583f44d3","datavalue":{"value":{"entity-type":"item","numeric-id":166146,"id":"Q166146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677481$01D001F8-BAA1-4A24-97A4-719D56C944DC","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":"Q677481$D4DB9176-4AE3-435A-9D82-7F7AED536DB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47179ca72e7a83ca0eedf687388c7f1a6b129001","datavalue":{"value":"https://doi.org/10.1006/aima.1996.0082","type":"string"},"datatype":"url"},"type":"statement","id":"Q677481$D9CD486C-F082-436F-9B71-F396A6BFD609","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f92c402239868fd5367c0e14ffcaf3c43f88d7a","datavalue":{"value":"W2060815635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677481$EE26CD79-A7A3-4147-9937-FD5F54695498","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dd61860395d18944f3631a6735434d03d7b3ce3","datavalue":{"value":"10.1006/AIMA.1996.0082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677481$FCBEA5EC-7A70-46A8-8BD6-35F84F7A9934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770b9b79a330a27a16c63a00336f7bda20cd6933","datavalue":{"value":{"entity-type":"item","numeric-id":4885654,"id":"Q4885654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb9bb95d0207ff47c85eca50574871970ca985b","datavalue":{"value":{"amount":"+0.8305485248565674","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":"Q677481$72BCECEA-7BA5-4A78-975B-2707EEE01163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04aabb3068e24900c1a88f1043da715856f8a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4349721,"id":"Q4349721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3e6b32b509b5cee71f85458eafec292603b45e","datavalue":{"value":{"amount":"+0.8222231864929199","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":"Q677481$6D7021C3-9C71-4414-89F9-EEBC834D9746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96db2187afb0be6433f4ac96e0aa81f9f76480f","datavalue":{"value":{"entity-type":"item","numeric-id":1071820,"id":"Q1071820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fac12b157ae4d69f0055649631ac2c9174aa845","datavalue":{"value":{"amount":"+0.8009676933288574","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":"Q677481$D5FFB5B8-3EBD-42F7-8044-726AE4C45247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84abadad1885d8bada37a11b1e6badf912e28bde","datavalue":{"value":{"entity-type":"item","numeric-id":847959,"id":"Q847959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123c2ff6b22bfb837ae4f470c8376bc4c6740fcd","datavalue":{"value":{"amount":"+0.7810689806938171","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":"Q677481$ABD916EE-FBCB-4D94-9F5A-ADE7F4DDD9EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The upper bound of the Dilworth number and the Rees number of Noetherian local rings with a Hilbert function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_upper_bound_of_the_Dilworth_number_and_the_Rees_number_of_Noetherian_local_rings_with_a_Hilbert_function"}}}}}