{"entities":{"Q351409":{"pageid":353176,"ns":120,"title":"Item:Q351409","lastrevid":61168581,"modified":"2026-04-10T21:36:41Z","type":"item","id":"Q351409","labels":{"en":{"language":"en","value":"Macaulay-lex rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6186996"}},"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":"Q351409$B8E1B0A3-45F0-4808-A630-0D519F3BEF98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"567ec647d3106afea4f87d5f05f3f6d01494e772","datavalue":{"value":{"text":"Macaulay-lex rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q351409$52B60592-4D89-43A0-B5E9-5B0307DE1F88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26d4d632165bf85f98c7ea5bbc9b5bb3bda2f1ca","datavalue":{"value":"1318.13021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351409$EA8D6399-94BD-43B9-A66F-529FF07E0437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2209ceaef59d84687de19035d7e54639c45c9ec","datavalue":{"value":{"entity-type":"item","numeric-id":312321,"id":"Q312321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351409$866293B1-3672-4911-80F4-31E1EE597FB5","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":"Q351409$01618CAC-BCD6-4EFD-9D2B-9912AFCDE57D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047d86768cd722adf7361cd32b1edc0a73808dc4","datavalue":{"value":{"time":"+2013-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q351409$3FE9F88D-3449-4D05-B07D-4432B6F67119","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"becc108ed3422ebadccba1094d705cda780001bd","datavalue":{"value":{"entity-type":"item","numeric-id":590942,"id":"Q590942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351409$588B1005-1E8C-4017-BCB5-DBA823E36301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351409$A9857582-28CD-42CF-AE21-A7D93A57FF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351409$B52BDED5-D716-4A9A-B7EA-3682C6054E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351409$F38222C5-97BB-42D9-B9B3-462600A03FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76eb097e680b8c2c12610193b92088e396425213","datavalue":{"value":"6186996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351409$983DEB9E-4EB7-48CD-B4DD-4157F8520320","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6d7a207339942b36c053a99c19234a1b304efe","datavalue":{"value":"Hilbert function","type":"string"},"datatype":"string"},"type":"statement","id":"Q351409$CB1BEAC7-D033-43C0-A909-0D59E1E536DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87261d9683d08fb785d8d0d0cc799b395a34d994","datavalue":{"value":"lex ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q351409$86EB5C95-F926-4A40-8ECC-6E4DF1010720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631f8727956307d0b712673371fd3700082b39d5","datavalue":{"value":"piecewise lexsegment ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q351409$59E52A72-671D-4BB0-8EFF-CEF8CF307A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1903db378819a0cc89420d8e1899b0bc714ded3","datavalue":{"value":"Macaulay-lex ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q351409$0EB8E414-8118-437F-9323-C98011C531AB","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":"Q351409$C28974A4-73D1-41C9-B61C-B3E02D9CB9D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38de5a8edbe88fe2655a099bdb618ddb7026fab8","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2012.10.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q351409$03571616-36B5-45F6-B05A-9474532207AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78a1dff145ef0fcabd02b05ef2e64500c314ce6f","datavalue":{"value":"W1985706388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351409$E67EB71B-AFAF-4AE2-83A0-8D185CDCCF68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abbc10e59f6a3c355f00f42f8abd244401598d42","datavalue":{"value":"10.1016/J.JALGEBRA.2012.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351409$CEF32B73-3E97-4EF9-A778-74EF5242E747","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae9e519f024f428adbd7ab8dd540a686215ac956","datavalue":{"value":"Let \\(S = k[X_{1}, \\dots , X_{n}]\\) be the polynomial ring over a field \\(k\\), with the standard gradation \\(S = \\bigoplus_{d\\geq 0}S_{d}\\) and \\(\\deg(X_{i}) = 1\\) for all \\(i=1, \\dots , n\\). Let \\(\\mathrm{Mon}(\\mathcal{A})\\) denote the collection all monomials in \\(\\mathcal{A}\\subseteq S\\). Given \\(u\\in \\mathrm{Mon}(S)\\), the integer \\(m(u)\\) is the defined as \\(m(u) = \\max\\{i \\mid X_{i} \\mid u\\}\\). A \\textit{\\(d\\)-vector space} is a \\(k\\)-vector subspace of \\(S_{d}\\) and a \\textit{\\(d\\)-monomial space} is a \\(d\\)-vector space spanned by monomials. A \\(d\\)-monomial space is said to have the \\textit{lexsegment} property if whenever \\(X^{a}\\in V_{d}\\), \\(X^{a} <_{\\mathrm{lex}} X^{b}\\) and \\(X^{b}\\in S_{d}\\), we have \\(X^{b}\\in V_{d}\\). An ideal \\(I\\) is called a \\textit{piecewise lexsegment} ideal if it has the property that if \\(G(I)\\) is the minimal generating set of \\(I\\) and if \\(z >_{\\mathrm{lex}} w\\in G(I)\\) with \\(\\deg(z) = \\deg(w)\\) and \\(m(z) \\leq m(w)\\), then \\(z\\in I\\). A \\(d\\)-monomial space is called \\textit{strongly-stable} if whenever \\(u\\in \\mathrm{Mon}(V_{d})\\) with \\(X_{j} \\mid u\\), we have \\(\\frac{X_{i}u}{X_{j}}\\in V_{d}\\) for all for \\(i < j\\). A \\(d\\)-monomial space is called \\textit{stable} if \\(\\frac{X_{i}u}{X_{m(u)}}\\in V_{d}\\) for all \\(u\\in \\mathrm{Mon}(V_{d})\\) and for all \\(i< m(u)\\).NEWLINENEWLINELet \\(M\\) be a monomial ideal in \\(S\\). The ideal \\(M\\) and the quotient ring \\(S/M\\) are said to be \\textit{Macaulay-lex} if every Hilbert function of a graded ideal in the quotient ring \\(S/M\\) is attained by a lex ideal in \\(S/M\\). The theorem proved by \\textit{D. A. Shakin} [Sb. Math. 194, No. 11, 1701--1724 (2003); translation from Mat. Sb. 194, No. 11, 117--140 (2003; Zbl 1076.13008)] states that a strongly stable ideal \\(B\\) of \\(S\\) is Macaulay-lex if and only if \\(B\\) is a piecewise lexsegment ideal. The article under review has generalized Shakin's theorem by proving that a stable ideal \\(I\\) of \\(S\\) is Macaulay-lex if and only if \\(I\\) is a piecewise lexsegment ideal. \\textit{F. S. Macaulay} [Proc. Lond. Math. Soc. (2) 26, 531--555 (1927; JFM 53.0104.01)] proved that for every graded ideal \\(J\\) in \\(S\\), there exists a lex ideal \\(L\\) in \\(S\\) with the same Hilbert function. The theorem of \\textit{G. F. Clements} and \\textit{B. Lindstr\u00f6m} [J. Comb. Theory 7, 230--238 (1969; Zbl 0186.01704)] proves that if \\(2 \\leq e_{1} \\leq \\cdots \\leq e_{n} \\leq \\infty\\) be a sequence of integers or \\(\\infty\\) and if \\(I = \\langle X_{1}^{e_{1}}, \\dots , X_{n}^{e_{n}} \\rangle\\), where \\(X_{i}^{\\infty} = 0\\), then, for every graded ideal \\(J\\) in \\(S/I\\) there exists a lex ideal \\(L\\) in \\(S/I\\) with the same Hilbert function. The article under review has given simple proofs of the Macaulay's theorem and the Clements-Lindstr\u00f6m theorem and has generalized the Clements-Lindstr\u00f6m theorem by proving the following result:NEWLINENEWLINETheorem. Let \\(I = \\langle X_{1}^{e_{1}}, X_{1}^{t_{1}}X_{2}^{e_{2}}, X_{1}^{t_{1}}X_{2}^{t_{2}}X_{3}^{e_{3}},\\dots , X_{1}^{t_{1}}\\cdots X_{n-1}^{t_{n-1}}X_{n}^{e_{n}}\\rangle\\), where \\(2 \\leq e_{1} \\leq e_{2} \\leq \\cdots \\leq \\infty\\), \\(t_{i} < e_{i}\\) for all \\(i\\) and \\(X_{i}^{\\infty} = 0\\). \\(I\\) is Macaulay-lex if and only \\(I\\) has one of the following properties: {\\parindent=6mm \\begin{itemize}\\item[(1)] \\(I = \\langle X_{1}^{e_{1}}, X_{1}^{t_{1}}X_{2}^{e_{2}}, \\dots , X_{1}^{t_{1}}X_{n}^{e_{n}}\\rangle\\), \\item[(2)] \\(I = \\langle X_{1}^{e_{1}}, X_{1}^{e_{1}-1}X_{2}^{e_{2}}, X_{1}^{e_{1}-1}X_{2}^{t_{2}}X_{3}^{e_{3}},\\dots , X_{1}^{e_{1}-1}X_{2}^{t_{2}}\\cdots X_{n-1}^{t_{n-1}}X_{n}^{e_{n}}\\rangle\\).NEWLINENEWLINE\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q351409$06503FAF-3E32-484B-9F47-95FD1034EDE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05f0529bea7b02c167f58d158e3da4096d61cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2842279,"id":"Q2842279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b9b7cb114750170e475584223e622769673fa2","datavalue":{"value":{"amount":"+0.8950082063674927","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":"Q351409$208E3500-BC86-4797-B4C0-3264DA5715A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95141b1d9a25a6c682911ad583f2fc09595be832","datavalue":{"value":{"entity-type":"item","numeric-id":4658250,"id":"Q4658250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8670978c78e6c187ef3979cba8b22ffa26d2f311","datavalue":{"value":{"amount":"+0.8755595088005066","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":"Q351409$B5C9420B-DA0B-437C-BAB2-60085E1D697F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce47252d6aa5274d6db48033c1df7e806242685","datavalue":{"value":{"entity-type":"item","numeric-id":867373,"id":"Q867373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c945e2c450a84c72acddce7a7243ed40b3693e4a","datavalue":{"value":{"amount":"+0.8723927736282349","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":"Q351409$2A3707FA-E360-4540-B0FA-F7D9DDDCBC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d775b5e6e6b595df676ae844481f0ed8d5e215","datavalue":{"value":{"entity-type":"item","numeric-id":5389021,"id":"Q5389021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430bc4095b965e56ba953bff2065bb1cfb97c3f0","datavalue":{"value":{"amount":"+0.8517143726348877","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":"Q351409$CAC028E1-720E-4A24-8B74-83DFC1EAC133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29083ddc42a848dc7e04ce59e3187049687d1de8","datavalue":{"value":{"entity-type":"item","numeric-id":3448273,"id":"Q3448273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a358a3ca5a3d4f7e367833591b5c661dd9043947","datavalue":{"value":{"amount":"+0.8400033116340637","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":"Q351409$BF5D0668-14E5-4F07-BAC2-035A408751F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Macaulay-lex rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Macaulay-lex_rings"}}}}}