{"entities":{"Q1290507":{"pageid":1301257,"ns":120,"title":"Item:Q1290507","lastrevid":68385357,"modified":"2026-04-12T23:20:51Z","type":"item","id":"Q1290507","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases for ideals in Laurent polynomial rings and their application to systems of difference equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1294578"}},"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":"Q1290507$D39239BF-B735-415F-A8B7-D7A1DF6215D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64a68c3fe0aa6f1d95319285634ea70db6e6274c","datavalue":{"value":{"text":"Gr\u00f6bner bases for ideals in Laurent polynomial rings and their application to systems of difference equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1290507$129A44AA-5C56-4F9B-BCD1-E1CB1771D1F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"285e24d482a6faadd1c863130458abd551a127a8","datavalue":{"value":"0978.13017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$EE86CE18-699B-4BA0-9CAC-86667CAB51DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718476fc1fcd992d12e35c948746c89758ae007a","datavalue":{"value":{"entity-type":"item","numeric-id":229601,"id":"Q229601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290507$7D923981-5E1E-42F6-921C-2BD9233D9856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"107390d7553d16cfed7d3f45a6b294106d61a2bb","datavalue":{"value":{"entity-type":"item","numeric-id":1290506,"id":"Q1290506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290507$1B6D84AF-919F-4BE1-8355-D7104B61CFEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290507$75BDF27E-E580-4D63-B4D0-21749789DD76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0b5716eec8be9d71b913ca16e88a0b2f6439e71","datavalue":{"value":{"time":"+2002-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1290507$69D36D78-BEB2-477F-ADB4-62127E24CAEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"adc3c4536a885b94848998db67bd4c1418815f34","datavalue":{"value":"A Gr\u00f6bner basis for an ideal of the commutative ring of Laurent polynomials \\(R[x,x^{-1}]: =R[x_1,\\dots, x_n,x_1^{-1}, \\dots,x_n^{-1}]\\) over a field \\(R\\) can be computed via a factor algebra. However, this paper presents a direct method using generalized term orders and allows \\(R\\) to be a commutative Noetherian ring (provided linear equations over \\(R\\) can be solved). The problem over \\(\\mathbb{Z}\\) was first considered by \\textit{C. Sims} [``Computation with finitely presented groups'' (1994; Zbl 0828.20001)] and the present approach extends an idea of \\textit{F. Pauer} and \\textit{S. Zampieri} [J. Symb. Comput. 21, 155-168 (1996; Zbl 0869.39001)].   Let \\(\\Gamma\\) be an index set and \\(R^{(\\Gamma)}\\) the \\(R\\)-submodule of all maps from \\(\\Gamma\\) to \\(R\\) with finite support. The paper defines a triangular basis for a submodule \\(W\\) of \\(R^{(\\Gamma)}\\) and shows how it may be used to solve a system of linear partial difference equations over \\(\\mathbb{Z}^n\\) by computing a Gr\u00f6bner basis for \\(W\\), as first introduced by \\textit{W. Oberst} [Acta Appl. Math. 20, 1-175 (1990; Zbl 0715.93014)].   Let \\(T\\) be a finitely generated submonoid of the group \\(\\{x^i\\mid i\\in\\mathbb{Z}^n\\}\\) of power-products in \\(R[x,x^{-1}]\\). A conic decomposition of \\(T\\) is essentially a partition into ``conical'' regions with vertex at the identity element. This notion is used to define a generalized term order on \\(U:=\\{tb \\mid t\\in T,b\\in B\\}\\), where \\(B\\) is a basis for a finite-dimensional free \\(R[T] \\)-module \\(V\\), and it is shown how to construct a generalized term order on \\(T\\) and on \\(U\\). Various concepts that depend on term order are defined, such as leading term (lt), leading coefficient (lc) and leading monomial (lm).   Now a generalized Gr\u00f6bner basis can be defined. Let \\(W\\) be an \\(R[T]\\)-submodule of \\(V\\) and let \\(G\\) be a finite subset of \\(W\\setminus \\{0\\}\\). Then \\(G\\) is a Gr\u00f6bner basis of \\(W\\) (with respect to conic decompositions \\((T_i)_{i\\in i}\\) of \\(T\\) and \\((U_i)_{i\\in I}\\) of \\(U\\), and a generalized term order \\(<\\) on \\(U\\)) iff for all \\(i\\in I\\) the \\(R[T_i]\\)-module \\(_{R[T_i]} \\langle\\text{lm}(f); f\\neq 0,f \\in W, \\text{lt}(f) \\in U_i\\rangle\\) is generated by \\(\\{\\text{lm} (tg);g\\in G,t \\in T_i(g)\\}\\). Generalized division of \\(g\\in V\\) by a finite subset of \\(V \\setminus \\{0\\}\\) and a generalized concept of ``\\(S\\)-polynomial'' are defined and then used to state and prove a generalized version of Buchberger's algorithm to compute a generalized Gr\u00f6bner basis.   The paper concludes with several examples of the computation of conic decompositions and of Gr\u00f6bner bases of Laurent polynomial ideals, and of their use to solve systems of difference equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$C7384D4B-3EEE-48CE-BE34-03148475471D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$A8B4F96D-61B2-4E46-B29A-FC047D1685A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25f922681f42c942d6ee32154d152600266c40ca","datavalue":{"value":"39A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$A6B71271-018D-44FE-A08D-703B2967FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$61685FE8-8E34-4F24-9860-42EE7EE90BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$842368A1-C725-4E88-BBD6-941F0B5B5883","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"207a94ec2b401d892403a39d881be11f84252e36","datavalue":{"value":"1294578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$ED0E0AA8-CDF5-4351-9D89-6DD551FCE1C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26cabd6a9f63a3396d4e83c7749a0d762fb92a95","datavalue":{"value":"\\(S\\)-polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$1296A7CA-0D13-4B34-A193-D20EE3D8BC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$2AECA370-ECED-4770-AAD6-072B99767048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbda115255f1a875684a0f1a7e531ae6d5ac5f4c","datavalue":{"value":"Laurent polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$20F7D5E4-2CE8-4F08-87D4-AD8308501AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b39ee04d6b02eba4c86dfbf6f71899f16b42e6cf","datavalue":{"value":"factor algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$D2DACD43-5B85-4EDD-867D-21C46244118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4da9a39484140cd703de8fbcb4790fabdeb0bc7e","datavalue":{"value":"triangular basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$8CB33377-7EA6-40D6-9547-302548036071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d63391fa2c084aa31648108c59a3004d1f0ac63","datavalue":{"value":"conic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$9CCDE2A3-624F-456E-9BC5-3570D007AD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfcf88d1afe476209a7899890b2c7eec270bf53","datavalue":{"value":"generalized term order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$88687DF0-14A9-46EE-B735-33E4CFC55892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb8a6a43aa04f066eb1c3f57f6d67121a6e4b007","datavalue":{"value":"generalized Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$3941D48D-AD92-4CE7-86F2-5D7506319A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdbe5d34b8b645b9e040df712f812fa69bef761e","datavalue":{"value":"systems of difference equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290507$3F42A5D5-9660-4085-9B29-C0CBD8E97EA7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01d2861165170082a6b93beafe0f21e87b2f19ee","datavalue":{"value":{"entity-type":"item","numeric-id":700164,"id":"Q700164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290507$5BF93624-ADE2-4D4E-8181-02894C75CB17","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":"Q1290507$41216870-368B-4CF2-AF5C-B95C9948E096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d93aa9046fcd3fb10aa76001c7e4ef8ea9cb01a","datavalue":{"value":"https://doi.org/10.1007/s002000050108","type":"string"},"datatype":"url"},"type":"statement","id":"Q1290507$08E6EADA-C3E8-4269-896B-DC91C6CC8F7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b15b23036a311d0b1ee7064772080b9278e2b4a","datavalue":{"value":"W1975356036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$D57B24CF-2E25-47C6-A5B2-E71A1391DBB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4264bb14636d20232d720d637bb187cac015ae69","datavalue":{"value":"10.1007/S002000050108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290507$1826848D-B6BB-4200-A4D6-E0FF1E4D81D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50efe1b8e803b8f3a1a3109292ee2ad678d7086c","datavalue":{"value":{"entity-type":"item","numeric-id":3568025,"id":"Q3568025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9b14ea895419e17f0c1d13ec4c1e3a4a5ea7a5","datavalue":{"value":{"amount":"+0.9156691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$CEABB55E-20EB-4C2D-B2C7-662F97A64FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f60f933f6539affd06c0ec02c43ea135663627","datavalue":{"value":{"entity-type":"item","numeric-id":3646327,"id":"Q3646327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d982716546d8c16322469a5c62db28e67cce6c52","datavalue":{"value":{"amount":"+0.91316813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$4875F3AB-C73A-43BE-B358-FE87485DC631","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":"b7f1544637d9fa67cf4a273472c75ec2c2480b21","datavalue":{"value":{"amount":"+0.9107727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$E6F1C82B-3C81-46DC-AF1B-797C753C3EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9752185b6873ffd6606b2fe727a2e2be7927a0","datavalue":{"value":{"entity-type":"item","numeric-id":5496222,"id":"Q5496222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ca0536ab3953cb5f7ee8e19aa2ca74f1795283","datavalue":{"value":{"amount":"+0.90995526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$D25A74E2-4734-4939-B9DB-F161EDC1A1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe6527bf87ba02fe71920bc2378a01f7a978a18","datavalue":{"value":{"entity-type":"item","numeric-id":2519332,"id":"Q2519332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f29700369fe1972f983a5ed8b72a33e2a39671","datavalue":{"value":{"amount":"+0.90929973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$EFC7E772-4569-4B93-8BD1-E592E248133C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f180876bdc2457b9109b7b1d0369b2b0399737","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f8389ce477da8716fad8b6a6307aa77113d589","datavalue":{"value":{"amount":"+0.9092692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$EB4D659F-BE7D-4196-8BC4-40E6EE4F4E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64da9d7d98b39dc38e7752ad3e5f356ffc995a0","datavalue":{"value":{"entity-type":"item","numeric-id":1826675,"id":"Q1826675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb91750424da4e49f82f2a5048eb96ef9ce05e3","datavalue":{"value":{"amount":"+0.9091153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$AC979999-321E-449A-BFB3-4D6AF0329AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a306a12f86c7ce120546721ef58579e6041218","datavalue":{"value":{"entity-type":"item","numeric-id":607062,"id":"Q607062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1060545c40e070eadd6dadfe7276c8de6347e681","datavalue":{"value":{"amount":"+0.9070745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$A8A4F69A-0591-47BE-997E-02CF5F86A4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68fcff2686f577e2f80707f671152f33109454fa","datavalue":{"value":{"entity-type":"item","numeric-id":1280894,"id":"Q1280894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9582c7d9d8680bd14969fd5885b921c5d026d911","datavalue":{"value":{"amount":"+0.9063523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$0B2D6505-4CAE-4757-B67F-7D77054E07FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bd6d672799d8945e7af1d4d3d71bc896bcd365","datavalue":{"value":{"entity-type":"item","numeric-id":3474891,"id":"Q3474891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09e1a7dd366a40dc1915617a2433035fda2417d","datavalue":{"value":{"amount":"+0.90525615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1290507$969BBCFA-6EAD-401D-81C2-3A174166CE3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases for ideals in Laurent polynomial rings and their application to systems of difference equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_for_ideals_in_Laurent_polynomial_rings_and_their_application_to_systems_of_difference_equations"}}}}}