{"entities":{"Q357882":{"pageid":359649,"ns":120,"title":"Item:Q357882","lastrevid":61311720,"modified":"2026-04-10T22:32:57Z","type":"item","id":"Q357882","labels":{"en":{"language":"en","value":"On the nonnegativity of normal Hilbert coefficients of two ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198371"}},"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":"Q357882$E92ED201-128C-4882-AEFF-20022F26B00F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"829de09067e3c1c5a869fd4fa206200e972362c0","datavalue":{"value":{"text":"On the nonnegativity of normal Hilbert coefficients of two ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q357882$E1751E4A-17C3-4B19-8929-1B18FC512643","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4392180d1fffbb6c8ceed6acb5c65f5c8753155b","datavalue":{"value":"1273.13024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357882$19819DFD-344D-4FAE-9F0A-7CD2A68F09FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"971bcf1145935279363ed337c760747dc6d920e4","datavalue":{"value":"10.1216/JCA-2013-5-2-281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357882$54B1F679-5FCC-4BEF-8B83-FB53C20C8942","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d59ed61ccf9f1d882ef133d332166c9bf2167e9","datavalue":{"value":{"entity-type":"item","numeric-id":357880,"id":"Q357880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$F4DE7535-2A82-424F-9E23-2887D872B8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eeab064b7257dfc98633a374236bda928cf8ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1101520,"id":"Q1101520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$5D4B0996-A3C2-457A-B776-F7DF2EC2E08C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61a4e95b669aa0544c870f6199b25a894770db84","datavalue":{"value":{"entity-type":"item","numeric-id":262654,"id":"Q262654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$34CCE89C-5764-4E0B-AD0A-7A0A286C1B97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6331528ace680406c7e7ec4e7ae6202b9519753a","datavalue":{"value":{"time":"+2013-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q357882$0A1B64C7-1EFD-42C8-A113-1348F1AF3DE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"592782774c7af30c6b38c97ecd6080ed4ea51805","datavalue":{"value":"https://projecteuclid.org/euclid.jca/1376328033","type":"string"},"datatype":"url"},"type":"statement","id":"Q357882$2F3B3E8A-C7F3-4796-A1EA-F7A77ECE7831","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357882$AC5D1138-E7E5-4FDE-8190-E600D8377629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357882$0D147F85-DF3C-48FB-BF07-BEB223242B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357882$666C11CD-B151-41BD-AA7A-8DCF44543E35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dafc277657054d9278e08c279de7b2c88c5b0264","datavalue":{"value":"6198371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q357882$0EDFD8BD-8A6D-432E-B53F-FD9A7416C751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272f3c8234e23e2c106144fef2a9eafdec70cbeb","datavalue":{"value":"analytically unramified local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q357882$2C36E019-F3AB-468B-BF51-EA924F3385D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c583f0f3d228a37a193c458c58768d7cd9e29ce","datavalue":{"value":"integral closure of an ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q357882$3DA9B427-1BDC-46E7-BACD-38BC814013E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5af5c628362c0490f0787592a2b8bcf968775ec7","datavalue":{"value":"\\(\\mathfrak m\\)-primary ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q357882$AAEAA7A9-8C63-4242-9845-7606C9D80123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b172edbe9a70dbdeeb14deb9422fe596fe149588","datavalue":{"value":"normal Hilbert polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q357882$7BFA6DAE-AECE-4ABF-9A52-F314F15611C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4100e4aa950b2f1e57e810e52e9584615e9a9151","datavalue":{"value":"mixed multiplicities","type":"string"},"datatype":"string"},"type":"statement","id":"Q357882$002A7982-D380-4A22-BB97-79E033820F34","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":"Q357882$EBD4C9BD-0355-4EE4-AD9D-A705A2B56349","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9baf3b29959f0af32c2e5a7504415151982c0304","datavalue":{"value":{"entity-type":"item","numeric-id":3247189,"id":"Q3247189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$A847FB79-58C1-4F32-8CA3-DEE04E6D46BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7861226079a1941ca03313555e567f42be71a05","datavalue":{"value":{"entity-type":"item","numeric-id":5710771,"id":"Q5710771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$53BC40EB-CB90-4117-A746-46EB4565E7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25edccce8696eb9270a997873e4ceb86bf9368da","datavalue":{"value":{"entity-type":"item","numeric-id":5200164,"id":"Q5200164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$510A1E26-0C81-4175-A00E-35E4CFC81244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8d51cbfb81e1dbd92471721fd06955d694cd39","datavalue":{"value":{"entity-type":"item","numeric-id":1375349,"id":"Q1375349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$57EEC3AB-1B82-42BA-80D3-2A1634FC25AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8f9d5a008d6da42a6aaccd7aac84dbe864438","datavalue":{"value":{"entity-type":"item","numeric-id":3414477,"id":"Q3414477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$B1E089D6-DA46-44FA-8813-1BA6C6AF25AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1f4df50aa46ee2997c0ee265ba1b05c505fe98","datavalue":{"value":{"entity-type":"item","numeric-id":1194196,"id":"Q1194196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$27DFDB90-8428-4BB3-9315-57D1E08EC768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e98a60c321f0b2677bcc27ec9ab807f10e8330f","datavalue":{"value":{"entity-type":"item","numeric-id":4206849,"id":"Q4206849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$81D1D336-5432-4C51-AA6B-1CD922DB9021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99173eec49584b57007bfd0924dc880d1d99911c","datavalue":{"value":{"entity-type":"item","numeric-id":3882554,"id":"Q3882554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$230C56C4-B2C9-4E1C-8F98-9F0889585E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0b9c1a0a2787f617de7231260e4b8c162ad5e8","datavalue":{"value":{"entity-type":"item","numeric-id":3992979,"id":"Q3992979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$FC9B0546-7262-456D-95F6-D4FBBF37D3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154ea1fdcb358c5cf19aaf96c821d22d9b843c2","datavalue":{"value":{"entity-type":"item","numeric-id":5723993,"id":"Q5723993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$8F398D0D-10CC-495C-A82C-8038204D809D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a72cdec43707b44fd19620b27ce405e97e24c9","datavalue":{"value":{"entity-type":"item","numeric-id":3847037,"id":"Q3847037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$3B76A77F-69D6-45C5-AE87-F8C821BFF5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3c3d31ec96aced18da54169c2288589f5d4912","datavalue":{"value":{"entity-type":"item","numeric-id":3715238,"id":"Q3715238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$C084FA6A-5230-4793-9EED-5BFE0D843ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca31d9e3711a198ef20636e4031b53224c25d8b","datavalue":{"value":{"entity-type":"item","numeric-id":3953879,"id":"Q3953879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$C6198AE1-68C2-4FB7-85B8-34F68EA08EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc53648dae4a4c9aa63e66001c7ab1744cc017ae","datavalue":{"value":{"entity-type":"item","numeric-id":841565,"id":"Q841565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q357882$9702BA8D-E378-4655-82DD-700880C4AFAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c5d3fc919e656b5412410fbccbc0ec450dca792","datavalue":{"value":"Let \\((R, \\mathfrak{m})\\) be an analytically unramified local ring of dimension \\(d \\geq 1\\). Let \\(I\\) be an \\(\\mathfrak{m}\\)-primary ideal and \\(\\bar{I}\\) the integral closure of \\(I\\). Then there exist integers \\(\\bar{e}_i(I)\\) such that the length NEWLINE\\[NEWLINE\\lambda (R/\\bar{I}^{n+1}) = \\displaystyle \\sum_{ i=0} ^d (-1)^i \\bar{e}_i(I) {n+d-i\\choose d- i}NEWLINE\\]NEWLINE [\\textit{D. Rees}, Proc. Cambridge Philos. Soc. 57, 1--7 (1961; Zbl 0115.26202); J. Lond. Math. Soc. 36, 24--28 (1961; Zbl 0115.26202)]. When \\(R\\) is Cohen-Macaulay, \\textit{T. Marley} [Hilbert functions of ideals in Cohen-Macaulay rings, Ph. D. Thesis, Purdue University (1989)] proved that \\(\\bar{e}_1(I) \\geq 0\\) and \\(\\bar{e}_2(I) \\geq 0\\), and \\textit{S. Itoh} proved that \\(\\bar{e}_3(I) \\geq 0\\) [J. Algebra 150, No.1, 101--117 (1992; Zbl 0756.13008)]. When \\(R\\) is an unmixed local ring, \\textit{S. Goto, J. Hong} and \\textit{M. Mandal} showed that \\(\\bar e_1(I)>0\\) [Proc. Am. Math. Soc. 139, No. 7, 2399-2406 (2011; Zbl 1230.13020)] .NEWLINENEWLINEIn [Proc. Camb. Philos. Soc. 53, 568--575 (1957; Zbl 0080.02903)], \\textit{P. B. Bhattacharya} studied pairs of \\(\\mathfrak{m}\\)-primary ideals \\(I\\) and \\(J\\) in a Noetherian local ring of dimension \\(d \\geq 1\\) and proved that for large values of \\(r\\) and \\(s\\), there exist integers \\(e_{i,j}(I,J)\\) such that NEWLINE\\[NEWLINE\\lambda (R/{I}^{r}J^{s}) =\\displaystyle \\sum_{ i+j \\leq d} (-1)^{d-(i+j)}{e}_{(i,j)}(I,J) {r+i-1\\choose i}{s+j-1\\choose j}.NEWLINE\\]NEWLINE In that case, \\textit{C. D'Gruz} and \\textit{A. Guerrieri} [Lecture Notes in Pure and Applied Mathematics 244, 59--68 (2006; Zbl 1110.13015)] proved the nonnegativity of \\({e}_{(i,j)}(I,J)\\) for \\(i+j \\geq d-2\\) when the ring is a Cohen-Macaulay local ring. Further, \\textit{D. Rees} [J. Lond. Math. Soc., II. Ser. 24, 467-479 (1981; Zbl 0492.13012)] showed that, in an analytically unramified local ring, the Hilbert function \\(\\bar{H}_{I,J} (r,s) := \\lambda (R/ \\bar{I^r} \\bar{J^s})\\) is a polynomial \\(\\bar {P}_{(I,J)}(x,y) \\in Q[x,y]\\) of total degree \\(d\\) written as NEWLINE\\[NEWLINE\\bar {P}_{(I,J)}(x,y)= \\displaystyle \\sum_{ i+j \\leq d} (-1)^{d-(i+j)}{\\bar{e}}_{(i,j)}(I,J) {x+i-1\\choose i}{y+j-1\\choose j}NEWLINE\\]NEWLINE for \\(r, s\\gg 0\\).NEWLINENEWLINEIn the paper under review, the authors prove that \\(\\bar{e}_{(i,j)}(I,J) = {e}_{(i,j)}(I,J)\\) for \\(i+j = d\\) in an analytically unramified local ring of dimension \\(d \\geq 1\\), which implies the non-negativity of \\(\\bar{e}_{(i,j)}(I,J)\\) for \\(i+j = d\\) [\\textit{C. Huneke} and \\textit{I. Swanson}, Integral closure of ideals, rings, and modules. London Mathematical Society Lecture Note Series 336. Cambridge: Cambridge University Press (2006; Zbl 1117.13001)]. Furthermore, they prove that \\(\\bar{e}_{(i,j)}(I,J) \\geq 0\\) for \\(i+j \\geq d-3\\) in a Cohen-Macaulay local ring. In the last section, they show that \\(\\bar{e}_{(i,j)}(I,J) \\geq 0\\) for \\(i+j = d-1\\) in an unmixed local ring.","type":"string"},"datatype":"string"},"type":"statement","id":"Q357882$FACC58E6-AB60-4EC1-96D3-D2C4278AB2A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f6e92a087f791ee1d6eea78e8ea4a8e8dfdb2","datavalue":{"value":{"entity-type":"item","numeric-id":1194196,"id":"Q1194196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35f98085208e594a18d1ef942ad728d31644dc3","datavalue":{"value":{"amount":"+0.8430254459381104","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":"Q357882$AE9552E4-0E74-430F-AC4E-023174B7C3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85be7b278c220af70ff05593fe37bdff5f1c21cf","datavalue":{"value":{"entity-type":"item","numeric-id":1902150,"id":"Q1902150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecd1c4b021b1487823634133843a0ea8aed88cc","datavalue":{"value":{"amount":"+0.84085613489151","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":"Q357882$7F57D3E7-F331-44BF-98AB-9FFCFB8034CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5fc4e8441f884b1f16dbd501e0313a9b1c67583","datavalue":{"value":{"entity-type":"item","numeric-id":392515,"id":"Q392515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036cd38531d81083b074bc5b1e450e976ac67758","datavalue":{"value":{"amount":"+0.8296077251434326","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":"Q357882$4276322C-3C33-4787-9648-F385FDBCFF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e8affd66448fe46056e33b6e788d6373b400f3","datavalue":{"value":{"entity-type":"item","numeric-id":2790910,"id":"Q2790910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e0310a0e973ed60a898e3d9a4d32679d5f112e","datavalue":{"value":{"amount":"+0.8129914999008179","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":"Q357882$BC824A2F-2191-4EF6-A64F-C7A88E7D9733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14f89100b104af9c2c7bc226d26f6fa6e250785","datavalue":{"value":{"entity-type":"item","numeric-id":5710771,"id":"Q5710771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05863788fc26ae8510fc7036186ff68eb1e99c10","datavalue":{"value":{"amount":"+0.8109923005104065","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":"Q357882$C827F808-CCC7-4056-952E-274BEB6FF510","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the nonnegativity of normal Hilbert coefficients of two ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_nonnegativity_of_normal_Hilbert_coefficients_of_two_ideals"}}}}}