{"entities":{"Q1936114":{"pageid":1946856,"ns":120,"title":"Item:Q1936114","lastrevid":71895444,"modified":"2026-04-14T01:15:09Z","type":"item","id":"Q1936114","labels":{"en":{"language":"en","value":"A negative answer to a question about leading terms ideals of polynomial ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138023"}},"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":"Q1936114$39E7AEDE-CF20-4B43-93C3-9DD02F54499D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cf6cc7f1a59473d42eac8151d1b99c4a2d909fc","datavalue":{"value":{"text":"A negative answer to a question about leading terms ideals of polynomial ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1936114$0CC37954-A2B3-4769-BC61-C960D03EB875","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91693ca3697035653e60e36cfba07f65f19e5240","datavalue":{"value":"1272.13027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$D01671BB-DCB8-49BA-A587-79740E2A7987","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88634ed0746543f970b27aff49e450a8ea86ca49","datavalue":{"value":{"entity-type":"item","numeric-id":1936113,"id":"Q1936113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936114$FC93C5C0-2E22-4B5E-88DE-1C097D50A05B","rank":"normal"},{"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":"Q1936114$AED1854A-70C5-407C-994E-3430A1ADC33C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936114$0A8DF06C-6293-49D0-B82A-3D95B78D77CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec88787b088b88fbcbfef6eb4534917e7df1ffe","datavalue":{"value":{"time":"+2013-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1936114$2FBA4EAF-1572-45F1-84F6-30396B456906","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e8cfb61a14e65907441c3b62e119594f58e0405","datavalue":{"value":"It is known that in many algebra systems, \\(S\\) is a Gr\u00f6bner-Shirshov basis for the ideal \\(I\\) if \\(S\\subseteq I\\) and the ideal \\(LT(S)\\) generated by the leading terms of \\(S\\) equals the ideal \\(LT(I)\\). In the special case that for any finitely generated polynomial algebra \\(R[x_1, \\dots , x_n]\\), where \\(R\\) is a Noetherian commutative ring with unit \\(1\\), \\(S\\) is a Gr\u00f6bner-Shirshov basis for the finitely generated ideal \\(I\\) if \\(S \\subseteq I\\), and \\(LT(S)=LT(I)\\). Since any ideal in \\(R[x_1, \\dots , x_n]\\) has finite Gr\u00f6bner-Shirshov basis, we have there is a Gr\u00f6bner-Shirshov basis \\(S' \\subseteq I\\) such that \\(LT(S')=LT(I)\\), i.e., \\(LT(I)\\) is finitely generated.  A ring \\(R\\) is said to be Gr\u00f6bner if for any finitely generated ideal \\(I\\) of \\(R[x_1, \\dots , x_n]\\), fixing a monomial ordering on \\(R[x_1, \\dots , x_n]\\), \\(LT(I)\\) is finitely generated.  There is a conjecture says that a valuation domain is Gr\u00f6bner if and only if its Krull dimension is \\(\\leq 1\\). This paper technically constructs an example of a finitely generated ideal \\(I\\) of \\(R[X]\\), where \\(R\\) is a one dimension domain, whose leading terms ideal is not finitely generated. This gives a negative answer to the open question of whether if \\(R\\) is a domain with Krull dimension \\(\\leq 1\\), then \\(R\\) is Gr\u00f6bner.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936114$3A0064C0-7929-4339-9C94-57AE6D05EA1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"41d5080b110a72a40b3ec742f77ee8400a28de0a","datavalue":{"value":{"entity-type":"item","numeric-id":600363,"id":"Q600363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936114$6B8E5314-B1C9-4BBF-8C39-41B1590CEE34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$4A7B53A6-8FB0-46CC-8AA2-0C9ECE7E1A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2f0b33e8b1306d061626d94a055a3c2f690de82","datavalue":{"value":"19A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$024DD970-58B4-4754-918A-CFB845C4CBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$6928D87C-2518-4094-A2C0-3CAE55C5288A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$818DF208-B76A-49D5-9E3F-2BFB965AA68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48290a74f17f234f1feff5558914d4b85e338044","datavalue":{"value":"16P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$07E2F0FC-C823-46E8-8AE2-3FD1049BF0F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"656c5f51a0cea7b6cb25308c7556debda984055b","datavalue":{"value":"6138023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$5025A5E0-2314-47F7-B3E7-057D167E99C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936114$290C7E0E-10F2-4155-A14D-354D5F9FE6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05eb78f54250a3cdbcd5992fc6ef4737d767c965","datavalue":{"value":"Krull dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936114$93967AE1-EF17-4E63-83E4-952F1C0BB6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936114$78A46E0D-23A2-4910-A1D3-AD5D500ACA29","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":"Q1936114$91981520-B2D5-481F-9EC0-994DE02DB5D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"daa758821d944fdc7f0de35445de2bb7573d050e","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2012.03.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1936114$D6E5CA15-B76B-4B57-93C0-F2C338CA8BEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d421dd2683fe38be2922428965cc18bcbc0f8d42","datavalue":{"value":"W1969432150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$EE3C632E-0357-4478-B573-6077F78A0989","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":"Q1936114$98F76357-18DD-4E01-92BA-3E38C18B6782","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":"Q1936114$7D69C97A-AAEE-410B-9236-6714E3A8EA1F","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":"Q1936114$3EDF5469-5BAE-473D-8C00-BDB0ED74F918","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":"Q1936114$93C5F03D-D515-4127-93D7-FDDDE7A66089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9261260b33bb8c2f2d091a721774b171e89607","datavalue":{"value":{"entity-type":"item","numeric-id":415466,"id":"Q415466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936114$8A666BF8-BE73-409B-8414-64A5D9BE1407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93171fa660a44c7dad615fb4a7ff973ea00ac93d","datavalue":{"value":{"entity-type":"item","numeric-id":427775,"id":"Q427775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936114$74DE9EAC-E390-405E-84A2-90D613664C9C","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":"Q1936114$7BC1708E-1CD7-491B-A428-F120BB3052E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2823268de81ce5b2088bebccdf4d1f1e0f173d47","datavalue":{"value":"10.1016/J.JPAA.2012.03.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936114$95EDA476-A990-4B06-B3DB-FC11758F8866","rank":"normal"}],"P1643":[{"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":"6016985c993678483b3c9ffee9bddba598dbf2f1","datavalue":{"value":{"amount":"+0.8537632822990417","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":"Q1936114$9B02367E-3CE5-4195-BD8D-1566BD4213D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ad1c50ca820ed868f5d0adf25b1fa14101d825","datavalue":{"value":{"entity-type":"item","numeric-id":5157902,"id":"Q5157902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e86b15dcd04bf3cef737d0f89501bd0f3a2c9ef","datavalue":{"value":{"amount":"+0.7331282496452332","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":"Q1936114$F5B7A917-E899-4045-A163-7597FC60CD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c8790cd01727b901fb49a968be8a69884ae2e6","datavalue":{"value":{"entity-type":"item","numeric-id":5072701,"id":"Q5072701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e504a0a8c8b440c4ed5eb94ef6b5818bc32eca9","datavalue":{"value":{"amount":"+0.7304113507270813","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":"Q1936114$D4B3A1DA-2647-4F95-8ED5-74C5F8F7C219","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":"8f98c1b26a488d6f08dd8f110a3932a28e28247f","datavalue":{"value":{"amount":"+0.7199856638908386","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":"Q1936114$3EB298C6-0622-4852-9BC6-DE2D8D0A84AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f764f587b1d37578859a661a96db0ce012cdcb9c","datavalue":{"value":{"entity-type":"item","numeric-id":415466,"id":"Q415466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a1c33bd8e2f5468bb57daf3b52387a886ff6b1","datavalue":{"value":{"amount":"+0.7124887704849243","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":"Q1936114$12561855-FBE0-4F97-ADE5-7FF4C4507C2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A negative answer to a question about leading terms ideals of polynomial ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_negative_answer_to_a_question_about_leading_terms_ideals_of_polynomial_ideals"}}}}}