{"entities":{"Q792763":{"pageid":794611,"ns":120,"title":"Item:Q792763","lastrevid":48701434,"modified":"2026-01-05T16:04:10Z","type":"item","id":"Q792763","labels":{"en":{"language":"en","value":"The rank of a formal tree power series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854426"}},"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":"Q792763$EB6A49E1-9DB1-465D-8F9F-D1E121FEC6A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcfee73280b56a1d105e2d529caec9bcb7cb9d52","datavalue":{"value":{"text":"The rank of a formal tree power series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792763$C3F5BC1D-2BCF-4FD5-ABAA-DD00B40DB8B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab714a017f7ed0b48338c00555876edd9cbc7bea","datavalue":{"value":"0537.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792763$2BE083CA-78B7-496F-9CDB-56858EF2396F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d74edf26387329e3896b1d114fd49f970dd29273","datavalue":{"value":"10.1016/0304-3975(83)90100-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792763$D3F0D3D2-2D17-4B75-9E08-1283D562D112","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f508831a56382fb093df013046134f3240e93f","datavalue":{"value":{"entity-type":"item","numeric-id":551196,"id":"Q551196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792763$5748CFE4-8444-4BFD-BD29-EB5F5A357F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"251e7abca16c233fa5a4cfd967049ab079a8aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":792761,"id":"Q792761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792763$079B3C5D-EAD1-4ABF-AB5A-F5F63A960DCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792763$347D078E-8732-4A6D-8869-AB2722FC5130","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792763$3487FD41-BDF8-4E22-8928-E7836022CB44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d0fabada305bb5c6a66299d62855d658647cd3c","datavalue":{"value":"A formal power series on trees is a mapping from a free algebra \\(T_{\\Sigma}\\) into a field K; recall that \\(\\Sigma\\) is a set of symbols of functions \\(\\Sigma =\\Sigma_ 0\\cup...\\cup \\Sigma_ n\\cup...\\) and that \\(T_{\\Sigma}\\) (the set of trees) is defined inductively by: \\(\\Sigma_ 0\\subset T_{\\Sigma};\\) if \\(f\\in \\Sigma_ n\\) and \\(t_ 1,...,t_ n\\in T_{\\Sigma},\\) then \\(f(t_ 1,...,t_ n)\\in T_{\\Sigma}.\\) A representation of \\(T_{\\Sigma}\\) is a family of mappings \\(\\mu_ n:\\Sigma_ n\\to {\\mathcal L}(V^ n,V),\\) the space of all n-linear mappings \\(V^ n\\to V,\\) where V is a finite-dimensional vector space over K. The mapping \\(\\mu_ 0:\\Sigma_ 0\\to V (\\simeq {\\mathcal L}(V^ 0,V))\\) extends uniquely to a mapping \\(T_{\\Sigma}\\to V\\) through the formula \\(\\mu(f(t_ 1,...,t_ n))=\\mu_ n(f)(\\mu t_ 1,...,\\mu t_ n).\\) If \\(\\lambda:V\\to K\\) is linear, then the formal power series \\(t\\mapsto \\lambda {\\mathbb{O}}\\mu(f)\\) is called recognizable. The authors give a Hankel-like characterization of recognizable series. Let \\(\\kappa\\) be a new variable and define \\(\\Sigma '\\!_ 0=\\Sigma_ 0\\cup \\kappa,\\) T'\\({}_{\\Sigma}\\) the resulting free algebra and \\(P_{\\Sigma}\\) the subset of \\(T'_{\\Sigma}\\) consisting of trees with exactly one occurrence of \\(\\kappa\\). \\(P_{\\Sigma}\\) acts naturally on \\(T_{\\Sigma}\\) by substitution: \\(T_{\\Sigma}\\times P_{\\Sigma}\\to T_{\\Sigma}, (t,\\tau)\\mapsto t\\tau.\\) If S is a formal power series, \\(S=\\sum_{t\\in T_{\\Sigma}}(S,t)t,\\) and if \\(t\\in T_{\\Sigma}, \\tau \\in P_{\\Sigma},\\) define \\(t^{-1}S=\\sum_{\\tau \\in P_{\\Sigma}}(S,t\\tau)\\tau, S\\tau^{- 1}=\\sum_{t\\in T_{\\Sigma}}(S,t\\tau)t.\\) Then S is recognizable iff the set of \\(t^{-1}S (t\\in T_{\\Sigma})\\) has finite rank in \\(K^{P_{\\Sigma}},\\) iff these to \\(S\\tau^{-1}(\\tau \\in P_{\\Sigma})\\) has finite rank in \\(K^{T_{\\Sigma}}\\). In this case, these ranks are equal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792763$4C12E8F5-F842-455B-A5A2-C4062112D6F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792763$4153A256-7F5C-4113-84BC-0F9BFDBE9B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f254a07a459db04e7ab2cb6c12a95178f0b72f25","datavalue":{"value":"17A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792763$841C7D4C-D59E-4758-A696-0525E2F086FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b22370f0c874d8c09037034422fdf0b33d9e49c","datavalue":{"value":"3854426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792763$649EBFB3-2DA0-4858-A2E4-46F64CAF7829","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f5760db15f650874966bfa5598fac2f0117c","datavalue":{"value":"formal power series on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q792763$B88D48FF-74A7-4ACC-B342-7F7E4C110ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670ad00330cb6918504b23ef1184a5b6270cbd30","datavalue":{"value":"Hankel-like characterization of recognizable series","type":"string"},"datatype":"string"},"type":"statement","id":"Q792763$24510E6F-E47E-438B-B889-C7B92CBCF3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0666abd1b3b7f68778984e5086047f5828f7939","datavalue":{"value":"finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q792763$E2905E4E-236A-47BE-91B2-2CAAF64D5E0C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cdb5d51a2bda6cf4c2922285188fc67ca4b14abc","datavalue":{"value":{"entity-type":"item","numeric-id":213124,"id":"Q213124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792763$D22F0CED-6E9F-4EBA-B692-1BE8070FF8A0","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":"Q792763$53279E8B-44B7-48EC-A8FD-D699D8BDE027","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1114154793fa515239d25c555c7867c54bd97c91","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90100-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q792763$AE3E09F5-D56D-4D6C-8F0D-52CA8C0815A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d0b7d131f9d8a36c75e87cc8f33899d587367a2","datavalue":{"value":"W1973940327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792763$14B34CAD-7E51-4857-A0D4-A45D49094268","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cb1a83daafb36b57758b471a18edde65961f1","datavalue":{"value":{"entity-type":"item","numeric-id":1164440,"id":"Q1164440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792763$0AAB2EBA-2BF4-42B6-ABEB-26B67B0A08DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6010bd4918b1124375dcc71313be05de8ee960","datavalue":{"value":{"entity-type":"item","numeric-id":1221071,"id":"Q1221071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792763$F07E5930-A315-4643-9DB5-44DE00B8F1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792763$353D847B-0A76-446A-AE6F-B383F93C9799","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f85541757347bda21153924cf0976a9f75b9b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4240621,"id":"Q4240621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7ef33a6abc8df04c43b66685a826cf5f9f6222","datavalue":{"value":{"amount":"+0.8496442437171936","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":"Q792763$F4D47BC7-4FA4-4D82-9AC6-5E4C822CB4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a425726f02338011ff46665a0b5d13624de09d","datavalue":{"value":{"entity-type":"item","numeric-id":5491511,"id":"Q5491511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7ef33a6abc8df04c43b66685a826cf5f9f6222","datavalue":{"value":{"amount":"+0.8496442437171936","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":"Q792763$4F9521C5-7A5F-40F0-AA0C-132112181B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3b6e8740b997f4a4149f14844a6b850243020d","datavalue":{"value":{"entity-type":"item","numeric-id":3031948,"id":"Q3031948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d45b9724c55507c6d7529f5ebc09578085a8f42","datavalue":{"value":{"amount":"+0.8426365256309509","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":"Q792763$026259C3-E192-4BDD-953B-A82C7307F1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec43791ed923f35cf6e8a4adda5b61eec1b32bcc","datavalue":{"value":{"entity-type":"item","numeric-id":4318641,"id":"Q4318641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f97937a11d1b30218705d6d32d31340fd75c47","datavalue":{"value":{"amount":"+0.8397334814071655","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":"Q792763$0D506675-D7BC-44BD-A7BE-0A243D4F287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20423e3f104ae033f0f70674e68e980bfdf78658","datavalue":{"value":{"entity-type":"item","numeric-id":627171,"id":"Q627171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd670a2d5fa900b0ce317fbfdf6eb1aa97fe4600","datavalue":{"value":{"amount":"+0.8342139720916748","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":"Q792763$EFEBAEDF-063C-49F2-9969-AB4414C311D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:792763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:792763"}}}}}