{"entities":{"Q1058862":{"pageid":1060710,"ns":120,"title":"Item:Q1058862","lastrevid":66651591,"modified":"2026-04-12T11:33:59Z","type":"item","id":"Q1058862","labels":{"en":{"language":"en","value":"The shuffle algebra on the factors of a word is free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902067"}},"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":"Q1058862$F610B012-C422-4A5E-BF28-216CE09FF6F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06c2c5f2d629c559b5a50fe65ed59289089d4eb7","datavalue":{"value":{"text":"The shuffle algebra on the factors of a word is free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058862$06CBC1FC-BB53-47F1-8973-E15B1EE78D03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c7404797c6a4e13cdd048e04d8a9388e109032f","datavalue":{"value":"0565.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$2EE1CF64-EA91-4A22-ADB1-F9A378E964C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ad651d8e281a7d218e51344fdde8ce39c80c0e3","datavalue":{"value":"10.1016/0097-3165(85)90020-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$8E1248CC-9AC5-465D-A19D-050661538E50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c5fe7f8e6ad5dd12e0700dcba08a609f699214","datavalue":{"value":{"entity-type":"item","numeric-id":213124,"id":"Q213124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$363C8FC3-3612-4AAD-AE9C-720850EE410F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$EB2414AE-0FEE-4963-B86C-393558BC10A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1058862$23AC50A1-9C62-4E99-8C06-BE538E4D693B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb59b8779de9af7db96c9c17b7796f8822e0a3e8","datavalue":{"value":"The author's introduction: ''Let \\(w=a_ 1...a_ n\\) be a word of length n on the alphabet A. A factor of w is a word of the form \\(a_ i...a_ j\\), \\(i\\leq j\\). We show that the shuffle algebra over \\({\\mathbb{Q}}\\) generated by the factors of w is isomorphic to a free commutative polynomial algebra. Acutally, this result is proved twice. Associate to the given word w the \\((n+1)\\) by \\((n+1)\\) matrix \\(\\sum^{n}_{i=1}a_ iE_{i,i+1}\\), where the E's are elementary matrices. We define for each letter a the matrix \\(\\phi\\) a: it is the coefficient of a in the above sum. Let \\({\\mathfrak M}\\) be the (associative) algebra generated by the \\(\\phi\\) a's and \\({\\mathcal L}\\) be the Lie algebra generated by them. We show that the dimension of \\({\\mathfrak M}\\) is equal to the number of distinct factors of w, while the dimension of \\({\\mathcal L}\\) is equal to the transcendence degree of these factors in the shuffle algebra (cf. the theorem). In the course of the proof, we obtain that the shuffle algebra generated by the factors of w is free. Acutally, we prove a more precise result: if P is a set of words containing each left factor of any of its elements, then the shuffle algebra generated by P is free over some subset of P.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058862$01FF3528-859C-41DD-A7D8-E34479A68AD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$AA090CDE-5CFA-4BEC-8CC2-19789225D62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$5274595B-7E57-4AAC-8AC3-8E56E7936D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9869d6727426fa925115c8692e8e1b59eda63fae","datavalue":{"value":"16S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$9E7FB3D4-9C3C-4209-9A6A-C80DE21E12F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$74DCBBE5-3851-44E0-B101-6F296EB3880E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6120a8639b8a42a38a1264a8e7aed17f6257537","datavalue":{"value":"3902067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$2522C1C3-3185-4000-941E-1B3C52FE40B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b94b13d0f6d915ea0e0a521f0a72b031d9db80d7","datavalue":{"value":"shuffle algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058862$74E121E4-F6A0-45F4-8137-7C505524C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2381929c87a81992fc780223baa643697fe7a0be","datavalue":{"value":"free commutative polynomial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058862$472ADF53-E9E3-407A-ADCF-00001ACE3795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394a8ca59bb381943e71acbc2ab4b8012f88b06e","datavalue":{"value":"Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058862$4E38DAA7-1D1C-4894-A212-BD3DB9255E16","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":"Q1058862$A6548620-2FBF-41AB-ABDD-A32F5104AAF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f5348e8e5158412699169f7d4bd5d895280528f","datavalue":{"value":"https://doi.org/10.1016/0097-3165(85)90020-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058862$65D02CB5-05ED-4CC3-8446-8526BE4E13C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ae7f1fa0a2816fb86c1ea91103afeb3b7c9938c","datavalue":{"value":"W2007543059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058862$409EA282-4BE2-4B63-973C-A91D86D08023","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7086116feba8016a342ebfdbdeb036b63b797c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5842421,"id":"Q5842421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$DE3521AB-7848-4336-86C0-7A7872182D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0056aae462e90b880977bf340180187775b61033","datavalue":{"value":{"entity-type":"item","numeric-id":4065692,"id":"Q4065692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$094B0585-D6A6-4F8F-8E17-CB3F6A404831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$C2A1FF10-80DB-4F29-80DA-965900FD8062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$ACE66DA3-A29A-447F-9D23-17E22938079B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9ce3f2958307b604edae5f91e333f31c8a0206","datavalue":{"value":{"entity-type":"item","numeric-id":770175,"id":"Q770175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$8CA94074-07E2-4171-89A3-67C7D8F9F4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c80948fd89392b06a00b2cdf2acdbeb3c4ab5c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3946345,"id":"Q3946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058862$70F90335-2D03-4BEF-AA6B-E37965818820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb62936e1f964aad1280a26cb112cb94245a3f2","datavalue":{"value":{"entity-type":"item","numeric-id":1261473,"id":"Q1261473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4ee5782a4026a43567b499617498aa9319d8f5","datavalue":{"value":{"amount":"+0.7741495370864868","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":"Q1058862$4C67BFCA-DAD2-44CF-B2F3-469066C98075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adda93cc317f7e1dd4c235af0cb4c20c4bf68cac","datavalue":{"value":{"entity-type":"item","numeric-id":3134850,"id":"Q3134850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4ee5782a4026a43567b499617498aa9319d8f5","datavalue":{"value":{"amount":"+0.7741495370864868","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":"Q1058862$AE7851F7-3AF6-4DF0-9788-5F307963687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b847c5f1140b10bbfc499bdbf440f82635ba128","datavalue":{"value":{"entity-type":"item","numeric-id":3469253,"id":"Q3469253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ea2eb314f01cb5d4efd0122ec94d47cc727df6","datavalue":{"value":{"amount":"+0.7722434997558594","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":"Q1058862$88C28F50-FE68-4F6B-A8E3-1E189EFE4FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a21f3686af720ef0ffbd8b437a75bb2417b47c","datavalue":{"value":{"entity-type":"item","numeric-id":5465052,"id":"Q5465052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d948b09f518527e0390235a6534af680c54341","datavalue":{"value":{"amount":"+0.7717728614807129","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":"Q1058862$F795D7B2-C198-4FB3-903A-7C6ABA524818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba227babfc03d21745cbfaf5d31bcd442c1dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":671351,"id":"Q671351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc10fa79814b9501b228c4903508858e0395cc0","datavalue":{"value":{"amount":"+0.7657110691070557","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":"Q1058862$A6A64FD5-407A-4881-A314-6A1A4F530AF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The shuffle algebra on the factors of a word is free","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_shuffle_algebra_on_the_factors_of_a_word_is_free"}}}}}