{"entities":{"Q2397158":{"pageid":2407901,"ns":120,"title":"Item:Q2397158","lastrevid":57897183,"modified":"2026-04-03T00:12:49Z","type":"item","id":"Q2397158","labels":{"en":{"language":"en","value":"On the annihilator ideal of an inverse form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6723743"}},"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":"Q2397158$F3604BBB-8068-4710-9BB2-310AD05B28AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40f28059c3cc3aeccb822799e886f0e516d8a16d","datavalue":{"value":{"text":"On the annihilator ideal of an inverse form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2397158$D61D8242-F3F1-426B-ACD6-86CEA803E152","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8fe5a3a2f344d4c72244bb8e57cae0deb295903","datavalue":{"value":"1368.13031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397158$1CEBBFD9-9F69-4531-A8F5-E2396A3D039D","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":"Q2397158$31110FAE-F1AA-45D4-8F1E-42B90B2AE380","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a73e2fec0f92af2f5c6dbac281f88657b581b44","datavalue":{"value":{"time":"+2017-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2397158$5BB948FB-042A-422F-9C36-AA923D07FCA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"232fd5026009cd314d6e0aeaaf68ef8d2b92b1fc","datavalue":{"value":"https://arxiv.org/abs/1710.07731","type":"string"},"datatype":"url"},"type":"statement","id":"Q2397158$A01E51FA-DFB5-408F-B654-220DF715009B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03fb54564b33efaee5543e69f5673b13014fe15d","datavalue":{"value":"The paper under review extends and improves the results on finite sequences over a field obtained in [\\textit{J. Althaler} and \\textit{A. D\u00fcr}, Appl. Algebra Eng. Commun. Comput. 7, No. 5, 377--390 (1996; Zbl 0870.11009)]. The paper consists of three main parts. In the first part the author considers the ring of inverse polynomials \\(k[x^{-1}, z^{-1}]\\) over a field \\(k\\) as a graded \\(k[x, z]\\)-module, introduces the annihilator ideal \\(\\mathcal{I}_{F}\\) of an inverse form \\(F\\in k[x^{-1}, z^{-1}]\\) and describes some properties of this ideal. In particular, the author inductively constructs an ordered pair of forms in \\(k[x, z]\\) that generate \\(\\mathcal{I}_{F}\\), gives an effective Hilbert Basis theorem for \\(\\mathcal{I}_{F}\\) (the corresponding algorithm requires \\(\\sim m^{2}/2\\) multiplications in \\(k\\)), and defines an analogue \\(\\lambda_{F}\\) of the linear complexity of a finite sequence. The second part of the paper discusses Gr\u00f6bner bases in the considered settings. Accumulating intermediate forms (if any) gives a row vector headed by an ordered pair of the above-mentioned type of length \\(\\lambda_{F}+1\\). The author derives a syzygy for this pair and inductively applies Buchberger's Criterion to show that the form vector yields a minimal grlex Gr\u00f6bner basis of \\(\\mathcal{I}_{F}\\). It is also shown how to modify the obtained algorithm to compute a reduced Gr\u00f6bner basis of \\(\\mathcal{I}_{F}\\) and proven that the \\(k\\)-dimension of the cyclic \\(k[x, z]\\)-module \\(k[x, z]/\\mathcal{I}_{F}\\) is \\(\\lambda_{F}(2-m-\\lambda_{F})\\). The last, third, part of the paper presents applications of the obtained results to finite sequences over \\(k\\). For every such a finite sequence \\(s = s_{0},\\dots, s_{n-1}\\) with \\(n\\geq 1\\), the author considers the corresponding inverse form \\(F^{(s)} = \\sum_{i=1-n}^{0}s_{-i}x^{i}z^{1-n-i}\\in k[x^{-1}, z^{-1}]\\) and uses properties of its annihilator ideal to obtain information about the sequence. In this part the author obtains a version of the Berlekamp-Massey algorithm and a solution of the LFSR synthesis problem via the corresponding algorithm for sequences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$8AD75852-15BB-491B-A3CE-EC0382CFE05B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397158$1D8897C9-F2E2-4F56-B72C-57FE60CFA1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397158$683A119F-9C45-41B9-B428-7860FDFB6A47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2bedb47d6ce34b08b04c85f81b1422800e3bade","datavalue":{"value":"6723743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397158$2A6EF8E6-39A8-443B-85C6-EBBBC03372C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4883818132ce7844f4a0a5af0e0d5301b8da51","datavalue":{"value":"annihilator ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$DEB74C21-1191-4F75-B0CB-FC54E64A5FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99f8d0667a0f999ef322ccdbc5ff9aa849abb5c9","datavalue":{"value":"Berlekamp-Massey algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$5A940023-36F8-4EF9-8001-670B7C5F7178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed256a1cb6e6a71868938697f9150ff4a49483c","datavalue":{"value":"grlex monomial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$D608BB3E-8A5F-4A2A-B9E5-6D8C13F7F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$3D7CDEC7-041B-4C96-852B-25F414FC0D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a55fb7e70a0a30faba9d447ff633fcbf884168f","datavalue":{"value":"linear complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$2F05066F-5A08-4603-91C0-937375D9B541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13bf1e82a002ea4f43c2a812d12a7f554ea61034","datavalue":{"value":"minimal polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$E6C873DB-0D62-4A4C-8400-EAA9433EBB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db80da4ad78f9c82a0c775229680b2029592039a","datavalue":{"value":"inverse form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$F3E235D0-6AEF-4ED4-99B8-A038247022C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e3a93b6bff1ff8111d397aa336a4ba9859eb19d","datavalue":{"value":"S polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$69CC3811-F732-4C3D-9888-328FD4F4FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc3502b21590a42001850b55687f85a807b7c9f","datavalue":{"value":"Syzygy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397158$87708A73-3C75-451B-98DA-42CB41D6A428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d177038a64580be1ec186c9396a9e9e01887ecb7","datavalue":{"value":{"entity-type":"item","numeric-id":231500,"id":"Q231500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$2EF6A50C-62F2-4195-AE08-6D12DD7FA534","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"100aaa2fd0f9708702c5bfbb00416f92df66e458","datavalue":{"value":{"entity-type":"item","numeric-id":233260,"id":"Q233260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$E37E3D76-1EE2-4993-97AE-40D06849DE54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$45C15B6E-2CB8-42C7-914D-F21118476975","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":"Q2397158$C8279825-59DE-41AA-AB3E-E9745CFE50FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"696e9d043fe2e39a23335f99b56f5a8b45c597b8","datavalue":{"value":"W2483011536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397158$9CC8FFE8-5650-4E65-9C9F-70F6EB8253F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"027ca93143786e91be85544e962bb1d853d99962","datavalue":{"value":{"entity-type":"item","numeric-id":1924549,"id":"Q1924549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$3D49FA89-DFB1-4B6E-B039-84E1A30BFB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256ba42ec934067ca6b3b59f0277c4be621b1d39","datavalue":{"value":{"entity-type":"item","numeric-id":4672512,"id":"Q4672512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$08C59564-0C3D-4CB6-BB29-CC7032DF746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$F6B40012-D675-40D8-9475-269AFBFE038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"167aa8f433420724f1d28687996ae2418592e83b","datavalue":{"value":{"entity-type":"item","numeric-id":5554046,"id":"Q5554046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$ECB23655-D0B8-482F-9C00-B746FE2E4761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38e13e252ef4142441c0e6865510773ed893f0e","datavalue":{"value":{"entity-type":"item","numeric-id":4771352,"id":"Q4771352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$6466F86B-CA71-4C7B-BD27-6DBDA61B57AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a79aed4d98cf54343a99a75c9970024c85e235","datavalue":{"value":{"entity-type":"item","numeric-id":499747,"id":"Q499747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397158$63D8E56E-9D20-4B6B-98E9-3F26FA2B4336","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f4f72c6cb022a04aad4edda5aee7cf9d141889b","datavalue":{"value":"10.1007/S00200-016-0295-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397158$662519F6-8993-4C78-B2DE-A0C04D2CB88C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb98bd62c6dbd2d331ebb15fa870a635f683a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2280313,"id":"Q2280313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171f6095c555aea65dd35fa7ced3c2c57e079c24","datavalue":{"value":{"amount":"+0.8396450281143188","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":"Q2397158$76E412E5-7740-4995-9AD5-EA64F628A365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41576bd58a14bc1fdd17bfcdea741b4c046169af","datavalue":{"value":{"entity-type":"item","numeric-id":1924549,"id":"Q1924549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d853193d4d717bc9fe7e45b7299f3bfa1280fc8","datavalue":{"value":{"amount":"+0.8263702392578125","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":"Q2397158$213FB85D-8D63-42EE-80D0-A0843EF49B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2867e6090958ac1b96d01b9e265c60c9f0db24e","datavalue":{"value":{"entity-type":"item","numeric-id":5926307,"id":"Q5926307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221ffabf5bdfaa6662e5297e3d79032544895bce","datavalue":{"value":{"amount":"+0.8253827095031738","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":"Q2397158$36DC4731-ADF1-445B-9247-C882EDAAE9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac83000b589d1c3de873e0e541608b1e4e6fec97","datavalue":{"value":{"entity-type":"item","numeric-id":1389143,"id":"Q1389143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3275662751135fbbaaf46d1e608864396bc5f54f","datavalue":{"value":{"amount":"+0.7945938110351562","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":"Q2397158$7AF6E7D5-7FB5-45AE-9BA0-E37880681B5B","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":"2eff9a316c645b3b8c5b7b4a07bef2337934d496","datavalue":{"value":{"amount":"+0.7846143245697021","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":"Q2397158$17F01FD1-00EF-4E59-8E80-7DBD2BD32BB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2397158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2397158"}}}}}