{"entities":{"Q938801":{"pageid":940649,"ns":120,"title":"Item:Q938801","lastrevid":57230358,"modified":"2026-03-27T14:01:03Z","type":"item","id":"Q938801","labels":{"en":{"language":"en","value":"Minimal monomial reductions and the reduced fiber ring of an extremal ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317038"}},"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":"Q938801$ABBD6751-A3D3-4D47-9C75-90C2667EED22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b68c79fdd7708aadd827d897fe5af04d8f4e6856","datavalue":{"value":{"text":"Minimal monomial reductions and the reduced fiber ring of an extremal ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q938801$8AAA79B5-F5FA-47C3-84C7-D2650CEC6135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b14f73cc66e4162955ad7534ab5aeb2399579268","datavalue":{"value":"1151.13011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938801$49D7CDE2-D823-4F48-9399-D460ED68C907","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c83d63207496b5ab9805101885d0ceb1b3faa3f","datavalue":{"value":{"entity-type":"item","numeric-id":934101,"id":"Q934101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938801$FC17ED35-456C-400A-A471-34B64C6082C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938801$4D34106F-BA2C-42F9-92E5-DA94967329B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ab267e9dce97a98f68a18e90fecdd980723ef75","datavalue":{"value":{"time":"+2008-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q938801$F74603AB-DFB4-4DBA-83EC-2AC8593773C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44d56f4441eca64440e7a45887c07b7dd4b6cf01","datavalue":{"value":"https://arxiv.org/abs/math/0512456","type":"string"},"datatype":"url"},"type":"statement","id":"Q938801$26C42E9D-274A-4E22-B208-06B3895E8FD7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4ebb0a22e808c85dba266d0bad953df7f3a6534","datavalue":{"value":"Let \\(R\\) be a ring and \\(I\\) a nonzero ideal of \\(R\\). A subideal \\(J\\) of \\(I\\) is a reduction of \\(I\\) if \\(JI^{n}=I^{n+1}\\) for some positive integer \\(n\\). This paper deals with the minimal monomial reduction and the reduced fiber ring of an extremal ideal. Let \\(I\\) be a monomial ideal in a polynomial ring \\(R=K[X_{1}, \\dots, X_{n}]\\) (\\(K\\) is a field), \\(G(I)\\) be the unique minimal monomial set of generators of \\(I\\) and for a graded reduction \\(J\\) of \\(I\\), let \\(\\Theta(J)\\) denotes the maximum of the degrees of elements in \\(G(J)\\). Let \\(\\text{conv}(I)\\) denotes the convex hull of the elements of the set \\(\\Gamma(I)\\) in \\(\\mathbb{R}^{n}\\) (note that \\(\\Gamma(I)\\subseteq \\mathbb{N}^{n}\\) is the set of exponents of the monomials in \\(I\\)) and \\(\\text{ext}(I)\\) denotes the extreme points of \\(\\text{conv}(I)\\). A monomial ideal \\(I\\) is said to be extremal if \\(\\Gamma(G(I))=ext(I)\\). Let \\(\\mathcal{F}_{c}\\) be the set of all compact faces of \\(\\text{conv}(I)\\) and let \\(\\mathcal{F}(I)=\\mathcal{R}(I)/\\wp\\mathcal{R}(I)=\\bigoplus_{n\\geq 0}I^{n}/I^{n}\\wp\\) be the fiber ring of \\(I\\), where \\(\\mathcal{R}(I)\\) is the Rees ring and \\(\\wp=(X_{1}, \\dots, X_{n})\\) the graded maximal ideal of \\(R\\). In section 2, the author proved that for a monomial ideal \\(I\\) with \\(\\text{ext}(I)=\\{a_{1},\\dots, a_n\\}\\), the ideal \\(J=(X^{a_{1}}, \\dots, X^{a_{n}})\\) is the unique minimal monomial reduction of \\(I\\), and consequently \\(J^{[m]}=(X^{ma_{1}}, \\dots, X^{ma_{n}})\\) is the unique minimal monomial reduction of \\(I^{m}\\) for all \\(m\\). Moreover, the minimal monomial reduction \\(J\\) of \\(I\\) is a Kodiyalam reduction, that is, \\(\\Theta(J)=p\\), where \\(p\\) is the coefficient of the function regularity of \\(I^{t}\\) for \\(t\\) enough large (equivalently \\(p=\\max\\{\\deg X^{a}| a\\in \\text{ext}(I)\\}\\)). In the third section, the author gave a description of the faces of \\(\\text{conv}(I^{m})\\) and compared the supporting hyperplanes and the faces of \\(\\text{conv}(I^{m})\\) and \\(\\text{conv}(I^{n})\\) for two positive integers \\(m\\) and \\(n\\). The fourth section deals with the reduced fiber ring of an extremal ideal. One of the main results asserted that \\(\\mathcal{F}(J)_{red}\\cong \\underline {lim}_{F\\in \\mathcal{F}_{c}} K[F]\\). As an application, if \\(l=\\dim\\mathcal{F}(I)\\) is the analytic spread of \\(I\\), then \\(l=\\max\\{\\dim F| F\\) is a compact face of \\(\\text{conv}(I)\\} + 1\\). The paper closes with a fifth section about the reduction number of a monomial ideal. Among others, the author proved that if \\(I\\) is a monomial ideal, \\(l\\) its analytic spread and \\(J\\) its minimal monomial reduction, then \\(\\overline{I^{m}}=J\\overline{I^{m-1}}\\) for all \\(m\\geq l\\) where \\(\\bar{A}\\) denotes the integral closure of \\(A\\). In particular if \\(I^{a}\\) is integrally closed for all \\(a\\leq l-1\\), then \\(I^{l}=JI^{l-1}\\) and \\(I\\) is normal (i.e. \\(I^{s}\\) is integrally closed for all \\(s\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q938801$C7B57100-8E69-43A7-936D-C41C289B38BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938801$3A314EDA-A6F6-4214-86B6-0DD8663C7A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938801$039F834A-2887-425F-B87F-D36ACA15FC50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ecb99adf81b71076a92285cf5766aa315860df0","datavalue":{"value":"5317038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938801$E00E8208-D29B-4614-9692-0FF062F69F41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q938801$9FAE2652-6240-45B9-85D5-9161CF8EF607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152b51a76bc3f2ffd0d6ea5cc70d9b732a88636f","datavalue":{"value":"monomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q938801$6C9BCC48-B45A-4BDB-9987-9F5AAF99823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a832d97246123f7024728110a8b406bcc99c19b","datavalue":{"value":"minimal monomial reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q938801$AAEDE131-8C3D-4B54-9B42-AF380969E111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdded603327fa389aa1ed62d6d75c8dddec2598c","datavalue":{"value":"reduced fiber ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q938801$4A636941-C9E1-4F1F-B421-495E1174741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a8e1c44a4fe444d4134ef30e2ab4dcb219b881","datavalue":{"value":"extremal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q938801$ECE4B051-87CD-427E-9070-C12AA02E51DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c741bc53f18deec73a59ab0ae37f6a9e3014394d","datavalue":{"value":{"entity-type":"item","numeric-id":422016,"id":"Q422016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938801$6846053E-1556-4DD4-995C-8AE977684CD2","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":"Q938801$E6E2C5FE-22EA-4627-AA5B-FBE669675B3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae51635033a12a18eb01c1a8f26de0216cdbaf2","datavalue":{"value":{"entity-type":"item","numeric-id":3105492,"id":"Q3105492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faec530438dc73118eacaca9b76ef3e0b2b2a2e0","datavalue":{"value":{"amount":"+0.8011627793312073","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":"Q938801$1BD3FF29-9ED7-421F-9FF1-8E492A4CB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf5df536e5dfc5b5013273906b00a2f99452be9","datavalue":{"value":{"entity-type":"item","numeric-id":5133850,"id":"Q5133850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f00513f2d5caeb305c999cd9cf5e91b78061238","datavalue":{"value":{"amount":"+0.7936708927154541","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":"Q938801$4E5E7D5A-92C5-4803-9516-FCA74DDAC094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8911e5c0e2b1471eefa27e9b6bb48fe487fc1972","datavalue":{"value":{"entity-type":"item","numeric-id":4792617,"id":"Q4792617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96666c76b51c93c0f776b50aa843ac78cd3e86f","datavalue":{"value":{"amount":"+0.7802881002426147","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":"Q938801$02061C49-00D7-4BA6-BFA0-8F89586E99C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c34ae9c62885ff528a01f9c1a0a302729523463","datavalue":{"value":{"entity-type":"item","numeric-id":3533420,"id":"Q3533420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ca1b3009f439dee410721beccc8437485f2263","datavalue":{"value":{"amount":"+0.777299702167511","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":"Q938801$5F8DE416-962A-46CA-81F7-0BDCCCC8A314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc361912a98835cf1daf9a18cf3b256b16c1d0a8","datavalue":{"value":{"entity-type":"item","numeric-id":3542036,"id":"Q3542036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f784851f802bfa48c60c23c4be31a65df9cd283","datavalue":{"value":{"amount":"+0.7744260430335999","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":"Q938801$7DBD4FC5-C574-48A1-83BE-876F0850C3F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:938801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:938801"}}}}}