{"entities":{"Q2365663":{"pageid":2376406,"ns":120,"title":"Item:Q2365663","lastrevid":47179204,"modified":"2025-12-31T22:32:14Z","type":"item","id":"Q2365663","labels":{"en":{"language":"en","value":"Linearly recursive sequences and operator polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 222570"}},"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":"Q2365663$CC9D8D88-F0D3-4DBE-9301-C15057F47872","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1a14ec11b38b912f4f1e803d733a6e0966084d8","datavalue":{"value":{"text":"Linearly recursive sequences and operator polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2365663$84B58D81-7A9F-49E4-A7DC-D2BEC6B0A05D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8da7e8367cd6e02578c350ac7d22168792351f1f","datavalue":{"value":"0781.16025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365663$A53BE94E-B459-4DF8-9B70-A31493713765","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb8122a744ffd13ba59bb20f0235c2d4e3af10e7","datavalue":{"value":"10.1016/0024-3795(93)90496-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365663$71C089A7-C225-4EB5-9BFB-C2166C3DEF23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ad494eac36f9831a8a09136c5422b13dbff8941","datavalue":{"value":{"entity-type":"item","numeric-id":242999,"id":"Q242999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$270D6403-A9D9-48B8-B7AE-EF559E49FB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3632d3d48227c254e53a0110a35fe935b5580027","datavalue":{"value":{"entity-type":"item","numeric-id":169262,"id":"Q169262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$68589583-4C4E-4AEF-8DA0-45F6BB09EA8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$415C8566-9CA0-493B-88CF-C6E8766C95B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-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":"Q2365663$C6B3022B-3A84-43CB-96AE-A6F7E60BD8CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"58aae5bad55f45922f9e254a7d35c7fcbcb214b9","datavalue":{"value":"The authors extend the framework of \\textit{B. Peterson} and the reviewer [Aequationes Math. 20, 1-17 (1980; Zbl 0434.16008)]. There we studied \\(k[x]\\), \\(k\\) a field, as a Hopf algebra with \\(x\\) primitive, and the coalgebra dual \\(k[x]^ 0\\) was identified as linearly recursive sequences. Each such sequence lies in a finite-dimensional subcoalgebra (subcomodule of \\(k[x]^ 0\\)), and its recursive polynomial determines a cofinite ideal (submodule) of \\(k[x]\\). The authors generalize this to a finite-dimensional vector space \\(V\\) over \\(k\\), the free \\(k[x]\\)-module \\(V[x] = V \\otimes k[x]\\), and the cofree \\(k[x]^ 0\\)-comodule \\(V[x]^ 0 = V^*\\otimes k[x]^ 0\\). \\(V[x]^ 0\\) consists of those functionals in \\(V[x]^*\\) whose kernel contains a submodule \\(M\\) of finite codimension. \\(M\\) is of the form \\(PV[x]\\), \\(P\\) an operator polynomial in \\(\\text{End}(V[x])\\), i.e., \\(P = \\sum^ d_{i=0} A_ ix^ i\\), \\(A_ i \\in \\text{End }V\\). Thus an element \\(g\\) of \\(V[x]^ 0\\) is of the form \\(\\sum^ \\infty_{i=0} g_ i\\otimes z_ i\\), where the \\(\\{z_ i\\}\\) are the dual basis to the \\(\\{x^ i\\}\\), and the \\(\\{g_ i\\}\\) form a linearly recursive sequence in \\(V^*\\), i.e., \\(\\sum^ d_{i=0} A_ i^*g_{i+j}\\) for every \\(j \\geq 0\\). \\(k[x]^ 0\\)-subcomodules of \\(V[x]^ 0\\) are the same as \\(k[x]\\)-submodules of \\(V[x]^ 0\\), where the action is given by multiplication in \\(k[x]\\). In this way, there is a 1-1 correspondence between cofinite dimensional submodules of \\(V[x]\\) and finite dimensional subcomodules of \\(V[x]^ 0\\). This gives a 1-1 correspondence between equivalence classes (under \\(GL_ n(k[x])\\)) of regular polynomial operators \\(P\\) (i.e., \\(\\text{det }P\\neq 0\\) in \\(k[x]\\)), with cofinite dimensional submodules of \\(V[x]\\), and finite-dimensional subcomodules of \\(V[x]^ 0\\). This leads to a characterization of monic operator polynomials (the leading coefficient is the identity matrix) and comonic operator polynomials (the constant term is the identity) in terms of the corresponding subcomodules. This gives a coordinate-free approach to operator polynomials, where, roughly speaking, the coordinate free version of a Jordan matrix pair is the same as a finite-dimensional subcomodule of \\(V[x]^ 0\\). While the authors' general framework is for any field \\(k\\), some of the technical results require \\(k\\) to be perfect.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$EFAC786A-1461-4470-94CA-93F3400C646F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365663$B04CB946-8883-48D7-BB97-5ED1C21D884E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db68912ff8531619dad4464aabce79814425f301","datavalue":{"value":"16S40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365663$505ADEC9-A4AD-420C-85BB-10FF88CB24BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365663$7CC9BEC4-177A-4DB9-AD32-F0785EBBA9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"043c7b4f7ee947ee7dac4a5c26b27db72ab56532","datavalue":{"value":"222570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365663$16241B1F-50AC-403A-B282-52B131E562D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fd4328296f2fcabac692b0a742ecbfb715c16","datavalue":{"value":"Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$A3AD9F36-6626-4F96-A424-98D6DD8A18E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f045e22d8c0d913156680155cae5a04013a39987","datavalue":{"value":"coalgebra dual","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$28D0E639-9E0F-4D6C-AFB7-E51FE5562734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6135f7fbf4edbefac0cbc1f8a686c7138d80e89","datavalue":{"value":"linearly recursive sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$098CED00-155E-41B0-A973-828D484547AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"444097e1bd94aa3fd4b69e349a47079d06f7166b","datavalue":{"value":"finite- dimensional subcoalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$A3E633FF-6E67-4126-AE9B-B2D80DDB8928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840d1221a449e83f8586d84617ba0cfce72f5468","datavalue":{"value":"recursive polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$516BA7D2-C4C1-4745-8AB4-BEF509D75D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f75de3fa2c124efda3d8dd48488f8b51955a80","datavalue":{"value":"cofinite ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$644AE702-2865-4092-9BAD-2ABF4BBA57C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05761410a2ceea616d7610e272638ae60351e835","datavalue":{"value":"operator polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$7DCD3B9F-529C-4578-B4A8-5BD6C70D7C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ad661c6e9e02c2554583932870f63f80163820","datavalue":{"value":"action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$0C66E386-2A38-4143-BA32-7322BF435B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2322680ced8d6351df632f5d7146c782b8a537b","datavalue":{"value":"cofinite-dimensional submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$E622A04A-21E5-43FD-AC41-0CF090B72043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6184418a10175ff4f7571e89c27760571b34a214","datavalue":{"value":"finite dimensional subcomodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$3619957F-92D8-46E6-A79F-CFFF7603B1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d575dfdf9b9709b3f56ba016660712e0e9fcff6b","datavalue":{"value":"regular polynomial operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$A0453038-E263-4D28-A0F5-70A49C2C442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3362ffa0b281a65d74759d70f53e94e4bb03dde","datavalue":{"value":"monic operator polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$3B8A6D4F-CFFF-42D9-A947-7D1AC0F3316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9fbfb0df855ead97f54996f459cab96bb56d864","datavalue":{"value":"Jordan matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365663$AE14565B-4109-4210-B0D2-06B71DCDBFB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4124e83285f963fc5c2f908aeffe32658a3781a6","datavalue":{"value":{"entity-type":"item","numeric-id":590872,"id":"Q590872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$89466E3D-32B5-4440-BA30-6EB6C59C682B","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":"Q2365663$2F51F651-D0E8-427E-A90C-C1124323C4AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5200de9e4aab4a1f22317681bee35f0c5834602f","datavalue":{"value":{"entity-type":"item","numeric-id":3933122,"id":"Q3933122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$478ECF66-E7AA-42D5-9A5F-BFB8B3FFD46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3e4ff356391638f21a977061aff6947769ccfe","datavalue":{"value":{"entity-type":"item","numeric-id":3905961,"id":"Q3905961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$0267532E-2206-48ED-ACD0-469878404973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e255e0ae6e90772fcef943eac807f2943cdd5746","datavalue":{"value":{"entity-type":"item","numeric-id":4194810,"id":"Q4194810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$21CEA64A-DFB2-44E8-978D-2E0CC365E1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e49316340cae5be444a30d61ee7f919a8e7b73","datavalue":{"value":{"entity-type":"item","numeric-id":3939931,"id":"Q3939931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$ADB4E036-5058-4544-AA7B-3DA98BF4CD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1901c014791e73890779c9edf0be0facaae4f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":1820859,"id":"Q1820859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$DAD065F2-8806-48AF-B8CA-CCDF2FC75013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e2178f177ccd0b8c84dd13f22faca1a3ca2485","datavalue":{"value":{"entity-type":"item","numeric-id":1327049,"id":"Q1327049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$83D8310A-C4FE-4B18-AD6B-1F0337EFCF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583dc66b44ef6730b3ef4964773f146a0f7e877","datavalue":{"value":{"entity-type":"item","numeric-id":581499,"id":"Q581499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$94A52630-F5A1-4AF5-848A-C1E7825CF69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55049d0a6f155ff4c24851c2ba884c075020435e","datavalue":{"value":{"entity-type":"item","numeric-id":1139652,"id":"Q1139652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$3977A249-4A24-4242-B7CA-36A1FFA4505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365663$D5B53FED-7F31-4588-85C3-A3EB1A3D8C5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad735002553e0234ca1268a06e52de6b17bc55f6","datavalue":{"value":{"entity-type":"item","numeric-id":4825169,"id":"Q4825169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb0fd831539b4b23e7bdc8d158f972639206c1a","datavalue":{"value":{"amount":"+0.780232310295105","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":"Q2365663$2FE24977-D9F7-4020-BDC9-B14BB080353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c227af260cbee8d0b7765e53352018a6331ad0","datavalue":{"value":{"entity-type":"item","numeric-id":4323928,"id":"Q4323928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d76f710e4e495f5233001c258a3ab2a53b71e0","datavalue":{"value":{"amount":"+0.768988311290741","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":"Q2365663$2CFABD01-6766-4BE2-B8E8-088B750D98BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47d3770dcae10ef657695453aef725866b49f29","datavalue":{"value":{"entity-type":"item","numeric-id":1810115,"id":"Q1810115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5350d77f3a84593ec15d612bfff859cbc3ab87","datavalue":{"value":{"amount":"+0.7687286138534546","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":"Q2365663$D484AB48-C52A-49D2-8AB5-5838434078E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db64470c03c7a43dfb8dcbc3c6188c7c81bc177","datavalue":{"value":{"entity-type":"item","numeric-id":1333908,"id":"Q1333908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f498b6d79e12e2213f21dac7ddd0a0ad984036","datavalue":{"value":{"amount":"+0.7630319595336914","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":"Q2365663$1B1BBB36-103A-4755-8E44-5BB59FBAE349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f3f367a797baa1466cf6926bef7588ed955601","datavalue":{"value":{"entity-type":"item","numeric-id":3141929,"id":"Q3141929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7001563e4560e5b646117e6ed3a862f0c29aba62","datavalue":{"value":{"amount":"+0.7625956535339355","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":"Q2365663$9321A980-EB22-41E0-BB33-BA67C82991F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2365663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2365663"}}}}}