{"entities":{"Q415466":{"pageid":417233,"ns":120,"title":"Item:Q415466","lastrevid":61676472,"modified":"2026-04-11T00:54:18Z","type":"item","id":"Q415466","labels":{"en":{"language":"en","value":"The Gr\u00f6bner ring conjecture in one variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6031788"}},"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":"Q415466$BB029883-E51F-4449-A385-443472129790","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4e09c1cf03225db62f09c332b7c9c3ed1b16073","datavalue":{"value":{"text":"The Gr\u00f6bner ring conjecture in one variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q415466$DFA9E9AC-B048-405E-9A69-E2C2F156155D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"456fbd52c6245abcfedbdee227c30181d2aed5ef","datavalue":{"value":"1242.13012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$82D88CCA-35A2-47F6-B98B-2804833C2D7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4411587d3c1e55e23b2f9df508875f4e05601b37","datavalue":{"value":{"entity-type":"item","numeric-id":415465,"id":"Q415465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$50692EA8-F8D1-4F00-8107-9B2B6D637E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$9AE371E2-C82F-43FD-B63E-D5F1AC173D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$FF48CE52-0C30-4C3D-9AA5-919226D56BFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$AAD92981-1DE6-452C-ABD2-DC46203B3677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9606813db06ead53f454259419bc7094bb7b9c5d","datavalue":{"value":{"time":"+2012-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q415466$484E80FA-6C76-4EA2-91FD-196872A24ADE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"398a452328a4cfd0be0dd6b2c20f4469e064301c","datavalue":{"value":"In the main result of this paper, the authors prove that a valuation domain \\(\\mathbf V\\) has Krull dimension \\(\\leq 1\\) if and only if for every finitely generated ideal \\(I\\) of \\(\\mathbf V[X]\\) the ideal generated by the leading terms of elements of \\(I\\) is also finitely generated. This proves the Gr\u00f6bner ring conjecture in one variable, and also gives an example of a class of non-Noetherian rings satisfying this property. As a consequence, they show that the result is valid for semihereditary rings. Finally, they ask two open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q415466$9F3306DB-71FE-48CA-A062-A7CB019FCF0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6c0d35e6fccd0fb471822cfa3b5bcd398a274a","datavalue":{"value":"13C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$709DAE92-C762-4C49-8650-781567B213D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2f0b33e8b1306d061626d94a055a3c2f690de82","datavalue":{"value":"19A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$67EADDD2-A746-4268-8274-1BE68FFCA5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$898F4ADC-15B7-4EB4-81AE-CD032E263290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3787f2eba8270ac8188dbbbbcc6978aba95bb138","datavalue":{"value":"6031788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$62A039B5-2C6D-4BC3-A7E0-84A59B0BDFF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd2bb0930bea7395837a4b67cf1808d1978876a0","datavalue":{"value":"B\u00e9zout domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q415466$8BBE7C6D-8597-4C77-AFEC-E956B5D3393E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d78e37fbb89023d54d5a9155c7b16c4dbff2906b","datavalue":{"value":"valuation domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q415466$9B938682-0458-4DCE-B329-413725747775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53bc4a849f8aa66fc751200d1f85210d179375ef","datavalue":{"value":"semihereditary ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q415466$04545882-235E-48A8-87E9-ACE68FDA7733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab9c74c1552c1e97d6299bee78d4e12a9738ce9","datavalue":{"value":"Gr\u00f6bner ring conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q415466$F9EA8AF0-9B78-4ED4-9EB5-1D1FE7F1F07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q415466$E883A8F4-2E8D-4918-8F7D-5B4F40329E2D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8cde610d964c0626e3c1e3507208ef69d1b7facf","datavalue":{"value":{"entity-type":"item","numeric-id":590831,"id":"Q590831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$CA6012E3-2455-4DC6-94B1-FB49E45297ED","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":"Q415466$17FEBB6D-3702-4C87-B967-70D181B16EF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e31cfb842154de5a4b4a78a471dff7767492e49","datavalue":{"value":"https://doi.org/10.1007/s00209-011-0847-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q415466$E1E343D4-F728-4912-8305-82D4EF38F6CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b32a6099904052bc8a08c0cf0f2be69a638914bd","datavalue":{"value":"W1978119087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$290EABD0-D619-4FCB-BFF8-A7AC1BDD871A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"35767066e373677a0b3b8516e390423e0489bcc4","datavalue":{"value":"Q123013409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$B9351D4E-CE43-49EC-9994-345A5AA26B09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aa0c09f706da2719466bb681124229945ea3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4736173,"id":"Q4736173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$546697D7-B3E7-4419-A810-67D8AED2F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121a522322b43f9fbe8c87728c0a6a327a0ba3fb","datavalue":{"value":{"entity-type":"item","numeric-id":947482,"id":"Q947482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$892F175C-B523-4F81-B5E0-2AA204992C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b61f2ebe31d75616dc456334c545b8459f5284","datavalue":{"value":{"entity-type":"item","numeric-id":984989,"id":"Q984989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$1EC8BD02-EF48-4DC4-84D4-D9348D77D183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b69d42ad38eceaf74548b0958a27b0567faf16","datavalue":{"value":{"entity-type":"item","numeric-id":1433399,"id":"Q1433399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$6F25C4AD-6CD7-44C5-AC0E-92A99D4D7AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b805af8f5d368c99572767c48f98c4a932cd66a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736172,"id":"Q4736172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$DF715CFA-6B13-46B5-AEF7-EC748A2E7B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20dd4d2ade2899d4ecb48df7465eb858deccce49","datavalue":{"value":{"entity-type":"item","numeric-id":2481800,"id":"Q2481800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$30CC4D32-E345-4EDE-8337-52632D3F8262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$0435C5B0-6DF2-41F8-8603-8CC0AE6FA8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a474fe41a7d5c91a937ba9e95da12771cfc446","datavalue":{"value":{"entity-type":"item","numeric-id":855700,"id":"Q855700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q415466$09E584F1-5DE1-428A-8396-B527CFCFBEC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9e29051bffcc2ff75c55768d694f1da81002115","datavalue":{"value":"10.1007/S00209-011-0847-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q415466$E9FE5EBB-AA59-479D-8609-04CDAF515EA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6852e6d64bd7782af2660f4d58b200aaad2da96d","datavalue":{"value":{"entity-type":"item","numeric-id":2636958,"id":"Q2636958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9561b948199d3b6302dc2aaf1f889e7ef50d93","datavalue":{"value":{"amount":"+0.8977289795875549","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":"Q415466$1E32C244-92D5-452F-BCD1-453B2A1D9898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f39d7a7ecbee18e8931e05cf23b18211fcc31b6","datavalue":{"value":{"entity-type":"item","numeric-id":5005885,"id":"Q5005885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4731f14c285593bccf74d1914c10834c7148ccd","datavalue":{"value":{"amount":"+0.8926396369934082","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":"Q415466$C4B33C80-777D-41A4-9C38-4B2965509B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e492f40eb9ce150d1a3d988ca7db693d5b96c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2049385,"id":"Q2049385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6885cdcbf76d0dc4809393eb1f09061beb63fe83","datavalue":{"value":{"amount":"+0.8707470297813416","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":"Q415466$FBA11B1D-C599-4D24-A47F-F0042D1779A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd7dfa990f3985cc88758865f96cebd66ab51d7","datavalue":{"value":{"entity-type":"item","numeric-id":427775,"id":"Q427775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f538e4028b4f178b9a02ddb114f7b6097095850","datavalue":{"value":{"amount":"+0.8379564881324768","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":"Q415466$5FD8E4D5-26BC-4F7B-9C37-51D7159289CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb29162b662de2b1cfce1d4d1f2aeabad6fd759d","datavalue":{"value":{"entity-type":"item","numeric-id":2357082,"id":"Q2357082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c500f0b9cc3b8e865d3d33878869ecee89c6dc80","datavalue":{"value":{"amount":"+0.8307582139968872","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":"Q415466$B7FD309B-2677-4A61-9C12-1B2FE72E8DB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Gr\u00f6bner ring conjecture in one variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Gr%C3%B6bner_ring_conjecture_in_one_variable"}}}}}