{"entities":{"Q521344":{"pageid":523111,"ns":120,"title":"Item:Q521344","lastrevid":62467191,"modified":"2026-04-11T06:17:54Z","type":"item","id":"Q521344","labels":{"en":{"language":"en","value":"Direct summands of infinite-dimensional polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6702370"}},"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":"Q521344$53F14282-9142-44F2-99EB-F696BBD8527A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b01065be5359ceb3183ffbab4e7ae838f6d7dcc7","datavalue":{"value":{"text":"Direct summands of infinite-dimensional polynomial rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q521344$11FAFA16-F11C-4BED-99BE-CFBA5D9ED2F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0be33ece0f7edab65044ed76f107081e100ce068","datavalue":{"value":"1386.13017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521344$EF2C8DB0-A6D9-409C-AEC4-1D88A6F457F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a46ddb5b5771e5681daef5faa9b81ca147edb661","datavalue":{"value":"10.1216/JCA-2017-9-1-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521344$69930A34-9100-4D8A-8180-68739CB8BE75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c516761a400a49b98bd43cce4fa4e847c8ab5cf","datavalue":{"value":{"entity-type":"item","numeric-id":404477,"id":"Q404477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521344$03F0C8B7-B019-4D5C-8E46-29044FEFE227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e8ca7dbab1f43f2a34531b198fbf121dc2b141","datavalue":{"value":{"entity-type":"item","numeric-id":521343,"id":"Q521343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521344$FE405662-2AA3-4AAE-99A6-C5895B144CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dacb244903f6d8cf2beb3d2925b5d8c23c1ab146","datavalue":{"value":{"entity-type":"item","numeric-id":311788,"id":"Q311788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521344$14FC4413-DE88-49B7-9349-C93B35E9EAE5","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":"Q521344$FFB4BBE8-28F8-48DE-ADF5-02AAE00C77D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920a562804d980efa3cfabaff11b8ecc08af0b00","datavalue":{"value":{"time":"+2017-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q521344$AFC64FE1-A546-4659-95ED-0609C2F86258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"967712ffc0309f017fe8b6e494069b4f2f339b99","datavalue":{"value":"https://arxiv.org/abs/1409.2721","type":"string"},"datatype":"url"},"type":"statement","id":"Q521344$EADE0EE3-D7F0-4F13-8D51-C3BBE8CEB9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7f458600b434deb198fc3b2980ac510552f685d","datavalue":{"value":"https://projecteuclid.org/euclid.jca/1491379316","type":"string"},"datatype":"url"},"type":"statement","id":"Q521344$2802995E-8E7C-4B80-8CDC-4020660C1413","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ff74c8a3aa5c26ab9fd0943ff1e7aa5fbc90d35","datavalue":{"value":"The main goal of the article under review is to extend to the non-Noetherian setting the following version of a celebrated theorem of \\textit{M. Hochster} and \\textit{J. L. Roberts} [Adv. Math. 13, 115--175 (1974; Zbl 0289.14010)]: Let \\(k\\) be a field, and let \\(A=k[X_1,\\ldots,X_n]\\) be a polynomial ring over \\(k\\). Suppose that \\(G\\) is a linearly reductive group, acting on \\(A\\) by degree-preserving \\(k\\)-algebra automorphisms. Then \\(A^G\\) is Cohen-Macaulay.  Let \\(R\\) be a commutative ring, not necessarily Noetherian. We say that \\(R\\) is Cohen-Macaulay if \\(\\text{ht}(\\mathfrak{a}) = \\mathrm{K.grade}(\\mathfrak{a})\\) for every ideal \\(\\mathfrak{a}\\) of \\(R\\), where \\(\\mathrm{K.grade}(-)\\) denotes the Koszul grade of an ideal, defined in terms of its finitely generated subideals. This notion of Cohen-Macaulayness coincides with any of the traditional ones in case \\(R\\) is Noetherian; see [\\textit{M. Asgharzadeh} and \\textit{M. Tousi}, J. Algebra 322, No. 7, 2297--2320 (2009; Zbl 1193.13024)].  Section 3 of the article under review contains the main result. Let \\(A=k[X_1,X_2,\\ldots]\\) be a polynomial ring over a field \\(k\\), and let \\(R\\) be a pure subring of \\(A\\), containing \\(k\\). If \\(R \\cap k[X_1,\\ldots,X_{b_n}] \\subseteq k[X_1,\\ldots,X_{b_n}]\\) is pure for a strictly increasing sequence of integers \\(\\{b_n\\}_{n \\in \\mathbb{N}}\\), then \\(R\\) is Cohen-Macaulay.  As a main application of this theorem, the authors obtain a non-Noetherian version of the aforementioned theorem of Hochster-Roberts: let \\(k\\) be an algebraically closed field, and \\(A=k[X_1,X_2,\\ldots]\\). Suppose that \\(G\\) is a linearly reductive group, acting on \\(A\\) by degree-preserving \\(k\\)-algebra automorphisms. Then \\(A^G\\) is Cohen-Macaulay.  They can also prove the following Corollary: if \\(R\\) is a pure subring of \\(k[X_1,X_2,\\ldots]\\) that is generated by monomials, then \\(R\\) is Cohen-Macaulay.  In Section 4, the authors provide several examples of pure subrings of \\(k[X_1,X_2,\\ldots]\\) that turn out to be Cohen-Macaulay, as a consequence of their results. These include infinite-dimensional determinantal, Grassmanian, and Veronese rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q521344$7924C5A4-48C8-4B4C-8AC6-01CAE5511687","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"20d2d780cac35815ad8b07c0ad8d389d792c8ac0","datavalue":{"value":{"entity-type":"item","numeric-id":250233,"id":"Q250233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521344$F746B3DC-9131-4168-BF0E-90F815D45B17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521344$DC160371-00A6-4805-9119-F3B162814DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521344$4DBD306F-E1FC-4F82-B5E1-5BD3CCD2D4B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6965476390d6cbf93d0d084e277bb805eb6d25e1","datavalue":{"value":"6702370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521344$7B3468ED-3C3E-4662-8C37-5B737BF0074F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef540424974a8088015169a637013125e38e0c0","datavalue":{"value":"Cohen-Macaulay ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q521344$8128BA18-65D1-47F3-BC5D-422E46BDF163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746b1f5a92003fcddfeafa473e08054af85ec549","datavalue":{"value":"direct summand","type":"string"},"datatype":"string"},"type":"statement","id":"Q521344$5D65BBB9-A177-43F8-9345-C44D532FE347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e7b291273267ad0eca6604bd56257631c2ddbc0","datavalue":{"value":"non-Noetherian ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q521344$F1063692-334B-4DE6-A021-A7D2F9033E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q521344$23A17D9E-4C4A-4FFB-BA0A-294EAEACC519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a4b8063a1f8cfbb428ad9c5987a6a7d82107c7","datavalue":{"value":"purity","type":"string"},"datatype":"string"},"type":"statement","id":"Q521344$AFC192B9-EF5A-4B2E-9476-ED45A1ACB7AC","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":"Q521344$C67C1B7F-1E90-4537-A2E1-D246F75BB46F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"930d0f06e2e9568896d9302b7510b4b9d7b6139a","datavalue":{"value":"W2963875352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521344$A3EE4907-BC01-4462-9CC9-229DAAE9DF1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb056d603c4d4be2342c3a522a8317aa846f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":1048944,"id":"Q1048944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6266e2fdb54e0aa337b503e536dc862ec1b629","datavalue":{"value":{"amount":"+0.7871102094650269","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":"Q521344$193A360C-D074-48E3-A612-FDB541981CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668e464501c856b2c74eb3a7e7ddda36c71aeaa6","datavalue":{"value":{"entity-type":"item","numeric-id":5212409,"id":"Q5212409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cc1eb42ec0e4b199ba7152d94f3ca9f6ff4cb3","datavalue":{"value":{"amount":"+0.778353214263916","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":"Q521344$D2FF496E-C041-41C0-B0B7-C8EB24F6C42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0cbacbc2601b3abd80fc23ba24ce800352060cd","datavalue":{"value":{"entity-type":"item","numeric-id":4895851,"id":"Q4895851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4898d9947319d7097bd9d5850a065091e744ad96","datavalue":{"value":{"amount":"+0.7704489231109619","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":"Q521344$876C88FF-AD26-4AD2-9AE3-A6D5B9A13FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0677260f696b0279209b8fe50544e113fd336da3","datavalue":{"value":{"entity-type":"item","numeric-id":863367,"id":"Q863367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a78d511d94541bc26f11219059d792512c51813","datavalue":{"value":{"amount":"+0.7702637314796448","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":"Q521344$F36A0290-BD9A-4BE0-B71E-4EC9444853D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705a27c0f8b3b89cfac90cf12e4c42405b9ee118","datavalue":{"value":{"entity-type":"item","numeric-id":3843140,"id":"Q3843140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44dc972267cfef48161a9cf8c7478e54de03ed4","datavalue":{"value":{"amount":"+0.7692391276359558","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":"Q521344$B69B685A-66CD-4BBB-B6A7-43D53712D871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Direct summands of infinite-dimensional polynomial rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Direct_summands_of_infinite-dimensional_polynomial_rings"}}}}}