{"entities":{"Q5951562":{"pageid":8128364,"ns":120,"title":"Item:Q5951562","lastrevid":47718403,"modified":"2026-01-02T12:44:44Z","type":"item","id":"Q5951562","labels":{"en":{"language":"en","value":"Degree reduction under specialization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686164"}},"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":"Q5951562$D6A08D54-E4C9-4C3E-B905-A8E88DB00874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d84e2f781ce60ba28aee9f852b23e2a8a60a0e86","datavalue":{"value":{"text":"Degree reduction under specialization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951562$DA9D26B8-766C-42C5-84E1-8210963DA5DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5648b49741379311a2516828d6bf1ca13dcbcb3","datavalue":{"value":"0998.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951562$216CB101-8609-4102-AA5B-93B56B84F312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c766feeab7ede4e95154c24be2534579669f8de5","datavalue":{"value":"10.1016/S0022-4049(00)00151-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951562$A0105E88-7931-4A9B-96FD-0871312E8284","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"649aae0b480609e2f8796b703ce6581f41c68179","datavalue":{"value":{"entity-type":"item","numeric-id":220792,"id":"Q220792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$93502885-43F3-4D5D-8B6A-2D607BAC576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93717cdd3561f2a594ed0123e0f577e6b25f9d35","datavalue":{"value":{"entity-type":"item","numeric-id":220793,"id":"Q220793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$D9DDA240-8BF9-4E4A-A2BD-29E04A49EFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"129848562e50b728c482ab1181caf1882f43aa81","datavalue":{"value":{"entity-type":"item","numeric-id":923628,"id":"Q923628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$4C164283-219A-4264-85D4-C83EC24D003F","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":"Q5951562$C0B87FBB-FD70-40DD-9595-3747E7F83C45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4aa114ef6b98afc0dda259172f1a88182f5761e9","datavalue":{"value":{"time":"+2002-11-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":"Q5951562$23D52FB1-8A6E-4D22-BB81-8EBDC6875835","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af71ab7a731cb9f01eff865a58e36f7561849c31","datavalue":{"value":{"entity-type":"item","numeric-id":192080,"id":"Q192080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$29BB3FFF-AF9F-4106-BFBB-39FBFD74CB91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951562$ADF510F1-7103-4FD8-893E-BB1B943565E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951562$67061AE7-4186-4368-83C5-38242C09F8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951562$B4DF9F22-29B4-4023-9290-98BB67816FC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d386084515b571abcfa423016a51613a49be8106","datavalue":{"value":"1686164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951562$80EC0BF8-E29E-464E-9C20-493FA13EFFBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f94606b59dcd906ecead102895458e6cff960d","datavalue":{"value":"specialization of Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951562$1EC6E3D2-9BF7-4F55-8342-8D99FEC4B404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8545c2173d4ac7ddc03c96431f76bc68b2a9561c","datavalue":{"value":"systems of parametric polynomial equations in several variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951562$935099AF-AB5F-4B81-A6B0-647D7AE52B11","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":"Q5951562$6DCA544D-1C72-47B3-809B-274075FA4EBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e45250892d483fa6a6ae4a6e69cb5413de6cbf","datavalue":{"value":{"entity-type":"item","numeric-id":1892122,"id":"Q1892122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$12E90FDE-C162-48B7-A7C1-9C9F27AFD145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49984f4817d135a12c190433c98301a6a4748f3d","datavalue":{"value":{"entity-type":"item","numeric-id":4850730,"id":"Q4850730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$01953941-1923-4C71-A0AF-1BD3C28E8E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e4bdf8d8a942c395442bda12e7dc6e4429c73b","datavalue":{"value":{"entity-type":"item","numeric-id":1311607,"id":"Q1311607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$9542FFFB-4205-4A99-936B-CDA0FA590980","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":"Q5951562$EB8D74AF-4005-480D-A4DE-2D1B128FB485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80635a46ea4f750c5aa09b1e5c72efa414cecd1e","datavalue":{"value":{"entity-type":"item","numeric-id":5393352,"id":"Q5393352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$8A20BEE9-A8BA-4243-A96F-ABA6AD2603C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7912369e3d1e55befe51e0446e136fb846865b9","datavalue":{"value":{"entity-type":"item","numeric-id":1260761,"id":"Q1260761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$D3545DB9-9592-49FE-AD13-DDFF7EE25A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c6dc63ff760b817aa319cfa1fcbac001ce58f","datavalue":{"value":{"entity-type":"item","numeric-id":5393351,"id":"Q5393351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$E13ACB51-54F5-42BD-B402-471744E4FD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895a95f9b1d41c999c600ea5b5fc46c0697c927e","datavalue":{"value":{"entity-type":"item","numeric-id":1360964,"id":"Q1360964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$472EBF1C-5FD3-456A-8798-BA515E169FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e68330eb62adf71887c07c46894c25966e37b9","datavalue":{"value":{"entity-type":"item","numeric-id":4234310,"id":"Q4234310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$3FBA0742-447C-4890-ADF7-6D8DDF066B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e500b5d86d1b16015f43bdf4b3841ef0eb21d4","datavalue":{"value":{"entity-type":"item","numeric-id":1209625,"id":"Q1209625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$C36653AB-E708-44F5-966B-6AA2481F57EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae65dee4c1ad2b9707bf32a37989635a69484ae","datavalue":{"value":{"entity-type":"item","numeric-id":1256518,"id":"Q1256518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$9005ADD6-8083-4A24-9FF9-29D116B8C570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc344f73d3fa279ecc5abe0d69502a54269b540d","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951562$11B94DA8-C674-42EE-90EA-18152908D8DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6befc074760541077f6e6611fe73194252e7f0cf","datavalue":{"value":"The main application of this paper is the resolution of some parametric systems of polynomial equations. This is done looking for which information remains in a Gr\u00f6bner basis under specialization. Let \\(R\\) be a ring and let \\(\\varphi:R[x] \\rightarrow R[x]\\) be a specialization, i.e. a ring homomorphism such that \\(\\varphi(x) = x\\). For any \\(f \\in R[x]\\) such that \\(\\varphi(f) \\neq 0\\), \\(\\delta(f)\\) is the integer indicating how much the degree of \\(f\\) decreases under \\(\\varphi\\), i.e. \\(\\delta(f) = \\deg f - \\deg \\varphi(f)\\). The authors prove that for any pair \\(f,g \\in R[x]\\) with \\(\\delta(g) < \\delta(f)\\) there exists \\(h \\in (f,g)\\) such that \\(\\delta(h) \\leq \\delta(g)\\) and \\(\\varphi(h) = c \\varphi(f)\\) for a suitable \\(c \\in \\varphi(R) \\setminus \\{0\\}\\). NEWLINENEWLINENEWLINELet \\(k\\) be a field, \\(\\alpha \\in K^r\\) and let \\(\\varphi_\\alpha\\) be the ring endomorphism on \\(k[x,T]\\), where \\(T = (t_1, \\dots, t_r)\\), that evaluates \\(T\\) at \\(\\alpha\\). If \\(I\\) is an ideal of \\(k[x,T]\\) and \\(\\delta_I=\\min \\{\\delta(h)\\mid h \\in I, \\varphi_\\alpha(h) \\neq 0 \\}\\), a direct consequence of the previous statement is that every element in \\(\\varphi_\\alpha(I)\\) is the image under \\(\\varphi_\\alpha\\) of an element in \\(I\\) whose degree decrease is \\(\\delta_I\\). This is used to prove the main theorem of section 2:NEWLINENEWLINENEWLINEIf \\(G\\) is a Gr\u00f6bner basis of \\(I\\) with respect to a block order \\(>\\) for \\(x,T\\), and \\(g_m\\) is the smallest (with respect to \\(>\\)) polynomial in \\(G\\) such that \\(\\varphi_\\alpha(g_m) \\neq 0\\) then \\(\\varphi_\\alpha(g_m)\\) generates \\(\\varphi_\\alpha(I)\\) and \\(\\delta(g_m) = \\delta_I\\). NEWLINENEWLINENEWLINEThe applications of the previous theorem are in section 3. The parametric GCD of a set of polynomials in \\(k[x,T]\\) can be easily computed via a Gr\u00f6bner basis. If \\(a\\) is a zero of the generator of \\(\\varphi_\\alpha(I)\\) referred to in the previous theorem, where \\(\\alpha \\in V(I\\cap k[T])\\) and \\(\\varphi_\\alpha(I) \\neq 0\\), then \\((a,\\alpha)\\) belongs to \\(V(I)\\). This new theorem is the key to solve systems of parametric polynomial equations in several variables \\(X=(x_1, \\dots, x_n)\\). If a block order in \\(X,T\\) with the \\(X\\)-variables lexicographically ordered (\\(x_1 > \\dots > x_n\\)) is chosen the elements of a Gr\u00f6bner basis \\(G\\) for the ideal generated by the equations can be collected in blocks \\(B_1, \\dots, B_n\\) [they exist thanks to \\textit{W. Trinks}, J. Number Theory 10, 475-488 (1978; Zbl 0404.13004)] which allows the extensions of solutions if these blocks do not vanish under intermediate specializations. In the two variables case some solutions can be also found even if they vanish.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951562$132A94BF-3E7C-4379-9579-E0A67971BCF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a036d8dc8fba27dc1542361f2169f381c281ebc7","datavalue":{"value":{"entity-type":"item","numeric-id":5393352,"id":"Q5393352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c86208530572f5a170435dc851511a07bf8379","datavalue":{"value":{"amount":"+0.8306685090065002","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":"Q5951562$92BB3569-09BE-4C32-8276-A3FC641DDE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49df8af8246755ce9d1f6cbf02b2bee1e5d628b","datavalue":{"value":{"entity-type":"item","numeric-id":4810166,"id":"Q4810166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3705180c0db351fb6abbf54a2a3b6ceedcfdb974","datavalue":{"value":{"amount":"+0.823752760887146","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":"Q5951562$6619AFD0-1EFC-4289-8CAC-7497F06AD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea29b9d4761ac7249cb3111e7c3977b348e4a9c","datavalue":{"value":{"entity-type":"item","numeric-id":1311607,"id":"Q1311607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a233ef97ba8a5a7ee979299c6ac3ce033615a7d6","datavalue":{"value":{"amount":"+0.7978299856185913","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":"Q5951562$0FDEC1CD-F349-4DF9-9A9A-5A523B329171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21fe1b35b328a93bb5ed2be3822933e3ab7898d","datavalue":{"value":{"entity-type":"item","numeric-id":945002,"id":"Q945002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a791a98f172c989b2c464408d66fe3a46c7d918","datavalue":{"value":{"amount":"+0.7930594086647034","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":"Q5951562$75FB5851-D1BC-4341-AC5A-037ECC93EF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4f4d5d861715e38d4a6a811be15fd946e185d1","datavalue":{"value":{"entity-type":"item","numeric-id":1878493,"id":"Q1878493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982d3ef7a9dd6c2acdf787237e0821c373f48c5c","datavalue":{"value":{"amount":"+0.7910322546958923","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":"Q5951562$5B69DE32-8975-499A-80D7-0E8F72B7CE35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951562"}}}}}