{"entities":{"Q1092983":{"pageid":1103735,"ns":120,"title":"Item:Q1092983","lastrevid":66942507,"modified":"2026-04-12T13:53:08Z","type":"item","id":"Q1092983","labels":{"en":{"language":"en","value":"A note on the Hilbert basis theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021370"}},"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":"Q1092983$2FD8FDEC-2802-408B-B8FD-858D2738823A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8df3e17725da6517e01017537430b9bec60f6d25","datavalue":{"value":{"text":"A note on the Hilbert basis theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092983$2156B2A3-F8EB-494A-97DC-59B6EDDF8961","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0ed502b4fa693ae334209658a71f05649e87826","datavalue":{"value":"0628.16002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$9B742062-A5DD-4065-970C-42038527A35E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7bb7ae9b0b2c66d41f6a158bfb520609f76ba9e","datavalue":{"value":"10.1007/BF01196505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$BE403AF5-49C2-4280-AC0F-C1E4BDFA7B96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbbfb8275d0365157bab621c284ab96e0d07d23c","datavalue":{"value":{"entity-type":"item","numeric-id":294165,"id":"Q294165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092983$BDAA30EF-2F87-4A92-81A1-90BCDE81306D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092983$F1889BF2-6F5B-43DA-801A-7957DBBB4A4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1092983$D863DD87-0002-4FE1-8D02-55AED211F5FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc5be1bd44e6b55b9bd04c92c5b1c8c124751b01","datavalue":{"value":"Let \\(R=\\oplus \\sum _{i\\in Z}R_ i\\) be a Z-graded ring, not necessarily with identity; where Z is the additive group of integers. Let \\(M=\\oplus \\sum _{i\\in Z}M_ i\\) be a Z-graded right R-module. The following are proved to be equivalent: (I) \\(M_ R\\) (forgetting the grading) is noetherian. (II) Each \\(M_ i\\) is a noetherian \\(R_ 0\\)-module and given any sequence \\(\\{N_ i\\}_{i\\in Z}\\), where each \\(N_ i\\) is a subgroup of \\(M_ i\\) such that \\(N_ iR_ j\\subset N_{i+j}\\), there exists a finite non-empty set F of integers such that for \\(k\\not\\in F\\), \\(N_ k=\\sum _{k\\in F}N_ iR_{k-i}\\). (III) Each \\(M_ i\\) is a noetherian \\(R_ 0\\)-module and the following hold. (a) Given any sequence \\(\\{N_ i\\}_{i\\geq 0}\\), where each \\(N_ i\\) is a subgroup of \\(M_ i\\) and \\(N_ iR_ j\\subset N_{i+j}\\) for \\(j\\geq 0\\), there exists \\(m\\geq 0\\) such that for \\(k>m\\), \\(N_ k=\\sum ^{m}_{i=0}N_ iR_{k-i}\\) and (b) given any sequence \\(\\{N_ i\\}_{i\\leq 0}\\), where each \\(N_ i\\) is a subgroup of \\(M_ i\\) and \\(N_ iR_ j\\subset N_{i+j}\\) for \\(j\\leq 0\\), there exists \\(s\\leq 0\\) such that for \\(k<s\\), \\(N_ k=\\sum ^{0}_{i=s}N_ iR_{k- i}\\). This result generalizes the Hilbert basis theorem. Let now M be positively graded in the sense that \\(M_ i=0\\) for \\(i<0\\) and also let R be positively graded. R gives rise to a ring \\^R whose members are the sequences \\(\\{x_ i\\}_{i\\geq 0}\\), \\(x_ i\\in R_ i\\) and in which the addition and multiplication are the natural extensions of the corresponding operations in R. We further get a corresponding \\^R-module \\^M from M. It is proved that \\(M_ R\\) is noetherian if and only if \\^M\\({}_{\\hat R}\\) is noetherian. Some applications of the above results are given. One of them is that given any ring R, R[x] is right noetherian if and only if R is right noetherian and has right identity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092983$E8C4BDF3-E9DA-4187-BC72-8AB05482E1C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b25dadedbef7f4f6459ceafe8b2ce0a6602c11","datavalue":{"value":"16W50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$591910E1-7704-4FDB-80E1-6C22AE6ED910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$3FC8F1D7-84E3-415A-9C0E-04040B3BA46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10d40b28c3d9191a27aa59f47859591f9e84c512","datavalue":{"value":"16P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$78A5647A-F051-47EE-ABC4-F0540644C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a645c4c40cf7bcf55be756f00848fdc03e3d081b","datavalue":{"value":"16D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$1E51C9E1-F38E-4283-9107-665FE547BEAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edb58dc8f11e64ef36aac39341b73c0b2d3bcfef","datavalue":{"value":"4021370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$A43305E2-4B34-4245-A3DE-E707B172C085","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c181cb15b93a80f63c560dd86b80a7910fabe262","datavalue":{"value":"Z-graded ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092983$6D5F777E-0EAE-4939-B01C-84C01705A106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230ce0c4264b0c819a5e562e45998816606ef876","datavalue":{"value":"Z-graded right R-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092983$7AEF4196-B1BF-4E1B-AE01-5F2BE09B366E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed91861dac34140e2fc0b88364c3be3c8d1060d2","datavalue":{"value":"noetherian \\(R_ 0\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092983$D48745CB-9BBC-475A-A2A1-3093F11F4D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd7b83e5bab8c501f458397611ea71a2fe43694","datavalue":{"value":"Hilbert basis theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092983$10FE0C2A-5022-4652-89D4-DC4958D1811C","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":"Q1092983$116E41CD-A378-425B-9954-C73AFCE01840","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b365fdf15abd14e99c0e24ad69bc3b128eeee5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3864011,"id":"Q3864011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092983$6B7A5D16-0211-496E-8C4E-F91295CE10FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4caa8c07a25b2be10598cd065235cbb140237ac6","datavalue":{"value":{"entity-type":"item","numeric-id":5521586,"id":"Q5521586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092983$15384918-41BF-4DF7-AA31-B09DBBA63867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55842fc17d57099233eddf2fae057e2786b96d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4722209,"id":"Q4722209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092983$8EA4CE87-3A78-4783-8F9B-3D087A514140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f540382a6696ce047d1c46c66d1aba2d5047049d","datavalue":{"value":{"entity-type":"item","numeric-id":3958607,"id":"Q3958607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092983$B1733F67-6791-4D59-911C-2A4BCAD1C8EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2662e37342959a237d2a8cd0dd6e1e21a048a306","datavalue":{"value":"https://doi.org/10.1007/bf01196505","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092983$CFBFFD5A-8CC2-4796-8864-5CDC8DF8203A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fae3587c6103545ddbef1258929683936a19265","datavalue":{"value":"W1986638481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092983$222DE204-930C-42EC-A871-D3551967EB78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37856b56d86325749e1f9bc1362c94037bf404f7","datavalue":{"value":{"entity-type":"item","numeric-id":3329557,"id":"Q3329557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa14aa5f28701fde6e51e196cc0070230135ecda","datavalue":{"value":{"amount":"+0.8137350082397461","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":"Q1092983$6E1505B2-505B-414C-8440-AAF4B2471092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39650f321791a653903c4d297e88f5fb481b7bf7","datavalue":{"value":{"entity-type":"item","numeric-id":4722209,"id":"Q4722209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df8f2ec0ba96b198a21080135b69cd2fd70476d","datavalue":{"value":{"amount":"+0.793148934841156","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":"Q1092983$E6614A8A-F22D-4196-B5E7-8C951C9C7888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed35601ab7aab546ace68919da62825e06b25653","datavalue":{"value":{"entity-type":"item","numeric-id":3718868,"id":"Q3718868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2e61cfed848c46f415396a4fdbc355fe3f7aa7","datavalue":{"value":{"amount":"+0.788128137588501","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":"Q1092983$12686A95-B09E-4776-8BFC-C69E9092CB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77868e0a3cff1546172508943e314c88f7b3ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":3085674,"id":"Q3085674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62fc3d07fa7f7ad1991fcc3da1708732cbbf4c2","datavalue":{"value":{"amount":"+0.7720777988433838","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":"Q1092983$2293000E-35A9-4829-B206-24F21A0C9572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956953bcba2b6910eb46efac1716cedf40f32405","datavalue":{"value":{"entity-type":"item","numeric-id":3803279,"id":"Q3803279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a52643cef1fd96439bd66970c51cbd7eee68267","datavalue":{"value":{"amount":"+0.7683977484703064","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":"Q1092983$9B32A648-64E1-4D36-82B1-C6934B2966C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the Hilbert basis theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_Hilbert_basis_theorem"}}}}}