{"entities":{"Q2470060":{"pageid":2480803,"ns":120,"title":"Item:Q2470060","lastrevid":73464294,"modified":"2026-04-14T16:05:50Z","type":"item","id":"Q2470060","labels":{"en":{"language":"en","value":"A Gr\u00f6bner-based treatment of elimination theory for affine varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5234739"}},"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":"Q2470060$27DD2013-5CDD-4EC2-9FD3-BF7941F08AE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67c9bfad03437ab361c041c20d2bf8921d2da514","datavalue":{"value":{"text":"A Gr\u00f6bner-based treatment of elimination theory for affine varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2470060$7E69FE44-0AB1-49F5-A16D-56231C923B34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2e16970d44770ef105d9b708e9199dad91fb7b8","datavalue":{"value":"1137.13018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470060$2BC6B1DF-501B-4341-BF5E-5B1DAC35A7F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6da671865c7bb9c1adb2f9beee37ad54677c33c","datavalue":{"value":{"entity-type":"item","numeric-id":186085,"id":"Q186085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470060$54B5F5D5-B6EC-45E2-84AE-5E9CBCEF9327","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470060$EB1329E7-F636-41D7-A8C2-28733F044293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf852432f5714adc69a421a63db1515995b6e335","datavalue":{"value":{"time":"+2008-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2470060$2DF71593-5F59-4E78-9BC2-F271EC6D723E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ce880284126a31c467cf4b2b7e58851ddebd918","datavalue":{"value":"The paper contains a thorough study of the extension and closure theorems of elimination theory. The results are well known in principle so the main benefit of the paper is the concise presentation of the arguments based on Gr\u00f6bner bases proof techniques.  In more detail, let \\(R=k[x_{l+1},\\dots,x_n]\\) be a polynomial ring over a field \\(k\\), \\(I\\) an ideal in \\(S=R[x_1,\\dots,x_l]\\), \\(I_l=I\\cap R\\) the elimination ideal, \\(G\\) a Gr\u00f6bner basis of \\(I\\) with respect to a block elimination order and \\(\\pi_l:\\mathbb A^n\\to \\mathbb A^{n-l}\\) the projection morphism of affine spaces. Then the author gives an algorithm to construct an ideal \\(J\\) with \\(I_l\\subset J\\subset R\\) such that the complement of \\(V(J)\\) is dense in \\(V(I_l)\\) and \\(\\pi_l(V(I))\\cup V(J)=V(I_l)\\), i.e., \\(V(J)\\) is a locus where the prolongation of zeroes of \\(I_l\\) in \\(\\mathbb A^{n-l}\\) to zeroes of \\(I\\) in \\(\\mathbb A^n\\) may fail.  The main idea for the algorithm stems from a careful study of the vanishing of leading coefficients of \\(g\\in G\\) considered as elements of \\(S\\). Several examples of increasing complexity are discussed in detail.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470060$A256312C-D90D-4171-9CA4-E5F992BFCD7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470060$164C0DC5-E92F-4D7D-BC25-B5D55E906703","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13162703317f979a9fcc9265aa8ac4ff64eb350c","datavalue":{"value":"5234739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470060$15F16FEB-1310-4EEE-B874-10129912376C","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":"Q2470060$525131B4-D4EF-4F3D-B319-E886627F6258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2ea410b209b4949bee44be7ef386226dda588e0","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2007.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2470060$AE9CDBF4-668E-4886-AD34-595E527F811C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bc226c619f48bf120ab2cc6297ac0cf9b08b782","datavalue":{"value":"W1993542933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470060$7A9DD1CC-FEAF-4F45-8505-35807D356646","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470060$3973150D-E265-418C-8857-7D921D642409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470060$67113C94-D1B3-464E-A890-845C58B36E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813e1bd0c88492312de82de2f2fa5581d746941b","datavalue":{"value":{"entity-type":"item","numeric-id":5690494,"id":"Q5690494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470060$971D5FF3-97EE-47F9-AC82-104338FC4F1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75c2a7dd409fb9dd2f1519d71f94755453322caf","datavalue":{"value":"10.1016/J.JSC.2007.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470060$E7456FC6-9AC8-4FAC-9FC8-D9C4E8EB571C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc394c3d96c4a90c77fbfa6ede5ca27bdb127804","datavalue":{"value":{"entity-type":"item","numeric-id":914761,"id":"Q914761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc2b841faff3556172e0552f86ff57730704937","datavalue":{"value":{"amount":"+0.7557969689369202","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":"Q2470060$BDC17630-2E46-4C80-A068-2CBA63A4FA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88da407f02d00951834c1aabe03e4a3b51d0b9c1","datavalue":{"value":{"entity-type":"item","numeric-id":3135176,"id":"Q3135176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53327ea2b79fc3b03c2a0e1cf7f7fe261024c07","datavalue":{"value":{"amount":"+0.7402328252792358","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":"Q2470060$A93DD024-9DEF-4CED-B6B7-61F6F7447976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143a15fd62b19de5183882fead9e1460ae99c969","datavalue":{"value":{"entity-type":"item","numeric-id":4501654,"id":"Q4501654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f38af180196baa9774a81b753e04726374ec43","datavalue":{"value":{"amount":"+0.7387063503265381","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":"Q2470060$214D5917-906C-4E77-A6D2-98C98787F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8c753a5907a16f539f38132154ecec8e7babc4","datavalue":{"value":{"entity-type":"item","numeric-id":3080987,"id":"Q3080987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9814af4604cd34bc6881c790c2c67ebda40d42c","datavalue":{"value":{"amount":"+0.7379769682884216","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":"Q2470060$3AC90F5E-713F-4118-A563-9341F793B0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a63e9efd61939b7364411b3a9784f56b7ca1b6","datavalue":{"value":{"entity-type":"item","numeric-id":4695324,"id":"Q4695324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27c1b9e6f2f8e0f246faa52b31850f70d64a17a","datavalue":{"value":{"amount":"+0.7276309132575989","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":"Q2470060$E449725F-5A43-4280-A392-09ECD589174D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Gr\u00f6bner-based treatment of elimination theory for affine varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Gr%C3%B6bner-based_treatment_of_elimination_theory_for_affine_varieties"}}}}}