{"entities":{"Q403596":{"pageid":405363,"ns":120,"title":"Item:Q403596","lastrevid":52077086,"modified":"2026-01-20T21:36:21Z","type":"item","id":"Q403596","labels":{"en":{"language":"en","value":"Cocharacter sequences are holonomic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6336074"}},"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":"Q403596$9DDDA5D8-ED97-4455-B4D4-4A52091BF176","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c800f34652a967afe5421100ead315d7dc9d254","datavalue":{"value":{"text":"Cocharacter sequences are holonomic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q403596$4F2A9094-17CF-410C-9D0A-DED30406844A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0018f620fb2d8a6effbe01669ca0b48ee534e8c3","datavalue":{"value":"1306.16012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$D15F6C70-3884-4323-BC8B-9789D8431765","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c418fbdca0fc6cc2704e3c6c2e07bcceba3781fe","datavalue":{"value":{"entity-type":"item","numeric-id":209612,"id":"Q209612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$6D9F4C7F-6CDC-4363-B9C2-9998A46115EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$2EB3BDD2-F146-41E8-8BAC-A6533D149FB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-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":"Q403596$D41658D4-C24E-47D9-BC1A-75BC60B1D118","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08212ce4707e37d420e92ca5e5c9b907cc6ec418","datavalue":{"value":{"entity-type":"item","numeric-id":375678,"id":"Q375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$5CDB3661-A725-4710-B0CF-1CF3A3BA9B40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$0D0393AE-436F-43EB-9C0D-6236F60DB541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c0637e7b050f6adf2c874d977065bc44a0cb21a","datavalue":{"value":"05E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$D6D1DF6C-3F41-4061-B3F9-E9A8D295226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$0062F4C1-A2D5-42E4-A8BD-911EC2669F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff02389d3918a330b0fc4c8d97ee0424df96a7","datavalue":{"value":"20C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$69F0ED3A-6482-49C8-AB64-8048395FD857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8e971c48c786120290e696c5754faf9253149dd","datavalue":{"value":"33E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$29B5525B-BFC4-4A9E-8E9D-372D95AA4707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b709fc1d0eab06e30beca764c0594751c03a1182","datavalue":{"value":"05E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$3EB277FA-BDCD-4BDD-9C8F-C8239CBFA56D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26b7eed61c4be49b2b253081294f9e2600b11be","datavalue":{"value":"6336074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$6795F101-9BFA-4D47-90B3-BB6CE2821066","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba11f32fe098bf4f7e1c8e55b78a6efb41c3d98","datavalue":{"value":"PI-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q403596$CB47FD19-B8F6-4555-BBAB-75D2AD861F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a2179b9a4f22f934425681f1e2e6fa36a99b6e","datavalue":{"value":"codimension sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q403596$86BC78CD-1842-4424-A1AE-15BC1B5276D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3036f9b54d29a041ee8b55f7d3ae2d2d1aed93","datavalue":{"value":"holonomic sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q403596$C46FB9E3-F297-4AFC-904A-49E0B20CF27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f013c22941b2eba2bd6d1d5c5eb23ffbdf5302","datavalue":{"value":"Young diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q403596$A15220D4-A9E1-440D-965C-799A0FCDAE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844e9dc5acac866b9e255125d1466a671f90b1a9","datavalue":{"value":"hook Schur functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q403596$6FDE2672-8679-4EE5-915B-1270259D5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5a7ce68a4a75ed310cc2e9608c444a76cfe15b","datavalue":{"value":"polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q403596$62AEB469-55AA-4E27-9C93-D88DF77B186B","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":"Q403596$CF1C8198-B5F7-41B7-A15E-46A127B06866","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54d4a0c631d1f1ddb0a76c10d395622bb330810a","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2014.02.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q403596$EE85E2FF-530F-4B30-9DED-9FF0ACF15147","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c968ebaba86af4c1fef4d585bb9e01b1a9c9c4a4","datavalue":{"value":"W1997502108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$5F9E592D-845D-4EB1-B36F-BBBA8786594D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e939e03a8e6f5dcc11e45ee44a52e75994dbecf0","datavalue":{"value":{"entity-type":"item","numeric-id":1169540,"id":"Q1169540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$0CAAFDA7-03F2-4A62-BD9D-B1C82FF1C40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1387903d7f9179f4fe1fddd363229a1d6bb8b727","datavalue":{"value":{"entity-type":"item","numeric-id":928776,"id":"Q928776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$94535120-FC6B-4E4B-AF1D-6F61F5D2CB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafd7f5d5dfee5f433567bedcb21499478792a2","datavalue":{"value":{"entity-type":"item","numeric-id":5714236,"id":"Q5714236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$E8808563-CCC4-4813-93A8-152C5E997311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8a077b193fbfcdd5bb136bb87895b4c5d5f222","datavalue":{"value":{"entity-type":"item","numeric-id":3978816,"id":"Q3978816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$D8B6CB8E-5713-4F64-9558-F4DB5A397518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ca7e27e9265917f99011a3430b23c9ab063af","datavalue":{"value":{"entity-type":"item","numeric-id":1173698,"id":"Q1173698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403596$B49EFE0B-C1F7-419A-AC6F-38473D2185F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d24da13a2cd70b4f0aba2bdff957fa305f77948","datavalue":{"value":"10.1016/J.JALGEBRA.2014.02.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403596$F4FE3713-2F62-4B73-8ADB-68BE889A16FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6896c7830ad007155ad252ed07f4c001786db574","datavalue":{"value":"A function \\(f(x)\\) is holonomic if it satisfies a homogeneous linear differential equation with polynomial coefficients. A sequence \\(c_0,c_1,c_2,\\ldots\\) is holonomic if its generating function \\(c_0+c_1x+c_2x^2+\\cdots\\) is holonomic. Equivalently, the sequence is holonomic if there exist rational functions \\(q_1(x),\\ldots,q_m(x)\\) such that \\(c_n=c_{n-1}q_1(n)+\\cdots+c_{n-m}q_m(n)\\), \\(n\\geq m\\).NEWLINENEWLINE In the paper under review the author proves that for any PI-algebra \\(A\\) over a field of characteristic 0 the codimension sequence \\(c_n(A)\\) is holonomic.NEWLINENEWLINE The proof is based on three facts: The theorem of \\textit{A. Regev} and \\textit{S. A. Amitsur} [J. Algebra 78, 248-254 (1982; Zbl 0495.16014)] (proved also in another form by Kemer) that the Young diagrams of the irreducible \\(S_n\\)-characters \\(\\chi_\\lambda\\) participating with nonzero multiplicities \\(m_\\lambda(A)\\) in the cocharacter sequence of \\(A\\) are in a strip; the theorem of the author [Adv. Appl. Math. 41, No. 1, 52-75 (2008; Zbl 1145.05052)] that the double Poincar\u00e9 series NEWLINE\\[NEWLINEP_{k,\\ell}=\\sum m_\\lambda(A)HS_\\lambda(x_1,\\ldots,x_k;y_1,\\ldots,y_\\ell),NEWLINE\\]NEWLINE where \\(HS_\\lambda\\) are the hook Schur functions is a rational function of a very special type; the combinatorial theory of holonomic sequences developed by \\textit{D. Zeilberger} [J. Comput. Appl. Math. 32, No. 3, 321-368 (1990; Zbl 0738.33001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q403596$E11F443F-55E5-405C-AB9F-B1F0F428E5BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1f06d989503c14e0b5036863434739421ba53b","datavalue":{"value":{"entity-type":"item","numeric-id":4027062,"id":"Q4027062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0503c72dead58c1a486bbca1f2977e0badf7cbe","datavalue":{"value":{"amount":"+0.7744139432907104","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":"Q403596$ED39F3E3-DE90-4145-87D0-1128AAC6EADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99fe323c3665437fc1ad0e61a964f50646006073","datavalue":{"value":{"entity-type":"item","numeric-id":1773161,"id":"Q1773161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5524928c84b5fc4854fd4425a797d43bacb2156","datavalue":{"value":{"amount":"+0.7726662755012512","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":"Q403596$2273F798-A3AA-4D1E-98CF-253C614D5ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3220813544653c12891a29f10700e4c16e84593","datavalue":{"value":{"entity-type":"item","numeric-id":2491843,"id":"Q2491843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598e746639cc69df55da57af3e3f1370e9510991","datavalue":{"value":{"amount":"+0.7645662426948547","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":"Q403596$5800C8F6-7FAF-4044-AFE1-ACCE679BF602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afefa7b72b2f530baf3f662adb0c4c885224c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":375679,"id":"Q375679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87ac00dbb963f56c78ad2d616f100a92d7a6448","datavalue":{"value":{"amount":"+0.7603440880775452","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":"Q403596$5C1A5794-7DB0-4A46-90A6-5F9CBCE8821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc4a18b20eefd3727db92423b171d025d8731c6","datavalue":{"value":{"entity-type":"item","numeric-id":891084,"id":"Q891084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75919d292603334e3658b02a4762b7bf53131e6d","datavalue":{"value":{"amount":"+0.7547388076782227","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":"Q403596$A7CB3F51-367E-42A0-8AC1-999BE140BE0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:403596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:403596"}}}}}