{"entities":{"Q1880816":{"pageid":1891558,"ns":120,"title":"Item:Q1880816","lastrevid":71643156,"modified":"2026-04-13T23:36:20Z","type":"item","id":"Q1880816","labels":{"en":{"language":"en","value":"Nondegenerate ideals in formal power series rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2104647"}},"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":"Q1880816$F4128E93-62D5-4688-AA9A-F167AFB53E84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b48d4b9831db53ddcc9b0f4b069908c6df51839","datavalue":{"value":{"text":"Nondegenerate ideals in formal power series rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1880816$A2DA3DBB-643A-449D-8DB6-7B7824939AAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d099d2aca99f567e932b251ca01f2bef952ed6","datavalue":{"value":"1076.14004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$BF1CCAB4-D6E1-458D-8100-091F4EA58792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$426057F6-47E7-4288-B657-14AF970AF908","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221b8cdf103f88fa9a30fbc31f4b00396bad2596","datavalue":{"value":{"time":"+2004-10-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":"Q1880816$11EEDF8E-3951-4EE5-85F1-82852A2485F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36d836c1758b0416edef1ea4b0de98e20c25def8","datavalue":{"value":"Let \\(A\\) be the formal power series ring \\(\\mathbb{C}[[x_1,\\dots, x_n]]\\) over \\(\\mathbb{C}\\). For \\(k=(k_1,\\dots, k_n)\\in \\mathbb{Z}^n_+\\), put \\(x^k= x^{k_1}_1\\cdots x^{k_n}_n\\) and an element \\(g= \\sum a_{k_1,\\dots, k_n} x^{k_1}_1\\cdots x^{k_n}_n\\) of \\(A\\) is written as \\(g=\\sum a_k x^k\\). For an element \\(g= \\sum a_k x^k\\) and an ideal \\(I\\) of \\(A\\), put \\(\\text{supp}(g)= \\{k\\in \\mathbb{Z}^n_+\\mid a_k\\neq 0\\}\\) and \\(\\text{supp}(I)= \\bigcup\\{\\text{supp}(g)\\mid g\\in I\\}\\). Then the Newton polyhedron \\(\\Gamma_+(I)\\) of \\(I\\) is the convex hull of the set \\(\\{k+ v\\mid k\\in\\text{supp}(I)\\), \\(v\\in\\mathbb{R}^n_+\\}\\). For a compact face \\(\\Delta\\) of \\(\\Gamma_+(I)\\), \\(C(\\Delta)\\) denotes the cone obtained by half lines joining the origin and the points of \\(\\Delta\\) and \\(A_\\Delta\\) is the subring \\(\\{g\\in A\\mid\\text{supp}(g)\\subset C(\\Delta)\\}\\) of \\(A\\), which is a complete local ring of dimension \\(\\dim\\Delta+ 1\\). For an element \\(g=\\sum a_kx^k\\) of \\(A\\), put \\(g_\\Delta= \\sum_{k\\in\\text{supp}(g)\\cap \\Delta} a_k x^k\\). Then \\(I\\) is said to be (Newton) nondegenerate if for some (or any) system of generators \\(g_1,\\dots, g_s\\) of \\(I\\) and any compact face \\(\\Delta\\) of \\(\\Gamma_+(I)\\), the ideal of \\(A_\\Delta\\) generated by \\((g_1)_\\Delta,\\dots, (g_s)_\\Delta\\) has finite colength. Any monomial ideal is nondegenerate.  The main result of this paper states that for an ideal \\(I\\) of finite colength of \\(A\\) the following conditions are equivalent: (1) \\(I\\) is nondegenerate, (2) \\(e(I)= n!v(I)\\), where \\(v(I)\\) is the \\(n\\)-dimensional volume of \\(\\mathbb{R}^n_+- \\Gamma_+(I)\\), (3) the integral closure \\(\\overline I\\) of \\(I\\) is generated by monomials (more precisely, \\(\\overline I\\) is generated by \\(\\{x^k\\mid k\\in\\Gamma_+(I)\\}\\)), (4) \\(\\Gamma_+(I)= \\Gamma_+(K_I)\\), where \\(K_I\\) is the ideal of \\(A\\) generated by the monomials \\(x^k\\) in \\(\\overline I\\). Then using these results, the author shows the following fact: If \\(I= (x^{k_1},\\dots, x^{k_s})\\) is a monomial ideal of finite colength of \\(A\\) and we put \\(f= x^{k_1}+\\cdots+ x^{k_s}\\), then \\(J= (x_1\\partial f/\\partial x_1,\\dots, x_n\\partial f/\\partial x_n)\\) is a minimal reduction of \\(I\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880816$E72C3E77-3106-413A-9AE9-CCC8CAA29A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bee2219fe30255f9156dce33d9cc4f518c0cf995","datavalue":{"value":"14B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$CA33BAF6-D8A7-419D-AD57-D310DB44E8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$DB65DD05-A769-4E7A-B0EB-717562E6E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$130C895A-33F9-4A32-A4B5-395AE8BC8912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd8a22eb3c75c0d2d455b9792dd620e9a4e03e17","datavalue":{"value":"13J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$B5C42579-8CB3-499D-8E0F-103B30C886AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c4647520f9c1d81d9c8ceef734dcdbe0c32518","datavalue":{"value":"2104647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$35F9F3A7-9284-45F8-8CE8-F40B1121302A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d357afa0667cc8457753b10f9beabc14d377468","datavalue":{"value":"Newton polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880816$39616F91-F784-4ABD-9263-8E6BD0E1C6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3005d093d23f589f8ca955878a1abcb573e16306","datavalue":{"value":"integral closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880816$F839CD4C-6654-48F6-BED5-182AE1609668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a0db09a63aeb1f72747bd60b79d4765e8a3932","datavalue":{"value":"multiplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880816$9565382C-13A7-4A57-9802-47799CC7C9AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26f16f30ea3e3ba0737091db88df81edec478721","datavalue":{"value":{"entity-type":"item","numeric-id":270109,"id":"Q270109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$955E391D-117D-4450-9868-4B29A9EAC38D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a6030b48c8254e42dc615e03cadca9ac0b7df5c4","datavalue":{"value":{"entity-type":"item","numeric-id":579341,"id":"Q579341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$03881715-AC13-46C5-9176-11498FA68487","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$0B2E981F-9BA0-46BE-958D-CC25B249E7A5","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":"Q1880816$F45332F4-BA2D-4C59-8BE5-5EDB6B102B7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"011c024d87d2c2bd8a87a3e955afdffc2b1c393a","datavalue":{"value":"https://doi.org/10.1216/rmjm/1181069864","type":"string"},"datatype":"url"},"type":"statement","id":"Q1880816$E6E786B1-BC0C-4443-B913-E09870F04033","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04562758b749940d2ab0cb4d60317804340b320c","datavalue":{"value":"W2080574402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$E1E8BBC1-F98D-4B39-8BD6-73AB10F85334","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6f511641e94ce194dd2f35560d6c8238a9ca6d","datavalue":{"value":{"entity-type":"item","numeric-id":4551562,"id":"Q4551562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$78C1E27E-5EE7-4F44-B300-CE52D082769F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb9dba8fb67f5c936245b1d00a01dc2fa67b447","datavalue":{"value":{"entity-type":"item","numeric-id":4274969,"id":"Q4274969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$0DCB1786-372A-4026-8DAC-10D6B314C662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22302ebcc9b0baacd9155548f18a8341ed6e5cf","datavalue":{"value":{"entity-type":"item","numeric-id":4736149,"id":"Q4736149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$274743A2-A666-4689-98AB-62D4627781C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$E4B9B2C6-1BD2-4A3C-8074-1C0A3D10550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cbb0cd27e18158784df6beb25629b1243bb00","datavalue":{"value":{"entity-type":"item","numeric-id":5641252,"id":"Q5641252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$4C9F28F8-3BB8-4BD2-BDEF-F2D06D3A8F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1c2f30ee0f6c856f93443cf853641ce1dc7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1226634,"id":"Q1226634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$5DEBB3D0-FA74-4B70-B982-59DE52161287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a0e61ccbe7c2df723ddb813e3272c740d36c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5829838,"id":"Q5829838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$ACCCBBF5-C889-4F8D-90F9-62F04BCEC9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac12e5317157f168b111bce2d2341e2e0f02fff","datavalue":{"value":{"entity-type":"item","numeric-id":3847036,"id":"Q3847036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$69AFD318-367B-4BF8-83EC-55F96D6AB4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bedc47dddc39a7f59b76ad24588042b2b28516","datavalue":{"value":{"entity-type":"item","numeric-id":3995023,"id":"Q3995023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$2DA783B1-FDAF-4102-B64A-6342EA24A805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9371c5ffd5bf1302dfba1aed78115bd84bfa432","datavalue":{"value":{"entity-type":"item","numeric-id":4870611,"id":"Q4870611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$94574410-9530-4554-B42A-4FE0133FA8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00a824302be515477b1cc6f56fea26c2f2f0ec4c","datavalue":{"value":{"entity-type":"item","numeric-id":1801211,"id":"Q1801211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$DB6700C7-88CB-4746-A2EF-497F8BE3CF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5148f636c2fa48da2f1c489edbb64730ac4cbcff","datavalue":{"value":{"entity-type":"item","numeric-id":4735799,"id":"Q4735799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880816$16CFC85E-B785-4C69-AE15-1189291778F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"218a126a347e0228639e0fafa0387e5f861d35ec","datavalue":{"value":"10.1216/RMJM/1181069864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880816$87901088-743C-4E96-BAF9-518662866215","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ff4b1e05dd82a66fd8dbf42aa976c25e0e7048","datavalue":{"value":{"entity-type":"item","numeric-id":5418004,"id":"Q5418004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb0589ef315923368f06adcee30929efc5e059b","datavalue":{"value":{"amount":"+0.7941914200782776","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":"Q1880816$80C859E6-DC11-4E66-948E-68A66CF7233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b918f3168f3f6581dd507f26d725f3fc310ffabd","datavalue":{"value":{"entity-type":"item","numeric-id":3786582,"id":"Q3786582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1557328aaf4241609505d071589e9c2950216216","datavalue":{"value":{"amount":"+0.7850009799003601","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":"Q1880816$6416AD97-4FA4-4801-AD78-DC0F7F288B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25af9a45d32ed35d66e8fecbdf6f1b7949d13daf","datavalue":{"value":{"entity-type":"item","numeric-id":4551562,"id":"Q4551562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4a33084bcd811410a67be6da0f72481cba7663","datavalue":{"value":{"amount":"+0.7821357250213623","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":"Q1880816$B7EB0352-BD26-4F77-BB60-A0CA4FC228C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6800586361d3aed5653e5ba44647de35ba787f","datavalue":{"value":{"entity-type":"item","numeric-id":3491726,"id":"Q3491726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c928c1886a3db73814d2370a29f609b78e279f","datavalue":{"value":{"amount":"+0.7778194546699524","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":"Q1880816$8DC9B69A-AD5B-4190-A937-9EE9BF624EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c12010c11d6badb15efbbfa2bca1e1b2a43fd2","datavalue":{"value":{"entity-type":"item","numeric-id":3491727,"id":"Q3491727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a3398f543eaf6cc2a23ac51b593147bc9f09e8","datavalue":{"value":{"amount":"+0.7760177850723267","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":"Q1880816$6FD6E696-FFA7-400E-9026-A95AE9CCA43E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondegenerate ideals in formal power series rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondegenerate_ideals_in_formal_power_series_rings"}}}}}