{"entities":{"Q5946459":{"pageid":8123261,"ns":120,"title":"Item:Q5946459","lastrevid":47687089,"modified":"2026-01-02T10:40:13Z","type":"item","id":"Q5946459","labels":{"en":{"language":"en","value":"On the lifting problem for homogeneous ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658977"}},"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":"Q5946459$E70FB78A-2E15-496F-9827-17D6FAC5DC05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"161512e3769746679ed71d18de8128d5249d2dbc","datavalue":{"value":{"text":"On the lifting problem for homogeneous ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946459$49D10491-4ABB-410F-AFB1-9164732406F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db0230290b59fe87885fc63cfeecb5c7ecc31ede","datavalue":{"value":"1003.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$C6DF649E-7F57-4B97-9D6E-6CF57904ED1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81b2fc3cc409120ec1063e71279915e885e0d80c","datavalue":{"value":"10.1016/S0022-4049(00)00122-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$3DD29B41-7A8F-48DC-843B-E83E04A1CD46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69c07221b2fb1e2a8cd12f57ffd84ca85a5e5ac","datavalue":{"value":{"entity-type":"item","numeric-id":209723,"id":"Q209723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$CA816B69-5F42-4410-950C-95D4AA0AC4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93a2307754e5207055eff1d8fcce656b045aa3be","datavalue":{"value":{"entity-type":"item","numeric-id":209724,"id":"Q209724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$CFE9DC36-D8A7-4857-A264-7F59CC4C52E3","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":"Q5946459$BA82B21B-2839-4306-9522-A81504B14F6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1619f533236da13b48e5500821f4ed21ad7e10ea","datavalue":{"value":{"time":"+2002-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946459$B8AC3E35-0817-46C9-A500-495A55DEA647","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6a118350568ebdfec93a096c53aa8fb5a6c148c","datavalue":{"value":{"entity-type":"item","numeric-id":243912,"id":"Q243912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$C1EB1138-1CE6-49FE-84F5-01C2DCFB21DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$45C7EBEB-0FA3-4AA9-B516-A6088C11FD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$A4EAFC14-125C-4B55-B7A1-20866FDE42DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$E900E591-6297-4D3A-A5B9-4F72EF059F2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b457f4011a807e262a397762431023ec551b67fc","datavalue":{"value":"1658977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$E8C3FF81-41BD-4331-9A72-BADCAC5F10B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689c14ea7e4d40ae46404e3f6139f8d9f5f2a47a","datavalue":{"value":"radical lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946459$2A7A9447-0207-4CD4-BAE3-CC463B4B3CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593afe07ec094d8298719a3670ba64b2bbbc2fc2","datavalue":{"value":"liftings of a homogeneous ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946459$8F7F431B-B1EE-48E2-96B9-A67BBB21A4BE","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":"Q5946459$62BA07CD-6F69-4355-886A-3885B8E736E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22414245d0b570bd30ce883832d0621f60dccf5a","datavalue":{"value":{"entity-type":"item","numeric-id":1173723,"id":"Q1173723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$C3F665A1-8FA4-4EAB-8062-88D5C63391C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e21dfcdf87d700a964fca6592d52ebedd31c298","datavalue":{"value":{"entity-type":"item","numeric-id":1071822,"id":"Q1071822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$0F339F15-E78A-4626-966E-731C4448AFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69e9136d025c7796a5494f979c04428a5ea2b39","datavalue":{"value":{"entity-type":"item","numeric-id":2549352,"id":"Q2549352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$05658DAD-C0FB-42E9-8403-50C3FE4FDA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a634d4c30a8f3fbdac84bdc93c530d0e74c67e","datavalue":{"value":{"entity-type":"item","numeric-id":2707885,"id":"Q2707885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$9F40255E-417B-430D-8686-EBC5C4745992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80fbd71acc654980c85c3c65d1b031011d70db0d","datavalue":{"value":{"entity-type":"item","numeric-id":3835558,"id":"Q3835558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$9C43BE21-D221-424D-BF53-95E8226D8D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c489885009d9dabd3cc027cb743ce72af7348d0b","datavalue":{"value":{"entity-type":"item","numeric-id":584322,"id":"Q584322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946459$F15A4A99-46EE-44E1-8A93-1AF28D27E7F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"940a30a1ac9594024a833399d29a072bf1578361","datavalue":{"value":"Q127024664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$4439B76A-F993-4040-9C89-B5C0D861B5DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49ad6d236954ae8675a9a3a09ea357209e536c80","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(00)00122-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5946459$4DDE443C-7DC0-4FCF-B879-603AF7C1081E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b455e247a3ab3c88f6905360b10a4346e35e6e38","datavalue":{"value":"W2034210834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946459$B4044BB1-2682-4601-B487-8DB7D266C275","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d95b4c4c3e1df85c4e16a4c69ea2be08bc120fb","datavalue":{"value":"Let \\(S=k[x_1, \\dots, x_n]\\) and \\(R=k[x_0, \\dots, x_n]\\) be polynomial rings over a field \\(k\\). Let \\(J\\subset S\\) be a homogeneous ideal. A homogeneous ideal \\(I\\subset R\\) is a ``lifting'' of \\(J\\) if \\(x_0\\) is \\(R/I\\)-regular and \\((I,x_0)/(x_0) \\simeq J\\). An important question concerning this notion is: When does \\(J\\) admit a radical lifting?NEWLINENEWLINENEWLINEThe authors propose an elementary algorithm for finding all the liftings of a homogeneous ideal. For \\(f\\in S\\) (not necessarily homogeneous) let \\(LF(f)\\) be the leading form of \\(f\\) and \\(f^h\\in R\\) the homogenization of \\(f\\). Assume \\(J=(f_1, \\dots,f_r)\\) with \\(f_i\\in S\\) homogeneous. Any homogeneous lifting of \\(f_i\\) to \\(R\\) has to be of the form \\(q_i^h\\) where \\(q_i=f_i +g_i\\) with \\(\\deg(g_i) <\\deg(f_i)\\). Let \\(I=(q^h_1, \\dots, q^h_r)\\subset R\\) and \\(I^*=(q_1, \\dots, q_r)\\subset S\\). It is easy to see that \\(x_0\\) is \\(R/I\\)-regular iff \\((I^*)^h=I\\) iff \\(LF(I^*)=J\\). Now, the authors show that \\(LF(I^*)=J\\) iff for any homogeneous relation \\(s_1f_1+ \\cdots+ s_rf_r =0\\) one has \\(s_1g_1+ \\cdots+ s_rg_r= a_1q_1+ \\cdots+a_r q_r\\) with \\(\\deg(s_1g_1 +\\cdots +s_rg_r)=\\max (\\deg(a_1q_1), \\dots,\\deg (a_rq_r))\\). Of course, it suffices to check this condition for a finite system of homogeneous generators of the module of relations between \\(f_1,\\dots, f_r\\).NEWLINENEWLINENEWLINEUsing their algorithm the authors produce for \\(k=\\mathbb{Q}\\) and \\(n=4\\) an example of a homogeneous ideal \\(J\\subset S\\) with \\(\\dim(S/J)=0\\) which does not admit a radical lifting. The previously known examples (for infinite \\(k)\\) assumed \\(n\\geq 4\\) and \\(\\dim(S/J)=1\\). The authors assert that in the case \\(n=3\\) the question is open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946459$919D45B7-07EC-4A01-A965-864A1AF03494","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae44c018caa810153fe0a15b29ba46063bae4be","datavalue":{"value":{"entity-type":"item","numeric-id":584322,"id":"Q584322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac55fda3df72f418154b1edab558e0b7bdc2c1e","datavalue":{"value":{"amount":"+0.9015559554100036","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":"Q5946459$CF5DCA52-516F-4965-A725-A448BF818923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2425c748830848341092cf4b0490e134cb5ac7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4998471,"id":"Q4998471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2040119eac8431428bdee6cfb8057b5768433849","datavalue":{"value":{"amount":"+0.8628776669502258","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":"Q5946459$D2FBB872-3259-4BE4-BB4A-1F80382139F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b536337480cb790ea7acfa14dfe30042e96465f","datavalue":{"value":{"entity-type":"item","numeric-id":4322961,"id":"Q4322961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d6c32dd958e3ce71d87ad3a10b76b212606ca9","datavalue":{"value":{"amount":"+0.8616740703582764","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":"Q5946459$D7B8419A-AC08-49C9-AF6A-CC3FC562B359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e29f28dd3874c3759fe8be9ff40e55696b5b1ae","datavalue":{"value":{"entity-type":"item","numeric-id":1353045,"id":"Q1353045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220205ec4294b7fa51df95a120fda886dca63d85","datavalue":{"value":{"amount":"+0.8616738319396973","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":"Q5946459$D0526949-832C-47BA-885E-8FEAB1CA02B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24ffb1a93b7b091413599db39380e906b5a42a1","datavalue":{"value":{"entity-type":"item","numeric-id":886955,"id":"Q886955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5986094260f1ba5d60f6e6dd42f144476a5136","datavalue":{"value":{"amount":"+0.8376802802085876","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":"Q5946459$DE92851B-DC8F-4407-B3AE-1A8390A67B7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946459"}}}}}